Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/9807049

Descente pour les n-champs (Descent for n-stacks)

André Hirschowitz·Carlos Simpson
View original source ↗Read source document ↗Export metadata ↓

Abstract

We develop the theory of n-stacks (or more generally Segal n-stacks which are $\infty$-stacks such that the morphisms are invertible above degree n). This is done by systematically using the theory of closed model categories (cmc). Our main results are: a definition of n-stacks in terms of limits, which should be perfectly general for stacks of any type of objects; several other characterizations of n-stacks in terms of ``effectivity of descent data''; construction of the stack associated to an n-prestack; a strictification result saying that any ``weak'' n-stack is equivalent to a (strict) n-stack; and a descent result saying that the (n+1)-prestack of n-stacks (on a site) is an (n+1)-stack. As for other examples, we start from a ``left Quillen presheaf'' of cmc's and introduce the associated Segal 1-prestack. For this situation, we prove a general descent result, giving sufficient conditions for this prestack to be a stack. This applies to the case of complexes, saying how complexes of sheaves of $\Oo$-modules can be glued together via quasi-isomorphisms. This was the problem that originally motivated us.

Explore related subjects

math.AGmath.ATmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

André Hirschowitz, Carlos Simpson. 2001-03-13. Descente pour les n-champs (Descent for n-stacks). https://arxiv.org/abs/math/9807049

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Geometric Detection and Finiteness of Log Crystalline Local Systems

We prove a geometric detection theorem for log crystalline local systems in the smooth proper setting with a normal crossings boundary. The associated special-fiber log $F$-isocrystal detects geometric absolute irreducibility and, modulo constant rank-one twists, determines the pullback to the geometric generic fiber. The main ingredient is a determinant argument combining a finite-order rank-one reduction, logarithmic period comparison, and the Plücker embedding. As an application, using Abe--Esnault's finiteness theorem and finiteness of stable lattices, we prove finiteness, up to geometrically constant rank-one twists, of geometrically absolutely irreducible log crystalline local systems of fixed rank. Coefficients may lie in any fixed finite extension of $\mathbb Q_p$, and no bound on the Hodge--Tate weights is imposed.

math.AG↗
arXiv2026

Betti Numbers of Odd Biisotropic Symplectic Grassmannians

We compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

math.AG↗
arXiv2026

Motivic $C_p$-power operations in $\mathrm{MGL}$

In this paper, we give a new proof of the Hopkins-Morel-Hoyois theorem for fields $k$ of characteristic unequal to $p$ containing all primitive $p$-power roots of unity for a fixed prime $p$. This new proof follows Quillen's proof for the structure of the homotopy groups of $\mathrm{MU}$ which utilizes topological power operations. To this end we define a motivic analog of the Steenrod power operations, using the theory of normed motivic spectra as developed by Bachmann--Hoyois and their application for the definition of motivic colimits as developed by Bachmann-Elmanto-Heller.

math.AG↗