Brill–Noether Stacks in Algebraic Geometry

• Brill–Noether stacks are algebraic stacks characterized by a reductive group as π₁ and a finite-dimensional S-module as a single higher homotopy group, providing a clear nonabelian cohomological framework.
• They organize moduli problems in higher rank Brill–Noether theory, linking constructions of sheaf moduli on surfaces with deformation theory and limit linear series.
• Their computable deformation and mixed Hodge structures offer tractable test cases for nonabelian Hodge theory, bridging classical moduli with schematic homotopy methods.

A Brill–Noether stack is an algebraic stack whose homotopy type is characterized by possessing only two nontrivial homotopy groups: a fundamental group given by a reductive algebraic group-scheme $S$ and a single higher homotopy group, in degree $n\geq2$, given by a finite-dimensional $S$-module $V$ via an algebraic representation $\rho: S \to \mathrm{GL}(V)$. Brill–Noether stacks have emerged as foundational objects organizing moduli problems in higher rank Brill–Noether theory, encoding nonabelian cohomological data, and providing tractable test cases for nonabelian and schematic Hodge theory. Their geometry interacts deeply with moduli of sheaves on surfaces, the deformation theory of nonabelian local systems, and stack-theoretic approaches to limit linear series in higher rank.

1. Algebraic Definition and Homotopy Type

Let $S$ be a reductive algebraic group-scheme of finite type over a field of characteristic zero and $V$ a finite-dimensional $S$-representation. Consider the stacky Postnikov extension:

$$(V, n) \rightarrow (S, \rho, n) \xrightarrow{\tau} (S, 1)$$

where $(S, 1) = BS$ is the classifying stack for $n\geq2$0-bundles (with $n\geq2$1 and all other $n\geq2$2 trivial), and $n\geq2$3 is the Eilenberg–Mac Lane $n\geq2$4-stack ($n\geq2$5; all other $n\geq2$6). The Brill–Noether stack $n\geq2$7, also denoted $n\geq2$8 when viewed relative to a variety $n\geq2$9, is characterized (as an $S$0-stack) by:

$S$1

with the $S$2-action on $S$3 induced by $S$4 (Boutchaktchiev, 2013, Boutchaktchiev, 2013). In concrete moduli-theoretic contexts, it serves as a model for nonabelian coefficient objects whose associated mapping stacks control Brill–Noether cohomological data as well as torsion-free sheaf moduli.

2. Brill–Noether Stacks and Moduli of Sheaves

In the geometric setting of $S$5 surfaces (Picard number 1), Brill–Noether stacks materialize as moduli stacks $S$6 parametrizing families of Gieseker-semistable coherent sheaves of rank $S$7 on a surface $S$8 with fixed Chern classes. The $S$9-points of such a moduli stack correspond to sheaves $V$0 over $V$1 where each geometric fiber $V$2 is torsion-free, Gieseker-semistable, with prescribed topological invariants. These stacks are naturally expressed as quotient stacks of loci in suitable Quot schemes by general linear framing and are necessarily Artin stacks, locally of finite type over $V$3 (Mizuno, 2020).

Of particular importance is the fine stratification of $V$4 (rank 2) by semistable loci and Harder–Narasimhan strata, each linked to an explicit Mukai vector description. Each stratum is irreducible, and the irreducible components of the stack can be classified algorithmically by dimension inequalities involving the Mukai pairing. This classification enables precise descriptions of Brill–Noether loci in Hilbert schemes of points, connecting the stack-theoretic perspective directly to classical Brill–Noether theory (Mizuno, 2020).

3. Mapping Stacks and Nonabelian Cohomology

Given a smooth algebraic variety $V$5, the derived mapping stack $V$6 implements Brill–Noether stacks as nonabelian coefficient objects in cohomology. This mapping stack fibers (smoothly) over $V$7 with fiber $V$8 over any principal $V$9-bundle $\rho: S \to \mathrm{GL}(V)$0 equipped with a flat (or Higgs) connection (Boutchaktchiev, 2013). Thus, a point of the mapping stack consists of the data $\rho: S \to \mathrm{GL}(V)$1 with $\rho: S \to \mathrm{GL}(V)$2. This construction generalizes both the moduli of local systems and classical cohomology with coefficients, providing a unified stacky framework for nonabelian cohomology.

