Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck pass
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Radial gauge yields the Getzler oscillator as the leading operator

Statement

Assume full AC. Near any point y of a closed even-dimensional geometric Clifford module, choose normal coordinates and radial parallel transport. Give ∂i, c(ei), and xi Getzler degrees 1,1,−1, respectively. The transport coefficients of The geometric Dirac heat parametrix has a graph-norm remainder have Getzler degree at most 2j, and the leading operator of D2 is the formal oscillator P0=−∑i(∂i+14∑jRijxj)2+FyV/S∧, where Rij=2FjiS(y) is the skew tangent-curvature matrix written in exterior-form symbols and FV/S acts by exterior multiplication together with its endomorphism action on the multiplicity space. The diagonal supertrace coefficients vanish for j<m when n=2m, and the j=m coefficient is determined by the oscillator heat equation. For m=0, use the orientation-graded reference line from The A-hat form and relative Chern character; then P0=0, u0=IV, uj=0 for j>0, and str⁡Vu0=εystr⁡WyI.

Facts & Assumptions

Given: Full AC, a closed even-dimensional geometric Clifford module, its Lichnerowicz formula, heat transport coefficients, and the irreducible spinor module.

[F1]

The transport recursion and uniform differentiated remainder are proved in The geometric Dirac heat parametrix has a graph-norm remainder.

[F2]

The Lichnerowicz curvature split and relative commutant curvature are proved in Lichnerowicz formula for a geometric Dirac operator, Spinor and geometric Clifford bundles and connections are well defined.

[F3]

For n=2m≥2, the irreducible complex spinor module has volume chirality ΓS=imc1⋯cn and V≅S⊗^W locally (Complex spinor modules and complete reducibility for Euclidean Spin, Even-dimensional spinor bundles, chirality, and the spin connection, Spinor and geometric Clifford bundles and connections are well defined). In dimension zero, the reference grading is ΓS0=εyI and ΓW=εyΓV (The A-hat form and relative Chern character).

[A1]

The complex spinor dimensions and half-spin decomposition are supplied by Complex spinor modules and complete reducibility for Euclidean Spin, with the negative-generator translation fixed in the local spinor definition. Full AC is inherited through the compact analytic suppliers (The Axiom of Choice).

Proof

Given: The radial normal-coordinate chart at y, the connection, and the transport recursion from [F1]. Steps 1.1–5.1 treat m≥1; the finite-dimensional m=0 case is step 6.1.

1.1F2givenalgebra

In radial gauge xiAi(x)=0. The curvature identity Fji=∂jAi−∂iAj+[Aj,Ai] and ∂i(xjAj)=0 give xjFji=xj∂jAi+Ai. Therefore dds(sAi(sx))=sxjFji(sx) and integration from 0 to 1 yields Ai(x)=∫01sxjFji(sx) ds=12xjFji(0)+O(∣x∣2). This derives the radial-gauge formula rather than assuming it.

2.1A1F2F3step 1.1algebra

In the local factorization V≅S⊗^W from [F3], spin curvature has Clifford degree two, while the multiplicity curvature commutes with Clifford multiplication. The leading radial connection term is 14Rijxj with Rij=2FjiS(0); multiplicity-connection terms are O(∣x∣) and have Getzler degree at most 0. Thus ∇i has leading part ∂i+14Rijxj of degree 1. The Lichnerowicz formula [F2] then shows D2 has degree 2 and the stated leading oscillator, since scalar curvature has degree 0 and the relative curvature acts by exterior multiplication with degree 2.

3.1F1F3step 2.1algebra

