pith. sign in

arxiv: 2201.04879 · v3 · pith:3ABTUC63new · submitted 2022-01-13 · 🧮 math.AG · math.RT

Torus Actions on Quotients of Affine Spaces

Ana-Maria Brecan , Hans Franzen This is my paper

Pith reviewed 2026-05-24 12:08 UTC · model grok-4.3

classification 🧮 math.AG math.RT
keywords GIT quotienttorus actionfixed point locusLevi subgroupreductive groupstable locusaffine spacealgebraic group action
0
0 comments X

The pith

If a reductive group G acts freely on the stable locus, the components of the fixed point locus of a torus action on the GIT quotient are GIT quotients of linear subspaces by Levi subgroups.

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

The paper examines torus actions on GIT quotients of complex vector spaces by reductive groups acting linearly. It establishes that when G acts freely on the stable locus, each component of the fixed point locus under the torus is itself a GIT quotient of a linear subspace by a Levi subgroup. This supplies a recursive structural description of fixed loci inside these quotients. A sympathetic reader would care because the result reduces the geometry of fixed points to the same class of objects but with simpler groups and smaller spaces.

Core claim

We show that, under the assumption that G acts freely on the stable locus, the components of the fixed point locus are again GIT quotients of linear subspaces by Levi subgroups.

What carries the argument

The free action of G on the stable locus, which permits each fixed-point component to be identified with a GIT quotient by a Levi subgroup of a linear subspace.

If this is right

  • The fixed point locus decomposes into pieces that inherit the GIT quotient structure from the original data.
  • Each such component is obtained from a linear subspace stable under a Levi subgroup, preserving the affine character of the original setup.
  • The description applies uniformly to any torus action commuting with the G-action on the quotient.
  • The components remain quotients by reductive groups, allowing the same stability and linearization data to be reused at a smaller scale.

Where Pith is reading between the lines

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

  • The result suggests that repeated application to the components could produce a finite decomposition of the fixed locus into minimal pieces.
  • It connects the fixed-locus problem to the classification of Levi subgroups appearing in the centralizers of torus elements.
  • The same reduction might apply when the torus is replaced by a more general reductive group whose fixed locus is considered.

Load-bearing premise

The reductive group G acts freely on the stable locus of the GIT quotient.

What would settle it

An explicit torus action on a GIT quotient of an affine space where G fails to act freely on the stable locus yet some component of the fixed point locus is not a GIT quotient by any Levi subgroup.

read the original abstract

We study the locus of fixed points of a torus action on a GIT quotient of a complex vector space by a reductive complex algebraic group which acts linearly. We show that, under the assumption that $G$ acts freely on the stable locus, the components of the fixed point locus are again GIT quotients of linear subspaces by Levi subgroups.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript studies the fixed-point locus of a torus action on a GIT quotient of a complex vector space by a reductive complex algebraic group acting linearly. It claims that, under the assumption that G acts freely on the stable locus, the components of this fixed-point locus are GIT quotients of linear subspaces by Levi subgroups.

Significance. If the claim holds, the result supplies a concrete structural description of fixed loci in GIT quotients under torus actions when the freeness hypothesis is satisfied. This could serve as a tool for analyzing invariants and geometry in such quotients, though its applicability is limited to cases satisfying the stated assumption.