4. Nonabelian and Local Mixed Hodge Structures

Brill–Noether stacks admit a canonical nonabelian mixed Hodge structure (MHS), extending the work of Simpson on MHS for moduli of local systems. The $\rho: S \to \mathrm{GL}(V)$3-action on the stack of Higgs bundles induces the Hodge and weight filtrations on the associated pro-algebraic group and its Lie algebra, with explicit bigrading structure. The filtration on the coordinate algebra of the relative completion group $\rho: S \to \mathrm{GL}(V)$4 is expressed via the lower central series (weight filtration) and the Hodge decomposition of de Rham forms. Locally, near a $\rho: S \to \mathrm{GL}(V)$5-fixed point, the completed local ring of the mapping stack is governed by a differential-graded Lie algebra incorporating both the adjoint action (from the principal $\rho: S \to \mathrm{GL}(V)$6-bundle) and the deformation data from $\rho: S \to \mathrm{GL}(V)$7 (Boutchaktchiev, 2013, Boutchaktchiev, 2013).

This mixed Hodge structure is fully computable in terms of iterated integrals (using Chen's bar construction), and all period and functorial data (e.g., the Gauss–Manin connection, period maps) descend from these explicit algebraic models. In limiting cases, the construction recovers the classical MHS structures of Simpson (local systems, $\rho: S \to \mathrm{GL}(V)$8 case) and Hain (relative Malcev completion, $\rho: S \to \mathrm{GL}(V)$9 case) (Boutchaktchiev, 2013).

5. Brill–Noether Stacks in Higher Rank Limit Linear Series

The concept of Brill–Noether stacks underlies modern treatments of limit linear series moduli in higher-rank Brill–Noether theory. For vector bundles $S$0 of rank $S$1 and fixed determinant on a curve or smoothing family, the corresponding moduli stacks $S$2 are constructed as Artin stacks using linked linear series (types I and II) and canonical stack structures generalizing Eisenbud–Harris–Teixidor theory (Osserman, 2014). These constructions yield proper, projective stacks over the bundle stack and allow precise dimension-theoretic results.

Comparison theorems show that the different stack-theoretic incarnations (type I, II, EHT) are related by natural morphisms, inciting stack structures which, on refined loci, become isomorphisms. The expected Brill–Noether number $S$3 governs the generic dimensions of the moduli stacks and the realizability of general geometric loci.

6. Geometric and Deformation-Theoretic Properties

Irreducible components of Brill–Noether loci, described via Brill–Noether stacks on $S$4 surfaces, are generically smooth and of explicit dimension, determined by computations with the Mukai pairing and Riemann–Roch formula. The structure of the irreducible components is governed by the comparison of semistable loci and Harder–Narasimhan strata, directly encoding wall-crossing phenomena as the polarization varies. For sufficiently positive divisors, the Brill–Noether loci become irreducible and of codimension equal to the length parameter, paralleling classical results on linear systems imposing independent conditions (Mizuno, 2020).

Dimension formulas for both the sheaf-theoretic moduli stacks and corresponding Brill–Noether loci are universal for torsion-free sheaves on $S$5 surfaces and are central for counting irreducible components, codimensions, and determining nonemptiness criteria. These formulas are checked by explicit Mukai vector calculations and the stack presentation as Quot/GL moduli.

7. Functoriality, Comparison Results, and Broader Context

Brill–Noether stacks are functorially related to more classical moduli constructions. When $S$6, the stack reduces to the conventional stack of local systems for $S$7, and when $S$8, to the classifying stack for an abelian local system with pure Hodge structure. The more general semidirect product $S$9 context shows the universality of Brill–Noether stacks in reductive moduli problems (Boutchaktchiev, 2013).

Their explicit and computable deformation-theoretic structures make Brill–Noether stacks a primary testing ground for the schematic homotopy type and mixed Hodge theory programs, as developed by Katzarkov, Pantev, and Toën. The explicit bar model and mixed Hodge complex structures allow for detailed control of the local geometry of moduli and period domains, highlighting the bridge between higher-stack theory, nonabelian Hodge theory, and modern enumerative geometry.