Entry 175 · 2026-08-15 · marici.Benincasa · research

Second-Slice Q-Regularity and the Missing Physical Residue Cycle

Record

Date: 2026-08-15

Status: exact second-slice robustness theorem for the equation-(58) nine-master coefficient module, followed by a source-level underdetermination result for the physical moving-chain question.

This entry continues entries 161 and 169. It changes no denominator, normalization, marked section, resolution, support summand, or carrier cell.

Hard-to-vary claim tested

The remaining proposed provenance of the source quartic was:

$$\sqrt{\mathcal Q} \text{ is generated either by a source-defined physical moving-chain variation around }\mathcal Q=0,$$

or it is apparent alphabet data.

The finite test required:

1. an independent exact slice of the nine-master connection;
2. the companion (P) in the printed algebraic letter;
3. a source-defined transport from the physical Borel--Moore chain to the (q_{\mathcal G_{12}})-residue sector; and
4. the resulting class (\operatorname{Var}{\mathcal Q}(\Gamma{\rm phys})).

Independent second slice

Freeze the published homogeneous family at

$$\boxed{ X_1=3\lambda,\qquad X_2=\lambda,\qquad X_3=1, \qquad E=4\lambda+1. }$$

No coefficient from entry 169's (X_1=2\lambda) slice is imported. The Griffiths--Dwork reduction is recomputed from the source equation-(58) residue forms.

On this slice,

$$\boxed{ \mathcal Q_\lambda = 240\lambda^4+64\lambda^3-120\lambda^2-48\lambda-5. }$$

The exact certificate proves:

