pith. sign in

arxiv: 2604.08929 · v1 · submitted 2026-04-10 · 🧮 math.AG

Moduli of toric principal bundles

Shaoyu Huang , Kiumars Kaveh This is my paper

Pith reviewed 2026-05-10 17:27 UTC · model grok-4.3

classification 🧮 math.AG
keywords toric principal bundlesmoduli spacesTits buildingequivariant characteristic classtoric varietiespartial flag varietiespiecewise linear mapsreductive groups
0
0 comments X

The pith

Toric principal G-bundles with fixed equivariant characteristic class form a moduli space as a locally closed subvariety of a product of partial flag varieties.

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

The paper uses an existing classification of toric principal bundles to build their moduli spaces explicitly. Piecewise linear maps from the fan of the base toric variety to the extended Tits building of a reductive group G label the bundles. Fixing the total equivariant characteristic class then cuts out the desired moduli space inside a product of partial flag varieties. This construction directly extends an earlier result that did the same for toric vector bundles. A reader would care because the resulting space supplies a concrete geometric object whose points correspond to the bundles of interest.

Core claim

Using the Kaveh-Manon classification of toric principal G-bundles by piecewise linear maps to the extended Tits building, the authors construct the moduli space of framed toric principal G-bundles with a given total equivariant characteristic class as a locally closed subvariety of a product of partial flag varieties.

What carries the argument

The Kaveh-Manon classification of toric principal bundles by piecewise linear maps to the extended Tits building of G, which is used to impose the fixed total equivariant characteristic class condition and realize the moduli space inside flag varieties.

If this is right

  • The constructed space parametrizes all framed toric principal G-bundles with the prescribed total equivariant characteristic class.
  • The moduli space appears as a locally closed subvariety inside a product of partial flag varieties.
  • The same method yields moduli spaces for any reductive group G to which the Kaveh-Manon classification applies.
  • The construction recovers the earlier moduli space of toric vector bundles as a special case.

Where Pith is reading between the lines

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

  • The embedding into flag varieties may let one read off dimension or cohomology of the moduli space from known formulas for flag varieties.
  • Similar cutting-out techniques could produce moduli spaces for toric bundles with other fixed invariants beyond the total characteristic class.
  • The method suggests a route to compare these moduli spaces with those arising in non-toric settings or for other group actions.

Load-bearing premise

The Kaveh-Manon classification of toric principal bundles by piecewise linear maps to the extended Tits building is complete and can be applied directly to select bundles with a prescribed total equivariant characteristic class without extra obstructions.

What would settle it

An explicit low-dimensional example, such as a toric surface with G equal to SL(3), where the number or geometry of points in the constructed subvariety of the product of flag varieties does not match the set of isomorphism classes of framed toric principal bundles having the given total equivariant characteristic class.

read the original abstract

Let $G$ be a reductive algebraic group. A toric principal $G$-bundle is a principal $G$-bundle over a toric variety together with a torus action commuting with the $G$-action. Extending the Klyachko classification of toric vector bundles, Kaveh-Manon classify toric principal bundles by piecewise linear maps to the (extended) Tits building of $G$. In this paper, we use this classification to construct a moduli space of (framed) toric principal bundles with given total equivariant characteristic class, as a locally closed subvariety of a product of partial flag varieties. This extends the construction of moduli of toric vector bundles by Sam Payne.

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

2 major / 2 minor

Summary. The paper extends the Kaveh-Manon classification of toric principal G-bundles (G reductive) via piecewise linear maps to the extended Tits building. It constructs the moduli space of framed toric principal G-bundles with fixed total equivariant characteristic class as a locally closed subvariety of a product of partial flag varieties, generalizing Payne's moduli construction for toric vector bundles.

Significance. If the central construction is verified, the result supplies an explicit geometric realization of these moduli spaces in terms of flag varieties, allowing combinatorial control over their geometry and invariants. This strengthens the link between toric varieties, equivariant principal bundles, and characteristic classes, and provides a template for similar moduli problems in equivariant algebraic geometry.

