Neutral representations in dimension $\leq 3$ and fields of moduli

Giulio Bresciani; Tianzhi Yang

arxiv: 2604.08773 · v1 · submitted 2026-04-09 · 🧮 math.AG

Neutral representations in dimension leq 3 and fields of moduli

Giulio Bresciani , Tianzhi Yang This is my paper

Pith reviewed 2026-05-10 16:53 UTC · model grok-4.3

classification 🧮 math.AG

keywords neutral representationsfinite groupsfields of moduligerbestwisted formsTannakian categoriesquotient singularities

0 comments

The pith

Neutral faithful representations of finite groups are completely classified in dimensions at most three.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a representation V of an algebraic group G as neutral if every twisted form of the associated vector bundle over BG over an arbitrary field k yields a gerbe with a k-rational point. It delivers a full classification of all such neutral faithful representations when the dimension is at most three. The classification matters because twisted forms appear as cohomology classes on residual gerbes of moduli spaces and as quotient singularities, directly informing questions about fields of moduli. A separate general criterion is supplied that makes it straightforward to check neutrality for representations of finite abelian groups in any dimension. The work also constructs the normalizer of a morphism of gerbes and proves that this normalizer depends only on the geometric type of the morphism.

Core claim

A representation V of G is neutral precisely when, for every twisted form V' to G' of the stack [V/G] to BG over a field k, the gerbe G' possesses a k-point. The paper classifies all neutral faithful representations of finite groups in dimension at most three, supplies a computation-friendly criterion that proves neutrality for finite abelian groups in arbitrary dimension, and shows that the normalizer of any morphism of gerbes depends only on the geometric type of the source and target gerbes.

What carries the argument

The neutrality condition on a representation, which requires that every twisted form of the quotient stack [V/G] admits a section over the base field, together with the normalizer of a gerbe morphism that is invariant under geometric type.

If this is right

Neutrality directly decides whether fields of moduli exist for certain families of varieties and for quotient singularities.
The abelian-group criterion reduces neutrality checks to explicit computations on character groups or cocycles.
The normalizer construction simplifies the study of all morphisms from a fixed gerbe to BGL_n by reducing them to geometric data.
Every Tannakian category arises as vector bundles on a gerbe, so neutrality supplies information about rational points on the corresponding classifying stacks.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The low-dimensional classification could serve as a base case for inductive arguments that extend neutrality criteria to higher dimensions when the group is solvable.
Because twisted forms arise from residual gerbes on moduli spaces, the list of neutral representations yields concrete obstructions or existence statements for rational points on those moduli stacks.
The geometric-type invariance of the normalizer suggests that neutrality questions are insensitive to non-geometric automorphisms and depend only on the underlying algebraic group up to isomorphism over the algebraic closure.

Load-bearing premise

The classification assumes the groups are finite and the representations are faithful, with all twisted forms taken over arbitrary base fields k.

What would settle it

A faithful representation of a finite group in dimension three whose associated gerbe twists all possess k-points but which is absent from the listed neutral cases would refute the completeness of the classification.

read the original abstract

A representation $V$ of an algebraic group $G$ induces a vector bundle $[V/G] \to BG$. The representation $V$ of $G$ is neutral if, for every twisted form $\mathcal{V} \to \mathcal{G}$ of $[V/G] \to BG$ over a field $k$, we have $\mathcal{G}(k) \neq \emptyset$. Twisted forms of representations arise in many ways, for instance as cohomology of families of varieties on residual gerbes of moduli spaces, and from quotient singularities. Moreover, every Tannakian category is the category of vector bundles on some gerbe. Because of this, studying neutral representations yields numerous applications, especially to problems about fields of moduli. The present article has three main results. First, we completely classify neutral, faithful representations of finite groups in dimension $\leq 3$. Second, we give a very general, computation-friendly result for proving that representations of finite abelian groups are neutral, in arbitrary dimensions. Third, we develop the abstract concept of the normalizer $\mathcal{G} \to \mathcal{N} \to \mathcal{H}$ of a morphism of gerbes $\mathcal{G} \to \mathcal{H}$ on an arbitrary site (twisted representations correspond to morphisms of gerbes $\mathcal{G} \to B\mathrm{GL}_{n}$), and show that the normalizer $\mathcal{N}$ only depends on the geometric type of $\mathcal{G} \to \mathcal{H}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper classifies neutral faithful representations of finite groups in dimension at most 3, supplies a practical test for abelian groups, and introduces a normalizer construction for gerbe morphisms that depends only on geometric type.

