← Theory

ADE Spectral Ladder

The spectral determinant of the scalar Laplacian on each ALE space in the ADE series, compared against the E₇ target derived from the fine structure constant.

JIM'S OVERSIMPLIFICATION

Every finite subgroup Γ ⊂ SU(2) defines a 4D ALE space (asymptotically locally Euclidean) as the smooth resolution of C²/Γ. These are classified by the ADE Dynkin diagrams. Each ALE space has a scalar Laplacian, and its zeta-function-regulated spectral determinant is a geometric number. The conjecture: the E₇ ALE space (resolving C²/2O, where 2O is the binary octahedral group) has spectral determinant equal to −(1/α − 137) = −0.035999. This page computes all A_n cases, finds the A_n series diverges, and states what is needed to reach E₇.

The ADE Classification of ALE Spaces

The finite subgroups of SU(2) are classified by ADE:

Dynkin	Group Γ	\|Γ\|	χ(ALE)	Exceptional divisors
A_n	Z_n+1 (cyclic)	n+1	n+1	n
D_n	BD_4(n-2) (binary dihedral)	4(n-2)	n	n-1
E₆	2T (binary tetrahedral)	24	7	6
E₇	2O (binary octahedral)	48	8	7
E₈	2I (binary icosahedral)	120	9	8

For each ALE space, the smooth crepant resolution (Kronheimer’s construction) carries a hyper-Kähler metric. The scalar Laplacian on this metric has a zeta-function-regulated spectral determinant. We compute the relative determinant: the ALE space versus (1/|Γ|) times flat C².

The E₇ Target OBSERVED

The E₇ theory derives the fractional part of 1/α from the self-consistent quadratic:

1/α = 137 + (π² − r · α) / 274 , r = arctan(√(19/18)) solution: 1/α = 137.035999177, matching CODATA 2022 to 0.009σ

The fractional part is:

1/α − 137 = 0.035999177

The conjecture is that this number appears as the E₇ ALE spectral determinant:

Δ_E₇ ≡ −(1/α − 137) = −0.035999177

If this holds, the geometry of the binary octahedral resolution would directly encode α without any free parameters. The computation is the test.

The A₁ Result: Eguchi–Hanson VERIFIED

The A₁ ALE space is the Eguchi–Hanson manifold: the minimal resolution of C²/Z₂. The relative spectral determinant of the scalar Laplacian uses the Barnes double-zeta function:

zeta₂(s, a) = ζ_H(s−1, a) + (1−a) ζ_H(s, a) double Hurwitz zeta; ζ_H = Hurwitz zeta function

Δ_A₁ = ζ₂'(0, ½) − ½ ζ₂'(0, 1)

The ingredients:

ζ₂'(0, a) = ζ_H'(−1, a) + (1−a) [log Γ(a) − ½ log 2π]

Evaluated at a = 1/2 and a = 1 using the Barnes G-function and Glaisher constant:

Δ_A₁ = −log(2)/8 − 3/16 − 1/24 − log(π)/4 − log G(1/2) + log A / 2 G(1/2) = 0.603244... A = Glaisher-Kinkelin = 1.282427... computed to 50 decimal places

Δ_A₁ = −0.036746784245...

The target is −0.035999177. The gap:

|Δ_A₁ − target| = 0.000748 (2.1% of target)

A₁ is already within 2% of the conjectured E₇ value. The question is whether the remaining 0.000748 is closed by ascending the ADE ladder to E₇.

The A_n Series LADDER KILLED

For general A_n (Z_n+1), the relative spectral determinant is:

Δ_{A_n} = ∑_k=1ⁿ ζ₂'(0, k/(n+1)) − (n/(n+1)) ζ₂'(0, 1)

The heat-kernel coefficient zeta_rel(0) = n/12 grows linearly with n (each exceptional divisor contributes 1/12). The derivative Δ_{A_n} computed numerically:

Space	\|Γ\|	χ	Δ (spectral det.)	Gap from target
A₁	2	2	−0.036747	0.000748
A₂	3	3	+0.029103	0.065102
A₃	4	4	+0.143862	0.179862
A₄	5	5	+0.286936	0.322936
A₅	6	6	+0.448451	0.484451
A₆	7	7	+0.622930	0.658930
A₇	8	8	+0.807017	0.843017
Target E₇	48	8	−0.035999	—

The A_n series diverges. After A₁, the values flip positive and grow monotonically. A₇ (which has the same Euler characteristic as E₇) gives +0.807, not −0.036. The naive ladder extrapolation from A_n to E₇ is killed by the data.

Why A_n and E₇ Are Different Structures

The divergence is not surprising once you see the reason. The A_n groups are abelian (cyclic). The D and E groups are non-abelian. The spectral determinant formula changes structurally:

A_n (abelian): contributions from each non-trivial element add independently. As n grows, more elements contribute, and the sum grows.
D_n, E₆, E₇, E₈ (non-abelian): elements come in conjugacy classes; the character theory mixes contributions. The cancellations between representations can suppress the total.

For the binary octahedral group 2O (|2O| = 48), the elements fall into 8 conjugacy classes. The spectral determinant receives contributions weighted by the irreducible representations, not by a simple angular-sector sum. The A_n series is not the right path to E₇.

What Is Actually Open

D₄ computation (next achievable step)

The D₄ ALE space resolves C²/BD₈ where BD₈ is the binary dihedral group of order 8 (the quaternion group Q₈). It has 5 conjugacy classes: {e}, {−e}, {±i}, {±j}, {±k}. The spectral determinant requires:

Decompose the scalar field on C²/BD₈ into representations of BD₈.
Compute the angular zeta function on S³/BD₈ using characters of BD₈.
Evaluate the double zeta integral for each conjugacy class.

The group BD₈ acts on C² with two non-trivial types of elements (order 4 and order 2), requiring two distinct angular integrals versus the single integral in the A₁ case. Doable in principle; not yet computed.

E₇ computation (the target)

The binary octahedral group 2O of order 48 has 8 conjugacy classes. The Kronheimer hyper-Kähler metric on the E₇ ALE space is not explicitly known in closed form (it exists by construction, not by formula). Two methods are available:

Scattering approach: compute the spectral determinant from the asymptotic boundary data and the Jost function of the resolved metric, using the McKay correspondence to organize the angular channels.
Character sum approach: use the known character table of 2O to compute the double zeta sum with weights from each conjugacy class. Requires the action of 2O on C² written explicitly.

Either method would give a definite number. If that number equals −0.035999177 = −(1/α − 137), the conjecture survives. If not, it is killed.

The Striking Feature of A₁

Despite the A_n ladder being killed, A₁ itself is notable. The Eguchi–Hanson spectral determinant −0.036747 lands within 2% of the target −0.035999 without any tuning. The exact A₁ value is:

Δ_A₁ = −log(2)/8 − 3/16 − 1/24 − log(π)/4 − log G(1/2) + log A / 2

This is a closed-form expression in standard transcendental constants. It is not 1/137, but it is close enough to suggest the E₇ target is in the right neighborhood. Whether the additional group structure of 2O versus Z₂ produces exactly the 0.000748 correction is the question the computation would answer.

Honest Status

A₁ value: VERIFIED. −0.036747 computed from Barnes double zeta, 50-digit precision.
A_n series: COMPUTED. Diverges from target after n=1. Abelian ladder does not reach E₇.
D₄: OPEN. Method is known; computation not done. Binary dihedral character sum required.
E₇: OPEN. The test of the conjecture. Binary octahedral group 2O + Kronheimer metric.
Conjecture Δ_E₇ = −(1/α−137): neither confirmed nor killed. A₁ is suggestive. A_n series is not the path. D/E computation is the path.

Status: OPEN. The A₁ proximity is real and precisely computed. The simple ladder interpretation through A_n is killed. The actual test requires the non-abelian binary octahedral computation, which is a well-posed mathematics problem with a binary outcome: the number either equals −0.035999 or it does not.

The clean claim: not “E₇ gives α.”
The clean claim is: “A₁ gives −0.036747, the target is −0.035999, and the computation that closes the gap is open.”

Theory · Framework · Research · GUMP

ADE Spectral Ladder

The ADE Classification of ALE Spaces

The E7 Target OBSERVED

The A1 Result: Eguchi–Hanson VERIFIED

The An Series LADDER KILLED

Why An and E7 Are Different Structures