major comments (2)
  1. [Main construction (likely §3–4)] The central claim that the fixed total equivariant characteristic class condition defines a locally closed subvariety (abstract and main theorem) requires explicit verification that this slice imposes no additional global obstructions from the commuting torus and G-actions or from the piecewise-linear map being defined on the whole fan rather than just the rays. This is load-bearing because the Tits building for general reductive G is more intricate than the Grassmannian case, and any missed compatibility would mean the locus is not simply cut out inside the product of partial flag varieties.
  2. [§2 (Preliminaries on the classification)] The construction assumes the Kaveh-Manon classification is bijective (every toric principal bundle arises uniquely from a PL map to the extended Tits building). While the paper cites this classification, a brief self-contained recap or reference to the precise statement used (including how the total characteristic class is extracted from the map) is needed to confirm that fixing the class does not alter the bijection or introduce empty loci.
minor comments (2)
  1. [Abstract and §1] Clarify the precise definition of 'framed' toric principal bundle and how the framing interacts with the characteristic class condition; the current wording in the abstract leaves this slightly ambiguous.
  2. [Introduction] Add a short comparison table or diagram contrasting the new construction with Payne's vector-bundle case to highlight the new technical steps required for general G.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the referee's careful reading and constructive feedback. We appreciate the positive evaluation of the paper's significance and will revise the manuscript to address the major comments by adding the requested clarifications and verifications.

read point-by-point responses

  1. Referee: [Main construction (likely §3–4)] The central claim that the fixed total equivariant characteristic class condition defines a locally closed subvariety (abstract and main theorem) requires explicit verification that this slice imposes no additional global obstructions from the commuting torus and G-actions or from the piecewise-linear map being defined on the whole fan rather than just the rays. This is load-bearing because the Tits building for general reductive G is more intricate than the Grassmannian case, and any missed compatibility would mean the locus is not simply cut out inside the product of partial flag varieties.

    Authors: We agree that explicit verification of the locally closed property is necessary to support the main theorem. In the revised manuscript, we will expand the arguments in §3–4 to provide a detailed check that the fixed total equivariant characteristic class condition defines a locally closed subvariety of the product of partial flag varieties. This will include confirming the absence of additional obstructions arising from the commuting torus and G-actions, as well as verifying that the piecewise-linear maps are consistently defined on the entire fan using the structure of the extended Tits building. revision: yes

  2. Referee: [§2 (Preliminaries on the classification)] The construction assumes the Kaveh-Manon classification is bijective (every toric principal bundle arises uniquely from a PL map to the extended Tits building). While the paper cites this classification, a brief self-contained recap or reference to the precise statement used (including how the total characteristic class is extracted from the map) is needed to confirm that fixing the class does not alter the bijection or introduce empty loci.

    Authors: We will incorporate a brief self-contained recap of the Kaveh-Manon classification into §2. This will state the precise bijection between framed toric principal G-bundles and piecewise-linear maps to the extended Tits building, along with an explicit description of how the total equivariant characteristic class is extracted from the map. This addition will confirm that imposing a fixed class preserves the bijective correspondence and does not introduce empty loci. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new moduli construction independent of cited classification

full rationale

The paper's derivation proceeds by citing the Kaveh-Manon classification of toric principal bundles (piecewise linear maps to the extended Tits building) as an established input, then using it to parameterize framed bundles with fixed total equivariant characteristic class inside a product of partial flag varieties. This yields a new object (a locally closed subvariety) whose definition and existence do not reduce by the paper's own equations or definitions to the classification itself. The cited classification is prior independent work (even with author overlap) and is not re-derived or assumed via self-reference within this manuscript; the central construction adds independent content by imposing the characteristic-class slice and verifying it is locally closed. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing uniqueness theorems appear in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of the Kaveh-Manon classification of toric principal bundles and standard properties of toric varieties and reductive groups; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Toric varieties admit a torus action and have a fan description that interacts well with equivariant bundles.
    Invoked implicitly when extending Klyachko's classification to principal bundles.
  • domain assumption The Tits building of a reductive group G admits piecewise linear maps that classify toric principal G-bundles.
    This is the Kaveh-Manon classification used as the foundation for the moduli construction.

pith-pipeline@v0.9.0 · 5407 in / 1447 out tokens · 28575 ms · 2026-05-10T17:27:48.595051+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