read the letter

The main takeaway is a complete classification of neutral faithful representations of finite groups in dimensions ≤3, paired with a general neutrality criterion for abelian groups that is meant to be computation-friendly, plus an abstract normalizer for morphisms of gerbes on arbitrary sites. These pieces directly target fields-of-moduli questions that appear in moduli spaces and quotient singularities via the definition that every twisted form of the quotient stack has a k-point on the base gerbe. The link to Tannakian categories is explicit and useful since every such category arises as vector bundles on a gerbe. The normalizer result is presented cleanly as depending only on the geometric type of the morphism, which looks reusable. The work stays scoped to finite groups and faithful representations, which keeps the claims manageable. The approach rests on standard gerbe and representation theory without visible circularity or invented parameters. Soft spots are limited. The classification is stated as exhaustive for low dimensions, but the details of how all cases are handled would need checking in the proofs; the abstract does not list them explicitly. The abelian test is described as practical, yet its exact reduction steps would benefit from concrete examples to confirm it really simplifies computations. No load-bearing gaps appear in the setup or assumptions about twisted forms over arbitrary fields k. This paper is for algebraic geometers working with gerbes, moduli problems, or fields of moduli, especially those who need explicit low-dimensional lists or criteria they can apply directly. A reader focused on computational tools or specific applications in dimension 3 would extract value. It shows clear, scoped thinking on its own terms and builds on prior literature in a non-redundant way. I would send it for peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript defines a representation V of an algebraic group G to be neutral if every twisted form of the quotient stack [V/G] → BG over a field k has a k-point on the base gerbe. It claims three main results: a complete classification of neutral faithful representations of finite groups in dimension ≤ 3, a general computation-friendly criterion for neutrality of finite abelian group representations in arbitrary dimensions, and the construction of the normalizer of a morphism of gerbes on an arbitrary site, with the property that the normalizer depends only on the geometric type of the morphism.

Significance. If the classification and criterion hold, the work would supply concrete, usable tools for determining fields of moduli and the existence of rational points on gerbes that arise from cohomology of families or quotient singularities. The computation-friendly neutrality test for abelian groups and the abstract normalizer construction are explicit strengths, as they rest on established gerbe and Tannakian theory while extending it in a manner that supports explicit checks.

minor comments (2)

The abstract describes the neutrality criterion for abelian groups as 'computation-friendly,' yet no concrete example or worked computation appears in the provided description; including one explicit instance in the main text would make the claim easier to verify.
The normalizer construction is stated to depend only on the geometric type; a brief remark on how this independence is proved (e.g., via a reference to a specific lemma or diagram) would clarify the argument for readers unfamiliar with the site-theoretic setting.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive review, recognition of the potential applications to fields of moduli and gerbe theory, and recommendation for minor revision. We appreciate the acknowledgment that the neutrality criterion for abelian groups and the normalizer construction rest on established theory while providing explicit tools.

Circularity Check

0 steps flagged

No significant circularity; classification rests on established gerbe theory

full rationale

The paper defines neutral representations via the property that every twisted form of the quotient stack [V/G] → BG has a k-point on the base gerbe, then classifies such faithful representations for finite groups in dimension ≤3 and gives a general criterion for abelian groups. These results are derived from the abstract normalizer construction for morphisms of gerbes on arbitrary sites and from Tannakian duality, both treated as given external theory rather than derived within the paper. No equation or claim reduces by construction to a fitted parameter, self-referential definition, or load-bearing self-citation; the finite-group and dimension bounds are explicit scoping conditions, not circular constraints. The derivation chain is therefore self-contained against external benchmarks in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper relies on standard axioms of algebraic groups, gerbes, and Tannakian categories; it introduces the new notions of neutral representation and gerbe normalizer without independent evidence outside the definitions themselves.

axioms (1)

standard math Standard properties of algebraic groups, gerbes, twisted forms, and Tannakian categories over arbitrary fields.
Invoked throughout the abstract to define neutral representations and morphisms of gerbes.

invented entities (2)

Neutral representation no independent evidence
purpose: Captures representations V of G such that every twisted form of the bundle [V/G] → BG has a k-point.
Defined in the abstract as the central object of study.
Normalizer of a morphism of gerbes no independent evidence
purpose: Generalizes the group-theoretic normalizer to morphisms G → H of gerbes on an arbitrary site.
New abstract concept developed in the third main result.

