arxiv: 2605.05943 · v1 · submitted 2026-05-07 · 🧮 math.AG

Recognition: unknown

A two-step approach to Chow quotients

Gianluca Occhetta, Luis E. Sol\'a Conde

Pith reviewed 2026-05-08 06:19 UTC · model grok-4.3

classification 🧮 math.AG

keywords Chow quotientstoric varietiesbirational automorphismsrational homogeneous varietiestorus actionsprojective varietiesquotients

0 comments

The pith

The geometry of the Chow quotient is captured by a projective toric variety and a finite subgroup of its birational automorphisms.

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

Chow quotients arise from torus actions on projective varieties and often display intricate geometry even when the starting variety is simple, such as a rational homogeneous space. The paper develops a two-step strategy that transfers the essential geometric data of such a quotient into the more tractable setting of a projective toric variety together with a finite subgroup of its birational automorphisms. This encoding is then carried out explicitly for selected rational homogeneous varieties, showing how the original quotient can be recovered from the toric model and the group action.

Core claim

The authors introduce an encoding in which the Chow quotient is represented by a projective toric variety equipped with a finite subgroup of its birational automorphism group. They demonstrate the method by constructing the relevant toric variety and subgroup for several concrete rational homogeneous varieties, thereby reducing the study of the quotient geometry to operations within toric geometry.

What carries the argument

The encoding that associates to each Chow quotient a projective toric variety together with a finite subgroup of its birational automorphisms, which together carry the geometric information of the quotient.

If this is right

Toric geometry methods become available for computing properties of Chow quotients.
Explicit models can be constructed for quotients of the rational homogeneous varieties treated in the paper.
The finite subgroup encodes the residual symmetries that distinguish the quotient from the toric variety alone.
The two-step reduction applies uniformly once the toric variety and subgroup are identified.

Where Pith is reading between the lines

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

The same encoding technique might be tested on quotients arising from other torus actions where direct computation has been difficult.
Intersection theory or cohomology calculations on the quotient could be transferred to the toric side and then adjusted by the finite group action.
If the encoding works more generally, it could link Chow quotients to existing databases of toric varieties and their birational automorphism groups.

Load-bearing premise

The toric variety and finite birational automorphism subgroup together contain every geometric feature of the Chow quotient without omission or extra hidden data.

What would settle it

An explicit Chow quotient of a rational homogeneous variety whose geometric properties cannot be recovered from any projective toric variety and finite birational automorphism subgroup would disprove the encoding.

Figures

Figures reproduced from arXiv: 2605.05943 by Gianluca Occhetta, Luis E. Sol\'a Conde.

**Figure 1.** Figure 1: The GIT chamber decompositions of TB3(1),P1 , and TD3(1),P1 view at source ↗

read the original abstract

The Chow quotient of a projective variety by the action of a complex torus is known to have a very complicated geometry, even in the case of simple varieties, such as rational homogeneous varieties. In this paper we propose an approach in which the geometry of the Chow quotient is encoded in a projective toric variety and a finite subgroup of its birational automorphisms. We then illustrate how to apply our strategy in the case of some particular rational homogeneous varieties.

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 encodes Chow quotients of torus actions on some homogeneous varieties as a toric variety plus a finite birational automorphism group, with concrete examples but no general reconstruction proof.

read the letter

The main takeaway is that the authors break the geometry of these Chow quotients into a projective toric variety together with a finite subgroup of its birational automorphisms, then work out the details for a few rational homogeneous varieties. This two-step encoding is the actual new piece. It turns a messy quotient into toric data plus group action, which lines up with standard tools and could help with explicit calculations in those cases. The examples show the method in action and make the claim checkable on paper. The soft spot is the completeness of the encoding. The toric variety and finite group need to determine the original quotient up to isomorphism without dropping invariants or hiding extra structure, but the paper gives no reconstruction functor or uniqueness argument. It only checks selected varieties, so the approach might rely on special features of those examples rather than holding in general. Readers working on quotients, moduli, or toric methods in algebraic geometry will get the most out of it, especially if they want computational shortcuts. The work is clear enough on its own terms to deserve a serious referee who can push on the reconstruction step and see how far the examples extend.

Referee Report

2 major / 1 minor

Summary. The manuscript proposes a two-step approach to the geometry of Chow quotients of projective varieties by complex torus actions. It claims that this geometry is encoded in a projective toric variety together with a finite subgroup of its birational automorphisms, and illustrates the strategy on selected rational homogeneous varieties.

Significance. If the proposed encoding is shown to be faithful (i.e., the toric variety plus finite birational automorphism subgroup reconstructs the Chow quotient up to isomorphism or at least preserves dimension, singularities, and cycle classes), the method would supply a useful reduction of a notoriously complicated object to toric geometry and finite-group data. The concrete illustrations for rational homogeneous varieties constitute a modest positive step, but the significance remains conditional on a proof that the encoding is lossless.

major comments (2)

[The two-step approach] The central claim that the pair (projective toric variety, finite subgroup of birational automorphisms) encodes the Chow quotient geometry without loss requires an explicit reconstruction statement or uniqueness proof. No such functor or argument appears in the two-step construction, which is load-bearing for the entire approach.
[Illustrations] In the illustrations for rational homogeneous varieties, it is not verified that the finite birational automorphism subgroup captures all geometric invariants of the Chow quotient (e.g., cycle classes or non-toric components). If extra hidden structure exists in these cases, the encoding would be incomplete even for the examples.

minor comments (1)

[Abstract] The abstract would benefit from naming the specific rational homogeneous varieties used in the illustrations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thoughtful report and the recommendation of major revision. The manuscript proposes a two-step encoding of Chow quotient geometry via toric data and finite birational automorphisms, with concrete illustrations on rational homogeneous varieties. We address the two major comments below, clarifying the scope of our claims while agreeing that additional explicit statements would strengthen the presentation. We will incorporate revisions accordingly.

read point-by-point responses

Referee: The central claim that the pair (projective toric variety, finite subgroup of birational automorphisms) encodes the Chow quotient geometry without loss requires an explicit reconstruction statement or uniqueness proof. No such functor or argument appears in the two-step construction, which is load-bearing for the entire approach.

Authors: We agree that the manuscript would benefit from an explicit remark on the nature of the encoding. The two-step construction is presented as a practical reduction that isolates the toric variety and the finite group of birational automorphisms as the data controlling the geometry; it does not assert a fully functorial equivalence or uniqueness theorem in general. In the revised version we will add a clarifying paragraph stating that the encoding is faithful for the invariants tracked in the paper (dimension, singularities, and the cycle class data visible in the toric quotient) and that a general reconstruction functor lies outside the scope of this note. This addresses the load-bearing role without overstating the current results. revision: partial
Referee: In the illustrations for rational homogeneous varieties, it is not verified that the finite birational automorphism subgroup captures all geometric invariants of the Chow quotient (e.g., cycle classes or non-toric components). If extra hidden structure exists in these cases, the encoding would be incomplete even for the examples.

Authors: We will expand the illustration sections to include explicit checks that the finite birational automorphism group accounts for the non-toric components and preserves the relevant cycle classes in each treated case. For the rational homogeneous varieties considered, the construction already shows that the toric variety plus the finite group reproduces the Chow quotient up to the invariants listed in the paper; we will add a short verification paragraph confirming that no additional hidden data is required for these examples. This makes the completeness of the encoding transparent for the concrete cases. revision: yes

Circularity Check

0 steps flagged

No significant circularity; encoding proposal is self-contained

full rationale

The paper introduces a two-step encoding of Chow quotient geometry via a projective toric variety plus a finite subgroup of birational automorphisms, then applies it illustratively to selected rational homogeneous varieties. No equations, self-definitional reductions, fitted-input predictions, or load-bearing self-citations appear in the provided abstract or described structure. The central claim is a methodological proposal whose validity rests on explicit construction and examples rather than tautological re-derivation from its own inputs. The derivation chain therefore remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the encoding is stated at a conceptual level without mathematical details.

pith-pipeline@v0.9.0 · 5359 in / 972 out tokens · 18856 ms · 2026-05-08T06:19:27.651740+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 2 canonical work pages

[1]

On Chow quotients of torus actions

Hendrik B¨ aker, J¨ urgen Hausen, and Simon Keicher. On Chow quotients of torus actions. Michigan Math. J., 64(3):451–473, 2015

2015
[2]

Sol´ a Conde

Lorenzo Barban, Gianluca Occhetta, and Luis E. Sol´ a Conde. Quotients of flag varieties and their birational geometry.Preprint ArXiv:2509.05063, 2025

work page arXiv 2025
[3]