21 extracted references · 21 canonical work pages

  1. [1]

    Abramenko, P.; Brown, K. S. Buildings, theory and applications . Grad. Texts in Math. 248, Springer-Verlag, New York, 2008

    work page 2008

  2. [2]

    A classification of equivariant principal bundles over nonsingular toric varieties

    Biswas, I.; Dey, A.; Poddar, M. A classification of equivariant principal bundles over nonsingular toric varieties . Internat. J. Math. 27 (2016), no. 14, 1650115

    work page 2016

  3. [3]

    Tannakian classification of equivariant principal bundles on toric varieties

    Biswas, I.; Dey, A.; Poddar, M. Tannakian classification of equivariant principal bundles on toric varieties. Transform. Groups 25 (2020), no. 4, 1009--1035

    work page 2020

  4. [4]

    Piecewise polynomial functions, convex polytopes and enumerative geometry

    Brion, M. Piecewise polynomial functions, convex polytopes and enumerative geometry. Banach Center Publications (1996) Vol. 36 (1), p. 25--44

    work page 1996

  5. [5]

    Helly-type problems

    Bárány, Imre, and Gil Kalai. Helly-type problems. Bulletin of the American Mathematical Society 59, no. 4 (2022): 471-502

    work page 2022

  6. [6]

    Classification, reduction and stability of toric principal bundles

    Dasgupta, J.; Khan, B.; Biswas, I.; Dey, A.; Poddar, M. Classification, reduction and stability of toric principal bundles. arXiv:2012.13540

    work page arXiv 2012

  7. [7]

    Characteristic classes in the Chow ring

    Edidin D, Graham W. Characteristic classes in the Chow ring . J. Algebraic Geom. 6 (1997), no. 3, 431-443

    work page 1997

  8. [8]

    Equivariant intersection theory

    Edidin D, Graham W. Equivariant intersection theory . Invent. Math. 1998 Mar; 131(3):595-634

    work page 1998

  9. [9]

    Garrett, P. B. Buildings and classical groups . CRC Press, 1997

    work page 1997

  10. [10]

    Toric principal bundles, Tits buildings and reduction of structure group

    Huang, S.; Kaveh, K. Toric principal bundles, Tits buildings and reduction of structure group . Doc. Math. 29 (2024), no. 4, pp. 815--830

    work page 2024

  11. [11]

    Buildings and their applications in geometry and topology

    Ji, L. Buildings and their applications in geometry and topology . Differential geometry, 89–210, Adv. Lect. Math. (ALM), 22, Int. Press, Somerville, MA, 2012

    work page 2012

  12. [12]

    On equivariant vector bundles on an almost homogeneous variety

    Kaneyama, T. On equivariant vector bundles on an almost homogeneous variety . Nagoya Math. J. 57 (1975), 65--86

    work page 1975

  13. [13]

    Torus-equivariant vector bundles on projective spaces

    Kaneyama, T. Torus-equivariant vector bundles on projective spaces . Nagoya Mathematical Journal 111 (1988): 25-40

    work page 1988

  14. [14]

    Klyachko, A. A. Equivariant bundles on toral varieties . (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 5, 1001--1039, 1135; translation in Math. USSR-Izv. 35 (1990), no. 2, 337--375

    work page 1989

  15. [15]

    Kaveh, K.; Manon, C.; Toric principal bundles, piecewise linear maps and Tits buildings. Math. Z. 302 (2022), no. 3, 1367--1392

    work page 2022

  16. [16]

    Geometric invariant theory

    Mumford, D.; Fogarty, J.; Kirwan, F. Geometric invariant theory . Third edition. Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], 34. Springer-Verlag, Berlin, 1994

    work page 1994

  17. [17]

    Equivariant Chow cohomology of toric varieties

    Payne S. Equivariant Chow cohomology of toric varieties . Math. Res. Lett. 13 (2006), no. 1, 29-41

    work page 2006

  18. [18]

    Moduli of toric vector bundles

    Payne, S. Moduli of toric vector bundles. Compos. Math.144(2008), no.5, 1199--1213

    work page 2008

  19. [19]

    Bruhat-Tits buildings and analytic geometry

    R\'emy, B.; Thuillier, A.; Werner, A. Bruhat-Tits buildings and analytic geometry. Berkovich spaces and applications, 141--202, Lecture Notes in Math., 2119, Springer, Cham, 2015

    work page 2015

  20. [20]

    Reductive groups over local fields, Automorphic forms, representations and L-functions (Armand Borel and William A

    Tits, J. Reductive groups over local fields, Automorphic forms, representations and L-functions (Armand Borel and William A. Casselman, eds.), Proc. Symp. Pure Math., vol. XXXIII, part 1, AMS, 1979, 29--69

    work page 1979

  21. [21]

    The Chow ring of a classifying space

    Totaro B. The Chow ring of a classifying space . InProceedings of symposia in pure mathematics 1999 (Vol. 67, pp. 249-284). Providence, RI; American Mathematical Society; 1998

    work page 1999