major comments (1)
  1. [Abstract] Abstract: the central theorem is asserted under the free-action assumption but no proof, argument outline, or verification is supplied, so the claim cannot be assessed beyond its logical form even though the reader notes it follows directly from the hypothesis.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our manuscript. The single major comment concerns the presentation of the central result. We respond point by point below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central theorem is asserted under the free-action assumption but no proof, argument outline, or verification is supplied, so the claim cannot be assessed beyond its logical form even though the reader notes it follows directly from the hypothesis.

    Authors: The abstract is a concise statement of the main theorem, which is standard practice; proofs are not included in abstracts. The full argument is developed in the body of the paper: Section 2 recalls the GIT setup and the freeness hypothesis on the stable locus, while Sections 3 and 4 contain the proof that each component of the torus fixed-point locus is a GIT quotient of a linear subspace by a Levi subgroup. An outline of the strategy appears in the introduction. The referee's observation that the claim follows directly from the hypothesis is consistent with our approach, which makes the reduction explicit via the freeness assumption and the structure of the moment map. We would be happy to expand the introduction with additional intermediate steps if the referee indicates which parts of the existing argument require clarification. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The central result is a conditional theorem: assuming G acts freely on the stable locus, fixed-point components of the torus action on the GIT quotient are themselves GIT quotients of linear subspaces by Levi subgroups. This is presented as a derived statement from the given hypothesis rather than a tautology or self-definition. No equations, fitted parameters, self-citations, or ansatzes appear in the provided abstract or claim description that reduce the conclusion to its inputs by construction. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard framework of GIT quotients together with the explicit free-action assumption; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption G acts freely on the stable locus
    Explicitly required in the abstract for the stated conclusion to hold.

