REVIEW 1 major objections 4 minor 18 references
Hilbert measures on orbit spaces of coregular $\operatorname{O}_m$-modules
T0 review · 1 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read For k ≤ m, the Hilbert measure on the O_m orbit space of k vectors is a constant times a power of the Gram determinant.
desk verdict A correct and competently derived explicit formula for Hilbert measures on O_m orbit spaces, undermined by a false singularity claim in the abstract that its own theorem contradicts. 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 carrying mechanism is a two-step change of variables. First, generalized Euler angles for SO_m—the parametrization in which every unit vector is built by successive rotations—are applied vector by vector to move a generic tuple $(v_1,\dots,v_k)$ into a fundamental domain where the i-th vector has zero coordinates after position i and positive diagonal coordinate; the Jacobian of this step is the bookkeeping identity (3.4), a product of powers of the diagonal entries and sine factors. Second, the diagonal entries are expressed as ratios of Gram determinants, $w_{i,i} = \sqrt{|G_i|/|G_{i-1}|}$, and the map from the w-coordinates to the invariants is triangular with determinant $2^{-k}(|G_1|\cdots|G_k|)^{-1/2}$. The sine factors integrate to products of sphere volumes, and the Gram determinants telescope, leaving the single power $|G_k|^{(m-k-1)/2}$.
What would settle it
For k=3, m=4 the formula predicts a constant density $\lambda = 2^{-3}\operatorname{Vol}(S^3)\operatorname{Vol}(S^2)\operatorname{Vol}(S^1) = 2\pi^4$. Sample triples of vectors in $\mathbb{R}^{12}$ from a Gaussian distribution, form their Gram matrices, and compare the empirical density in a small region of the six invariant coordinates with $2\pi^4$; a mismatch in the normalization or any dependence on the Gram entries would falsify Theorem 1.1.
Extended reading notes
Core claim
The central discovery is Theorem 1.1: for k ≤ m, the unique measure $\lambda_{k,m}(u)\,du$ on the orbit space $V_k/O_m$ that reproduces Lebesgue integration of invariant functions is the Gram-determinant power density above. Equivalently, the measure is $2^{-k}$ times the volume of the Stiefel manifold $O_m/O_{m-k}$ times $|G_k|^{(m-k-1)/2}\,du$. The proof exhibits an explicit fundamental domain for the O_m action, parametrized by the nonzero entries of a lower-triangular matrix, then changes variables from those entries to the invariant inner products; the Gram determinants telescope to give the stated power. In the boundary case k=m, the exponent is negative, so the density has square-root singularities exactly on the lower-dimensional strata where the vectors become linearly dependent.
Load-bearing premise
The proof leans on the generalized Euler-angle parametrization of SO_m and on the unexpanded Jacobian identity (3.4); if that parametrization misses a set of positive measure, or the identity misstates a sine power or constant, the constant factor in the Hilbert measure would be off.
Editorial extensions
If this is right
- For k ≤ m−1 the SO_m orbit space carries the same Hilbert measure, because the SO_m- and O_m-invariants of these representations coincide and every point is fixed by a reflection.
- The density $\lambda_{k,m}$ is smooth on all of $\mathbb{R}^{\binom{k+1}{2}}$ except when k=m; in that case the $|G_m|^{-1/2}$ singularity lies on a measure-zero set, so integrals are still determined by the principal stratum.
- The formula, together with the description of the image as the positive-semidefinite cone, makes the integral over $V_k$ of any O_m-invariant function an explicit integral over the positive-semidefinite matrix cone.
- Concrete examples: for two vectors in $\mathbb{R}^3$ the density is the constant $2\pi^2$, while for two vectors in $\mathbb{R}^2$ it is $\pi/\sqrt{|G_2|}$; both follow from the same general formula.
Reading between the lines
- The same two-step procedure should in principle produce explicit Hilbert measures for every coregular representation of a compact Lie group, since such actions admit generic local cross-sections and the invariants can be used as coordinates; a natural test case is the classification of coregular representations beyond the orthogonal defining modules.
- In a zero-dimensional gauge theory, the formula gives the effective integration measure on gauge-invariant degrees of freedom after integrating out the gauge group, making the gauge-fixing determinant explicit; this suggests checking the measure against a direct gauge-fixing computation for a small matrix model.
- The observation that k=m is the only singular case suggests a geometric reading: the singularity exponent equals $(m-k-1)/2$, so as the number of vectors approaches the ambient dimension the invariant measure develops a boundary divergence; one could test whether this divergence controls the asymptotic behaviour of invariant integrals near the singular strata.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs canonical measures, called Hilbert measures, on the orbit spaces V_k/O_m where V_k = (R^m)^k with diagonal O_m action, for k ≤ m. The main result (Theorem 1.1) gives an explicit formula for the pushforward of Lebesgue measure under the Hilbert embedding u: V_k → R^{k(k+1)/2} given by the inner products ui,j = ⟨vi,vj⟩: the density is (1/2^k) ∏_{j=1}^k Vol(S^{m−j}) |G_k|^{(m−k−1)/2}, where G_k is the Gram matrix. The proof uses a generalized Euler angle parametrization of SO_m to first reduce to a fundamental domain and then performs a second change of variables to the Gram invariants, with the Jacobians computed in Lemmas 3.1 and 3.2. The paper also states a corollary for SO_m and discusses the smoothness of the density along non-principal strata, claiming singularities occur if and only if k = m.
Significance. If Theorem 1.1 is correct, it provides a complete and explicit solution to a natural change-of-variables problem for orthogonal-invariant integrals, generalizing the classical spherical-coordinate example and potentially useful in the Faddeev-Popov approach to gauge systems. The computation is concrete and checkable: the telescoping product in Lemma 3.1, the triangular Jacobian in Lemma 3.2, and the final formula are internally consistent, and the examples in Section 4 (k=2,m=3 and k=2,m=2) match the general formula. The explicit constants in terms of the volumes of spheres are derived cleanly, and the formula reduces correctly to the known single-vector case. However, the advertised smoothness characterization is contradicted by the paper's own formula, as detailed in the major comments, and the proof of Corollary 1.3 contains a circular step that should be repaired.
major comments (1)
- [Abstract and Introduction (paragraph after Corollary 1.2)] The claim that the Hilbert measure density λ_{k,m} is smooth on R^{(k+1)/2} in every case except k=m, and that singularities occur if and only if k=m, is contradicted by Theorem 1.1 itself. For k=m−2 the exponent (m−k−1)/2 equals 1/2, so the density is |G_k|^{1/2}, which is not differentiable on the zero set of G_k; for example, the paper's own motivating case k=1, m=3 yields λ_{1,3}(u) du = 2π√u du, which is not differentiable at u=0 even though k<m. The correct condition for smoothness of the density at points where |G_k|=0 is that (m−k−1)/2 be a nonnegative integer (or zero). This error affects the abstract and the highlighted observation, and it must be corrected or qualified.
minor comments (4)
- [Proof of Corollary 1.3] The proof uses Theorem 1.1 to conclude that |G_k| ≥ 0 on u(V_k), but Theorem 1.1's formula defines a genuine positive measure only if the density is real and nonnegative, which already presupposes that |G_k| ≥ 0 on X; this is a circular step. Since the corollary is a direct consequence of the definition of the Gram matrix of a set of vectors, the proof should be replaced by a direct argument, such as the Cholesky decomposition already used in the second half of the proof.
- [Example 4.2] In the paragraph after the change of variables, the expression 'w_{2,3} = ρ_2 sin μ' should read 'w_{2,2} = ρ_2 sin μ'; there is no third coordinate of w_2 in the case k=m=2.
- [Lemma 3.2] In the final displayed equation of the proof, the expression '2^k √{G_1 G_2 \cdots G_k}' is missing absolute values around the determinants; on the principal stratum the determinants are positive so this is harmless, but including absolute values would make the formula valid on the closure.
- [Section 3.1, Eq. (3.4)] The bookkeeping identity (3.4) for the Jacobian of the first change of variables is compressed; a short explanation of how the pattern from Equations (3.1)–(3.3) leads to the general formula, or an indication of the recursive rotation steps, would improve readability.
Circularity Check
No significant circularity: the Hilbert-measure formula is derived by a direct Jacobian computation from external Euler-angle and invariant-theory inputs; the only circular moment is a non-load-bearing use of Theorem 1.1 inside the proof of the separately cited Corollary 1.3.
-
other
[Section 1, proof of Corollary 1.3 (page 3), after Theorem 1.1]
"From the theorem we can show, using invariant bump functions for points with principal isotropy type, that when k ≤ m and k ≠ m − 1 we have |G_k||_{(V_k)_{\mathrm{princ}}} ≥ 0."
Theorem 1.1's density is proportional to |G_k|^{(m-k-1)/2}. For k=1, m=3 this is sqrt(|G_1|), and for other non-integer exponents the real power is defined only when |G_k| ≥ 0. Hence the theorem's displayed formula is meaningful only on the part of u(V_k) where the Gram determinant is nonnegative, which is exactly what Corollary 1.3 is meant to establish. The proof of the corollary then invokes the theorem to prove |G_k| ≥ 0 on the principal stratum, making the two statements mutually dependent in the text.
full rationale
The central result, Theorem 1.1, is a genuine change-of-variables computation. The proof reduces the integral over V_k to an integral over a fundamental domain using the generalized Euler-angle parametrization of [6], computes the Jacobian by explicit bookkeeping in Equation (3.4), integrates the angle variables to obtain the product of sphere volumes, and then transforms to the Gram invariants using the Jacobian determinant in Lemma 3.2. None of these steps is a fitted parameter renamed as a prediction, and none reduces to the statement being proved. The external inputs — Schwarz's theorem on differentiable invariants, the coregularity criterion, the Procesi-Schwarz description of the image, and the volume formula for Stiefel manifolds — are standard and not authored by the present paper's authors. The only circular-looking passage is in the proof of Corollary 1.3, where the theorem is used to derive nonnegativity of |G_k| even though the theorem's fractional power notation presupposes that nonnegativity. Because Corollary 1.3 is cited as a well-known external result [11, Example 0.8] and because the forward direction is immediate from the definition of a Gram matrix, this is a minor, non-load-bearing circular dependency rather than a defect in the main derivation. Separately, the paper's introduction and abstract claim that the density is smooth except when k=m, but Theorem 1.1 gives a half-integer power for k=m-2 (e.g., k=1, m=3 gives 2π√u du), which is not smooth at the non-principal point u=0. That is an internal correctness inconsistency, not circularity, and it does not raise the circularity score.
Assumptions & free parameters
assumptions (4)
- standard math Schwarz's theorem: every smooth O_m-invariant function on V_k factors through the Hilbert embedding u.
- standard math V_k is coregular for O_m if and only if k≤m, and for SO_m if and only if k≤m-1.
- standard math Generalized Euler angles parametrize SO_m up to a measure-zero set (Theorem 2.3).
- domain assumption The Hilbert embedding restricts to a diffeomorphism between isotropy-type strata of V_k/O_m and minimal semialgebraic strata of X.
Cite this review
Pith. "Pith review of Hilbert measures on orbit spaces of coregular $\operatorname{O}_m$-modules." pith.science (2026). https://pith.science/paper/NNWW3G4I
@misc{pith2026241113063,
author = {Pith},
title = {Pith review of: Hilbert measures on orbit spaces of coregular $\operatornameO_m$-modules},
year = {2026},
howpublished = {\url{https://pith.science/paper/NNWW3G4I}},
note = {Machine review of arXiv:2411.13063}
}
abstract
We construct canonical measures, referred to as Hilbert measures, on orbit spaces of classical coregular representations of the orthogonal groups $\operatorname{O}_m$. We observe that the measures have singularities along non-principal strata of the orbit space if and only if the number of copies of the defining representation of $\operatorname{O}_m$ is equal to $m$.
Reference graph
Works this paper leans on
-
[1]
Milton Abramowitz and Irene A. Stegun, Handbook of mathematical functions with formulas, graphs, and mathematical ta- bles, National Bureau of Standards Applied Mathematics Series, vol. No. 55, U. S. Government Printing Office, W ashington, DC, 1964, For sale by the Superintendent of Documents
work page 1964
-
[2]
Edward Bierstone, The structure of orbit spaces and the singularities of equiv ariant mappings , Monogr. Mat., Rio de Janeiro, vol. 35, Instituto de Matem´ atica Pura e Aplicada, Rio de Janeiro, 1980
work page 1980
-
[3]
Joshua Cape, Hans-Christian Herbig, and Christopher Sea ton, Symplectic reduction at zero angular momentum , J. Geom. Mech. 8 (2016), no. 1, 13–34
work page 2016
-
[4]
L.D. Faddeev and V.N. Popov, Feynman diagrams for the yang-mills field , Physics Letters B 25 (1967), no. 1, 29–30
work page 1967
-
[5]
Hans-Christian Herbig, William Osnayder Clavijo Esquiv el, and Christopher Seaton, The symplectic form associated to a singular Poisson algebra , 2024, arXiv:2403.14921
work page Pith review arXiv 2024
-
[6]
David K. Hoffman, Richard C. Raffenetti, and Klaus Ruedenbe rg, Generalization of Euler Angles to N-Dimensional Or- thogonal Matrices, Journal of Mathematical Physics 13 (1972), no. 4, 528–533
work page 1972
-
[7]
Mather, Differentiable invariants , Topology 16 (1977), no
John N. Mather, Differentiable invariants , Topology 16 (1977), no. 2, 145–155
work page 1977
-
[8]
Michor, Basic differential forms for actions of Lie groups , Proc
Peter W. Michor, Basic differential forms for actions of Lie groups , Proc. Amer. Math. Soc. 124 (1996), no. 5, 1633–1642
work page 1996
Show all 18 references
-
[9]
Palais, On the existence of slices for actions of non-compact Lie gro ups, Ann
Richard S. Palais, On the existence of slices for actions of non-compact Lie gro ups, Ann. of Math. (2) 73 (1961), 295–323
1961
-
[10]
V. L. Popov and `E. B. Vinberg, Invariant theory, Algebraic geometry. IV, Encyclopaedia of Mathematical Sc iences, vol. 55, Springer-Verlag, Berlin, 1994, Linear algebraic groups. I nvariant theory, A translation of ıt Algebraic geometry. 4 ( Russian), Akad. Nauk SSSR Vsesoyuz...
1994
-
[11]
Claudio Procesi and Gerald Schwarz, Inequalities defining orbit spaces , Invent. Math. 81 (1985), 539–554
1985
-
[12]
Reshetikhin, Lectures on quantization of gauge systems , New paths towards quantum gravity
N. Reshetikhin, Lectures on quantization of gauge systems , New paths towards quantum gravity. Extended proceedings o f the summer school, Holbæk, Denmark, May 12–16, 2008, Berlin : Springer, 2010, pp. 125–190
2008
-
[13]
Schwarz, Smooth functions invariant under the action of a compact Lie group, Topology 14 (1975), 63–68
Gerald W. Schwarz, Smooth functions invariant under the action of a compact Lie group, Topology 14 (1975), 63–68
1975
-
[14]
, Representations of simple Lie groups with regular rings of i nvariants, Invent. Math. 49 (1978), 167–191
1978
-
[15]
Hautes ´Etudes Sci
, Lifting smooth homotopies of orbit spaces , Inst. Hautes ´Etudes Sci. Publ. Math. (1980), no. 51, 37–135
1980
-
[16]
, Lifting differential operators from orbit spaces , Ann. Sci. ´Ecole Norm. Sup. (4) 28 (1995), no. 3, 253–305
1995
-
[17]
Reyer Sjamaar and Eugene Lerman, Stratified symplectic spaces and reduction , Ann. Math. (2) 134 (1991), no. 2, 375–422
1991
-
[18]
Departamento de Matem ´atica Aplicada, Universidade Federal do Rio de Janeiro, A v
Lin Zhang, Volumes of orthogonal groups and unitary groups , 2017, arXiv:1509.00537v5. Departamento de Matem ´atica Aplicada, Universidade Federal do Rio de Janeiro, A v. At hos da Silveira Ramos 149, Centro de Tecnologia - Bloco C, CEP: 21941-909 - Rio de Ja neiro, Brazil Ema...
2017 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.