Higher Derived Artin Stacks

• Higher Derived Artin stacks are geometric derived stacks defined via representability conditions on diagonals and smooth atlases of derived affines.
• They employ simplicial, dg, and Reedy-fibrant methods to model homotopy descent, leading to strictly quasi-compact presentations of complex moduli problems.
• They facilitate integration of deformation theory, shifted symplectic geometry, and a robust six-functor formalism for applications in moduli and quantization.

Searching arXiv for recent and foundational papers on higher derived Artin stacks and closely related formalism. arXiv_search query: "higher derived Artin stacks derived smooth Artin stacks shifted symplectic six operations tangent Lie algebra" Higher derived Artin stacks are geometric derived stacks defined in an $(\infty,1)$-categorical setting by imposing representability conditions on diagonals together with the existence of smooth atlases by derived affines. In the algebraic formulation, a derived stack is a homotopy sheaf on a site of derived affines, and an $n$-geometric stack is characterized inductively by an $(n-1)$-representable diagonal and a smooth, surjective atlas by affines; in the smooth formulation, derived smooth Artin stacks are geometric stacks on the étale $(\infty,1)$-site of affine derived smooth manifolds (Taroyan, 2023, Wallbridge, 2016). The subject links concrete simplicial presentations, cotangent-complex and deformation theory, shifted preplectic and symplectic geometry, higher gerbes, and $\infty$-categorical cohomological formalisms, and it admits compatible algebraic, smooth, and holomorphic models (Pridham, 2011).

1. Geometric definitions and ambient sites

In one standard algebraic setup, $dAff_T$ is the opposite of a category of simplicial, dg, or semifree dg $T$-algebras for a Fermat theory $T$, and a higher derived $T$-stack is a simplicial presheaf

$F:dAff_T^{\op}\to sSet$

satisfying homotopy descent: for every homotopy hypercover $n$0 in $n$1, the natural map

$n$2

is a weak equivalence of simplicial sets (Taroyan, 2023). In that framework, $n$3-geometric means representable, and for $n$4, $n$5 is $n$6-geometric when the diagonal

$n$7

is $n$8-representable, there exists a smooth, surjective atlas

$n$9

and the chosen affines may be taken homotopically finitely presented (Taroyan, 2023).

Pridham’s concrete description uses simplicial affine schemes and simplicial derived affine schemes. A simplicial affine scheme $(n-1)$0 is an Artin $(n-1)$1-hypergroupoid when the partial matching maps are smooth surjections for all $(n-1)$2 and are isomorphisms for all $(n-1)$3. In the derived setting, a Reedy-fibrant simplicial object $(n-1)$4 is a derived Artin $(n-1)$5-hypergroupoid when the partial matching maps are derived-smooth surjections and are weak equivalences whenever $(n-1)$6 (Pridham, 2011). The associated strictification results identify these concrete objects with strongly quasi-compact $(n-1)$7-geometric derived Artin stacks.

Wallbridge develops the smooth counterpart over $(n-1)$8 or $(n-1)$9. An affine derived smooth manifold is a local $(\infty,1)$0-manifold structured space obtained as a finite iterated pullback of ordinary $(\infty,1)$1-manifolds of the form $(\infty,1)$2. With the étale topology on the $(\infty,1)$3-category $(\infty,1)$4 of affine derived $(\infty,1)$5-manifolds, one forms

$(\infty,1)$6

and the full subcategory satisfying the usual Artin-stack smooth atlas condition is the $(\infty,1)$7-category of derived smooth Artin stacks

$(\infty,1)$8

(Wallbridge, 2016).

A further structural result is that several models of derived geometry yield equivalent categories of higher derived stacks. Taroyan proves that the sites $(\infty,1)$9, $\infty$0, and $\infty$1 are Quillen equivalent, and in the smooth case relates them to the Behrend–Liao–Xu model of derived manifolds, so that Artin-geometric stacks, cotangent complexes, obstruction theories, and weak equivalences are identified across models (Taroyan, 2023). This suggests that the notion of higher derived Artin stack is robust under changes of presentation.

2. Simplicial atlases, localization, and concrete presentations

The hypergroupoid formalism gives a concrete atlas-based model for higher and derived Artin stacks. In the underived case, if $\infty$2 is an Artin $\infty$3-hypergroupoid, then its hypersheafification $\infty$4 is an $\infty$5-geometric Artin stack, and conversely every strongly quasi-compact $\infty$6-geometric Artin stack arises in this way (Pridham, 2011). The morphism theorem identifies the simplicial category of strongly quasi-compact $\infty$7-geometric Artin stacks with the localization of the full subcategory of simplicial affines on Artin $\infty$8-hypergroupoids by inverting the trivial relative Artin $\infty$9-hypergroupoids (Pridham, 2011).

The derived analogue has the same form. If $dAff_T$0 is a derived Artin $dAff_T$1-hypergroupoid, then its hypersheafification is an $dAff_T$2-geometric derived Artin stack, and every strongly quasi-compact $dAff_T$3-geometric derived Artin stack arises from such a hypergroupoid. Localizing the full subcategory of $dAff_T$4 spanned by derived Artin $dAff_T$5-hypergroupoids at the class of trivial relative derived Artin $dAff_T$6-hypergroupoids produces a model for the $dAff_T$7-category of strongly quasi-compact $dAff_T$8-geometric derived Artin stacks (Pridham, 2011).

This framework also makes the geometricity conditions explicit. An $dAff_T$9-geometric stack admits an atlas $T$0 with $T$1 affine or a disjoint union of affines and with $T$2 representable by smooth morphisms, while the $T$3th and higher diagonals are $T$4-geometric. In simplicial language this is encoded by

$T$5

together with smooth-surjective partial matching maps in levels up to $T$6 and isomorphisms above level $T$7 (Pridham, 2011).

The basic examples in this presentation include the classifying stack $T$8 of a smooth affine group scheme $T$9, represented by the nerve $T$0, and Eilenberg–Mac Lane hypergroupoids $T$1, whose associated stacks represent $T$2 for a smooth commutative affine group scheme $T$3 (Pridham, 2011). The Čech nerve of a smooth atlas gives a trivial relative $T$4-hypergroupoid, exhibiting a stack as the hypersheafification of a simplicial affine. Mapping stacks and moduli of perfect complexes also admit such presentations: if $T$5 is a smooth proper scheme of dimension $T$6 and $T$7 a smooth Artin stack, then $T$8 is a derived Artin $T$9-stack; for a smooth proper scheme $T$0, the functor $T$1 is a derived Artin $T$2-stack (Pridham, 2011).

3. Cotangent complexes, tangent complexes, and infinitesimal structure

Cotangent complexes organize the infinitesimal geometry of higher derived Artin stacks. For a derived stack $T$3 and a point $T$4, the cotangent complex

$T$5

is defined by the universal property

$T$6

These local cotangent complexes glue to a global object

$T$7

(Taroyan, 2023). In the setting of derived Artin stacks locally of finite presentation, the cotangent complex $T$8 characterizes square-zero extensions, and the tangent complex is its dual

$T$9

(Hennion, 2013). Ben-Bassat, Brav, Bussi, and Joyce state that a derived Artin stack $F:dAff_T^{\op}\to sSet$0 carries a perfect cotangent complex $F:dAff_T^{\op}\to sSet$1 of cohomological amplitude $F:dAff_T^{\op}\to sSet$2, and its dual $F:dAff_T^{\op}\to sSet$3 is the tangent complex (Ben-Bassat et al., 2013).

Wallbridge uses the cotangent complex to define the de Rham algebra on an affine derived smooth manifold $F:dAff_T^{\op}\to sSet$4: $F:dAff_T^{\op}\to sSet$5 whose weight-$F:dAff_T^{\op}\to sSet$6 piece is $F:dAff_T^{\op}\to sSet$7 (Wallbridge, 2016). This is the local input for shifted differential forms on derived smooth stacks.

The shifted tangent complex also carries Lie-theoretic structure. Hennion proves that for an algebraic derived stack $F:dAff_T^{\op}\to sSet$8, locally of finite presentation over a field of characteristic zero, there is a dg-Lie algebra $F:dAff_T^{\op}\to sSet$9 over $n$00 whose underlying quasi-coherent complex is

$n$01

It is obtained from the formal neighborhood of the diagonal

$n$02

through a globalized adjunction between dg-Lie algebras and formal stacks (Hennion, 2013). Any perfect complex $n$03 on $n$04 acquires an action of $n$05, induced by the Atiyah class

$n$06

so that the tangent Lie algebra acts on quasi-coherent data (Hennion, 2013).

A plausible implication is that higher derived Artin stacks simultaneously support deformation-theoretic, Lie-theoretic, and de Rham-theoretic descriptions of infinitesimal structure, all built from $n$07 and its dual.

4. Shifted forms, preplectic structures, and shifted symplectic geometry

Wallbridge introduces $n$08-shifted $n$09-forms and $n$10-shifted closed $n$11-forms on a derived smooth stack $n$12 by first defining on affines

$n$13

and

$n$14

then extending by descent to arbitrary $n$15 (Wallbridge, 2016). A derived smooth Artin stack together with a cohomologically shifted closed $n$16-form

$n$17

is an $n$18-shifted $n$19-preplectic derived smooth Artin stack (Wallbridge, 2016). Wallbridge describes this as a far reaching generalization of a $n$20-preplectic manifold which includes orbifolds and other highly singular objects.

In the algebraic setting, a $n$21-shifted $n$22-form on a derived Artin stack $n$23 is a class

$n$24

together with higher data $n$25 making $n$26 a cycle in the negative cyclic complex. A $n$27-shifted symplectic structure is a closed $n$28-form

$n$29

of total degree $n$30 such that the underlying map

$n$31

is a quasi-isomorphism (Ben-Bassat et al., 2013).

