REVIEW 2 major objections 4 minor 3 references
A technical remark on the Donaldson-Futaki invariant for Fano reductive group compactifications
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Donaldson-Futaki invariant reduces to a barycenter check
desk verdict A cleaner barycenter formula for DF invariants on Fano reductive compactifications, but the proof skips a boundary case and the gap is repairable. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Duistermaat-Heckman measure on $P^+$, with density $H_d(x)=\frac{1}{c}\prod_{i=1}^r\langle\alpha_i,x\rangle^2$, where the $\alpha_i$ are the positive roots and $c=\prod_i\langle\alpha_i,\rho\rangle^2$; this $H_d$ is the highest-degree homogeneous part of the squared Weyl dimension. The mechanism that carries the argument is the divergence identity $\operatorname{div}((x-2\rho)fH_d)=\langle\nabla f,x-2\rho\rangle H_d+(2r+n)fH_d-2fH_{d-1}$, combined with the Fano facet equation $\langle a_i,x\rangle=\langle a_i,2\rho\rangle-1$. These convert the boundary integral in the quoted Donaldson-Futaki formula into the barycenter expression, so the invariant is read off from the first moment of $H_d\,d\mu$.
What would settle it
Take a Fano reductive compactification whose polytope $P^+$ has a facet meeting the boundary of the positive Weyl chamber in a lower-dimensional face that is not the whole facet. On that facet the displayed boundary simplification must be checked directly; computing the actual boundary integral and comparing $-F_1(f)$ with $\frac12\langle\operatorname{bar}_{DH}(P^+)-2\rho,\nabla f\rangle$ would either confirm the simplification or produce a mismatch. A second check is to exhibit an affine-linear $f$ on $P^+$ that does not extend to a convex symmetric piecewise-linear function on the full polytope and test whether the two sides still agree.
Extended reading notes
Core claim
The central claim is the Proposition: if $P^+$ satisfies the Fano condition and $f$ is affine linear on $P^+$, then $$-F_1(f)=\frac{1}{2\operatorname{Vol}_{DH}(P^+)}\int_{P^+}\langle \nabla f, x-2\rho\rangle H_d\,d\mu = \frac12\langle \operatorname{bar}_{DH}(P^+)-2\rho,\nabla f\rangle.$$ Here $H_d$ is the top homogeneous part of $\dim(\operatorname{End}(E_x))^2$, the square of the Weyl dimension polynomial, and $\operatorname{bar}_{DH}(P^+)$ is its barycenter with respect to the measure $H_d\,d\mu$. The proof derives identities for $H_d$, notably $\langle\nabla H_d,\rho\rangle=H_{d-1}$ and $\langle\nabla H_d,x\rangle=2rH_d$, uses the divergence theorem to turn the boundary term in the Donaldson-Futaki formula into a volume term, and shows that the constant $a$ in that formula collapses to $2r+n$. In this setting the Donaldson-Futaki invariant of an affine-linear test configuration therefore depends on $P^+$ only through the first moment of the Duistermaat-Heckman measure.
Load-bearing premise
The proof assumes that every codimension-one face of $P^+$ either stays away from the wall of the positive Weyl chamber or lies entirely in it, and that the affine-linear functions tested on $P^+$ extend to the whole polytope with the required symmetry and convexity.
Editorial extensions
If this is right
- When $\operatorname{bar}_{DH}(P^+)=2\rho$, every affine-linear test configuration has vanishing Donaldson-Futaki invariant, so none of these directions can destabilize the compactification.
- The constant $a$ in the general Donaldson-Futaki formula becomes $2r+n$ for a Fano polytope, so the boundary and lower-order volume integrals no longer need to be computed separately.
- The sign of $-F_1(f)$ is determined by the direction of $\nabla f$ relative to the vector $\operatorname{bar}_{DH}(P^+)-2\rho$, turning stability checks for linear directions into linear algebra.
- The computation recovers, in the reductive case, a stability criterion previously known through spherical-variety methods, by a shorter polytopal route.
Reading between the lines
- Because the formula uses only the first moment of the DH measure, it gives a combinatorial algorithm: compute $H_d$, integrate it against $x$ over $P^+$, and compare the resulting barycenter with $2\rho$.
- The affine-linear test configurations form a finite-dimensional family, so the barycenter condition reduces an infinite family of stability inequalities to finitely many linear inequalities.
- The same divergence argument could be applied to piecewise-linear functions by splitting $P^+$ into linearity chambers; internal walls would contribute jump terms in $f$ across facets, giving a piecewise-linear analogue of the barycenter formula.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents an elementary computation of the Donaldson-Futaki invariant for test configurations on anti-canonically polarized Fano reductive group compactifications. The main result is a Proposition asserting that, under the Fano condition, every affine-linear function on the positive Weyl chamber part P+ of the moment polytope P gives a test configuration whose DF invariant is simply -F1(f) = (1/2) <bar_DH(P+) - 2rho, grad f>, where bar_DH is the Duistermaat-Heckman barycenter. The proof uses algebraic identities for the highest two homogeneous parts of the dimension polynomial of End(E_x), a divergence identity, and the Alexeev-Katzarkov formula for the DF invariant. The paper is a technical remark that recovers a known stability criterion in a compact form.
Significance. The claimed formula is an elegant reformulation of a known K-stability criterion: for Fano reductive group compactifications, affine-linear test configurations are governed entirely by the displacement of the DH barycenter from 2rho. The algebraic core of the paper, the identities in the Claim, is sound apart from index typos, and the divergence-theorem strategy is standard. The paper explicitly quotes the DF formula from [1] and the Fano characterization from [3], so it is not self-contained, but it is not circular: the barycenter expression is derived from those quoted ingredients. The result is a technical remark rather than a new theorem, so its significance is modest; its value lies in the clean computational shortcut and the transparent statement of the barycenter criterion.
major comments (2)
- [Proof of the Proposition] The proof partitions the boundary of P+ into faces that do not intersect the boundary of the positive Weyl chamber and faces that lie in that boundary. This dichotomy is not exhaustive. A codimension-one face of P+ can be the intersection of P+ with a facet of P whose relative interior meets the interior of the chamber while its closure meets the chamber boundary in a lower-dimensional face. Such a mixed facet is not covered by the Fano distance condition, which is stated only for faces not meeting the boundary, and it is not covered by the vanishing argument for chamber-wall faces, which relies on H_d being zero on the wall (H_d does not vanish on the interior of a mixed facet). The divergence-theorem identification that cancels the non-gradient terms in the Alexeev-Katzarkov formula is exactly the step that omits these mixed-facet contributions, so the derivation of the barycenter formula is incomplete as written.
- [The Fano condition / Proof of the Proposition] The paper earlier derives the full facet presentation P = {x : <a_i,x> >= <a_i,2rho> - 1} from v = v_KC + v_Z when X_P is Fano. If this presentation is used for every facet of P, then the mixed-facet terms contribute fH_d/||a_i||, matching the boundary measure, and the chamber-wall faces contribute zero because H_d vanishes there. The Proposition, however, assumes only the weaker Ruzzi-type condition (distance one for faces not meeting the boundary) and does not prove that this condition implies the full facet presentation. The proof therefore uses the wrong hypothesis for the omitted case. The gap is repairable by rewriting the boundary decomposition around the full facet presentation, but this must be stated and justified, or the hypothesis of the Proposition must be strengthened.
minor comments (4)
- [Statement of the Claim] In items 3 and 4 of the Claim, the inner summation index is written as n instead of r, and the omitted factor in the product is labelled with the wrong index (j instead of i). The final identity 6 is correct, but these typos should be fixed.
- [Proof of the Proposition] The boundary measure dsigma_i is called 'standard Lebesgue measure on ∂P', whereas the theorem's dsigma is normalized by dsigma ∧ dl = ±dmu. The matching of the boundary sum with the integral ∫_{∂P+} fH_d dsigma is correct only after taking the 1/||a_i|| factor into account; the notation should be aligned to avoid ambiguity.
- [Statement of the Proposition] It would be helpful to state explicitly that an affine-linear function on P+ extends to a convex rational W-invariant piecewise-linear function on P only when its gradient lies in the appropriate chamber; the current wording 'a function as in the theorem' presupposes this, but the constraint is implicit.
- [Proof of the Proposition] The proof of the vanishing of the chamber-wall integrals is terse; it should say explicitly that H_d vanishes on the boundary of the positive Weyl chamber because it contains a factor <alpha,x>^2 for each simple root alpha.
Circularity Check
No significant circularity: the DF formula quoted from [1] and the Fano condition quoted from [3] are external inputs; the final barycenter expression is derived by substitution, not assumed.
full rationale
The paper explicitly imports the Donaldson-Futaki formula as Theorem 3.3 from Alexeev-Katzarkov [1] and the Fano polytope condition from Ruzzi [3]; both are outside the paper itself and neither is derived from the target formula. The Claim's divergence identities are direct consequences of the Weyl dimension formula and are proved in the text. The final expression -F1(f) = 1/2 <bar_DH(P+) - 2rho, grad f> is obtained by substituting these identities into the quoted integral formula and then simplifying; it is not assumed at the outset and no parameter is fitted to make the formula come out. The Fano condition is used only to fix the facet constants c_i = <a_i, 2rho> - 1, which converts boundary terms into the measure dsigma; this is an algebraic consequence of the quoted condition, not a hidden restatement of the desired result. The references [1], [2], and [3] are prior external work, and none of them is a self-citation by the author. The possible omission of mixed facets in the partition of the boundary of P+ is a correctness or completeness issue in the proof, not a circularity: the allegedly missing terms are neither fitted inputs nor defined to be the final answer. Therefore no circular step is exhibited, and the score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Theorem 3.3 of [1] gives the DF invariant as the displayed integral formula for any convex rational W-invariant piecewise linear f.
- domain assumption The Fano condition is equivalent to the distance from 2ρ to each relevant codimension-one face of P^+ being 1, a result of [3].
- standard math The Weyl dimension formula for irreducible representations.
- standard math The divergence theorem on the polytope P^+ with the stated boundary measure conventions.
- domain assumption There is a one-to-one correspondence between W-invariant lattice polytopes and polarized reductive group compactifications, and P^+ is the relevant polytope for the DF formula.
Cite this review
Pith. "Pith review of A technical remark on the Donaldson-Futaki invariant for Fano reductive group compactifications." pith.science (2026). https://pith.science/paper/VDXO7655
@misc{pith2026190806766,
author = {Pith},
title = {Pith review of: A technical remark on the Donaldson-Futaki invariant for Fano reductive group compactifications},
year = {2026},
howpublished = {\url{https://pith.science/paper/VDXO7655}},
note = {Machine review of arXiv:1908.06766}
}
read the original abstract
We present an elementary way of recovering a well-known criterion of K-stability for Fano reductive group compactifications.
Reference graph
Works this paper leans on
-
[1]
V . Alexeev and L. Katzarkov , On K-stability of reductive varieties , G. Geom. Funct. Anal. 15 (2005), no. 2, 297-310
work page 2005
-
[3]
Ruzzi, Fano symmetric varieties with low rank , Publ
A. Ruzzi, Fano symmetric varieties with low rank , Publ. Res. Inst. Math. Sci. 48 (2012), no. 2, 235-278. Gabriella Clemente Universit´e Grenoble Alpes, Institut Fourier, UMR 5582 du CNRS, 100 rue des Maths, 38610 Gi `eres, France email: gabriella.clemente@univ-grenoble-alpes.fr 8
work page 2012
-
[2]
K-Stability of Fano spherical varieties
T . Delcroix, K-stability of Fano spherical varieties, arXiv:1608.01852
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.