On a local factorization V≅S0⊗^W, the grading identity from [F3] is ΓV=ΓS0⊗ΓW, with ΓW=(ΓS0⊗I)ΓV. For homogeneous A and a Clifford monomial cI, the ordinary trace factorization is Str⁡V(cI⊗A)=tr⁡S0(ΓS0cI)tr⁡W(ΓWA); at top Clifford degree n, A is even and the latter factor is str⁡W(A). This identifies the global graded trace with the spinor Clifford trace times the multiplicity supertrace; the overlap law for W makes it independent of the chosen factorization. The radial transport recursion in [F1] has leading part (xi∂i+j)uj=−P0uj−1; all metric corrections have positive coordinate order. By step 2.1, P0 raises Getzler degree by at most 2, so induction from u0(0)=I gives ord⁡G(uj)≤2j. If ∣I∣<n, then tr⁡S0(ΓS0cI)=0: the product ΓS0cI is a nonempty Clifford monomial, and conjugation by a generator inside it when its length is even, or outside it when its length is odd, changes its sign while preserving trace. For I=(1,…,n), tr⁡S0(ΓS0c1⋯cn)=(−2i)m. Hence str⁡uj(y,y)=0 for 2j<n, and the order-n component is the unique solution of the leading oscillator transport recursion, with the multiplicity factor str⁡W.

4.1F1step 1.1step 3.1algebra

In the finite even exterior-form algebra, put z=tR/2, B(t)=zcoth⁡z, a(t)=(4πt)−mdet⁡1/2(z/sinh⁡z), and define κt(x,0)=a(t)exp⁡ ⁣(−xTB(t)x4t)e−tFyV/S. The formal series truncate in each exterior degree. The scalar identities zddz(zcoth⁡z)=zcoth⁡z−z2csch⁡2z and ddzlog⁡(z/sinh⁡z)=1/z−coth⁡z give tB′=B−B2+t2R2/4 and a′/a=−tr⁡(B)/(2t), using n=2m. For Li=∂i+(Rx)i/4, symmetry of B, skew-symmetry of R, and RB=BR make the mixed term xTRBx vanish and give ∑iLi2κt=(−tr⁡B2t+xTB2x4t2−xTR2x16)κt. These identities cancel the constant and quadratic terms in (∂t−∑iLi2+FV/S)κt, so κt solves the oscillator heat equation. Since B(t)→I and a(t)∼(4πt)−m as t↓0, its normalized Gaussian has the required delta initial value. After factoring (4πt)−me−∣x∣2/(4t), write κt=∑jtjvj(x). Substitution into the heat equation gives the same leading radial transport recursion and initial coefficient as the Getzler-leading uj in step 3.1. At each order that radial equation has a unique smooth solution by the heat-transport integral formula in [F1]; the singular homogeneous solution is excluded by smoothness at x=0. Thus the leading transport coefficients agree with this explicitly normalized oscillator solution, including the multiplicity supertrace.

5.1A1F1F2F3step 3.1step 4.1

The differentiated graph-norm remainder in [F1] ensures that this transport coefficient is the coefficient of the actual heat kernel: under t↦ϵt, x↦ϵx, and Getzler rescaling, the worst Clifford factor is ϵ−n/2=ϵ−m, canceled by the heat-kernel normalization ϵm. For any fixed finite collection of derivatives, choose the arbitrary remainder order N in [F1] large enough; its rescaled error is then O(ϵN) and tends to zero. Thus no convergence of rescaled global kernels is assumed. The sign convention is fixed by R(X,Y)=[∇X,∇Y]−∇[X,Y] and σ1(D)(ξ)=ic(ξ); reversing either changes both the radial curvature matrix and its oscillator coupling. All assertions are local in y and patch over the diagonal.

6.1F3givenalgebra∎

If m=0, the coordinate space is a point and has no coordinate derivatives or curvature two-forms. The Dirac operator and P0 are zero, and their heat operator is IV for every t>0. The normalized zero-dimensional Gaussian is 1, so its coefficient is u0=IV and all higher uj vanish. There is no condition j<m to check. The grading in [F3] gives ΓV=εyΓW, hence str⁡VI=εystr⁡WI. Thus the oscillator determines the stated coefficient at either orientation; no positive-dimensional volume-chirality formula is imposed at a negative point.

Depends on

Used by

Dependency tree · two levels

53 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources