Pith. sign in

REVIEW 4 minor 36 references

For an SU(2) hedgehog background, the Landau-gauge Faddeev-Popov operator stays positive exactly for -2<g<1, with explicit zero modes at both endpoints.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 05:50 UTC pith:O743S3CZ

load-bearing objection A careful, self-limiting local spectral framework for the Gribov horizon, with an exact fit-free hedgehog interval that survives re-derivation; deserves a serious referee.

arxiv 2607.13228 v2 pith:O743S3CZ submitted 2026-07-14 hep-th

Some Remarks on the Spectral Geometry of the Gribov Horizon

Daniel G. Tedesco This is my paper
classification hep-th
keywords Gribov horizonLandau gaugeFaddeev-Popov operatorspectral flowcrossing formhedgehog backgroundzero modeMorse-Bott index
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper tries to establish a precise local spectral picture of the first Gribov horizon in Landau gauge, and then to prove an exact stability interval for one analytic background family. The key move is to work on the reduced ghost space with constant color rotations removed; the reduced Faddeev-Popov operator is then the normal Hessian of the orbit-norm functional. For the SU(2) hedgehog with radial profile h(r)=9gr/(r^3+1)^2, the author constructs a normalizable, nodeless zero-energy state in every coupled spin-orbit channel and minimizes across the whole tower to obtain the exact interval -2

Core claim

On the paper's own terms, the central discovery is that the local geometry of a Gribov-horizon crossing is carried by a finite-dimensional pair: the critical spectral projector P and the compressed derivative (crossing form) Γ=P δ_B M P. For affine rays from a positive configuration, Γ is negative-definite, so radial crossings are always regular downward events; if Γ has a kernel, a second Schur reduction determines the pole order of the ghost resolvent. Applied to an SU(2) hedgehog on R^3, the paper solves the zero-energy radial equation explicitly in every coupled channel, obtaining u_L(r)=r^{L+1}/(r^3+1)^{(2L+1)/3} at g*=-2(2L+1)(L+2)/(9 c_{JL}). Since this state is nodeless, it is the fi

What carries the argument

The carrying mechanism is the affine focal pencil T_A(s)=Δ_A + s ad_{A}·D between the covariant Laplacian and the Faddeev-Popov operator, together with the reduced operator on H0 = H⊖g_const. Its form-domain index theorem counts focal parameters on the open segment and identifies the Morse-Bott endpoint kernel. At a crossing, the crossing form Γ_B = P δ_B M P supplies the eigenvalue derivatives, wall conormal, and resolvent residue; on affine rays the relation P M_0 P + t* P V P = 0 forces Γ negative-definite. For the hedgehog, the explicit threshold state u_L solves -u'' + L(L+1)/r^2 u + c_{JL} h(r) u = 0 and, by its strict positivity, fixes the first threshold in each channel.

Load-bearing premise

The interval is exact only if a strictly positive nodeless half-line solution is guaranteed to be the ground state at threshold, so that no negative eigenvalue appears at smaller coupling; this relies on oscillation/ground-state theorems and monotonicity of the lowest eigenvalue holding at the singular endpoint and at the edge of the essential spectrum.

What would settle it

Compute the lowest eigenvalue of -d^2/dr^2 + L(L+1)/r^2 + c_{JL} 9g r/(r^3+1)^2 on L^2(0,∞) with high-accuracy shooting or spectral methods for, say, (J,L)=(0,1) and (2,1) at g=0.5 and g=-1.5; any negative eigenvalue before the constructed zero mode would disprove the interval. Alternatively, exhibit an explicit normalizable trial function at such a g with negative quadratic form.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The interval -2<g<1 contains no negative reduced Faddeev-Popov eigenvalue for the hedgehog family, placing the configuration inside the first Gribov region for all intermediate couplings.
  • Every coupled spin-orbit channel has an explicit normalizable zero-energy state at a known amplitude, so the full channel tower is analytically characterized, not just a few low-lying modes.
  • At a regular isolated crossing the leading ghost-resolvent singularity is P Γ^{-1} P / (t-t*), with the source's critical projection selecting whether the pole is visible; the second Schur reduction fixes higher pole orders for tangential paths.
  • Dirichlet-box radial spectra converge to the continuum thresholds at second order in the mesh spacing, with singlet and quintet roots approaching 1 and -2; no numerical fit enters the continuum interval.
  • Symmetry-protected multiplets have scalar crossing matrices, giving exact slopes for the (J,L)=(1,2) triplet and (2,1) quintet thresholds.

Where Pith is reading between the lines

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

  • Inference: if this interval is robust, it provides a parameter-free benchmark for lattice studies of the first Gribov region: a whole one-parameter family provably stays inside the horizon, so crossing events and ghost poles can be located without extrapolation.
  • Inference: the nodeless-threshold construction is a template for other radial profiles; any profile whose u''/u has the same rational shape will admit closed-form thresholds, though the all-channel minimization likely depends on this particular profile.
  • Inference: because the covariant Laplacian can remain regular while the Faddeev-Popov operator acquires a zero mode, horizon singularities of the ghost propagator need not coincide with singularities of the orthogonal connection on gauge-field space.
  • Inference: the tangential second Schur reduction suggests that pole orders at degenerate crossings depend on the whole analytic family, not on the kernel of Γ alone, so single-path numerical estimates of ghost singularities may be unreliable near symmetry-protected walls.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper develops a local spectral-geometric framework for the Landau-gauge Gribov horizon, distinguishing the covariant Laplacian Δ_A from the reduced Faddeev–Popov operator \hat M[A]. On a torus it proves a focal index theorem (Theorem 2.1) for the affine pencil T_A(s), with the residual constant-ghost kernel treated as a Morse–Bott endpoint, and derives resolvent normal forms based on the critical projector and crossing form, including a second Schur reduction for tangential paths. The second half is an application to the SU(2) hedgehog A_i^c=ε_{cij}x_j h(r) on R^3. For h(r)=9gr/(r^3+1)^2, the paper constructs, in every coupled spin-orbit channel, the explicit normalizable threshold state u_L(r)=r^{L+1}/(r^3+1)^{(2L+1)/3} at g_*=-2(2L+1)(L+2)/(9c_{JL}). Minimizing g_* over all L≥1 gives the exact threshold-stability interval -2<g<1, with endpoint zero modes at g=1 (J=0 singlet) and g=-2 (J=2 quintet). Finite-volume Dirichlet calculations are presented as controlled comparisons, and the paper is explicit about which examples are illustrative only.

Significance. If correct, the continuum result is a valuable exact, fit-free analytic benchmark for a Gribov-horizon crossing: closed-form threshold states in every channel, a complete channel-tower minimization, and a precise interval with different representation content at the two endpoints. The operator-level statements are also useful: the Δ_A vs M[A] split, the affine-ray negative-definiteness of the crossing form (Theorem 3.2), and the two-step Schur reduction for tangential pole orders are clean and independently checkable. The paper is unusually careful in limiting its own claims (the Mathieu system is not an irreducible horizon; the triplet splitting matrices are not realized by a constructed deformation; the radial Dirichlet box is not a full finite-domain Singer geometry). The algebraic derivations in Eqs. (101)–(104) and (117)–(119) are direct, and the numerical checks are honestly labeled as tests rather than as independent evidence.