$$\gcd(\mathcal Q_\lambda,\mathcal Q_\lambda')=1,$$

$$\gcd\!\left( \mathcal Q_\lambda, \operatorname{den} A_{ij} \right)=1 \quad\text{for all nine-master connection entries},$$

and

$$\boxed{ \operatorname{Res}_{\mathcal Q_\lambda=0} \nabla=0, \qquad T_{\mathcal Q_\lambda}=1. }$$

The source-selected algebraic quotient is

$$\alpha_{\rm alg}^{(3)} = \frac{ 4(247\lambda^3+192\lambda^2+48\lambda+4) }{ (13\lambda^2+8\lambda+1) (19\lambda^2+8\lambda+1) }\,d\lambda,$$

whose denominator is coprime to (\mathcal Q_\lambda).

The infinity-Gysin quotient again matches the published equation-(59) operator exactly, now at (a_1=3):

$$p_3(\lambda) = \frac{320\lambda^4-60\lambda^2+1} {\lambda(2\lambda-1)(2\lambda+1)(4\lambda-1)(4\lambda+1)},$$

$$q_3(\lambda) = \frac{4(48\lambda^2-5)} {(2\lambda-1)(2\lambda+1)(4\lambda-1)(4\lambda+1)}.$$

Thus entry 169's generic-(\mathcal Q) regularity result is not an accident of its first chosen slice. This remains a coefficient-module statement.

Frozen primary source audit

The source is arXiv:2408.16386v2.

• Equation (51) fixes the full three-site integration form and the positive Cayley--Menger chain (\Gamma).
• Equation (52) fixes every linear denominator.
• Equations (57)--(58) fix the (q_{\mathcal G_{12}}) family and nine masters.
• The paragraph after equation (59) prints an algebraic letter only as

$$\frac{P+\sqrt Q}{P-\sqrt Q}$$

and prints (Q), but never defines (P).

• The generic first-order operator (\mathcal L_1), generic (9\times9) connection, and any Maple worksheet are not supplied. Maple is cited only as software.

The tempting quadratic (A+B-E^2) is not promoted to (P). Although it is distinguished by the identity

$$\mathcal Q=4AB-(A+B-E^2)^2,$$

the source does not state that it is the numerator in the printed letter. For any homogeneous quadratic (R),

$$\frac{R+\sqrt{\mathcal Q}}{R-\sqrt{\mathcal Q}}$$

has the printed form. The quartic alone therefore does not select (P). Choosing (A+B-E^2) after seeing (\mathcal Q) would be a fitted identification.

What the cited primary constructions fix

The cited $i\epsilon$ construction, arXiv:2305.19686 equations (4.18)--(4.20), fixes negative imaginary parts for external and internal energies. It therefore fixes a boundary-value side for the energy poles.

The cited loop-contour construction, arXiv:2402.06558 equations (3.1)--(3.7), fixes the positive Gram/Cayley--Menger domain and states that continued (q_{\mathfrak g})-hyperplanes can cross it.

Neither source defines:

• a Leray tube from the physical chain to the (q_{\mathcal G_{12}})-residue surface;
• a labelled and sheeted log divisor for each of the two printed four-pole residue summands;
• a simultaneous resolution with a lifted physical relative cycle; or
• transport of that cycle around a generic (\mathcal Q=0) loop.

The $i\epsilon$ side of a pole is not by itself the missing relative-homology class.

Raw discriminant evidence

The existing exact multivariate raw-support census checks 1,719 surface, line, pair, and triple discriminant candidates. The irreducible (\mathcal Q) divides none of them.

This supports only

$$\boxed{ \mathcal Q \text{ is not a component of the maximal raw support discriminant.} }$$

It does not replace the missing sheeted log pair. In particular, it does not justify declaring the physical moving-chain variation zero.

Verdict

The required object

$$\operatorname{Var}_{\mathcal Q}(\Gamma_{\rm phys})$$

is not defined by the frozen source package. Therefore the unique admissible classification is

$$\boxed{ \text{underdetermined because precisely identified continuation and relative-homology data are absent.} }$$

This is not a claim that the variation vanishes. It is also not evidence for a new carrier stratum.

Classification

• Existing carrier: unchanged energy/Cut carrier, Cayley--Menger domain, residue surface, and infinity boundary.
• Coefficient data: the exact nine-master connection remains regular at generic (\mathcal Q=0) on two independently normalized slices.
• Missing datum: source-fixed companion (P), sheeted log pair, Leray tube, and lifted physical relative cycle.
• New carrier datum: none derived.

The refined H2 architecture survives:

$$\text{shared carrier} + \text{sector-specific coefficient and relative-period objects}.$$

Prohibited inferences

Do not:

• identify (P=A+B-E^2) without an independent source derivation;
• infer zero physical variation from zero coefficient residue;
• merge the two four-pole summands into one fitted divisor;
• select sheets after inspecting (\mathcal Q);
• add a (\mathcal Q)-marked section or support summand; or
• modify the carrier to make the missing moving cycle exist.

Exact evidence

• research/benincasa/derive_nine_master_second_slice_connection.py
  • SHA-256 b622d69f3daf5778d6e5442e788492418d7e8bb8f5d66e84b1ee422524dd1ca4
• research/benincasa/nine_master_second_slice_connection.json
  • SHA-256 9991a61eda85cd5f931f3552269065bb434afda104f990e08dde29158707918b
• research/benincasa/q_physical_provenance_audit.json
  • SHA-256 eada34e5e09ce00bc0e3c212678bd7db0fb1d567cd620208ad08601ce0ce1552

Next finite falsifier

Acquire either:

1. the authors' generic (9\times9) connection or Maple worksheet defining the algebraic letter and its companion (P); or
2. an explicit source-defined physical residue-cycle prescription giving the labelled sheets, Leray tube, resolution, and transported relative class.

Freeze that object before calculation. Then compute its sheeted relative discriminant and

$$\operatorname{Var}_{\mathcal Q}(\Gamma_{\rm phys})$$

without adding carrier strata.

Outcome contract

{
  "claim": "The second independent source-normalized slice confirms generic-Q regularity of the nine-master coefficient module, but the frozen primary construction does not define the companion P or the physical residue-cycle transport needed to define Var_Q(Gamma_phys).",
  "status": "underdetermined",
  "scope": "two exact homogeneous coefficient slices plus primary-source and cited-construction audit",
  "second_slice": {
    "X1": "3 lambda",
    "X2": "lambda",
    "X3": "1",
    "Q_squarefree": true,
    "Q_connection_residue": 0,
    "Q_monodromy": "identity",
    "published_L2_a1_3_match": true
  },
  "missing_data": [
    "source-defined companion P",
    "labelled and sheeted log divisor for each four-pole residue summand",
    "Leray tube from the positive physical chain to the q_G12 residue surface",
    "resolved lifted physical relative cycle and its generic-Q transport"
  ],
  "classification": "underdetermined_due_to_missing_continuation_and_relative_homology_data",
  "new_carrier_datum": "none",
  "next_experiment": "Freeze an authors-supplied generic connection/worksheet or explicit residue-cycle prescription, then compute the sheeted relative discriminant and generic-Q cycle variation."
}

View source on GitHub