pith-pipeline@v0.9.0 · 5569 in / 1372 out tokens · 50883 ms · 2026-05-10T16:53:35.451704+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We completely classify neutral, faithful representations of finite groups in dimension ≤3... normalizer N of a morphism of gerbes G→H... gates for twisted forms
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

neutral if every twist of V is a representation of a twist of G... index of gerbe... Sylow subgroups abelian

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

[AGV08] Dan Abramovich, Tom Graber, and Angelo Vistoli,Gromov-Witten theory of Deligne- Mumford stacks, Amer. J. Math.130(2008), no. 5, 1337–1398. [BL24] Daniel Bragg and Max Lieblich,Murphy’s Law for Algebraic Stacks, https://arxiv. org/abs/2402.00862,

work page arXiv 2008
[2]

Geom.8(2021), no

[Bre21] Giulio Bresciani,Some implications between Grothendieck’s anabelian conjectures, Algebr. Geom.8(2021), no. 2, 231–267. [Bre23a] Giulio Bresciani,The field of moduli of plane curves, https://arxiv.org/abs/2303. 01454,

work page 2021
[3]

[Bre23b] ,Real versus complex plane curves,https://arxiv.org/abs/2309.12192,

work page arXiv
[4]

[Bre24a] Giulio Bresciani,The arithmetic of tame quotient singularities in dimension 2, Int. Math. Res. Not. IMRN (2024), no. 3, 2017–2043. [Bre24b] ,The field of moduli of a divisor on a rational curve, J. Algebra647(2024), 72–98. [Bre24c] ,The field of moduli of varieties with a structure, Boll. Unione Mat. Ital.17 (2024), no. 3, 613–624. [Bre24d] Giuli...

work page arXiv 2024
[5]

org/abs/2409.07923,

[Bre25] ,On the section conjecture for the toric fundamental group, https://arxiv. org/abs/2409.07923,

work page arXiv
[6]

Algebraic Geom.24(2015), no

[BV15] Niels Borne and Angelo Vistoli,The Nori fundamental gerbe of a fibered category, J. Algebraic Geom.24(2015), no. 2, 311–353. [BV19] ,Fundamental gerbes, Algebra Number Theory13(2019), no. 3, 531–576. [BV24a] Giulio Bresciani and Angelo Vistoli,An arithmetic valuative criterion for proper maps of tame algebraic stacks, Manuscripta Math.173(2024), no...

work page 2015
[7]

Algebra106(1987), no

[CTS87] Jean-Louis Colliot-Th´ el` ene and Jean-Jacques Sansuc,Principal homogeneous spaces under flasque tori: applications, J. Algebra106(1987), no. 1, 148–205. [Del90] P. Deligne,Cat´ egories tannakiennes, The Grothendieck Festschrift, Vol. II, Progr. Math., vol. 87, Birkh¨ auser Boston, Boston, MA, 1990, pp. 111–195. [Esn03] H´ el` ene Esnault,Varieti...

work page 1987
[8]

Groups 21(2016), no

[Hur16] Mathieu Huruguen,Special reductive groups over an arbitrary field, Transform. Groups 21(2016), no. 4, 1079–1104. [LS25a] Daniel Loughran and Gregory Sankaran,Rationality and arithmetic of the moduli of abelian varieties, Moduli2(2025), Paper No. e2,

work page 2016
[9]

[LS25b] Daniel Loughran and Tim Santens,Malle’s conjecture and Brauer groups of stacks, https://arxiv.org/abs/2412.04196,

work page arXiv
[10]

Matsusaka,Polarized varieties, fields of moduli and generalized Kummer varieties of polarized abelian varieties, Amer

[Mat58] T. Matsusaka,Polarized varieties, fields of moduli and generalized Kummer varieties of polarized abelian varieties, Amer. J. Math.80(1958), 45–82. [Ser94] Jean-Pierre Serre,Cohomologie Galoisienne, Lecture Notes in Mathematics, vol. Vol. 5, Springer-Verlag, Berlin,

work page 1958
[11]

[Shi59] Goro Shimura,On the theory of automorphic functions, Ann. of Math. (2)70(1959), 101–144. [Sta25] The Stacks project authors,The stacks project, https://stacks.math.columbia.edu,

work page 1959
[12]