pith-pipeline@v0.9.0 · 5567 in / 1087 out tokens · 21586 ms · 2026-05-24T12:08:22.025882+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    Assem, D

    I. Assem, D. Simson, and A. Skowro \'n ski, Elements of the representation theory of associative algebras. V ol. 1 , London Math.\ Soc.\ Stud.\ Texts, vol. 65, Cambridge Univ.\ Press, Cambridge, 2006,

    work page 2006

  2. [2]

    M. Bate, H. Geranios, and B. Martin, Orbit closures and invariants, Math. Z.\ 293 (2019), no. 3-4, 1121--1159

    work page 2019

  3. [3]

    Brion, Introduction to actions of algebraic groups, Les cours du CIRM 1 (2010), no

    M. Brion, Introduction to actions of algebraic groups, Les cours du CIRM 1 (2010), no. 1, 1--22

    work page 2010

  4. [4]

    Carter, Finite groups of lie type

    R.\,W. Carter, Finite groups of lie type. Conjugacy classes and complex characters (reprint of the 1985 original), Wiley Classics Lib., Wiley-Intersci.\ Publ., John Wiley & Sons, Ltd., Chichester, 1993

    work page 1985

  5. [5]

    Cox, Recent developments in toric geometry, in: Algebraic geometry (Santa Cruz, 1995), pp

    D.\,A. Cox, Recent developments in toric geometry, in: Algebraic geometry (Santa Cruz, 1995), pp. 389--436, Proc.\ Sympos.\ Pure Math., vol. 62, Amer.\ Math.\ Soc., Providence, RI, 1997

    work page 1995

  6. [6]

    Dolgachev, Lectures on invariant theory, London Math.\ Soc.\ Lecture Note Ser., vol

    I. Dolgachev, Lectures on invariant theory, London Math.\ Soc.\ Lecture Note Ser., vol. 296, Cambridge Univ.\ Press, Cambridge, 2003

    work page 2003

  7. [7]

    Ellingsrud and S.\,A

    G. Ellingsrud and S.\,A. Str mme, On the C how ring of a geometric quotient , Ann.\ of Math. (2) 130 (1989), no. 1, 159--187

    work page 1989

  8. [8]

    Fulton, Introduction to toric varieties, Ann.\ of Math.\ Stud., vol

    W. Fulton, Introduction to toric varieties, Ann.\ of Math.\ Stud., vol. 131, William Roever Lectures Geom., Princeton Univ.\ Press, Princeton, NJ, 1993

    work page 1993

  9. [9]

    Halic, Cohomological properties of invariant quotients of affine spaces, J

    M. Halic, Cohomological properties of invariant quotients of affine spaces, J. Lond.\ Math.\ Soc. (2) 82 (2010), no. 2, 376--394

    work page 2010

  10. [10]

    Hesselink, Uniform instability in reductive groups, J

    W.\,H. Hesselink, Uniform instability in reductive groups, J. reine angew.\ Math.\ 303/304 (1978), 74--96

    work page 1978

  11. [11]

    Hoskins, Stratifications associated to reductive group actions on affine spaces, Q

    V. Hoskins, Stratifications associated to reductive group actions on affine spaces, Q. J. Math.\ 65 (2014), no. 3, 1011--1047

    work page 2014

  12. [12]

    Kempf, Instability in invariant theory, Ann.\ of Math

    G.\,R. Kempf, Instability in invariant theory, Ann.\ of Math. (2) 108 (1978), no. 2, 299--316

    work page 1978

  13. [13]

    Instability in invariant theory

    , Instability in invariant theory (transcribed by I. Morrison), preprint, arXiv:1807.02890 (2018)

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  14. [14]

    King, Moduli of representations of finite-dimensional algebras, Quart

    A.\,D. King, Moduli of representations of finite-dimensional algebras, Quart. J.\ Math.\ Oxford Ser. (2) 45 (1994), no. 180, 515--530

    work page 1994

  15. [15]

    Kirwan, Cohomology of quotients in symplectic and algebraic geometry, Math.\ Notes, vol

    F.\,C. Kirwan, Cohomology of quotients in symplectic and algebraic geometry, Math.\ Notes, vol. 31, Princeton Univ.\ Press, Princeton, NJ, 1984

    work page 1984

  16. [16]

    Kraft, Geometrische M ethoden in der I nvariantentheorie , Aspects Math., D1, Friedr

    H. Kraft, Geometrische M ethoden in der I nvariantentheorie , Aspects Math., D1, Friedr. Vieweg & Sohn, Braunschweig, 1984

    work page 1984

  17. [17]

    Luna, Slices \' e tales , in: Sur les groupes alg\' e briques , pp

    D. Luna, Slices \' e tales , in: Sur les groupes alg\' e briques , pp. 81--105, Bull.\ Soc.\ Math.\ France M\' e m. 33 (1973)

    work page 1973

  18. [18]

    3, 231--238

    , Adh\' e rences d'orbite et invariants , Invent.\ Math.\ 29 (1975), no. 3, 231--238

    work page 1975

  19. [19]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory, 3rd ed., Ergeb.\ Math.\ Grenzgeb. (2), vol. 34, Springer-Verlag, Berlin, 1994

    work page 1994

  20. [20]

    Mozgovoy, Translation quiver varieties, J

    S. Mozgovoy, Translation quiver varieties, J. Pure Appl.\ Algebra 227 (2023), no. 1, 107156

    work page 2023

  21. [21]

    Ness, A stratification of the null cone via the moment map (with an appendix by D

    L. Ness, A stratification of the null cone via the moment map (with an appendix by D. Mumford), Amer. J.\ Math.\ 106 (1984), no. 6, 1281--1329

    work page 1984

  22. [22]

    Reineke, The H arder- N arasimhan system in quantum groups and cohomology of quiver moduli , Invent.\ Math.\ 152 (2003), no

    M. Reineke, The H arder- N arasimhan system in quantum groups and cohomology of quiver moduli , Invent.\ Math.\ 152 (2003), no. 2, 349--368

    work page 2003

  23. [23]

    589--637, EMS Ser.\ Congr.\ Rep., Eur.\ Math.\ Soc., Z\"urich, 2008

    , Moduli of representations of quivers, in: Trends in representation theory of algebras and related topics, pp. 589--637, EMS Ser.\ Congr.\ Rep., Eur.\ Math.\ Soc., Z\"urich, 2008

    work page 2008

  24. [24]

    Weist, Localization in quiver moduli spaces, Represent.\ Theory 17 (2013), 382--425

    T. Weist, Localization in quiver moduli spaces, Represent.\ Theory 17 (2013), 382--425

    work page 2013