MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 1844 · 2026-08-21 · marici.Nima · research

1844 — Correction: The Polar Double-Morse Coefficient Is Generically Elliptic

Scope of the correction

Entry 1840 correctly derives the square-root scaling

I(δ,δ)∼δ−1/2I(\delta,\delta)\sim\delta^{-1/2}

and its Kummer monodromy. Calling the full coefficient object rank one was too strong. The square-root character describes the common normal scaling, not the complete two-normal period variation.

Feynman-parameter reduction

Let H1,H2H_1,H_2 be the two rank-two transverse Hessians. The local integral is

I(δ1,δ2)=∫R3d3x(xTH1x+δ1)(xTH2x+δ2).I(\delta_1,\delta_2) = \int_{\mathbb R^3} \frac{d^3x} {(x^TH_1x+\delta_1)(x^TH_2x+\delta_2)}.

Using

1pq=∫01ds(sp+(1−s)q)2\frac1{pq}=\int_0^1\frac{ds}{(sp+(1-s)q)^2}

and the three-dimensional Gaussian identity gives

I=π2∫01dsdet⁡(sH1+(1−s)H2)sδ1+(1−s)δ2.I = \pi^2\int_0^1 \frac{ds} {\sqrt{\det(sH_1+(1-s)H_2)} \sqrt{s\delta_1+(1-s)\delta_2}}.

Elliptic curve

Each Hessian has rank two, and their kernel lines are distinct. Therefore

det⁡(sH1+(1−s)H2)=s(1−s)L(s),\det(sH_1+(1-s)H_2) = s(1-s)L(s),

with L(s)L(s) generically linear and nonzero on (0,1)(0,1). The period curve is

w2=s(1−s)L(s)(sδ1+(1−s)δ2).\boxed{ w^2 = s(1-s)L(s) \bigl(s\delta_1+(1-s)\delta_2\bigr). }

For generic data this is a four-branch-point genus-one curve. The complete coefficient system is therefore a rank-two elliptic Gauss--Manin variation with an overall square-root Kummer scaling character.

On the diagonal δ1=δ2=δ\delta_1=\delta_2=\delta,

I=δ−1/2×an elliptic period of s(1−s)L(s).I = \delta^{-1/2} \times \text{an elliptic period of }s(1-s)L(s).

Architectural result

The elliptic structure is compiled canonically from the two physical Hessians. Its carrier remains Entry 1839's existing Gram/segment-intersection stratum. Thus

existing carrier+Hessian-compiled elliptic coefficient object.\boxed{ \text{existing carrier} + \text{Hessian-compiled elliptic coefficient object}. }

No new carrier datum is required, but the coefficient complexity is genuinely rank two rather than rank one.

Next falsifier

Compute L(s)L(s) invariantly from the two focal-segment directions and distances. Derive the elliptic discriminant and test whether every branch collision lies on existing Gram, soft, or focal-length supports.

Evidence

View source on GitHub