[Wei56] Andr´ e Weil,The field of definition of a variety, Amer. J. Math.78(1956), 509–524. (G. Bresciani)Dipartimento di Matematica, Universit `a di Pisa, Italy Email address:giulio.bresciani1@unipi.it (T. Yang)Scuola Normale Superiore di Pisa, Italy Email address:tianzhi.yang@sns.it

work page 1956

[1] [1]

[AGV08] Dan Abramovich, Tom Graber, and Angelo Vistoli,Gromov-Witten theory of Deligne- Mumford stacks, Amer. J. Math.130(2008), no. 5, 1337–1398. [BL24] Daniel Bragg and Max Lieblich,Murphy’s Law for Algebraic Stacks, https://arxiv. org/abs/2402.00862,

work page arXiv 2008

[2] [2]

Geom.8(2021), no

[Bre21] Giulio Bresciani,Some implications between Grothendieck’s anabelian conjectures, Algebr. Geom.8(2021), no. 2, 231–267. [Bre23a] Giulio Bresciani,The field of moduli of plane curves, https://arxiv.org/abs/2303. 01454,

work page 2021

[3] [3]

[Bre23b] ,Real versus complex plane curves,https://arxiv.org/abs/2309.12192,

work page arXiv

[4] [4]

[Bre24a] Giulio Bresciani,The arithmetic of tame quotient singularities in dimension 2, Int. Math. Res. Not. IMRN (2024), no. 3, 2017–2043. [Bre24b] ,The field of moduli of a divisor on a rational curve, J. Algebra647(2024), 72–98. [Bre24c] ,The field of moduli of varieties with a structure, Boll. Unione Mat. Ital.17 (2024), no. 3, 613–624. [Bre24d] Giuli...

work page arXiv 2024

[5] [5]

org/abs/2409.07923,

[Bre25] ,On the section conjecture for the toric fundamental group, https://arxiv. org/abs/2409.07923,

work page arXiv

[6] [6]

Algebraic Geom.24(2015), no

[BV15] Niels Borne and Angelo Vistoli,The Nori fundamental gerbe of a fibered category, J. Algebraic Geom.24(2015), no. 2, 311–353. [BV19] ,Fundamental gerbes, Algebra Number Theory13(2019), no. 3, 531–576. [BV24a] Giulio Bresciani and Angelo Vistoli,An arithmetic valuative criterion for proper maps of tame algebraic stacks, Manuscripta Math.173(2024), no...

work page 2015

[7] [7]

Algebra106(1987), no

[CTS87] Jean-Louis Colliot-Th´ el` ene and Jean-Jacques Sansuc,Principal homogeneous spaces under flasque tori: applications, J. Algebra106(1987), no. 1, 148–205. [Del90] P. Deligne,Cat´ egories tannakiennes, The Grothendieck Festschrift, Vol. II, Progr. Math., vol. 87, Birkh¨ auser Boston, Boston, MA, 1990, pp. 111–195. [Esn03] H´ el` ene Esnault,Varieti...

work page 1987

[8] [8]

Groups 21(2016), no

[Hur16] Mathieu Huruguen,Special reductive groups over an arbitrary field, Transform. Groups 21(2016), no. 4, 1079–1104. [LS25a] Daniel Loughran and Gregory Sankaran,Rationality and arithmetic of the moduli of abelian varieties, Moduli2(2025), Paper No. e2,

work page 2016

[9] [9]

[LS25b] Daniel Loughran and Tim Santens,Malle’s conjecture and Brauer groups of stacks, https://arxiv.org/abs/2412.04196,

work page arXiv

[10] [10]

Matsusaka,Polarized varieties, fields of moduli and generalized Kummer varieties of polarized abelian varieties, Amer

[Mat58] T. Matsusaka,Polarized varieties, fields of moduli and generalized Kummer varieties of polarized abelian varieties, Amer. J. Math.80(1958), 45–82. [Ser94] Jean-Pierre Serre,Cohomologie Galoisienne, Lecture Notes in Mathematics, vol. Vol. 5, Springer-Verlag, Berlin,

work page 1958

[11] [11]

[Shi59] Goro Shimura,On the theory of automorphic functions, Ann. of Math. (2)70(1959), 101–144. [Sta25] The Stacks project authors,The stacks project, https://stacks.math.columbia.edu,

work page 1959

[12] [12]

[Wei56] Andr´ e Weil,The field of definition of a variety, Amer. J. Math.78(1956), 509–524. (G. Bresciani)Dipartimento di Matematica, Universit `a di Pisa, Italy Email address:giulio.bresciani1@unipi.it (T. Yang)Scuola Normale Superiore di Pisa, Italy Email address:tianzhi.yang@sns.it

work page 1956