Two major local and global theorems organize this geometry. First, Wallbridge proves a derived Weil–Kostant integrality theorem: if $n$32 is an $n$33-shifted $n$34-preplectic derived smooth Artin stack with $n$35 and $n$36, then there exists a $n$37-gerbe with $n$38-connection data on $n$39 whose curvature is $n$40 if and only if $n$41 is integral, and the space of all such gerbes with fixed curvature is a torsor under the flat gerbes (Wallbridge, 2016). Second, Ben-Bassat, Brav, Bussi, and Joyce prove a Darboux theorem for $n$42: near each point of a $n$43-shifted symplectic derived Artin stack there exists a minimal smooth atlas $n$44 with $n$45 an affine derived scheme such that the pulled-back shifted symplectic form is written explicitly in coordinates in a standard Darboux form (Ben-Bassat et al., 2013).

For $n$46, the same paper shows that if $n$47 is a $n$48-shifted symplectic derived Artin stack and $n$49 its underlying classical Artin stack, then $n$50 extends naturally to a d-critical stack $n$51. It further associates to an oriented d-critical stack a natural perverse sheaf $n$52, and in finite type a natural motive $n$53, with local models given by critical loci and vanishing cycles (Ben-Bassat et al., 2013). This places higher derived Artin stacks at the interface of shifted symplectic geometry and categorified Donaldson–Thomas theory.

5. Gerbes, linear higher categories, and prequantization

The derived Weil–Kostant theorem is accompanied by an explicit moduli theory of gerbes with connection. On an affine $n$54, Wallbridge defines the space of $n$55-gerbes as the cofiber

$n$56

and proves that these local cofibers assemble into a stack $n$57 satisfying étale descent (Wallbridge, 2016). For any $n$58, the global space of gerbes is

$n$59

and restricting to fixed curvature yields an infinite-loop fibre sequence

$n$60

whose fibre is the stack of flat gerbes (Wallbridge, 2016).

Wallbridge then constructs a canonical functor from the $n$61-category of integral $n$62-shifted $n$63-preplectic derived smooth Artin stacks to the $n$64-category of linear $n$65-categories. Writing

$n$66

for the map sending $n$67 to its gerbe, and

$n$68

for the map sending a gerbe $n$69 to its $n$70-category of sections $n$71, the composite

$n$72

is the prequantum functor (Wallbridge, 2016). It is functorial under pullback of stacks and forms.

The special case $n$73 recovers the ordinary Weil–Kostant picture. An integral $n$74-shifted $n$75-form is a closed $n$76-form with integral periods on a derived Artin stack $n$77; the associated gerbe is a complex line bundle $n$78 with connection, and the prequantum functor becomes

$n$79

(Wallbridge, 2016). Wallbridge explicitly notes that in this case the functor can be thought of like a cohomology functor in that it associates to a derived presymplectic smooth Artin stack a linear invariant in the form of a differential graded module.

6. Six operations, perverse $n$80-structures, and broader applications

Higher Artin stacks admit a fully $n$81-categorical six-functor formalism. Liu and Zheng construct enhanced derived categories $n$82 and, in the adic setting, define

$n$83

for a ringed diagram $n$84 (Liu et al., 2014). The functors

$n$85

satisfy the expected adjunctions and compatibilities, including projection formula, Künneth, and Poincaré duality (Liu et al., 2014). Their earlier paper develops the corresponding enhanced six operations and the base change theorem for higher Artin stacks in stable $n$86-categories, extending derived categories, functors, and natural isomorphisms to the $n$87-categorical level (Liu et al., 2012).

The base-change statement is formulated as a canonical equivalence of functors for Cartesian squares of higher Artin stacks under the usual hypotheses. In the adic formalism, given a Cartesian square with $n$88 smooth, proper, or flat as appropriate, there is a canonical equivalence

$n$89

(Liu et al., 2014). The non-adic formulation in the enhanced six-operations paper likewise produces natural equivalences encoding base change and its compatibility with correspondences (Liu et al., 2012).

Both papers also define perverse $n$90-structures on higher Artin stacks. Liu–Zheng formulate perversity evaluation on smooth charts and characterize the resulting truncation subcategories by stalk-vanishing conditions: $n$91 with heart

$n$92

(Liu et al., 2014). They state that this extends Gabber’s theory on schemes and the Laszlo–Olsson middle-perversity formalism to arbitrary higher Artin stacks and arbitrary perversities.

The examples and applications attached to higher derived Artin stacks span moduli theory, symplectic geometry, and categorical invariants. Pridham’s examples include classifying stacks, higher classifying stacks, mapping stacks, and the derived Artin stack $n$93 of perfect complexes (Pridham, 2011). Ben-Bassat, Brav, Bussi, and Joyce apply $n$94-shifted symplectic derived Artin stacks to the derived moduli stack of coherent sheaves or complexes on a Calabi–Yau $n$95-fold, whose truncation is an oriented d-critical stack carrying a perverse sheaf categorifying the Behrend function and a motivic class yielding Kontsevich–Soibelman’s motivic DT invariant (Ben-Bassat et al., 2013). A plausible implication is that higher derived Artin stacks serve as a common ambient language for moduli, deformation theory, shifted geometry, and higher categorical quantization.