Some theorems on actions of algebraic groups.Ann

Andrzej Bia lynicki-Birula. Some theorems on actions of algebraic groups.Ann. of Math. (2), 98:480–497, 1973

1973
[4]

Billera, Paul Filliman, and Bernd Sturmfels

Louis J. Billera, Paul Filliman, and Bernd Sturmfels. Constructions and complexity of sec- ondary polytopes.Adv. Math., 83(2):155–179, 1990

1990
[5]

Wi´ sniewski, and Andrzej Weber

Jaros law Buczy´ nski, Jaros law A. Wi´ sniewski, and Andrzej Weber. Algebraic torus actions on contact manifolds.J. Diff. Geom, 121:227–289, 2022

2022
[6]

Fiber fans and toric quotients.Discrete Comput

Alastair Craw and Diane Maclagan. Fiber fans and toric quotients.Discrete Comput. Geom., 37(2):251–266, 2007

2007
[7]

De Concini and C

C. De Concini and C. Procesi. Complete symmetric varieties. InInvariant theory (Monteca- tini, 1982), volume 996 ofLecture Notes in Math., pages 1–44. Springer, Berlin, 1983

1982
[8]

Cluster algebras

Sergey Fomin and Andrei Zelevinsky. Cluster algebras. I. Foundations.J. Amer. Math. Soc., 15(2):497–529, 2002

2002
[9]

I. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky.Discriminants, resultants and mul- tidimensional determinants. Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA, 2008. Reprint of the 1994 edition

2008
[10]

Kapranov

Mikhail M. Kapranov. Chow quotients of Grassmannians. I. InI. M. Gel’fand Seminar, volume 16 ofAdv. Soviet Math., pages 29–110. Amer. Math. Soc., Providence, RI, 1993

1993
[11]

Kapranov, Bernd Sturmfels, and Andrei V

Mikhail M. Kapranov, Bernd Sturmfels, and Andrei V. Zelevinsky. Quotients of toric varieties. Math. Ann., 290(4):643–655, 1991

1991
[12]

The projectivity of the moduli space of stable curves, ii.Mathematische Scandinavica, 52:161–199, 1983

Finn Faye Knudsen. The projectivity of the moduli space of stable curves, ii.Mathematische Scandinavica, 52:161–199, 1983

1983
[13]

The geometry and combinatorics of some Hessenberg varieties related to the permutohedral variety.Electron

Jan-Li Lin. The geometry and combinatorics of some Hessenberg varieties related to the permutohedral variety.Electron. J. Combin., 31(3):Paper No. 3.17, 23, 2024

2024
[14]

Cluster type varieties.Preprint ArXiv:2602.23584, 2026

Joaquin Moraga. Cluster type varieties.Preprint ArXiv:2602.23584, 2026

work page arXiv 2026
[15]

Romano, Luis E

Gianluca Occhetta, Eleonora A. Romano, Luis E. Sol´ a Conde, and Jaros law A. Wi´ sniewski. High rank torus actions on contact manifolds.Selecta Math. (N.S.), 27(1):No. 10, 33, 2021

2021
[16]

Romano, Luis E

Gianluca Occhetta, Eleonora A. Romano, Luis E. Sol´ a Conde, and Jaros law A. Wi´ sniewski. Rational homogeneous spaces as geometric realizations of birational transformations.Rend. Circ. Mat. Palermo, II. Ser, 72:3223–3253, 2023

2023
[17]

Chow Quotients ofC ∗-actions.International Mathematics Research Notices, 2025(12), 2025

Gianluca Occhetta, Eleonora A Romano, Luis E Sol´ a Conde, and Jaros law A Wi´ sniewski. Chow Quotients ofC ∗-actions.International Mathematics Research Notices, 2025(12), 2025

2025
[18]

Romano and Jaros law A

Eleonora A. Romano and Jaros law A. Wi´ sniewski. Adjunction for varieties with aC∗ action. Transform. Groups, 27(4):1431–1473, 2022

2022
[19]

Williams

Lauren K. Williams. Cluster algebras: an introduction.Bull. Amer. Math. Soc. (N.S.), 51(1):1–26, 2014. Dipartimento di Matematica, Universit `a degli Studi di Trento, via Sommarive 14 I-38123, Trento (TN), Italy Email address:gianluca.occhetta@unitn.it, eduardo.solaconde@unitn.it

2014