minor comments (4)
  1. [Section 7.1 (after Eq. (104))] The identification of u_L as the first threshold is the only non-explicit step in the central interval proof. The assertion is correct, but the appeal to [30] is terse in this singular half-line setting (singular endpoint at r=0, zero at the edge of the essential spectrum). Please add the short ground-state transformation: for f in the form domain, ∫(|f'|^2 + [L(L+1)/r^2 + c g_* φ]|f|^2) dr = ∫ u_L^2 |(f/u_L)'|^2 dr ≥ 0, so H_L(g_*)≥0; monotonicity of c g φ then extends the bound to the interval. This would make the all-channel claim self-contained.
  2. [Introduction, first paragraph] Typo: 'configuration space, tthe' should read 'configuration space, the'.
  3. [Eq. (28)] The symbol '⊮' for the identity operator is nonstandard; suggest \mathbb{1} or I.
  4. [Figure 2 caption] The caption could state explicitly that the shaded interval is the continuum result and is not inferred from the box roots; the present wording says this but the panel may be clearer with a note in the caption.

Circularity Check

0 steps flagged

No significant circularity: the hedgehog threshold interval is an explicit inverse-design construction, not a fitted prediction.

full rationale

The central continuum claim—the exact threshold-stability interval −2<g<1 for the SU(2) hedgehog—is obtained by an explicit, self-contained construction: the paper states that it prescribes the radial mode u_L and solves the zero-energy equation for the background, so the potential h(r)=9gr/(r^3+1)^2 is an inverse design, not a quantity fitted to data. The threshold amplitudes g_*(J,L) follow algebraically from the differential identity (Eqs. 101–104), and the interval follows by minimizing over the complete channel tower. The nodeless-state argument used to exclude earlier negative eigenvalues invokes the standard Sturm oscillation/ground-state theorem (Zettl, Ref. [30]) rather than an assumption equivalent to the conclusion; the inequality structure is a quadratic-form monotonicity argument. The single-harmonic Mathieu model is explicitly labeled as a finite-dimensional implementation check that 'supplies no independent evidence,' so it is not presented as a prediction. The Dirichlet-box numbers are finite-volume numerical approximations compared with the analytic thresholds, with no fitted constant entering the continuum result. Self-citations (Refs. [20,21]) appear only in background lists for Henyey-type constructions and are not load-bearing; the central derivation does not reduce to them. No step in the paper's claimed derivation is equivalent to its own inputs by construction.

Axiom & Free-Parameter Ledger

1 free parameters · 6 axioms · 0 invented entities

The continuum interval has no fitted constants; the only hand-set number is the profile normalization 9, absorbed by rescaling g. Axioms are standard spectral/Sturm-Liouville facts plus domain assumptions specific to the hedgehog on R^3. No new physical entities are introduced.

free parameters (1)
  • hedgehog profile normalization (coefficient 9 in h=9gr/(r^3+1)^2) = 9
    Hand-chosen normalization making the first positive threshold land at g=1; all thresholds scale as 9/K under reparameterization h -> K g φ (Eqs. 99, 104). Not fitted to data; it is a construction convention.
axioms (6)
  • domain assumption Smooth, transverse, irreducible SU(N) gauge background on a flat torus; Sobolev completions for operator statements.
    Section 2 frames the entire compact-manifold analysis; irreducibility makes Δ_A strictly positive (Eq. 12), a premise for Theorem 2.1.
  • standard math Standard min-max and form-domain isometry preserve negative-index counts and kernels when passing from the pencil form t_s[ξ] to (1+sK_A).
    Invoked in the proof of Theorem 2.1 (Eqs. 31-33).
  • standard math Eigenvalues and eigenprojectors of the affine family can be chosen analytically near a simple isolated crossing, and Feynman-Hellmann applies.
    Used in Section 3 (Eqs. 41-44); standard analytic perturbation theory [27, Kato].
  • domain assumption For the half-line radial operator with u(0)=0 and L^2 decay, a nodeless positive zero-energy solution is the lowest state, so no negative eigenvalue precedes threshold.
    Section 7.1 after Eq. (104); load-bearing for the exact interval. Standard Sturm-Liouville oscillation but needs endpoint/essential-spectrum care.
  • domain assumption The radial operators on R^3 for h=9gr/(r^3+1)^2 have essential spectrum starting at zero; threshold zero modes are not isolated eigenvalues.
    Section 7 opening; motivates the finite-box comparison and limits direct use of compact-manifold resolvent theorems.
  • domain assumption Diagonal SO(3) is an exact operator symmetry and the nonzero hedgehog background is irreducible.
    Section 7, curvature argument (Eqs. 97-98); needed for channel decomposition and for applying the symmetry-protected multiplet theorem.

pith-pipeline@v1.3.0-alltime-deepseek · 19724 in / 27308 out tokens · 268193 ms · 2026-08-02T05:50:38.729674+00:00 · methodology

0 comments
read the original abstract

We develop a local spectral framework for the Landau-gauge Gribov horizon that distinguishes gauge-orbit projection from degeneracy of the gauge-fixing Hessian. On a flat torus, spatially constant ghosts form a residual global-color kernel; after removal of this kernel, the reduced Faddeev-Popov operator is the normal Morse-Bott Hessian of the orbit-norm functional, whereas the covariant Laplacian defines the orthogonal connection. For the associated affine focal pencil, we prove a quadratic-form index theorem with a Morse-Bott endpoint. At a regular isolated crossing, the critical projector $P$ and invertible compressed derivative $\Gamma=P\dot{\mathcal{M}}P$ determine the spectral-flow jump and leading Laurent coefficient of the sourced ghost resolvent; for a simple zero, they also give the wall conormal. Crossings reached along affine rays from the positive region have negative-definite $\Gamma$, including symmetry-protected multiplets, while a second Schur reduction determines pole orders along tangential paths. A projected single-harmonic model checks the projected Feynman-Hellmann relation. For an $SU(2)$ hedgehog on $\mathbb R^3$, we construct a normalizable threshold state in every coupled spin-orbit channel and minimize over the full tower to obtain the exact stability interval $-2<g<1$. Dirichlet-box spectra approach these thresholds and serve as finite-volume comparisons; no numerical fit enters the continuum result.

Figures

Figures reproduced from arXiv: 2607.13228 by Daniel G. Tedesco.

Figure 1
Figure 1. Figure 1: Projected single-harmonic calculation in the complex [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Selected hedgehog channels in a Dirichlet radial box with [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Normalized representation-space illustration for the [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗

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

36 extracted references · 4 canonical work pages

  1. [1]

    V. N. Gribov,Quantization of non-Abelian gauge theories, Nucl. Phys. B139, 1-19 (1978). 23

    1978

  2. [2]

    I. M. Singer,Some remarks on the Gribov ambiguity, Commun. Math. Phys.60, 7-12 (1978)

    1978

  3. [3]

    M. S. Narasimhan and T. R. Ramadas,Geometry ofSU (2)gauge fields, Commun. Math. Phys.67, 121-136 (1979)

    1979

  4. [4]

    Babelon and C

    O. Babelon and C. M. Viallet,The Riemannian geometry of the configuration space of gauge theories, Commun. Math. Phys.81, 515-525 (1981)

    1981

  5. [5]

    Maskawa and H

    T. Maskawa and H. Nakajima,How dense are the Coulomb gauge fixing degeneracies? Geometrical formulation of the Coulomb gauge, Prog. Theor. Phys.60, 1526-1539 (1978), doi:10.1143/PTP.60.1526

    work page doi:10.1143/ptp.60.1526 1978

  6. [6]

    Maskawa and H

    T. Maskawa and H. Nakajima,Structure of the gauge transformation group in the square integrable space and Gribov’s ambiguity in the Coulomb gauge, Prog. Theor. Phys.63, 641-655 (1980), doi:10.1143/PTP.63.641

    work page doi:10.1143/ptp.63.641 1980

  7. [7]

    M. A. Semenov-Tyan-Shanskii and V. A. Franke,A variational principle for the Lorentz condition and restriction of the domain of path integration in non-Abelian gauge theory, Zap. Nauchn. Semin. LOMI120, 159-178 (1982) [J. Sov. Math.34, 1999-2004 (1986)]

    1982

  8. [8]

    Dell’Antonio and D

    G. Dell’Antonio and D. Zwanziger,Every gauge orbit passes inside the Gribov horizon, Commun. Math. Phys.138, 291-299 (1991)

    1991

  9. [9]

    van Baal,More (thoughts on) Gribov copies, Nucl

    P. van Baal,More (thoughts on) Gribov copies, Nucl. Phys. B369, 259-275 (1992)

    1992

  10. [10]

    Zwanziger,Local and renormalizable action from the Gribov horizon, Nucl

    D. Zwanziger,Local and renormalizable action from the Gribov horizon, Nucl. Phys. B323, 513-544 (1989)

    1989

  11. [11]

    Vandersickel and D

    N. Vandersickel and D. Zwanziger,The Gribov problem and QCD dynamics, Phys. Rep. 520, 175-251 (2012), arXiv:1202.1491 [hep-th]

    Pith/arXiv arXiv 2012

  12. [12]

    M. A. L. Capri, D. Dudal, M. S. Guimaraes, L. F. Palhares, and S. P. Sorella,An all-order proof of the equivalence between Gribov’s no-pole and Zwanziger’s horizon conditions, Phys. Lett. B719, 448-453 (2013), arXiv:1212.2419 [hep-th]

    Pith/arXiv arXiv 2013

  13. [13]

    M. A. L. Capri, D. Dudal, D. Fiorentini, M. S. Guimaraes, I. F. Justo, A. D. Pereira, B. W. Mintz, L. F. Palhares, R. F. Sobreiro, and S. P. Sorella,A local and BRST- invariant Yang-Mills theory within the Gribov horizon, Phys. Rev. D94, 025035 (2016), arXiv:1605.02610 [hep-th]

    Pith/arXiv arXiv 2016

  14. [14]

    M. A. L. Capri, D. Dudal, M. S. Guimaraes, A. D. Pereira, B. W. Mintz, L. F. Palhares, and S. P. Sorella,The universal character of Zwanziger’s horizon function in Euclidean Yang-Mills theories, Phys. Lett. B781, 48-54 (2018), arXiv:1802.04582 [hep-th]

    Pith/arXiv arXiv 2018

  15. [15]

    Greensite,Faddeev-Popov spectra at the Gribov horizon, Phys

    J. Greensite,Faddeev-Popov spectra at the Gribov horizon, Phys. Rev. D81, 114011 (2010), arXiv:1001.0784 [hep-lat]

    Pith/arXiv arXiv 2010

  16. [16]

    Cucchieri and T

    A. Cucchieri and T. Mendes,Ghost sector and geometry in minimal Landau gauge: Further constraining the infinite-volume limit, Phys. Rev. D88, 114501 (2013), arXiv:1308.1283 [hep-lat]

    Pith/arXiv arXiv 2013

  17. [17]

    Cucchieri and T

    A. Cucchieri and T. Mendes,Crossing the Gribov horizon: An unconventional study of geometric properties of gauge-configuration space in Landau gauge, PoS(LATTICE2013)367 (2014), doi:10.22323/1.187.0367, arXiv:1311.4699 [hep-lat]

    Pith/arXiv arXiv 2014

  18. [18]

    F. S. Henyey,Gribov ambiguity without topological charge, Phys. Rev. D20, 1460-1468 (1979). 24

    1979

  19. [19]

    M. S. Guimaraes and S. P. Sorella,A few remarks on the zero modes of the Faddeev-Popov operator in the Landau and maximal Abelian gauges, Phys. Rev. D84, 045014 (2011), arXiv:1106.3944 [hep-th]

    Pith/arXiv arXiv 2011

  20. [20]

    Study of the zero modes of the Faddeev-Popov operator in the maximal Abelian gauge,

    M. A. L. Capri, M. S. Guimaraes, V. E. R. Lemes, S. P. Sorella and D. G. Tedesco, “Study of the zero modes of the Faddeev-Popov operator in the maximal Abelian gauge,” Annals Phys.344(2014), 275-289 doi:10.1016/j.aop.2014.02.016 [arXiv:1309.4043 [hep-th]]

    Pith/arXiv arXiv 2014

  21. [21]

    M. A. L. Capri, M. S. Guimaraes, S. P. Sorella, and D. G. Tedesco,A study of the zero modes of the Faddeev-Popov operator in Euclidean Yang-Mills theories in the Landau gauge ind= 2,3,4dimensions, Eur. Phys. J. C72, 1939 (2012), arXiv:1201.2445 [hep-th]

    Pith/arXiv arXiv 1939

  22. [22]

    Carson,Dynamics of the Gribov horizon: A one-mode treatment, Nucl

    L. Carson,Dynamics of the Gribov horizon: A one-mode treatment, Nucl. Phys. B266, 357-388 (1986)

    1986

  23. [23]

    R. R. Landim, V. E. R. Lemes, O. S. Ventura, and L. C. Q. Vilar,Revisiting Gribov’s copies inside the horizon, Eur. Phys. J. C74, 3069 (2014), arXiv:1402.6235 [hep-th]

    Pith/arXiv arXiv 2014

  24. [24]

    Griesemer and D

    M. Griesemer and D. Hasler,On the smooth Feshbach-Schur map, J. Funct. Anal.254, 2329-2335 (2008), doi:10.1016/j.jfa.2008.01.015

    doi:10.1016/j.jfa.2008.01.015 2008

  25. [25]

    O’Neill,The fundamental equations of a submersion, Michigan Math

    B. O’Neill,The fundamental equations of a submersion, Michigan Math. J.13, 459-469 (1966)

    1966

  26. [26]

    Moncrief, A

    V. Moncrief, A. Marini, and R. Maitra,Orbit space curvature as a source of mass in quantum gauge theory, Ann. Math. Sci. Appl.4, 313-344 (2019), arXiv:1809.06318 [math-ph]

    Pith/arXiv arXiv 2019

  27. [27]

    Kato,Perturbation Theory for Linear Operators, 2nd ed

    T. Kato,Perturbation Theory for Linear Operators, 2nd ed. (Springer, Berlin, 1995)

    1995

  28. [28]

    Robbin and D

    J. Robbin and D. Salamon,The spectral flow and the Maslov index, Bull. London Math. Soc.27, 1-33 (1995)

    1995

  29. [29]

    von Neumann and E

    J. von Neumann and E. Wigner,Über das Verhalten von Eigenwerten bei adiabatischen Prozessen, Phys. Z.30, 467-470 (1929)

    1929

  30. [30]

    Zettl,Sturm-Liouville Theory, Mathematical Surveys and Monographs, Vol

    A. Zettl,Sturm-Liouville Theory, Mathematical Surveys and Monographs, Vol. 121 (Ameri- can Mathematical Society, Providence, RI, 2005), doi:10.1090/surv/121

    doi:10.1090/surv/121 2005

  31. [31]

    I. F. Justo, A. D. Pereira, and R. F. Sobreiro,Towards background field independence within the Gribov horizon, Phys. Rev. D106, 025015 (2022), arXiv:2206.04103 [hep-th]

    Pith/arXiv arXiv 2022

  32. [32]

    M. S. Guimaraes,A Lorentzian Gribov no-pole condition for Yang-Mills theory, arXiv:2606.08697 [hep-th] (2026)

    Pith/arXiv arXiv 2026

  33. [33]

    Orland,The metric on the space of Yang–Mills configurations, NBI-HE-96-35, arXiv:hep- th/9607134 [hep-th] (1996; revised 1997)

    P. Orland,The metric on the space of Yang–Mills configurations, NBI-HE-96-35, arXiv:hep- th/9607134 [hep-th] (1996; revised 1997)

    arXiv 1996

  34. [34]

    Orland and G

    P. Orland and G. W. Semenoff,Extremal curves in(2 + 1)-dimensional Yang–Mills theory, Nucl. Phys. B576, 627–654 (2000), arXiv:hep-th/9912009 [hep-th]

    Pith/arXiv arXiv 2000

  35. [35]

    Orland,Gauge-invariant coordinates on gauge-theory orbit space, Phys

    P. Orland,Gauge-invariant coordinates on gauge-theory orbit space, Phys. Rev. D70, 045014 (2004), doi:10.1103/PhysRevD.70.045014

    work page doi:10.1103/physrevd.70.045014 2004

  36. [36]

    Laufer and P

    M. Laufer and P. Orland,Metric of Yang–Mills orbit space on the lattice, Phys. Rev. D88, 065018 (2013), doi:10.1103/PhysRevD.88.065018. 25

    work page doi:10.1103/physrevd.88.065018 2013