{"id":"2862b7e1-b524-43c1-aeef-7212986f1967","arxiv_id":"1908.06766","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Fano reductive group compactifications, the Donaldson-Futaki invariant of an affine-linear test configuration equals half the inner product of the function's gradient with the difference between the polytope's barycenter and 2ρ.","lead":"This paper gives an elementary calculation of the Donaldson-Futaki invariant for certain Fano group compactifications, recovering a known K-stability criterion. A generalist might read it to see how a delicate stability invariant is reduced to a barycenter computation on a polytope.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof splits facets of P+ into those avoiding the Weyl chamber boundary and those lying in it, but mixed facets that meet the boundary in lower dimension are omitted; the Fano condition as stated does not control them, so the boundary identity behind the barycenter formula is not established…","rationale":"The Claim identities are algebraically correct and the final barycenter formula is a known result in the literature, so I see no basis for rejecting the paper. The load-bearing concern is the boundary decomposition in the Proposition's proof: a facet of P+ coming from a facet of P can intersect the Weyl chamber boundary in a lower-dimensional set without being contained in it, and the Fano condition as stated does not address such facets. This is precisely the gap the reader identified. The earlier v = vKC + vZ description plausibly supplies the needed facet equation for every facet of P, which would repair the proof, but that repair is not made explicit in the written argument. The central claim is therefore not false as far as I can see, but the proof is conditional on closing this boundary gap. The existing CONDITIONAL verdict is appropriate; no verdict change is needed.","tokens_in":4975,"tokens_out":30013,"duration_ms":328073,"concrete_test":"Work with G of type A2 and P = conv(W·(1,-1,0)), the hexagon {max x_i ≤ 1, min x_i ≥ -1}. In P+ the facets x1=1 and x3=-1 meet the chamber boundary x2=x3 at a vertex, so they are neither 'does not meet the boundary' nor 'lies in the boundary'. Compute both sides of the Proposition's key identification, ∫_{P+} div((x-2ρ)fH_d)dμ = ∫_{∂P+} fH_d dσ, with f = x1 on P+, including the mixed facets. If the mixed-facet terms are nonvanishing, the proof's partition is invalid; then check whether the full boundary sum still reproduces 1/2 ⟨barDH(P+)-2ρ, ∇f⟩, which separates a repairable exposition gap from a substantive counterexample.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of the Proposition, the codimension-one faces of P+ are partitioned into two classes: those that do not intersect the boundary of the positive Weyl chamber, and those that lie in that boundary. This dichotomy is not exhaustive. A facet of P+ arising from a facet of P can cut through the chamber and meet the boundary of the chamber in a face of dimension at most n-2 without being contained in it. For example, for type A2 with P = conv(W·(1,-1,0)), the facets x1=1 and x3=-1 of P+ meet the wall x2=x3 at vertices. Such mixed facets are neither handled by the Fano condition as quoted (which only applies to faces that do not meet the boundary) nor by the vanishing argument for faces contained in the boundary. The proof then identifies the divergence integral ∫_{P+} div((x-2ρ)fH_d)dμ with the boundary integral ∫_{∂P+} fH_d dσ, but the omitted mixed-facet terms are not shown to vanish or to match the theorem's boundary measure. This identification is exactly the step that cancels the non-gradient terms in the Alexeev-Katzarkov formula, so the derivation of -F1(f) = 1/2 ⟨barDH(P+)-2ρ, ∇f⟩ is incomplete as written. The gap is likely repairable: the earlier v = vKC + vZ facet presentation would give the same facet equation for every facet of P, not only for those avoiding the chamber boundary; but the paper does not state this, and the Fano condition as formulated is not the right hypothesis for that repair.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":5267,"tokens_out":14863,"duration_ms":150967,"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":[{"comment":"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.","section":"Proof of the Proposition"},{"comment":"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.","section":"The Fano condition / Proof of the Proposition"}],"minor_comments":[{"comment":"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.","section":"Statement of the Claim"},{"comment":"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.","section":"Proof of the Proposition"},{"comment":"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.","section":"Statement of the Proposition"},{"comment":"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.","section":"Proof of the Proposition"}],"recommendation":"major_revision","confidential_remarks":"This is a short technical note whose main result is already known; the contribution is the compact barycenter formula and the elementary derivation. The gap in the boundary decomposition is genuine but appears readily repairable along the lines indicated in the major comments. I do not see grounds for rejection, but the paper should not be accepted before the proof is corrected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nQuick take: this short note repackages a known K-stability criterion for Fano reductive group compactifications, but the packaging is genuinely convenient. The new bit is computational: starting from the Weyl dimension formula, the paper derives explicit identities for H_d and H_{d-1}, then a divergence identity that turns the Alexeev–Katzarkov DF formula into -F1(f) = 1/2 ⟨bar_DH(P+) - 2ρ, ∇f⟩ for affine-linear f. That is a clean handle for explicit examples. The Claim's algebra is correct modulo index typos in the displayed gradient, and the author is honest that this is a remark on known results.\n\nThe real soft spot is the boundary decomposition inside the proof of the Proposition. The proof splits ∂P+ into facets that do not meet the positive Weyl chamber boundary and facets that lie in it, then asserts the boundary integral reduces to the first type. That dichotomy is not exhaustive: a facet of P+ arising from a facet of P can meet the chamber boundary in a lower-dimensional face without lying in it. For type A2 with P = conv(W·(1,-1,0)), the facets of P+ cut through the chamber and intersect the walls at vertices. The Fano condition as stated controls only faces that do not meet the boundary, and the vanishing argument for faces contained in the boundary does not cover mixed facets. So the identification of the divergence integral with ∫∂P+ f H_d dσ is not established as written. This looks repairable: the v = v_KC + v_Z facet presentation gives f_i(x) = ⟨a_i, x-2ρ⟩ + 1 for every facet of P, which would produce the same boundary normal contribution on all facets, but that argument is not in the paper. There is also a minor delegation issue: the quoted DF theorem requires f to be convex, rational, W-invariant, and piecewise linear on P, and the paper does not justify that an affine-linear f on P+ extends to such an f; presumably it does in the intended cases, but it should be stated.\n\nNone of this makes me doubt the formula's truth. The gap is in a central step of the written proof, but it is fixable. I would send this to a referee: the computation is worth having on record, and a revised version with the facet argument cleaned up would be a useful technical reference for people computing DF invariants on Fano compactifications.","headline":"A cleaner barycenter formula for DF invariants on Fano reductive compactifications, but the proof skips a boundary case and the gap is repairable.","tokens_in":5812,"tokens_out":4442,"would_cite":false,"duration_ms":45253,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14M27","14L30","14J45"],"pacs":[],"model":"deepseek-v4-flash","headline":"Donaldson-Futaki invariant reduces to a barycenter check","keywords":["Donaldson-Futaki invariant","K-stability","reductive group compactifications","Fano varieties","Duistermaat-Heckman measure","moment polytope","Weyl dimension formula"],"falsifier":"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.","tokens_in":4731,"feed_emoji":"📐","tokens_out":11484,"duration_ms":109221,"temperature":0.7,"pith_summary":"This paper gives an elementary computation of the Donaldson-Futaki invariant for Fano reductive group compactifications. Its Proposition states that when the compactification's polytope satisfies the Fano condition and the test configuration comes from a function that is affine linear on the positive Weyl chamber part of the polytope, the invariant equals one half of the dot product of the function's gradient with the displacement of the Duistermaat-Heckman barycenter from $2\\rho$, twice the sum of the positive roots. The argument uses only the Weyl dimension formula, a divergence identity, and the facet normalization forced by the Fano condition. The payoff is that for this class of test configurations, stability is decided by a single piece of polytopal data: whether the DH barycenter sits at $2\\rho$.","feed_headline":"Donaldson-Futaki invariant reduces to a barycenter check","feed_subtitle":"For linear test configurations, K-stability is governed by one number: the DH barycenter's offset from 2ρ.","key_machinery":"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$.","core_discovery":"The central claim is the Proposition: if $P^+$ satisfies the Fano condition and $f$ is affine linear on $P^+$, then\n$$-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.$$\nHere $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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"supplies the Donaldson-Futaki formula for reductive varieties that the Proposition simplifies.","marker":"[1]"},{"why":"states the analogous spherical-variety result that the computation reproduces in the reductive case.","marker":"[2]"},{"why":"supplies the polytopal Fano condition used to normalize the facet equations in the boundary simplification.","marker":"[3]"}],"fun_headline_variants":["Fano compactifications: K-stability is a barycenter check","Donaldson-Futaki invariant collapses to barycenter offset","Barycenter of DH measure decides K-stability for Fano","K-stability for Fano groups: one number, barycenter"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Fano compactifications: K-stability is a barycenter check","Donaldson-Futaki invariant collapses to barycenter offset","Barycenter of DH measure decides K-stability for Fano","K-stability for Fano groups: one number, barycenter"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000271,"raw_usage":{"total_tokens":1569,"prompt_tokens":828,"completion_tokens":741,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":668}},"tokens_in":444,"tokens_out":741,"duration_ms":6476,"temperature":1.0,"reasoning_tokens":668,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:38:24.943104+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Alexeev and L","cited_arxiv_id":null,"evidence_quote":"supplies the Donaldson-Futaki formula for reductive varieties that the Proposition simplifies."},{"cited_title":"K-Stability of Fano spherical varieties","cited_arxiv_id":"1608.01852","evidence_quote":"states the analogous spherical-variety result that the computation reproduces in the reductive case."},{"cited_title":"Ruzzi, Fano symmetric varieties with low rank , Publ","cited_arxiv_id":null,"evidence_quote":"supplies the polytopal Fano condition used to normalize the facet equations in the boundary simplification."}],"review_version":1}