Complexification as an Articulation of L₂: Covering Structure, the Regular Period Core, and the Irregular Boundary
L₂ 的复化阐述——覆叠结构、正则周期核心与不规则边界
This is the $L_2$ specialist paper of the SAE mathematics series. It does for $L_2$ what Paper 3 (10.5281/zenodo.20266351) did for $L_1$: a four-Main-Step articulation in the same format, with the same firewall between substrate and articulation mode.
The paper's central identification is a migration in the type of capture criterion, which we call carrier migration and register as an SAE registration rather than a mathematical fact. The $L_1$ articulation mode captures a scalar field closed under algebraic operations (the real closed field $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$). The $L_2$ articulation mode captures the image of an evaluation map defined on a class of integral expressions (the Kontsevich–Zagier ring of ordinary periods $\mathcal{P}$). These are not objects of the same type. The capture criterion accordingly shifts from what equations a number satisfies to what representations it admits. The paper therefore does not use the word "saturation"; it speaks of an evaluation core, and does not claim that $\mathcal{P}$ exhausts the $L_2$ substrate.
The structural asymmetry the paper identifies: the second-level reverse interrogation of $L_1$'s Main Step 3 releases its pressure by enlarging the scalar substrate ($\mathbb{Q} \to \mathbb{Q}^{\rm alg}_{\mathbb{R}}$); the corresponding interrogation at $L_2$ has no field left to enlarge, since $\mathbb{C}$ is algebraically closed, and the pressure is instead lifted into a covering. In short: algebraic closure removes the scalar gap but not the gaps of representation, path, and uniformization. This asymmetry is the structural condition under which the operational defect algebra $\omega_\rho^{(2)}$ becomes necessary work — had the pressure again been released by enlarging the substrate, Main Step 4 would need only to register a new number field.
The four Main Steps: mark-without-construct of $i$ (cross-level threshold class); the two-dimensionalization along the additive path; covering and rotational memory along the multiplicative path (the mathematical spine of the paper); closure and remainder ledger. The last is registered, following the three-way classification of Paper 3 § 8, as a remainder ledger structure rather than a within-layer fractal, and spans three sections: the regular period core (divisors, residues, periods and monodromy), the irregular boundary (Newton–Turrittin data, the Stokes phenomenon), and closure with the ledger.
Load-bearing discipline. The paper's load rests on two extensions, of different epistemic tiers. The extension of expression classes $\mathsf{Int}_{\rm alg} \hookrightarrow \mathsf{Int}_{\exp}$ is definitional. The extension from regular connections to connections admitting irregular singularities is theorem-level, supported by Hukuhara–Levelt–Turrittin. Registering the two as the numerical-side and function-side presentations of a single SAE boundary is a separate, conditional item. That $e \notin \mathcal{P}$ is an open conjecture; it serves only as a candidate strictness witness and bears no load. Indeed $e$ bears no load-bearing role at all: its two registrations — the transition signature inherited from Foundation v2, and the candidate numerical witness — are both non-load-bearing. That $e$ belongs to the exponential periods is settled; whether it belongs to the ordinary periods is not known.
Newton–Turrittin data are registered in three strata, which must not be compressed into a causal chain. Slopes give the regular/irregular divide and the degrees of the determining polynomials. The coefficients of the full exponential factors give the growth type (through $\lvert a_s \rvert$) and the candidate Stokes directions (through the leading coefficient and argument of the difference $q_\alpha - q_\beta$). Stokes multipliers are analytic moduli lying beyond formal classification. One identification follows: growth type and candidate Stokes directions both require the second stratum's coefficient data and neither is determined by slopes alone — though they need not be determined by the same leading coefficient.
Closure structure: the closure of $L_2$ is not a single compactification. The coarse closure (the Riemann sphere) collapses all directions to a point; the irregular remainder then forces that point to reopen, through real oriented blow-up, into a circle of directions.
Partial payment: against the composition law for the six components of $\omega_\rho^{(2)}$, deferred to the $L_2$ specialist paper by Paper 1 § 11.1, this paper delivers a minimal typed composition skeleton — a table of component types and internal operations, and four cross-component interfaces ($d\log$; restriction to small loops; Riemann–Hilbert and its wild extension; Ramis density). The unified categorical encapsulation is not delivered and is registered as an outstanding debt.
What the paper does not undertake: the derivation of complex analysis; a proof or refutation of $e \notin \mathcal{P}$; the full composition law; the trajectory of $L_3$; a demarcation of what counts as a "mathematical tool"; the defect structure of quaternionic analysis itself; a mathematical placement coordinate system.
1. Introduction and Positioning
1.1 Where this paper stands
Paper 3 gave a complete four-Main-Step articulation of the quantitative dimension $L_1$, and stated in its § 6.4 that how the various post-$L_1$ articulation candidates are to be placed is not presupposed there but left to subsequent layer papers. The present paper is one of those subsequent papers — the one that treats the complexification main trajectory.
What this paper does for $L_2$ is what Paper 3 did for $L_1$: distinguish substrate from articulation mode, articulate the mode's unfolding through four Main Steps and their inner sub-articulation, give the capture range, and register the remainder ledger.
One difference in format must be declared at the outset: the registration class of Main Step 4. By the three-way classification established in Paper 3 § 1.3 and § 6.1, Main Step 4 is a meta-level closure whose sub-articulation is a remainder ledger structure and does not follow the four-step fractal pattern. This paper follows that registration, and carries it in the layout itself: Main Step 4 spans § 6, § 7 and § 8, while Main Steps 1 through 3 occupy one section each (§ 2.1).
This paper is not a restatement of Paper 1 § 5. Paper 1 articulated the four steps of $L_2$ and the six components of $\omega_\rho^{(2)}$ at the architectural level; the present paper develops the specialist treatment, and applies four upstream treatments to Paper 1 (§ 11.1), one of which is explicitly labelled a charitable reconstruction rather than a recovery of the original intent.
1.2 The four inherited debts
First, the composition law of Paper 1 § 11.1. That paper deferred the composition law for the six components of $\omega_\rho^{(2)}$ to a subsequent $L_2$ specialist paper, observing that without it the six-tuple is only a list. This paper makes a partial payment — a minimal typed composition skeleton (§ 9) — and registers the unified categorical encapsulation as an outstanding debt (§ 13.1).
Second, the Cayley–Dickson question of Paper 1 § 11.8. That paper asked whether the alternative closures provide another realization of $L_2$, and how the sufficiency criterion applies to them. This paper answers (§ 10), and in doing so revises the classification in Paper 1 § 5.1 under which the members of that sequence were listed as $L_2$ articulation candidates.
Third, the remainder ledger of Paper 3 § 6. That paper established three classes of remainder and the criterion distinguishing cross-level forcing from lateral-branch forcing. This paper rearranges the ledger at $L_2$ (§ 8.2), and articulates why the first class stands differently in the two layers: $i$ was forced out by an interrogation internal to $L_1$, whereas $\mathbb{H}$ has no corresponding source.
Fourth, the monolithic $\infty$ of the ZFCρ line. The question raised there is that the monolithic $\infty$ of $L_1$ cannot resolve fine ratios. This paper settles the order half (§ 6.2); the interface for the coefficient half is located at the second stratum of the Newton polygon but is not connected (§ 7.4). The debt is re-registered from "no interface" to "interface located but not connected", and may not be cited as settled.
A further open question, transferred from Paper 3 § 6.4 — the placement of the effective-Cauchy articulation mode — is decided here as a side-branch parallel to the complexification trajectory (§ 11.3).
1.3 What this paper does not claim
Seven items are explicitly disclaimed. Several are expanded in the reader's misreading table (§ 2.6) and registered in the three-tier table (§ 12.1) as not to be drawn as a conclusion of this paper.
First, this paper does not derive complex analysis. The stratification into divisors, residues, periods and monodromy, and Stokes data with asymptotic growth is an existing result of classical complex analysis. What this paper claims is the position of that stratification within a cross-layer comparison, not the stratification itself.
Second, this paper does not claim that $\mathcal{P}$ exhausts the $L_2$ substrate. $\mathcal{P}$ is countable while the substrate is not; and $\mathcal{P}$ does not even exhaust the computable reals. Further, the analytic–covering spine on curves along which this paper works is not claimed to generate all of $\mathcal{P}$ (§ 2.3, the two-spine declaration).
Third, this paper neither proves nor refutes $e \notin \mathcal{P}$. The proposition is an open conjecture. The paper's load does not rest on it (§ 7.1); the list of sentences requiring change should it be refuted is given in § 12.3.
Fourth, this paper does not deliver the full composition law of $\omega_\rho^{(2)}$. See the first debt above.
Fifth, this paper does not retract Paper 1's architectural articulation of $L_2$. All four upstream treatments are registered as refinement, charitable reconstruction, or revision of a candidate classification, not as retraction (§ 11.1).
Sixth, this paper does not expel the quaternions from $L_2$. § 10 concludes only that $\mathbb{H}$ does not share the signature and defect system of this trajectory; on its position within the full space of $L_2$ trajectories the paper makes no judgment.
Seventh, this paper does not presuppose the trajectory of $L_3$. § 13.2 offers a T3 programmatic prediction concerning the type of pressure release, together with an operationalized falsification condition and a registered counter-candidate; the prediction is not about the content of $L_3$.
1.4 Organization
§ 2 establishes four firewalls: substrate versus articulation mode (including the registration declaration for Main Step 4); numerical objects versus functions versus operators; expression syntax versus evaluation image versus expression equivalence; and numerical propositions versus proof-theoretic status versus algorithmic decidability. A terminology table and a reader's misreading table follow. Every substantive claim in the remainder of the paper traces back to one of these four.
§ 3 through § 5 articulate Main Steps 1 through 3. Of these, § 5 (the multiplicative path) is the mathematical spine: it gives the asymmetry of reverse interrogation (§ 5.4) and the double identity of $2\pi i$ (§ 5.5), and the entire technical content of § 6 through § 8 has its reason for being articulated there.
§ 6 through § 8 are the three sections of Main Step 4: the regular period core, the irregular boundary, and closure with the remainder ledger. Their relation is core and enrichment, not mutually exclusive binning — irregular connections still have divisors, residues and monodromy; what § 7 adds are exponential factors, directions, and Stokes data.
§ 9 delivers the minimal typed composition of the operational defect algebra. § 10 treats Cayley–Dickson. § 11 registers the relations to Papers 1, 2, 3, to the ZFCρ line, and to SAE Physics Foundation v2. § 12 gives the three-tier claim table, the jurisdiction statement, a two-way falsifiability registration, the anti-immunization declaration, and the prediction discipline. § 13 lists open problems and the subsequent trajectory.
2. Four Firewalls
This section is the paper's general firewall. Paper 3 § 2 established the distinction between substrate and articulation mode as that paper's general firewall; the present paper lifts that distinction to $L_2$ and adds three more. The four are not rhetorical disclaimers: every substantive claim in § 3 through § 9 traces back to one of them, and if any one of them is read through, the corresponding claims fail with it.
The four distinguish, respectively: substrate from articulation mode (§ 2.1); numerical objects from functions from operators (§ 2.2); expression syntax from evaluation image from expression equivalence (§ 2.3); and numerical propositions from proof-theoretic status from algorithmic decidability (§ 2.4). § 2.5 gives the terminology table and § 2.6 the reader's misreading table.
2.1 Substrate and articulation mode
Paper 3 § 2 articulates: the quantitative-dimension substrate and the $L_1$ articulation mode are two distinct objects and may not be conflated. The substrate is the "totality of quantities" articulated along the quantitative dimension, realized at the level of classical mathematical construction, via ZFC together with Dedekind cuts, as the real line $\mathbb{R}$ taken as a completed object. The $L_1$ articulation mode is the set of finite algebraic tools under the SAE operational-articulation view, capturing the real algebraic numbers $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. That paper's firewall statement is: the classical construction is not retracted; what is articulated is that, from the SAE operational-articulation view, no single articulation mode exhausts the real-line substrate.
That statement is universal, not enumerative. It is earned in Paper 3 § 6.3.2 by a cardinality argument: for any countable formal language, the totality of formulas in that language is at most $\aleph_0$, while the real line has cardinality $2^{\aleph_0}$, so an undefinable remainder exists for every such mode. What matters is that the argument does not depend on the choice of language — change the language, extend the language, and so long as it remains countable the conclusion stands. This paper inherits the universal form and does not re-prove it; § 8.2 exhibits that form once more at $L_2$.
This paper lifts the same distinction to $L_2$.
The $L_2$ substrate is the complex plane and the Riemann sphere. At the level of classical construction, $\mathbb{C}$ is realized as a completed object via $\mathbb{R}^2$ with a multiplication, or via $\mathbb{R}[x]/(x^2+1)$; $\hat{\mathbb{C}}$ via one-point compactification. These constructions are not retracted here.
The $L_2$ articulation mode is algebraic de Rham–Betti integration together with analytic continuation. The core of its capture range is the ring of ordinary periods $\mathcal{P}$ (defined in § 2.3, articulated substantively in § 6). The paper does not claim that $\mathcal{P}$ exhausts the $L_2$ substrate (§ 2.6, second item).
That the capture criterion differs from layer to layer is itself one of this paper's identifications. Paper 3's $L_1$ mode uses finite algebraic constraint as its capture criterion: a real number is captured just in case it satisfies a finite polynomial constraint over $\mathbb{Q}$. This paper's $L_2$ mode uses algebraic integral representation: a complex number is captured just in case it can be written as the value of an absolutely convergent integral of algebraic data over a $\mathbb{Q}$-semi-algebraic region. These are not two instances of one kind of criterion. The first adjudicates a relation between a number and a family of equations; the second, between a number and a family of geometric integral expressions. § 6.1 articulates this type shift substantively under the name carrier migration; here it is only registered.
Registration declaration for Main Step 4. Paper 3 § 1.3 and § 6.1 divide within-layer sub-articulation into three classes and state explicitly: cross-level threshold sub-articulation (Main Step 1); within-layer fractal sub-articulation (Main Steps 2 and 3); and Main Step 4, of which that paper writes that it is a meta-level closure whose sub-articulation is a remainder ledger structure and does not follow the four-step fractal pattern. Each of the three classes carries its own registration standard.
This paper follows the same registration. Main Step 1 is registered as cross-level threshold (§ 3); Main Steps 2 and 3 as within-layer fractal (§ 4, § 5); Main Step 4 as remainder ledger structure (§ 6, § 7, § 8), organized as capture core → unaptured ledger → trigger condition for the next layer, not as a re-enactment of the four phases.
The four stages onto which the six components of $\omega_\rho^{(2)}$ map — pointwise, local-monetization, global-cycle, boundary-sector — form a scale progression within a type stratification, not a re-enactment of the four phases inside Main Step 4. This paper carries that registration through the asymmetry of its layout: Main Step 4 spans three sections while Main Steps 1 to 3 occupy one each. Form is the declaration.
An inherited open question. Paper 3 § 6.4 registers the effective-Cauchy articulation mode as a post-$L_1$ analytic-completion branch, and explicitly does not presuppose whether it functions as a sub-articulation within the $L_2$ main trajectory, as an $L_{1\to 2}$ bridge, or as a side-branch parallel to the complexification trajectory; that adjudication is left to subsequent layer papers. This paper is such a paper.
The substantive material it can supply is a comparison of capture ranges. The effective-Cauchy mode uses algorithmic approximability as its criterion and captures the computable reals; the $L_2$ mode uses algebraic integral representation, and its capture core on the real axis is $\mathcal{P} \cap \mathbb{R}$. The relation is that $\mathcal{P} \cap \mathbb{R}$ is strictly contained in the computable reals — every period can be approximated to arbitrary precision, while Yoshinaga has exhibited a computable real that is not a period (§ 8.2). The effective-Cauchy mode therefore captures strictly more on the real axis than the $L_2$ period core, and the three capture criteria (finite algebraic constraint, algebraic integral representation, algorithmic approximability) are none of them a special case of another.
§ 11.3 will register it as a side-branch parallel to this paper's complexification trajectory; the present section only announces the comparative material and does not open the argument early.
2.2 Numerical objects, functions, operators
The articulated content of $L_2$ contains three kinds of object at once, and in ordinary mathematical usage the three often share a name. This firewall separates them.
Numerical objects: $\pi$, $e$, $2\pi i$, a given period, the value of a residue. These are outputs of evaluation maps.
Functions: $\exp$, $\log$, a given meromorphic function, a branch of an analytic continuation. These are what the $L_2$ articulation mode acts upon.
Operators: $\mathrm{div}(\cdot)$, $\mathrm{Res}_p(\cdot)$, analytic continuation along a path, $\oint_\gamma(\cdot)$. These send functions to numerical objects, or to other functions.
This is not a pedantic distinction. One of the paper's load-bearing decisions rests directly on it: the boundary remainder of the $L_2$ regular period core is the exponential map $\exp$, a function, and not the constant $e$, a numerical object (§ 7.5). The number $e = \exp(1)$ is merely the value of $\exp$ at 1. Placing the load on the numerical object would make the paper's structure depend on an open conjecture about that object ($e \notin \mathcal{P}$); moving it from the constant onto maps and expression classes means the structure depends instead on a definitional syntactic extension and a theorem-level classification of connections, and not on any open conjecture about the number $e$. The two placements differ in epistemic tier, and the difference becomes visible only once numerical objects and functions have been separated.
The same distinction dissolves a legacy confusion in reading. A residue is not a primitive object of the numerical category: $\mathrm{Res}_p$ is an operator acting on the local data of a meromorphic function at $p$ and returning a number. When § 9 articulates the internal operations of each component, the type of each component (group, bilinear pairing, representation, groupoid) is specified precisely along this distinction.
2.3 Expression syntax, evaluation image, expression equivalence
This firewall separates three objects and carries the whole of the paper's definitional commitment concerning periods.
Expression syntax. Write $\mathsf{Int}_{\rm alg}$ for the class of ordinary period expressions: integrands are algebraic differential forms, domains of integration are $\mathbb{Q}$-semi-algebraic regions. Write $\mathsf{Int}_{\exp}$ for the class of exponential integral expressions, which further admit factors of the form $e^{-f}$ with $f$ algebraic. Both are syntactic objects — sets of integral expressions one may write down, independent of what those expressions evaluate to.
Evaluation image. The evaluation map $\mathrm{ev}: \mathsf{Int}_{\rm alg} \to \mathbb{C}$ sends an expression to its value. Its image
$$\mathcal{P} = \mathrm{im}(\mathrm{ev})$$
is the Kontsevich–Zagier ring of ordinary periods. Precisely: a complex number is a period if its real and imaginary parts are both values of absolutely convergent integrals of $\mathbb{Q}$-rational functions over $\mathbb{Q}$-semi-algebraic regions. Correspondingly $\mathcal{P}^e = \mathrm{im}(\mathrm{ev}_{\exp})$ is the set of exponential periods.
The four objects form a commuting square, presented here as a table.
Table 1 · Expression classes and evaluation images
| Syntactic side (expression class) | Evaluation map | Value side (numerical set) |
|---|---|---|
| $\mathsf{Int}_{\rm alg}$ algebraic integrand data, $\mathbb{Q}$-semi-algebraic domain | ev ⟶ | $\mathcal{P}$ ordinary period ring |
| ↓ syntactic extension: admit $e^{-f}$ factors | ↓ inclusion | |
| $\mathsf{Int}_{\exp}$ additionally admits factors $e^{-f}$, $f$ algebraic | ev$_{\exp}$ ⟶ | $\mathcal{P}^e$ exponential periods |
The commutativity of the square says: an ordinary period expression, evaluated and then included among the exponential periods, agrees with the same expression regarded as an exponential integral expression with $f = 0$ and then evaluated. In short, the syntactic extension is compatible with evaluation. The statement looks trivial, but it is precisely what allows the paper to place its load on the left column (the syntactic extension) rather than the right (a strict inclusion between numerical sets): the left extension is constructive and decidable, whereas whether $\mathcal{P} \subsetneq \mathcal{P}^e$ strictly is an open problem (§ 2.6, third item).
Every claim in the paper about capture range can be located at one corner or one arrow of this table. For ease of reference: upper left and lower left are syntactic objects, upper right and lower right numerical; the two horizontal arrows are evaluation maps; the left vertical arrow is the syntactic extension (where the load rests, § 7.1); the right vertical arrow is a numerical inclusion whose strictness is undecided (§ 8.2).
Expression equivalence. That two expressions take the same value is a relation lying in $\ker(\mathrm{ev})$. The three Kontsevich–Zagier rules — additivity, change of variables, and Stokes' formula — supply a family of relations that certainly lie in $\ker(\mathrm{ev})$; and whether those relations generate all expression equivalence is precisely the content of the Kontsevich–Zagier conjecture, which is unproved.
This distinction must be held strictly. The three rules are not three forward numerical operations generating all periods from nothing, and they are not the definition of $\mathcal{P}$. That definition is as given above, resting on the algebraicity of the integrand data and the domain, and containing no inverse-function operator. Wherever this paper states a definitional boundary, it states it on that definition, and therefore does not depend on the Kontsevich–Zagier conjecture at all. To attach a definitional boundary to the three rules would be to attach a definitional statement to an open conjecture; the paper does not do this. (The corresponding false-friend registration appears in § 2.6.)
Two-spine declaration. This paper has two intersecting but non-identical spines.
The first is the analytic–covering spine on curves: $\mathbb{C}$, $\mathbb{P}^1$, $\mathbb{C}^\times$, universal coverings, monodromy, Stokes data. It is one-complex-variable, and is the actual working ground of § 5 and § 7.
The second is the de Rham–Betti evaluation spine in arbitrary-dimensional algebraic geometry: the definition of $\mathcal{P}$ admits algebraic varieties of any finite dimension and semi-algebraic domains of any dimension.
This paper does not claim that the first spine generates all of $\mathcal{P}$. Here $\mathcal{P}$ serves as a general evaluation core, not as a totality of numbers derived from the Riemann sphere alone. The two intersect in the periods actually used here (small-loop periods, elliptic periods, and so on), but intersection is not identity. Without this declaration, the capture-range statements of § 6 would read as claiming that one-variable contour integration exhausts the periods — a claim this paper neither makes nor could make.
2.4 Numerical propositions, proof-theoretic status, algorithmic decidability
This firewall governs the question: at which level is a given open problem open?
The remainder ledger of $L_2$ contains several undecided propositions, of which the most conspicuous is whether $e$ belongs to $\mathcal{P}$. Without distinguishing the level at which such a proposition is open, it is easily misread as evidence for or against a layer boundary. This paper registers each item along three orthogonal coordinates.
| Coordinate | Possible states |
|---|---|
| Numerical membership status | proved to belong / proved not to belong / unknown |
| Proof-theoretic status | proved / conjectural / relatively independent / unknown |
| Algorithmic status | decidable / semi-decidable / decidable on a restricted class / open in general |
The three are orthogonal: the proof-theoretic status of a proposition does not determine its numerical membership status, and numerical membership status does not determine algorithmic status.
A further column registers the role a given item plays in this paper.
| SAE role | Meaning |
|---|---|
| Load-bearing | independent of every open conjecture; the paper's structural claims rest on it |
| Witness | consistent with the framework, but not counted as support for it; see the anti-immunization declaration, § 12.4 |
| Interface | lifts a question at the level of values into one at the level of expressions, rules, or algorithms |
Two different boundaries must be kept apart.
The regular/irregular divide is a boundary of the $L_2$ capture range, lying within the layer. It is supported by formal classification theorems (§ 7.1) and is the paper's theorem-level load.
The reframing from the level of values to the level of rules is the $L_2$/$L_3$ layer boundary. Paper 1 § 5.5 already established the trigger criterion: what triggers $L_3$ is not the difficulty of $L_2$ itself, but the reframing of the problem into one about rules and decidability. § 8.4 gives the substantive articulation.
Conflating these two produces errors in both directions. One is to read the Stokes phenomenon as the $L_2/L_3$ boundary — the Stokes phenomenon is a structural fact internal to the $L_2$ mode, not a layer boundary. The other is to read the proof-theoretic status of some numerical proposition as determining the layer to which an object belongs: independence is a property of propositions, not of objects. Even were "$e \notin \mathcal{P}$" proved relatively independent of some formal system, what enters the rule layer is the provability of that proposition in that system; the number $e$ itself does not thereby change layer (§ 12.3, second counterfactual).
This firewall is placed in § 2 rather than in the closure sections because it is the common premise of every capture-range statement in § 6 through § 8, and not merely a closing device for § 8.
2.5 Terminology
The following distinctions are enforced throughout. The first four are commonly conflated under the single word "period", and one of the paper's load-bearing statements falls exactly on their difference (§ 7.5).
| Object | Term used here | Example |
|---|---|---|
| A period in the sense of $\mathcal{P}$ (a number) | period | $\pi$, $\zeta(3)$, $\log 2$ |
| A function invariant under some translation | periodic function | $\exp$ (period $2\pi i$) |
| A function taking period values at algebraic points | period-valued function | $\log$ |
| An element of $\mathcal{P}^e$ | exponential period | $e$, $\gamma$ |
The unqualified phrase "periodic function" is not used anywhere in this paper. Note in particular that $\log$ is not a periodic function while $\exp$ is; and that $\log$ takes period values at algebraic points. Each role appears once, in § 5.5 and § 7.5 respectively, and confusing them renders both arguments unreadable.
As to notation, the following three are three distinct objects and do not share a symbol.
| Object | Notation | Source |
|---|---|---|
| Growth at infinity (order and type of an entire function, with Phragmén–Lindelöf) | $G_\infty$ | Paper 1 Appendix B.5; symbol retained unchanged |
| The slope filtration | $\mathrm{Slope}_\infty$ | This paper, § 7.2 |
| The local differential Galois group | $G_{\mathrm{diff,loc}}$ | This paper, § 7.3, § 9.2 |
What Paper 1's $G_\infty$ carries is a scalar asymptotic invariant, not a group object; the $G$ in the notation should not be read as denoting a group. This paper neither changes the symbol nor replaces the object, but registers in § 7.3 the candidate comparison interface that Newton–Turrittin data provide for it (making explicit that identity has not been proved).
Six further symbols are kept apart to avoid changing sense within a single subsection:
| Use | Notation |
|---|---|
| Slope of a Newton polygon | $\lambda$ (§ 7.2) |
| Horizontal length of a Newton edge | $m$ (§ 7.2) |
| Ramification index | $\nu$ (§ 7.1, § 7.2) |
| Order of an entire function | $\rho$ (Paper 1 Appendix B.5; homographic with the subscript in the series symbol $\omega_\rho^{(2)}$ but distinct in sense — the latter is an established series notation and is not changed) |
| Modulus | $r$ (§ 5) |
| A point of the base space | $p$ (§ 6, § 9) |
2.6 Reader's misreading table
The paper's claims come in five kinds of differing strength. Each row of the claim table (§ 12.1) notes which kind it belongs to.
| Kind | Meaning |
|---|---|
| Standard theorem | an existing theorem of mathematics; cited, not proved |
| Standard definition | an existing definition; adopted, not altered |
| SAE registration | an identificatory adjudication made within the SAE framework; not a mathematical theorem |
| Structural analogy | a structural correspondence; identity not claimed |
| Open conjecture | undecided in mathematics; the paper places no load on it |
Six misreadings are anticipated and addressed in turn.
First, this paper does not derive complex analysis. The four stages onto which the six components of $\omega_\rho^{(2)}$ map — pointwise, local-monetization, global-cycle, boundary-sector — constitute an existing stratification in classical complex analysis: divisors, residues, periods and monodromy, Stokes data and asymptotic growth, each with technical content established by mathematical work of the nineteenth and twentieth centuries. What this paper claims is the position of that stratification within a cross-layer comparison (namely the asymmetry of reverse interrogation articulated in § 5.4), not the stratification itself. Tabular presentation tends to suggest that the four stages generate the stratification; that suggestion is explicitly denied here. 〔Kind: attribution declaration〕
Second, this paper does not claim that $\mathcal{P}$ exhausts the $L_2$ substrate. $\mathcal{P}$ is countable, the substrate is not; and $\mathcal{P}$ does not exhaust even the computable reals (§ 8.2). That $\mathcal{P}$ is the evaluation core of the regular algebraic-integral articulation of $L_2$, and that it may be taken as the principal capture range of $L_2$, is an SAE registration. 〔Kind: SAE registration〕
Third, this paper does not prove $e \notin \mathcal{P}$, nor does it place load on it. The proposition is an open conjecture. The paper's load rests on the two extensions of § 7.1, not on it. Should it be refuted, the list of sentences requiring change is given in § 12.3. 〔Kind: open conjecture〕
Fourth, this paper does not retract Paper 1's architectural articulation of $L_2$. Four upstream treatments are applied (the modality of boundary closure, the Cayley–Dickson candidate classification, the placement of Euler's formula, and the comparison interface for $G_\infty$), all registered in § 11.1 as refinement, charitable reconstruction, or revision of a candidate classification, and none as retraction. Of these, the $G_\infty$ item is explicitly registered as a charitable reconstruction and not Paper 1's original intent. 〔Kind: SAE registration〕
Fifth, this paper does not expel the quaternions from $L_2$. § 10 adjudicates that $\mathbb{H}$ is not an equivalent parallel realization of this paper's commutative complex-period trajectory; the paper makes no judgment on this basis about its ultimate position within the full space of $L_2$ trajectories. 〔Kind: SAE registration〕
Sixth, this paper does not claim that the ZFCρ monolithic-$\infty$ debt is settled. § 6.2 articulates how valuation equips that $\infty$ with an integer scale, settling the order half; the coefficient half — the fine ratio — remains outstanding, its interface located at the Newton polygon in § 7.4, and an interface located is not an interface connected. 〔Kind: structural analogy plus outstanding-debt registration〕
False-friend registrations. The following two pairs share a name and nothing else, and no bridge may be built across either of them anywhere in this paper.
First, the Stokes' formula appearing as the third Kontsevich–Zagier rule is Stokes' theorem (the relation between the integral of a differential form and that of its exterior derivative); the Stokes data of the fourth stage of $\omega_\rho^{(2)}$ is the Stokes phenomenon for divergent series at sector boundaries. The two carry the same person's name and are otherwise unrelated.
Second, the three Kontsevich–Zagier rules concern relations among period values; the composition law sought in Paper 1 § 11.1 concerns relations among the six components of $\omega_\rho^{(2)}$. The two are related through the Riemann–Hilbert correspondence but are not the same thing (§ 9.3, § 13.1).
3. Main Step 1: Mark-Without-Construct of $i$
3.1 Main Step 1 and Inevitability 1
Paper 3 § 1.2 establishes that Inevitability 1 corresponds to Main Step 1, and that its form is mark-without-construct: a mark is fixed as a public token and its operational standing is settled, while its construction as an object is not given. At $L_1$, what is marked without being constructed is the unit "1".
At $L_2$, what is marked without being constructed is $i$.
Registration class: cross-level threshold (§ 2.1). What this Main Step articulates is not an unfolding internal to $L_2$ but the $L_1 \to L_2$ transition itself. Its inner step 1 takes its input from the layer below, not from anywhere inside this Main Step — and that is precisely the registration difference between the cross-level threshold class and the within-layer fractal class.
3.2 Inner steps
Inner step 1: $L_1$'s closure remainder resists one-dimensional inclusion
Paper 3 articulates the second-level reverse interrogation of $L_1$ Main Step 3 inner step 4 as closing on the real closed field $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. But
$$x^2 + 1 = 0$$
has no solution in a real closed field.
The structure here deserves attention. The equation is posed by $L_1$'s own interrogation — finding roots of polynomials is exactly the content of $L_1$ Main Step 3's reverse interrogation — while $L_1$'s substrate, the real line, does not contain the answer. Hence $i$ is an substrate-external remainder in the sense of Paper 3 § 6: not "the $L_1$ mode failed to capture something lying inside the substrate", but "what is being asked for is not in the substrate at all".
This distinction determines the type of forcing. An substrate-external remainder is pressed out by the layer's own internal interrogation, and it therefore forces a crossing of levels rather than forcing a lateral branch. On this basis Paper 3 registers $i$ as cross-level forcing.
The same distinction has a second consequence in the present paper. The substrate-external remainder of $L_2$ — the $\mathbb{H}$ direction — has no corresponding internal interrogation pressing it out: $\mathbb{C}$ is algebraically closed, and root-finding no longer presses. The first class therefore stands differently in the two layers (§ 8.2), and it is on this basis that § 10 adjudicates Cayley–Dickson a cost branch.
Inner step 2: cross-subject propagation
In solving the cubic, Cardano met square roots of negative numbers, called them sophistic quantities, and refused to grant them reality — while continuing to use them in computation. Bombelli then supplied rules of operation for these quantities, so that they could be carried consistently through a computation.
What matters is that propagation precedes acceptance. Before the token was taken to be an object, it was already circulating between subjects as a sign transmissible within computation. An intermediate step containing a square root of a negative number, written down by one user, could be picked up by another, carried forward, and made to yield the correct real solution.
This is of the same type as the cross-subject propagation of Paper 3 Main Step 1 inner step 2: the publicity of a mark is secured not by its ontological standing but by its transmissibility in computation. A sign becomes public because it passes between subjects without failing, not because the subjects have reached agreement about what it is.
Inner step 3: public binding of the symbol
Euler introduces the symbol $i$.
The effect of the binding is that the quantity ceases to be a descriptive phrase — "a square root of some negative number" — and becomes a single public token. A descriptive phrase must have its reference unfolded afresh at every use; a single token need not.
The two faces of the binding (following the discipline of Paper 3 § 4.2.3, no value judgment is made):
- one face is the processing capacity articulated: $i$ can be manipulated in a formula as a single symbol, standing alongside real numbers within one and the same expression;
- the other face is the remainder articulated: the symbol conceals what it is. "$\sqrt{-1}$" at least still carries a description, unsatisfiable though that description is; "$i$" carries not even a description.
Inner step 4: construct and remainder
Construct: the public token $i$, together with the relation $i^2 = -1$.
This construct is a mark-without-construct: $i$ is fixed as a public token and its rules of operation are settled, while the space of habitation in which it exists as an object has not been constructed. At the close of this Main Step, $i$ has complete algebraic properties and no geometric position whatsoever.
Remainder: $i$ has no space of habitation.
This remainder is the input to Main Step 2 (§ 4.2).
3.3 Alignment with upstream
Paper 1 § 5.1 articulates $L_2$ Main Step 1 as the marking of $i$, and lists the terms of the Cayley–Dickson sequence as candidates for the articulation of $L_2$. § 10 of the present paper revises that candidate classification (§ 11.1, second upstream registration).
Paper 3 § 6 supplies the registration of substrate-external remainders and the criterion for cross-level forcing; inner step 1 above is the receiving end of that criterion on the $L_2$ side.
The cross-level ledger table of SAE Foundation v1 records $i$ as remainder one of $L_1 \to L_2$ without giving a reason. § 8.3 of the present paper supplies it: $i$ is the input to the transition — it is not produced by $L_2$; it is taken in by this Main Step from the layer below.
4. Main Step 2: The Additive Path — Two-Dimensionalization
4.1 Main Step 2 and Inevitability 2
Paper 3 § 1.2 establishes that Inevitability 2 corresponds to Main Step 2, the additive path, and that its form is the iteration of a mark together with the reverse interrogation of that iteration. At $L_1$, iteration of the unit mark gives $\mathbb{N}$, and the reverse interrogation gives $\mathbb{Z}$.
At $L_2$, the remainder left by Main Step 1 is: $i$ has no space of habitation. This Main Step constructs that space and closes it along the additive path.
Registration class: within-layer fractal (§ 2.1).
4.2 Inner steps
Inner step 1: a sub-mark for the orthogonal direction
Through Via Negativa, the subject refuses to let articulation halt at the state of a purely algebraic sign, and articulates a direction orthogonal to the real axis as a sub-mark.
It should be noted that this sub-mark is not derived from within the real line. Nothing in the structure of the real line singles out an orthogonal direction; the direction is posited in order to house $i$. This differs from the situation at $L_1$ Main Step 2 inner step 1: there, the direction of iteration is given by the unit mark itself and requires no separate positing.
Historically this step was carried out through the geometric representations of Wessel, Argand, and Gauss, some two centuries after Euler's binding of the symbol. The interval itself shows that the sub-mark is not an immediate corollary of the symbol.
Inner step 2: iteration of componentwise addition
$$(a+bi) + (c+di) = (a+c) + (b+d)i.$$
Addition proceeds componentwise, each component carrying over the additive path already articulated at $L_1$. Iteration yields the whole plane — the Argand plane.
What this iteration articulates is translation, not rotation. This is the source of the remainder of this Main Step (inner step 4).
Inner step 3: binding the ordered pair into a single token
Cost: if every complex number is written as the ordered pair "real part $a$, imaginary part $b$", then every operation must be carried out in pairs, articulation length doubles, and each operation must specify which component it acts on.
Binding: $z = a + bi$ as a single token. Under this token an operation can be applied to $z$ as a whole, without decomposition into components at every step.
The two faces:
- processing capacity: the complex number becomes a single object that can be operated on as a whole, so that the multiplicative path which follows (§ 5) can be articulated at the level of $z$ rather than remaining permanently at the level of components;
- remainder: the token conceals the fact that it is an ordered pair. When components are needed the token must be decomposed again, and decomposition is not an operation the token carries with it.
This occupies the same cell as the $N$-ary positional binding of $L_1$ Main Step 2 inner step 3: $N$-ary positional notation binds repeated unit marks into a compact sign; here an ordered pair is bound into a single sign. Both are cross-iteration bindings that manage cost.
Inner step 4: construct and remainder
Reverse interrogation: reversing addition gives subtraction; and $\mathbb{C}$ is closed under subtraction — componentwise it inherits the closure already achieved by $\mathbb{Z}$ at $L_1$, and no new demand for expansion arises.
The reverse interrogation of this Main Step is therefore single, not a nested cascade. This is one end of the sub-fractal depth asymmetry articulated in § 5.6: the additive path is shallow, the multiplicative path deep, and this holds at both layers.
Construct: $\mathbb{C}$ as a two-dimensional additive closure; the boundary mark $\hat\infty$ (see § 4.3).
Remainder: the additive path does not articulate rotation.
This remainder is the input to Main Step 3 (§ 5.2.1).
4.3 $\hat\infty$ is a chosen canonical closure
Paper 1 § 5.2 articulates the identification, in the passage to $L_2$, of $L_1$'s $+\infty$ and $-\infty$ into the single $\hat\infty$, and says that this identification is forced by topology.
The present paper refines this.
Topology does not uniquely force one-point compactification. A locally compact Hausdorff space admits several compactifications — the one-point, the Stone–Čech, the end compactification, and others — which are mutually non-homeomorphic, and topology by itself does not choose among them.
The one-point compactification is the canonical closure chosen within the meromorphic and conformal context. The reasons for choosing it are specific: it gives meromorphic functions a well-defined behaviour at $\infty$ (the $\mathrm{ord}_\infty$ of § 6.2 depends on this); it makes $z \mapsto 1/z$ an automorphism of the sphere (the boundary pair $0 \leftrightarrow \hat\infty$ of § 5.3 depends on this); and it makes $\mathbb{P}^1(\mathbb{C})$ a compact Riemann surface (the global residue theorem of § 6.3 depends on this).
The choice has a cost: every direction of approach to infinity is collapsed into a single point, and directional resolution is lost.
Within the present paper this cost has a definite date at which it falls due. Directional resolution is required at an irregular singularity (§ 7.4), and one-point compactification has already collapsed it; a real oriented blow-up must therefore be performed at that point, re-expanding what was collapsed to a point into a circle of directions. § 8.1 articulates the two-level closure structure that results.
The refinement the present paper makes to Paper 1 § 5.2 thus has two parts: it restates "forced by topology" as "canonical choice within a context", and it tracks the cost of that choice to the place where the cost falls due. This is refinement and not retraction — the identification Paper 1 articulates is itself unchanged; what changes is the modality of that identification (forced versus chosen) and the visibility of its cost.
〔Kind: upstream refinement. § 11.1, first item〕
5. Main Step 3: The Multiplicative Path — Covering and Rotational Memory
5.1 Main Step 3 and Inevitability 3
Paper 3 § 1.2 establishes that Inevitability 3 — comparison cannot remain isolated, it propagates; cannot but develop further — corresponds to Main Step 3, the multiplicative path. At $L_1$ the substantive content of that correspondence is this: once the additive path has been articulated, development turns to a higher-order articulation of repeated addition, articulated as the multiplicative path by way of the (count, unit) binding.
At $L_2$, Main Step 2 closes on $\mathbb{C}$, and its remainder is: the additive path does not articulate rotation.
An attribution declaration. The "rotational memory" of this Main Step's title belongs to the covering, not to multiplication. Multiplication in $\mathbb{C}^\times$ composes rotations, but it does not record winding number — winding number is a quantity available only in the covering space (§ 5.3). Inner steps 2 and 3 deliver the composition and the decomposition of rotation; only inner step 4 delivers memory. Componentwise addition $(a+bi)+(c+di) = (a+c)+(b+d)i$ iterates component by component; it articulates translation in the plane, not turning in the plane. Main Step 3 is the articulated response to that remainder.
Registration class: within-layer fractal (§ 2.1). As with $L_1$ Main Step 3 in Paper 3, the inner step 4 of this Main Step contains a nested cascade, so its sub-fractal is one degree deeper than that of Main Step 2; § 5.6 articulates the asymmetry.
5.2 Inner steps 1 through 3
5.2.1 Inner step 1: the rotation remainder forces a multiplicative sub-mark
The remainder left by Main Step 2 inner step 4 is: the additive path does not articulate rotation. The subject, as a finite existence, through Via Negativa, refuses to let articulation halt at a state possessing only translation, and articulates "$\times$" as a sub-mark.
It must be noted that multiplication on $\mathbb{C}$ is not a direct continuation of $L_1$ multiplication. The multiplicative path of $L_1$ acts on a one-dimensional line and permits dilation only; multiplication on $\mathbb{C}$ permits both dilation and turning. The articulation content borne by the new sub-mark is therefore strictly greater than that of its namesake at $L_1$.
5.2.2 Inner step 2: multiplicativity of the modulus, composition of rotations
Resource discipline: this inner step invokes purely algebraic means only. The real trigonometric functions, the exponential function, and any additive angular parameter are not invoked here — the former are objects $L_1$ has not captured (§ 8.2, classes two and three; § 11.3), and the latter is a product of inner step 4 (§ 5.3). Both of the deliverables of this inner step follow directly from the algebraic structure on $\mathbb{C}$.
First, multiplicativity of the modulus. From $|z|^2 = z\bar{z}$ and the multiplicativity of conjugation one obtains directly
$$|zw| = |z|\,|w|.$$
The modulus $|z|$ carries over the multiplicative path of $L_1$ Main Step 3 (magnitudes multiply) and brings nothing new.
Second, composition of rotations. Write $S^1 = \{w : |w| = 1\}$. By the identity above, $S^1$ is closed under multiplication and contains inverses, hence is a multiplicative group. And for $|w| = 1$ the map $z \mapsto wz$ is an $\mathbb{R}$-linear map preserving the modulus, whose determinant is $|w|^2 = 1$; it therefore lies in $SO(2)$.
Rotation is obtained from linear algebra and requires no trigonometry. This is where the substantively new content of $L_2$ lies: multiplication at $L_1$ permits dilation only, whereas multiplication on $\mathbb{C}$ splits dilation and composition of rotations in $SO(2)$ into two independent accounts.
Under this articulation, the constant $i$ is best understood not as "an imaginary number unreal in some fashion" but as an element of order four in $S^1$: $|i| = 1$, so $i \in S^1$, and multiplication by $i$ sends $1 \mapsto i \mapsto -1 \mapsto -i \mapsto 1$; the relation $i^2 = -1$ is the algebraic statement of that order-four property. The language of "a quarter turn" is not needed here — order four is a group-theoretic fact, whereas angle is a parameter available only at inner step 4. The unreality of $i$ on the real line is a downstream consequence of its function as a generator of rotation: $L_1$ cannot articulate rotation, so a generator of rotation cannot lie within the articulation scope of $L_1$.
This inner step leaves a cost remainder. If every multiplication is expanded in component form,
$$(a+bi)(c+di) = (ac-bd) + (ad+bc)i,$$
then a single multiplication requires four real multiplications and two real additions; the articulation length of $k$ iterations grows linearly in $k$, and at every step the two accounts, modulus and rotation, must be separated afresh. This is of the same type as the articulation cost of repeated-multiplication expansion articulated in Paper 3 § 5.2.2: it is not a logical remainder — component form is logically closed within $\mathbb{C}$ — but a remainder of articulation-cost character.
5.2.3 Inner step 3: the polar-decomposition binding
So that iterated multiplication may be articulated compactly, the subject, through Via Negativa, refuses this articulation cost and articulates the polar decomposition
$$z = r\,u, \qquad r = |z| \in \mathbb{R}_{>0},\quad u = z/|z| \in S^1$$
as a binding. The two accounts already separated — modulus and rotation — are composed by this form into a single token; under it, multiplication is $(r_1 r_2,\ u_1 u_2)$: two independent multiplications, with no expansion into components and no angular parameter required.
This is a cross-iteration binding, occupying the same cell as the power notation of $L_1$ Main Step 3 inner step 3 (cross-multiplications binding). Paper 3 § 5.2.3 articulates the power-notation binding as the concrete instantiation of Via Rho at the site of binding, the binding operation producing two inseparable faces; the polar binding does the same:
- one face is the processing capacity the binding articulates: powers are given in one stroke, $z^n = r^n u^n$; the accounting of modulus and the accounting of rotation are separated completely, each proceeding within its own group;
- the other face is the remainder the binding articulates: the rotation group $S^1$ has not yet been additively parametrized. $S^1$ is a multiplicative group — its elements can be multiplied with one another, but there is no additive measure of by how much they differ. The iteration $u^n$ can be performed, and yet the questions "how many times around?" and "how far apart are $u_1$ and $u_2$?" cannot be answered.
Both faces are substantive content produced by the operation of the binding; the present paper makes no value judgment between them (following the discipline of Paper 3 § 4.2.3).
This remainder is handled at inner step 4, and it is handled at one stroke. The second-level reverse interrogation of inner step 4 produces the covering map $\exp$, and $\exp$ delivers three things simultaneously: the additive parametrization of $S^1$ (the angle $\theta$ acquires its definition only here), the $2\pi$ indeterminacy of that parametrization, and the deck transformation group $2\pi i\mathbb{Z}$ (§ 5.3).
This junction is the substantive link of the sub-fractal internal to this Main Step: the remainder left by the binding (the missing additive parameter) and the structure produced by the inversion (the covering) are the two ends of one and the same thing. Additive angle has exactly one source in this paper.
An ordering registration. The binding at this inner step takes the polar decomposition $z = ru$, and not the trigonometric form $r(\cos\theta + i\sin\theta)$, nor the exponential form $re^{i\theta}$. This is not notational preference but resource discipline (§ 5.2.2):
- the complex exponential is a product of the second-level reverse interrogation at inner step 4 (§ 5.3), and is not yet available at this inner step;
- the real trigonometric functions are likewise unavailable. They are not products of the finite algebraic mode of $L_1$ (§ 2.1); and $\pi$, on the ledger of Paper 3 § 6, is an substrate-internal transcendental remainder that $L_1$ can name but cannot capture (§ 8.3), while the effective-Cauchy mode that responds to the completeness remainder is adjudicated a side-branch parallel to the complexification trajectory, and does not lie on this one (§ 11.3). To import onto the mathematical spine an object that the paper elsewhere adjudicates uncaptured would deprive the core statement of § 5.4 of its independence.
This discipline has one direct consequence: $2\pi$ has exactly one source in this paper, namely the kernel of the $\exp$ of inner step 4 (§ 5.3), and is not imported from the periodicity of $\cos$ and $\sin$. Both the double identity of $2\pi i$ in § 5.5 and the articulation of $\pi$ as a deck transformation group in § 8.3 depend on that single source.
5.3 Inner step 4: a nested cascade of two-level reverse interrogation
Main Step 3 reaches closure through Inevitability 4 (cannot but be interrogated). In the context of the multiplicative path, interrogation naturally takes the form of reverse interrogation; and as with $L_1$ Main Step 3 in Paper 3, the reverse interrogation here is not single but a nested cascade: the first level of reverse interrogation produces a new articulation space, that space still contains an unclosed remainder, and further reverse interrogation produces a second layer of structure.
First level: can multiplication be reversed?
It can: division is articulated. Division is not closed at $0$, so the articulation space is
$$\mathbb{C}^\times = \mathbb{C}\setminus\{0\}.$$
A phenomenon with no counterpart at $L_1$ appears here in the boundary structure: under the transformation $z \mapsto 1/z$, $0$ and $\hat\infty$ are exchanged with one another, forming a two-periodic boundary pair for multiplicative inversion on the Riemann sphere (Paper 1 § 5.2). The boundary mark of the multiplicative path of $L_1$ is $0$, and the boundary marks $\pm\infty$ of its additive path stand in no duality with it; the two-dimensionalization at $L_2$ pairs these two boundary marks.
The first level closes on $\mathbb{C}^\times$.
Second level: can powers be reversed?
They can, but the inversion splits into two branches whose remainders are of different types. This is the substantive content of the present section.
First, the finite algebraic inversion: inverting $z \mapsto z^n$.
The $n$-th root. Every nonzero complex number has $n$ $n$-th roots, so the inversion is $n$-valued. The branch points are $0$ and $\hat\infty$; going once around a branch point permutes the roots, and the monodromy group is finite (the cyclic group $\mathbb{Z}/n$).
The decisive point is that all roots remain within $\mathbb{C}$. By the fundamental theorem of algebra, every non-constant polynomial over $\mathbb{C}$ has a root. Hence the reverse interrogation of polynomial root-finding no longer forces an enlargement of the scalar substrate at $L_2$ — in contrast with the corresponding step at $L_1$ (§ 5.4).
But the inversion still requires structure. To single out one among the $n$ roots, and to keep that selection consistent under continuation, a covering or branch structure must be introduced. The inversion does not expand the substrate, and yet it demands a layer of structure over the substrate — this is the first sign that the pressure is changing direction.
Second, the transcendental inversion: inverting $\exp$.
The logarithm. The map $\exp: \mathbb{C} \to \mathbb{C}^\times$ is surjective but not injective:
$$\exp(z) = \exp(z + 2\pi i k), \quad k \in \mathbb{Z}.$$
Hence $\log z$ is infinitely many-valued: $\log z + 2\pi i k$. This is exactly how the remainder left by inner step 3 — the want of an additive parametrization of the rotation group — is handled: $\exp$ supplies the additive parameter of $S^1$, and the cost of that parameter is precisely its $2\pi$ indeterminacy. The additive angle and its indeterminacy are born at the same moment; it is not that the angle exists first and its multivaluedness is discovered afterwards.
The complete form of this structure is the exact sequence of groups
$$0 \longrightarrow 2\pi i\mathbb{Z} \longrightarrow (\mathbb{C}, +) \stackrel{\exp}{\longrightarrow} (\mathbb{C}^\times, \cdot) \longrightarrow 1.$$
This exact sequence articulates five things at once: the source of $2\pi i$ (it is the kernel); the multivaluedness of the logarithm ($\exp$ is not injective); the monodromy group as $\mathbb{Z}$ (the kernel is isomorphic to $\mathbb{Z}$); the $2\pi i k$ memory produced by circulation (the action of the kernel on a fibre); and covering in place of substrate enlargement ($\mathbb{C}$ is simply connected, so $\exp$ is the universal cover of $\mathbb{C}^\times$).
Construct and remainder
Construct $=$ the universal cover of $\mathbb{C}^\times$, with deck transformation group $2\pi i\mathbb{Z}$.
Remainder $=$ path dependence. The result of analytic continuation depends on the homotopy class of the path. This remainder cannot be dissolved further within this Main Step — reverse interrogation has been exhausted within $\mathbb{C}$. It is the object that the periods and monodromy of Main Step 4 are to articulate (§ 6.4).
5.4 Core structural statement: algebraic closure removes the scalar gap, not the representation gap
This section compares § 5.3 with Paper 3 § 5.2.4 at the same cell. Both are the second-level reverse interrogation of Main Step 3 inner step 4, but the types of their products differ.
$L_1$: the inversion of powers — extraction of roots and polynomial root-finding — is not closed within $\mathbb{Q}$. The pressure is released by enlarging the scalar substrate: $\mathbb{Q} \to \mathbb{Q}^{\rm alg}_{\mathbb{R}}$. Main Step 3 closes on the real closed field. The substrate has grown larger.
$L_2$: the inversion of powers, so far as polynomial root-finding is concerned, is already closed within $\mathbb{C}$ — the fundamental theorem of algebra. The pressure has nowhere outward to be released, because the scalar substrate is already full in the algebraic sense. The mode of release turns upward: a layer of covering is added.
Hence the structural asymmetry the present paper identifies:
> Algebraic closure removes the scalar gap but not the gaps of representation, path, and uniformization.
Two points require comment.
First, the asymmetry is not a quantitative difference in depth but a difference in the type of product. The reverse interrogation of $L_1$ produces a larger number field — a scalar object. The reverse interrogation of $L_2$ produces a covering space and a group — a topological object and a representation-theoretic object. To ask only which layer's reverse interrogation is the more complicated is to read the asymmetry as a matter of degree; the actual difference is that the pressure is released onto objects of a different kind.
Second, this asymmetry is the structural condition under which the operational defect algebra $\omega_\rho^{(2)}$ becomes necessary work. Had the pressure again been released by enlarging the substrate, Main Step 4 would need only to register a new number field, and no full operational defect algebra would be required. What is stated here is a necessary condition, not a causal explanation: the existence of the asymmetry makes the defect algebra a meaningful work content; it is not that "because there is an asymmetry, there must be a defect algebra". The defect algebra is the core work content of $L_2$ (Paper 1 § 5.4) precisely because the pressure has been lifted onto that family of objects — coverings, monodromy groups, periods, and Stokes data. In other words, the entire technical content of § 6 through § 8 has its reason for being articulated in the present section.
The articulation chain:
$$i \ \longrightarrow\ \mathbb{C} \ \longrightarrow\ \mathbb{C}^\times \ \longrightarrow\ \widetilde{\mathbb{C}^\times} \ \longrightarrow\ 2\pi i\mathbb{Z} \ \longrightarrow\ \mathrm{Mon}$$
from the complexifying seed of Main Step 1, through two-dimensionalization and the multiplicative path, to the universal cover, the deck transformation group, and then the monodromy of Main Step 4. The chain does not step outside $\mathbb{C}$ at any point.
Registration consequence. $\exp$ is here articulated as the covering map produced by Main Step 3 inner step 4, that is, as an internal product of $L_2$. Accordingly, within the present trajectory the paper adopts the internal-product reading: the exponential direction as a closure remainder of $L_2$ (§ 7.5), rather than as a remainder of the $L_1 \to L_2$ transition map. The transition reading is no longer the primary registration of this paper; the paper does not thereby judge the standing of the transition reading within other trajectories (following the anti-essentialization discipline of Paper 2).
5.5 The double identity of $2\pi i$
$2\pi i$ occurs at two places in this paper. The two are not an analogy; they are two presentations of one and the same statement.
Main Step 3: $2\pi i\mathbb{Z}$ is the kernel of $\exp: \mathbb{C} \to \mathbb{C}^\times$, that is, the deck transformation group of the universal cover.
Main Step 4, inner step 2: $2\pi i$ is the factor in the normalization of residues, $\oint_{|z|=1} dz/z = 2\pi i$ (§ 6.3).
Their identity: going once counterclockwise around the unit circle, $\log z$ increases by $2\pi i$. Read from the left, this is the action of a generator of the deck transformation group on a fibre; read from the right, it is the integral of $dz/z$ along that loop. They are two notations for one and the same thing.
This identity has two uses.
First, it locks § 5 and § 6 together by an identity rather than by mere adjacency of sections. Paper 1 § 4.5 identifies $2\pi i$ as the articulative unit of $L_2$'s exchange law — which the present paper calls the within-layer articulative unit of the exchange law, so as to keep it distinct from the transition signature slot (see § 11.5.3); the present section articulates that this unit is not merely a product of residue calculus but a product of the covering structure as a whole. The structural ground on which commutativity holds at $L_2$ lies in Main Step 3.
Second, it strengthens the criterion applied to Cayley–Dickson in § 10. If this within-layer unit were no more than a factor occurring in the residue theorem, then the claim that paying away commutativity is paying away the unit would be an observation about one formula; but since the unit is at the same time a generator of the deck transformation group, what the criterion bears on is the covering structure of the entire layer, and not a single integral formula.
The position of Euler's formula. Euler's formula
$$\cos\theta + i\sin\theta = e^{i\theta}$$
has its two sides falling on the two sides of substrate and mode, produced along routes of different origin.
The left-hand side is a substrate-level classical construction: the real trigonometric functions are pre-existing objects of analysis on $\mathbb{R}$, and are not the product of any cell on the trajectory of this paper (the resource discipline of § 5.2.3 explicitly declines to invoke them on the spine).
The right-hand side is the restriction to the imaginary axis of the covering map $\exp$ articulated by the second-level reverse interrogation at inner step 4: that is, the universal covering parametrization $\mathbb{R} \to S^1$, with deck transformation group $2\pi\mathbb{Z}$.
Euler's formula states that these two objects are equal. And $e^{i\pi} + 1 = 0$ is the value of that equality at $\theta = \pi$, together with the remainder $\pi$ of $L_1$ Main Step 4 and the two boundary tokens of $L_1$.
This is the structural reason why Euler's formula is a superposition placement and not a single-point placement: it does not reside at any cell of this trajectory; it is an identification between a substrate-level classical construction and a mode-level product. What that identification crosses is the general firewall of this paper between substrate and mode (§ 2.1). The present paper therefore registers it as a substrate–mode superposition placement, and not as a cross-cell identification within the layer. An inventory of constituents alone — that it contains $e, \pi, i, 1, 0$ all at once — yields no more than a description of position; what the present section supplies is a structural reason.
Placement and closure equation are two different predicates, and they do not compete. Placement answers "where does it reside"; closure equation answers "what does it close". Euler's formula is both at once: as regards placement it is a substrate–mode superposition placement (present section); as regards closure it is the closure equation of the $L_1 \to L_2$ transition, closing that transition's two remainders $i$ and $\pi$ (§ 8.3).
Note that "closure" here is not the closure of a layer. The closure of the layer $L_2$ is coarse closure together with directional refinement (§ 8.1), which is a different object from transition closure. Paper 1 § 5.3 articulates Euler's formula as best understood as a closure instantiation and not the full closure of $L_2$; its precise content is just this — it is an instance of transition closure, not of layer closure. The full articulation of placement is given in § 8.3.
Note also that it is not a section of the covering. Were there a global section $s: \mathbb{C}^\times \to \mathbb{C}$ with $\exp \circ s = \mathrm{id}$, that would be a globally single-valued logarithm, and precisely such a thing does not exist — which is the substantive content of the second-level reverse interrogation of § 5.3. Euler's formula is a canonical parametrization witness for the covering structure, not a section. Its complete articulation as a substrate–mode superposition placement is given in § 8.3.
5.6 Sub-fractal depth asymmetry
Paper 3 § 5.3 articulates a sub-fractal depth asymmetry at $L_1$: the inner step 4 of Main Step 3 contains a nested cascade (division $\to \mathbb{Q}$; extraction of roots and polynomial root-finding $\to \mathbb{Q}^{\rm alg}_{\mathbb{R}}$), whereas the inner step 4 of Main Step 2 has only a single reverse interrogation (subtraction $\to \mathbb{Z}$). The sub-fractal of the multiplicative path is therefore one degree deeper than that of the additive path. That paper articulates this depth asymmetry as no artefact of articulation but a substantive fact: within the complete precisification path, the greatest substantive content of algebraic articulation occurs at the multiplicative path.
$L_2$ reproduces the same asymmetry, and at the same cell. Main Step 2 inner step 4 closes in a single move on $\mathbb{C}$; Main Step 3 inner step 4 is a nested cascade (division $\to \mathbb{C}^\times$; extraction of roots and the logarithm $\to$ covering).
But what lies at the depth differs between the two layers. $L_1$ is deep in enlarging the scalar substrate; $L_2$ is deep in lifting into a covering (§ 5.4). The form of the depth asymmetry therefore recurs at both layers, while the substantive content that the asymmetry carries varies with the layer. This agrees with Paper 3's reading of the asymmetry: it is not formal self-similarity but substantive content at its thickest at that cell. Form here is an indicator of substantive content, not its source.
This is in pattern consistent with the $r \approx 5$ topological asymmetry articulated in Methodology 6: Phase-Transition Windows: the four steps are not even; the middle steps (Main Steps 2 and 3) open up the articulation space, while the final step (Main Step 4) closes it. The multiplicative path opens up further at the middle-step position, commensurate with the substantive content it carries.
6. Main Step 4(a): The Regular Period Core
6.0 The organization of Main Step 4
Main Step 4 is the closure of $L_2$ together with the registration of its remainder. By the registration declaration of § 2.1 its class is remainder ledger structure, not within-layer fractal; internally it is organized as capture core → uncaptured ledger → trigger condition for the next layer, and not as a re-enactment of the four phases.
Main Step 4 spans three sections: the present one (§ 6) articulates the regular period core, § 7 the irregular boundary, § 8 closure and the remainder ledger. That these three sections carry one Main Step while Main Steps 1 through 3 carry one section each is itself the registration just stated (§ 2.1).
The relation between § 6 and § 7 is core and enrichment, not mutually exclusive binning. This must be said first, or the present section will be read as claiming that divisors, residues, periods, and monodromy exist only in the regular case. They do not: an irregular connection still has poles and divisors, still has formal residues, still has a monodromy group, still has global period data. What § 7 adds is exponential factors, directions, and Stokes data. The relation is
$$\{\text{regular core}\} \hookrightarrow \{\text{irregular enrichment}\},$$
not two boxes standing side by side. This section articulates the core; § 7 articulates what the enrichment adds.
6.1 Carrier migration
Before the technical content of the four stages, one change of type must be registered. It is not a technical premise of this section; it is one of the paper's identifications.
Paper 3 articulates the capture range of the $L_1$ mode as the real closed field $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$: a scalar field closed under algebraic operations. The present paper articulates the capture core of the $L_2$ mode as the ring of ordinary periods $\mathcal{P}$: the image of a class of integral expressions under an evaluation map (§ 2.3). These are not objects of the same kind.
> Carrier migration: between $L_1$ and $L_2$, the carrier of the capture range migrates from the algebraic closure of a scalar field to the evaluation image of a geometric integral language.
The tier of this identification must be stated at once. It is a contrastive reframing of two existing mathematical definitions — the real closed field, and Kontsevich–Zagier periods — and it is therefore an SAE registration, not a mathematical theorem; nor does it claim that any ontological leap has been discovered. The paper nevertheless lists it as a core identification because its three consequences are in force at the technical level throughout, not because it constitutes new mathematical content.
The migration has three consequences, on which several later sections depend.
First, the word "saturation" no longer applies. A scalar field can be said to saturate: it is closed under a family of operations and is the smallest such field containing a given starting point. An evaluation image has no corresponding closure property. What $\mathcal{P}$ is, is settled on the syntactic side by $\mathsf{Int}_{\rm alg}$, not by any operational closure of $\mathcal{P}$ itself. The paper accordingly says evaluation core throughout and never says saturation point (§ 2.6, second item).
Second, the type of the capture criterion has changed. The $L_1$ criterion asks what equations a number satisfies; the $L_2$ criterion asks what representations it admits (§ 2.1). The first adjudicates a relation between a number and a family of equations, the second between a number and a family of geometric integral expressions. The difference resurfaces in § 8.2 when both are set beside the algorithmic-approximability criterion of the effective-Cauchy mode: none of the three criteria is a special case of another.
Third, the difference between a ring and a field is not an oversight. $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ is a field; $\mathcal{P}$ is a ring, and whether it is closed under inversion is undecided — whether $1/\pi \in \mathcal{P}$ is not known, which is why the literature introduces the extension $\hat{\mathcal{P}} = \mathcal{P}[1/\pi]$. A reader will naturally ask: Main Step 3 has already articulated division and closed on $\mathbb{C}^\times$, so why does the evaluation core stop at a ring?
The answer lies in the distinction of § 2.2. The closure under division of Main Step 3 is closure at the level of functions and paths; whether $\mathcal{P}$ is closed under inversion is a question at the level of numerical sets. The two belong to different levels, and the first does not entail the second. The paper does not claim that closure under division at the level of functions forces a set of numbers to be closed under inversion.
A reminder about the two spines. What this section articulates — divisor, residue, period, monodromy — is the analytic–covering spine on curves, whereas the definition of $\mathcal{P}$ admits algebraic varieties of any finite dimension and semi-algebraic domains of any dimension. By the two-spine declaration of § 2.3, the paper does not claim that the former generates all of $\mathcal{P}$. What this section articulates is the position of the four stages within a cross-layer comparison, not the manner in which $\mathcal{P}$ is generated.
6.2 Pointwise: divisors and valuation
The action of the first stage is to register the defect left by multivaluedness and by singularities as an integer sitting at a discrete point.
Valuation. For a meromorphic function $f$ and a point $p$, $\mathrm{ord}_p(f)$ is the order of the zero (positive) or of the pole (negative) of $f$ at $p$. It is a $\mathbb{Z}$-valued local quantity.
Divisor. $\mathrm{div}(f) = \sum_p \mathrm{ord}_p(f)\cdot p$ packages the valuations at the several points into an element of the free abelian group $\mathrm{Div}(X)$. The principal divisors form a subgroup, and the quotient $\mathrm{Cl}(X)$ is the divisor class group (Paper 1 Appendix B.1).
Note that valuation and divisor are objects at different levels: a valuation is an integer attached to a point, a divisor is a formal sum of them. This distinction is used in the next passage and again in the type table of § 9.1.
The first half of the ZFCρ debt.
The $\infty$ of $L_1$ is monolithic: the $L_1$ articulation mode has no tool for telling different divergences apart. Main Step 2 identified $L_1$'s $+\infty$ and $-\infty$ into the single $\hat\infty$ (§ 4.3), and that step did not reduce the monolith but reinforced it — two boundary marks were merged into one.
Valuation now equips $\hat\infty$ with a scale. Since $\mathrm{ord}_\infty$ is $\mathbb{Z}$-valued, $\hat\infty$ is no longer a point without internal structure but carries an integer grading. The order of the ratio of two meromorphic functions at $\infty$ is $\mathrm{ord}_\infty(f) - \mathrm{ord}_\infty(g)$: the $\infty/\infty$ that collapsed at $L_1$ has become a subtraction of integers.
But this settles only the order half. What ZFCρ is owed is the fine ratio, and a fine ratio is a quantity at the level of coefficients; valuation resolves order and does not resolve coefficients. Two functions of the same order at $\infty$ have a ratio of asymptotic coefficients that $\mathrm{ord}_\infty$ does not resolve.
The interface for the coefficient half is located at the Newton polygon in § 7.4. But by § 2.6, sixth item, an interface located is not an interface connected; the paper does not claim the debt settled, and only re-registers it from "no interface" to "interface located but not connected".
A registration in passing: what interfaces with ZFCρ is the valuation, not the divisor — the divisor merely packages the valuations at the several points. To say that the divisor equips $\infty$ with a scale would be to mistake an act of packaging for an act of grading.
6.3 Local: residues and $2\pi i$
The action of the second stage is to convert the pointwise integer scale into a numerical quantity that can be integrated.
Residue. $\mathrm{Res}_p(\omega)$ is a linear functional acting on the local data of a meromorphic differential form at the point $p$ and returning a number (§ 2.2, the distinction between operators and numerical objects). On a compact Riemann surface the global residue theorem imposes the constraint $\sum_p \mathrm{Res}_p(\omega) = 0$.
The interface with the first stage. Logarithmic differentiation gives
$$\mathrm{Res}_p\!\left(\frac{df}{f}\right) = \mathrm{ord}_p(f),$$
whence
$$\deg\,\mathrm{div}(f) = \sum_p \mathrm{ord}_p(f) = \sum_p \mathrm{Res}_p\!\left(\frac{df}{f}\right) = 0.$$
That is: the vanishing of the degree of a principal divisor is a specialization of the global residue theorem to the logarithmic differential $d\log$. Note that this interface holds only through that one map; it may not be said in general that all divisor theorems and all residue theorems are two notations for one conservation law. § 9.2 registers $d\log$ as one of the cross-component interfaces.
$2\pi i$ as the within-layer articulative unit of the exchange law. The rate at which residues are converted is
$$\oint_{|z|=1} \frac{dz}{z} = 2\pi i.$$
§ 5.5 has already articulated that this and the deck transformation group $2\pi i\mathbb{Z}$ of $\exp$ are two presentations of one statement — going once counterclockwise around the unit circle, $\log z$ increases by $2\pi i$. The rate of conversion at this stage is therefore not a constant internal to residue calculus but the presentation, in the language of integration, of the covering structure produced by Main Step 3.
Paper 1 § 4.5 establishes $2\pi i$ as the articulative unit of $L_2$'s exchange law. At this stage that commutation takes the concrete form of the residue theorem and the argument principle. From
$$\frac{1}{2\pi i}\oint_\gamma \frac{f'}{f}\,dz = N - P,$$
where $N$ and $P$ count, with multiplicity, the zeros and poles of $f$ inside $\gamma$, two different articulation routes — integrating along a closed path, and counting zeros and poles — can be exchanged in order, and the cost of the exchange is exactly the unit $2\pi i$. This is precisely the form of exchange law Paper 1 § 4.5 articulates: not that two arbitrary operations commute, but that two articulation routes are exchangeable under some unit.
The word "local-monetization" is not a metaphor here. The first stage produces integers, namely orders; this stage converts them into integral quantities at the rate $2\pi i$; and that rate is at the same time the within-layer articulative unit of the exchange law of this paper's trajectory. An exchange, a rate of exchange, and a rate that is itself the identity of the layer — all three are present.
(Notational discipline: this paper has two signature slots, the transition signature and the within-layer articulative unit of the exchange law; see § 11.5.3. Nowhere does the paper speak simply of "the signature of $L_2$".)
6.4 Global: periods and monodromy
The action of the third stage is the passage from local data to global data.
Monodromy. $\mathrm{Mon}$ is a representation of the fundamental group $\pi_1$. The remainder left by Main Step 3 inner step 4 — path dependence (§ 5.3) — is here articulated as an object: analytic continuation along paths in different homotopy classes yields results whose difference is characterized by that representation. For $\log$ the representation is $\pi_1(\mathbb{C}^\times) = \mathbb{Z}$ acting on the fibre by translation by $2\pi i\mathbb{Z}$; for the $n$-th root it is $\mathbb{Z}$ acting through $\mathbb{Z}/n$. The two levels of reverse interrogation of § 5.3 each receive their representation here.
Period. $\mathrm{Per}$ is the pairing between de Rham cohomology and Betti homology, $\int_\gamma \omega$ with $\gamma \in H_1$ and $\omega \in H^1_{\rm dR}$. This is the geometric source of the evaluation core $\mathcal{P}$.
The interface with the second stage, and its direction. The pairing on a small loop gives
$$\oint_{\gamma_p}\omega = 2\pi i\,\mathrm{Res}_p(\omega).$$
That is: a small-loop period is $2\pi i$ times a residue. The direction must be held. One may not divide this identity by $2\pi i$ and infer that residues lie in $\mathcal{P}$, because whether $1/\pi \in \mathcal{P}$ is undecided (§ 6.1, third consequence). If $\omega$ is an algebraic meromorphic differential form defined over $\overline{\mathbb{Q}}$ and $p$ is an algebraic point, then $\mathrm{Res}_p(\omega)$ is an algebraic number and therefore lies in $\mathcal{P}$ — but that is a separate reason, running through $\overline{\mathbb{Q}} \subset \mathcal{P}$, and is not obtained by dividing the identity above.
This discipline about direction is the first place where the third consequence of § 6.1 — that $\mathcal{P}$ is a ring and not a field — is actually in force at the technical level.
$\mathcal{P}$ as evaluation core. Every algebraic number lies in $\mathcal{P}$, so under inclusion $\mathcal{P}$ sits above $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. But by § 6.1 this sitting-above is set inclusion only, not the continuation of an object of the same type: the first is an algebraically closed scalar field, the second an evaluation image. The carrier migration takes place inside this very inclusion, and the inclusion itself conceals it.
Three boundaries must be registered together:
- $\mathcal{P}$ is countable while the $L_2$ substrate is not, so $\mathcal{P}$ does not exhaust the substrate;
- $\mathcal{P}$ does not exhaust even the computable reals (§ 8.2);
- the curve spine of this section does not generate all of $\mathcal{P}$ (§ 2.3, the two-spine declaration).
The remainder of this stage. In the regular case, $\mathrm{Per}$ and $\mathrm{Mon}$ jointly articulate path dependence: the monodromy characterizes the effect of going around, the period gives the value of the integral. So far as regular singularities are concerned, the remainder left by Main Step 3 has here been articulated as an object.
But this covers regular singularities only. At an irregular singularity the formal solutions carry exponential factors, and the monodromy group does not suffice to characterize their behaviour — one and the same formal solution, as the singularity is encircled, has its asymptotic validity fail to match across different sectors. This is the entrance to § 7, and it is what the fourth stage adds.
7. Main Step 4(b): The Irregular Boundary
7.0 What this section adds
The close of § 6 articulated that, in the regular case, periods and monodromy jointly articulate the path-dependence remainder left by Main Step 3. This section treats what that articulation does not cover.
By the relation registered in § 6.0, this section is not a second box standing beside § 6. An irregular connection still has poles and divisors, still has formal residues, still has a monodromy group, still has global period data. What this section adds is three things: exponential factors, directions, and Stokes data.
$$\{\text{regular core}\} \hookrightarrow \{\text{irregular enrichment}\}$$
This section is at the same time where the paper's load rests. § 2.6, third item, has already declared that no load is placed on $e \notin \mathcal{P}$; the load is carried jointly by the two extensions of § 7.1 — the syntactic side is definitional, the function side is theorem-level — while the registration that reads the two sides as one and the same boundary is listed separately as a T2-conditional item.
7.1 The two extensions, of expression classes and of connections
The paper's T2 load consists of the following two extensions.
Syntactic side:
$$\mathsf{Int}_{\rm alg} \hookrightarrow \mathsf{Int}_{\exp}$$
that is, the integrand is further allowed to carry factors of the form $e^{-f}$ with $f$ algebraic. This is the left vertical arrow of Table 1 (§ 2.3).
Function side:
$$\{\text{connections with regular singularities}\} \hookrightarrow \{\text{connections admitting irregular singularities}\}$$
The classification of the latter is given by the Levelt–Turrittin theorem: any connection on the formal punctured disc decomposes as a direct sum of elementary connections each carrying a single exponential factor — comprising a ramified cover of ramification index $\nu$, an exponential part of the form $E^\varphi = (\mathbb{C}((t)),\, d + d\varphi)$, and a regular connection $R$.
The two extensions differ in epistemic tier and must be registered in three tiers.
| Tier | Content | Character |
|---|---|---|
| Definitional load | ordinary integral syntax extends to exponential integral syntax ($\mathsf{Int}_{\rm alg} \hookrightarrow \mathsf{Int}_{\exp}$) | definition / syntax; given directly by the definitions of $\mathcal{P}$ and $\mathcal{P}^e$ |
| Theorem-level load | regular connections extend to connections admitting irregular singularities, the latter requiring exponential factors, directions, and Stokes data | theorem (Levelt–Turrittin formal classification, and related results) |
| Conditional bridging | the two extensions above are the numerical-side and function-side presentations of one and the same SAE boundary | T2-conditional; a research-level correspondence belonging to the exponential-motives line |
The three tiers may not be written together. In particular: what Levelt–Turrittin supports is the second tier, not the first, and still less the third. The first tier is given by definition and needs no theorem; the third is an alignment registered by the paper within the SAE framework, and is not a mathematical conclusion derived from the second.
The paper's T2 load is carried jointly by the first and second tiers; the third is listed separately as a conditional item, and should that alignment be refuted in future, what must change is the paper's registration reading the two sides as one boundary, and not the two extensions themselves.
This distinction is the crux of the paper's load-bearing structure. That $e \notin \mathcal{P}$ is an open conjecture; were the load placed on it, a refutation would bring the structure down. With the load on the extensions, any outcome for that conjecture leaves this section standing (§ 12.3).
7.2 Newton–Turrittin data as the formal organizer of the irregular boundary
The formal data at an irregular singularity can be organized by the Newton polygon. But the scope of that organization must be drawn precisely: the Newton polygon organizes formal classification; it does not settle analytic classification. This section articulates three strata, and the three are three distinct levels of determination, not a causal chain.
First stratum · the coarse formal stratum: slopes
The slopes of a connection are given by the slopes of the boundary of the Newton polygon of its differential operator, and are independent of the choice of operator. This yields the paper's most basic criterion:
> All slopes zero is a regular singularity; a positive slope present is an irregular singularity.
This is the criterial form of the function-side extension of § 7.1.
The slopes of the several edges are exactly the degrees of the determining polynomials (including the trivial polynomial $q \equiv 0$, of degree zero); if the edge of slope $\lambda$ has horizontal length $m$, there are $m$ determining polynomials of degree $\lambda$.
This stratum yields: the divide between regular and irregular, the coarse-grained degree of irregularity, the ramification order, the Gevrey level, and the order of growth of solutions at the singularity.
Second stratum · the fine formal stratum: full exponential factors
The full form of an exponential factor is a Puiseux polynomial
$$q = \sum_{k=1}^{s} a_k\, z^{-k/\nu}, \qquad a_s \neq 0.$$
Slopes govern only the exponents $k/\nu$; the coefficients $a_k$ lie outside the slopes. This is the section's central distinction.
Two things are settled by this stratum and not by the first:
- The type of growth. The first stratum gives the order, determined by degree; the type depends on the leading coefficient $|a_s|$, and slopes do not settle it.
- The candidate Stokes directions. Directions are settled by the difference $q_\alpha - q_\beta$ of exponential factors, and depend in particular on the leading coefficient of that difference and on its argument — that is, on where $\mathrm{Re}(q_\alpha - q_\beta)$ changes sign. Correspondingly the level datum is defined as the set of nonzero slopes of the differences $q_0 - q_j$ of the Galois conjugates; these are the slopes of differences, not the slopes of $q$ itself.
The identification the paper earns from this split: type of growth and candidate Stokes directions both require the coefficient data of the second stratum, and neither is settled by slopes alone. Under a two-stratum account that runs the Newton polygon straight into Stokes data, this shared feature is invisible.
(The word "cognate" is not used here. Stokes directions are settled by the difference $q_\alpha - q_\beta$ of exponential factors, so individual leading terms may cancel, and the two need not be settled by the same leading coefficient. What the paper earns is that they belong to the same second stratum, both lying beyond the coarse stratum of slopes.)
Third stratum · the analytic stratum: Stokes multipliers
The isomorphism of formal meromorphic connections guaranteed by the Levelt–Turrittin theorem cannot in general be lifted to a global meromorphic isomorphism; it lifts only locally, on arc neighbourhoods of the singularity (Hukuhara–Turrittin). The formal data describe the asymptotic behaviour as the singularity is approached, and the precise description of that behaviour changes over the course of going once around the singularity.
Hence: with the formal normal form fixed, the Stokes matrices still supply further complete analytic invariants. Stokes multipliers are analytic moduli lying beyond formal classification.
The three strata do not compress into a chain
> Slopes do not settle Stokes multipliers.
To write "slopes → exponential factors → Stokes directions and Stokes multipliers" as a single causal string is to merge formal classification with analytic classification in one step. The first two strata belong to formal classification and the third does not; and between the first and the second there is no relation of determination either, but a relation of coarse to fine — slopes settle degrees, not coefficients.
The paper therefore registers Newton–Turrittin data as the formal organizer of the irregular boundary, and not as the common generator of stage 4.
7.3 The candidate comparison interface for $G_\infty$
Paper 1 Appendix B.5 articulates $G_\infty$ as growth at infinity: the order $\rho$ and type $\sigma$ of an entire function, together with the Phragmén–Lindelöf principle. That object is a scalar asymptotic invariant; the $G$ in the notation should not be read as denoting a group (§ 2.5).
The first stratum of § 7.2 gives the order of growth of solutions at a singularity, and the second gives the type. This agrees in form with the content of order and type, and suggests that a comparison interface between the two may exist.
But the paper registers a candidate interface only, and claims no identity. The reason: Paper 1's $G_\infty$ is an asymptotic invariant of entire functions in general and is not specific to solutions of differential equations, whereas $\mathrm{Slope}_\infty$ is a formal invariant of meromorphic connections. Whether the two are the same invariant is not proved here, and no statement of that identity has been found in the literature.
The registration is therefore:
> Newton–Turrittin data supply a candidate comparison interface for Paper 1's $G_\infty$; identity is not proved. Slopes give a candidate correspondent for the order of growth; type depends on the leading coefficient of the exponential factor and is not something slopes can settle.
§ 11.1 lists this registration as a charitable reconstruction and not Paper 1's original intent — the content Paper 1 attached to $G_\infty$ when it wrote the symbol was scalar, and to say that the notation anticipated a group which the present paper completes is this paper's reconstruction, not a recovery.
Notational discipline (§ 2.5): $G_\infty$ is kept as Paper 1's object; the slope filtration is written $\mathrm{Slope}_\infty$; the local differential Galois group is written $G_{\mathrm{diff,loc}}$ (§ 9.2). The three do not share a symbol.
7.4 Sectors, real oriented blow-up, and the second half of the ZFCρ debt
The circle of directions
The directional structure at an irregular singularity cannot be carried by a point. The standard treatment is to perform a real oriented blow-up at the singularity: the preimage is a circle, points of the circle correspond to directions around the singularity, and open sets of the circle correspond to germs of open sectors there. Exponential factors are then regarded as sections of a local system on that circle of directions (the Deligne–Malgrange formulation).
This is the technical content of the coarse closure plus directional refinement of § 8.1; the present section supplies the object of that refinement, and § 8.1 articulates what it means for the closure structure of $L_2$.
Sector mismatch
One and the same formal solution has different asymptotic validity on different sectors. As one travels around the circle of directions, the correspondence between actual solutions and formal solutions changes — this is the Stokes phenomenon. The monodromy group does not suffice to characterize it: monodromy records the overall effect of one circuit, whereas what is needed here is sector transition data ordered by direction.
This locates precisely the remainder of § 6.4: periods and monodromy articulated path dependence in the regular case, whereas path dependence in the irregular case contains directional resolution, which exceeds what monodromy can record.
The second half of the ZFCρ debt
§ 6.2 articulated that valuation equips the monolithic $\infty$ with an integer scale, settling the order half. What ZFCρ is owed is the fine ratio, and a fine ratio is a quantity at the level of coefficients.
By the three strata of § 7.2, quantities at the level of coefficients fall in the second stratum: the Newton polygon gives a stratification by slope, each slope carries a further characteristic equation, and a fine ratio is a quantity at the level of the coefficients of that characteristic equation. The location of the interface for this debt can therefore be given precisely as the second stratum, and not the first.
But an interface located is not an interface connected. The paper gives no explicit map, conserved quantity, or functor between ZFCρ's fine ratio and any coefficient of any characteristic equation. The status of the debt is accordingly re-registered from "no interface" to "interface located but not connected" (§ 2.6, sixth item), and may not be written up as settled.
One internal consistency is worth registering: the half that is not connected falls precisely on the stratum this layer has not captured — the second and third strata are exactly what § 7.5 adjudicates as marked out but not entered. The unpaid half of the debt and the unreached part of the capture are two faces of one boundary.
7.5 $\mathcal{P}^e$ is marked out and not entered
Everything articulated in this section so far — slopes, exponential factors, the circle of directions, Stokes data — lies on the function side. The corresponding object on the numerical side is the exponential periods $\mathcal{P}^e$ (Table 1, § 2.3, lower right).
Their relation is the conclusion of this section:
> The fourth stage marks out the exponential direction by means of Stokes data, and does not enter $\mathcal{P}^e$.
"Does not enter" requires an operational definition: it means that $\mathcal{P}^e$ is not raised to the evaluation core of this paper's current trajectory — the evaluation core here is $\mathcal{P}$ (§ 6.4), and the function-side work of stage 4 does not alter that selection. It does not mean that the paper cannot define, discuss, or display exponential periods: the present section defines $\mathcal{P}^e$ and states that $e \in \mathcal{P}^e$ is proved. There is no contradiction.
Further, the tier of this statement is the third tier, conditional bridging, per the table of § 7.1 — it is the paper's registration of an alignment between function side and numerical side, and not a mathematical conclusion derived from Levelt–Turrittin alone.
This is the recurrence, at the close of the layer, of the mark-without-construct of Main Step 1. Main Step 1 marked out $i$ without constructing its space of habitation (§ 3); Main Step 4 marks out the exponential direction without constructing its values. The same act occurs once at the cross-level threshold and once at the closing of the layer.
The closure remainder of $L_2$ is therefore: the exponential map and the direction of exponential integration.
The standing of $e$
$e$ is the canonical numerical witness for that direction; it is not a load-bearing item. Three facts must be stated separately.
First, $e = \exp(1)$. And $\exp$ is the covering map produced by Main Step 3 inner step 4 (§ 5.3), that is, an internal product of $L_2$. So $e$ is the value of an internal product at one point.
Second, $e$ certainly lies in $\mathcal{P}^e$. Taking $f(x) = -x$, $\omega = dx$, and the semi-algebraic domain $[0,1]$,
$$e = 1 + \int_0^1 e^x\,dx.$$
This is a fact at the level of definition and computation, not a conjecture.
Third, whether $e$ lies in $\mathcal{P}$ is not known. This is an open conjecture (§ 2.6, third item).
The precise form of the remainder ledger is therefore:
| Question | Status |
|---|---|
| $e \in \mathcal{P}^e$ | proved |
| $e \in \mathcal{P}$ | unknown |
| Is the exponential expression class strictly larger than the ordinary period expression class? | strictly larger syntactically (§ 7.1, definitional tier) |
| Is the corresponding inclusion of evaluation images witnessed as strict by $e$? | unknown |
It may not be written that $e$ is a remainder within the substrate that goes uncaptured — that would run the proved row together with the unknown row. The precise formulation is: membership status in the ordinary period core is unknown; capture within the exponential period extension is established; $e$ serves only as a candidate strictness witness.
Inverse-solution specification, and its limit
$e$ admits one further representation bearing on the paper's load:
$$\int_1^e \frac{dx}{x} = 1.$$
That is, $e$ is specified implicitly by an equation in a period-valued function. This mode of specification does not belong to ordinary period expression syntax — it is by inverse solution, and the definition of $\mathsf{Int}_{\rm alg}$ contains no inverse-function operator (§ 2.3). And this integral is $\log$, which is exactly the articulative unit Paper 1 § 4.5 establishes for $L_1$'s exchange law. So it may be stated:
> The articulative unit of $L_1$'s exchange law is realized at $L_2$ as a period-valued function; $e$ is its inverse solution; and specification by inverse solution falls outside ordinary period expression syntax.
But the discipline of § 2.3 must be held here. The identity above says that this expression, the one we have written down, specifies $e$ by inverse solution; it cannot rule out that $e$ has some other, ordinary period representation — and whether it does is exactly what is undecided in $e \in \mathcal{P}$. Every statement of this subsection is therefore at the level of expressions, and may not be read as an assertion about numerical membership status. The distinction between forward capture and inverse-solution specification is a distinction at the level of expression formation, not a theorem-level substitute for $e \notin \mathcal{P}$. The paper places no load on it, and uses it only to articulate where $e$ sits within the articulation structure of this layer.
Locating the load
In summary, the paper's load is distributed as follows:
- Definitional load: $\mathsf{Int}_{\rm alg} \hookrightarrow \mathsf{Int}_{\exp}$, given directly by the definitions of $\mathcal{P}$ and $\mathcal{P}^e$;
- Theorem-level load: regular connections extend to connections admitting irregular singularities, supported by Levelt–Turrittin and related formal classification;
- T2-conditional item: the registration of the two sides as the numerical-side and function-side presentations of one boundary;
- T3 witness: $e \notin \mathcal{P}$.
$e$ bears no load-bearing role. Specifically: it does not bear the load of the regular/irregular boundary, which is borne by the two extensions of § 7.1; nor does it bear the load of strictness for the evaluation core, which is an undecided T3. It retains two non-load-bearing registrations: the transition signature inherited from Foundation v2 (§ 11.5.3), and this paper's candidate numerical witness.
Should $e$ be proved to be a period, the only things requiring change are the witness row of this section and one line of the ledger in § 8.2; the two extensions of § 7.1, the three strata of § 7.2, and the core structural statement of § 5.4 all stand (§ 12.3).
8. Main Step 4(c): Closure and the Remainder Ledger
8.1 Coarse closure and directional refinement
Main Step 2 has already given the one-point compactification of $\mathbb{C}$, merging the two boundary marks of $L_1$ into the single $\hat\infty$; § 4.3 declared at the same time that this merging is a chosen canonical closure and not something topology forces. The present section articulates where the cost of that choice falls due.
The circle of directions of § 7.4 conflicts directly with that one-point compactification: the former requires that the direction of approach to the singularity be preserved, the latter collapses all directions to a point. The two cannot hold at the same resolution.
The resolution is not to choose between them but to work at two levels.
Coarse closure: the Riemann sphere. This is the canonical closure in the meromorphic and conformal context. It makes the two-periodic boundary pair $0 \leftrightarrow \hat\infty$ hold (§ 5.3), makes divisors defined at $\infty$ (§ 6.2), and gives the global residue theorem a compact base space (§ 6.3). This section does not retract it.
Directional refinement: real oriented blow-up. The irregular remainder forces the directions that were collapsed away to reopen into a circle of directions (§ 7.4).
From this the paper obtains an identification about the closure structure of $L_2$:
> The closure of $L_2$ is not a single compactification. The coarse closure collapses all directions to a point; the irregular remainder then forces that point to reopen into a circle of directions.
The shape is worth pointing out on its own: closure → remainder → the reopening of the closure. Closure is not a terminus; the closure itself produces the remainder that demands it be opened again. And the reopening does not cancel the closure — it is a second level of resolution of that same closure.
A discipline: the reopening does not retract the coarse closure. The two are not competing closures but two levels of resolution of one closure. Divisors, residues, and periods are defined on the coarse closure and are not invalidated by directional refinement; the refinement takes effect only where directional resolution is required, that is, at irregular singularities.
The relation to upstream: Paper 1 § 5.2 articulates the identification of $\pm\infty$ as forced by topology. The present paper refines this to: topology does not uniquely force one-point compactification, and one-point compactification is the canonical closure chosen within the meromorphic and conformal context; the cost of that choice is directional resolution, and the cost falls due at the irregular boundary. § 11.1 lists this as the first upstream refinement.
8.2 The remainder ledger
Following the three-way division of Paper 3 § 6, rearranged at $L_2$.
First class: substrate-external remainder
At $L_1$ the instance of this class is $i$, which $L_2$ Main Step 1 takes in (§ 3). At $L_2$ the class points in the direction outside $\mathbb{C}$, namely the Cayley–Dickson sequence $\mathbb{H}$, $\mathbb{O}$.
But there is one crucial difference from the situation at $L_1$. $i$ was pressed out by an interrogation internal to $L_1$: $x^2+1=0$ has no root in $\mathbb{R}$, and root-finding is $L_1$ Main Step 3's own reverse interrogation. Paper 3 registers it on that basis as cross-level forcing and not as a lateral branch.
$\mathbb{H}$ has no such source. $\mathbb{C}$ is algebraically closed and root-finding no longer presses (§ 5.4); no interrogation internal to $L_2$ presses $\mathbb{H}$ out. Cayley–Dickson is a construction that may be applied, not a product that must be accepted.
The standing of the first class at $L_2$ therefore differs from its standing at $L_1$: it is not a forced remainder. § 10 adjudicates it on this basis as a cost branch — obtained by paying away commutativity, rather than by treating a remainder of this layer.
This difference is a downstream consequence of the asymmetry of § 5.4. In removing the scalar gap, algebraic closure also removed the mechanism that produces forced substrate-external remainders.
Second class: structures over the substrate, not captured by the mode
The member of this class is the exponential direction, a structural object, and not the number $e$. The "not captured" in the name of the class is a syntactic boundary: ordinary period expression syntax $\mathsf{Int}_{\rm alg}$ does not admit exponential factors, so the ordinary-period articulation mode this paper has selected does not construct the exponential direction (§ 7.1, definitional tier). Whether the evaluation images accordingly form a strict extension, that is
$$\mathcal{P} \subsetneq \mathcal{P}^e,$$
remains an undecided question on the numerical side. The two belong respectively to the syntactic side and the evaluation side of § 2.3, and may not be put in one sentence.
One generalized definition is also required: "over the substrate" here generalizes to "defined over that substrate and taking values still in that substrate", and does not assert that the object belongs to $\mathbb{C}$ as an element — the exponential direction is a structural object, not a number. The name of the class follows the wording of the three-way classification of Paper 3 § 6, and the generalization is made only to accommodate structural objects.
The exponential direction (§ 7.5). Its numerical witness is $e$.
| Question | Status |
|---|---|
| $e \in \mathcal{P}^e$ | proved |
| $e \in \mathcal{P}$ | unknown |
| Is the exponential expression class strictly larger than the ordinary period expression class? | strictly larger syntactically (§ 7.1, definitional tier) |
| Is the corresponding inclusion of evaluation images witnessed as strict by $e$? | unknown |
The precise formulation is: membership status in the ordinary period core is unknown; capture within the exponential period extension is established; $e$ serves only as a candidate strictness witness. It may not be written that $e$ is a remainder within the substrate that goes uncaptured — that would run the proved row together with the unknown row.
Third class: uncomputable, undefinable
Inherited from $L_1$. Paper 3 § 6.3.2 earns it by a cardinality argument: for any countable formal language the definable reals are at most countable, while the real line has cardinality $2^{\aleph_0}$ (§ 2.1). The class remains uncaptured at $L_2$.
At $L_2$ there is a further and stronger fact: $\mathcal{P}$ does not exhaust even the computable reals — Yoshinaga has exhibited a computable real that is not a period. A whole stratum therefore still separates the evaluation core of $L_2$ from the third class.
The capture chain and the remainder left by several modes together
Setting the ranges earned by the three criteria in one line:
$$\mathbb{Q}^{\rm alg}_{\mathbb{R}} \subsetneq \mathcal{P}\cap\mathbb{R} \subsetneq \text{computable reals} \subsetneq \text{definable reals} \subsetneq \mathbb{R}$$
The three criteria are finite algebraic constraint (the $L_1$ mode), algebraic integral representation (the $L_2$ mode), and algorithmic approximability (the effective-Cauchy articulation mode). By § 2.1, none of the three is a special case of another — they are not three instances of one kind of criterion but three different types of standard of adjudication.
From this a reading follows:
> Each of the three criteria earns one stratum, and their union still stops at the definable reals. This is the strongest form the paper can display: not the remainder of a single mode, but the remainder left after several modes with mutually distinct criteria have acted together.
Jurisdiction statement. The paper does not claim on this basis that the union of all mathematical tools fails to exhaust the substrate. Three is not all; and such a claim would first require drawing the boundary of what counts as a "tool" — tools may carry parameters and may form uncountable families, so the cardinality argument of Paper 3 § 6.3.2 cannot be transplanted directly — and drawing that boundary lies outside this paper's jurisdiction.
The universally quantified form, that no framework exhausts, is a meta-proposition already laid down in Paper 1's abstract (the meta-level half of the twofold inexhaustibility), and earning it substantively is work for a framework-level paper. This paper displays and points forward; it does not endorse.
〔Kind: structural display plus jurisdiction statement〕
In passing: the position of the effective-Cauchy articulation mode in the chain above is the material for the open question left by Paper 3 § 6.4 (§ 2.1). That mode captures strictly more on the real axis than the period core of $L_2$, while its criterion is of a different kind from those of both $L_1$ and $L_2$. Its placement is adjudicated in § 11.3.
8.3 Euler's formula: superposition placement and transition closure equation
Euler's formula carries two different predicates in this paper. They do not compete, and they answer different questions.
As placement
§ 5.5 has given the structural reason:
$$\cos\theta + i\sin\theta = e^{i\theta}$$
The two sides fall on the two sides of substrate and mode — the left is a substrate-level classical construction of analysis (the real trigonometric functions; by the resource discipline of § 5.2.3 the paper does not invoke them on the spine), the right a mode-level product of Main Step 3 inner step 4 ($\exp$ restricted to the imaginary axis). The formula states that the two are equal.
It therefore resides at no cell of this trajectory: it is an identification between a substrate-level construction and a mode-level product. The paper accordingly registers it as a substrate–mode superposition placement — what it crosses is the general firewall between substrate and mode (§ 2.1), not two cells within the layer.
An inventory of constituents may serve as corroboration but is not the reason: in $e^{i\pi}+1=0$, $\pi$ is the remainder of $L_1$ Main Step 4, $1$ and $0$ are the two boundary tokens of $L_1$, $i$ is the product of $L_2$ Main Step 1, and $e$ is the numerical witness of the closure remainder of $L_2$. Five items across two layers and four positions. But the inventory yields only a description of position; the structural reason lies in the identification of two articulation routes.
As closure equation
The cross-level ledger table of SAE Foundation v1 records the closure equation of $L_1 \to L_2$ as $e^{i\pi}+1=0$ and its two remainders as $i$ and $\pi$. That table gives no reason why these two in particular. The present paper gives one.
$i$ is the input to the transition. It is the substrate-external remainder of $L_1$, taken into $L_2$ by the mark-without-construct of Main Step 1 (§ 3). It is not produced by $L_2$; the transition brings it in.
$\pi$ is the first structural product of this layer. It is the substrate-internal transcendental remainder of $L_1$ (the ledger of Paper 3 § 6), which $L_1$ can name but cannot capture. $L_2$ first articulates it at Main Step 3 inner step 4 as the deck transformation group $2\pi i\mathbb{Z}$ (§ 5.3), and then captures it as a period at Main Step 4 inner step 3 (§ 6.4).
What the closure equation binds is therefore: the input to the transition, and the first structural product of this layer.
And the item by which they are bound — $e$ — is captured within the exponential period extension, while its membership status in the ordinary period core remains undetermined (§ 7.5). The equation may accordingly be read as: two remainders already captured in the ordinary period core, passing through the one whose membership status is undetermined, return to $L_1$'s own two boundary tokens.
The relation between the two predicates
Placement answers "where does it reside"; closure equation answers "what does it close". One object can be both, and the two do not compete.
Note further that it is the closure equation of the transition, not of the layer. The closure of the layer $L_2$ is coarse closure together with directional refinement (§ 8.1), a different object from transition closure.
Paper 1 § 5.3 articulates Euler's formula as best understood as a closure instantiation rather than the full closure of $L_2$. Its precise content is just this: it is an instance of transition closure, not of layer closure. § 11.1 lists this as the third upstream refinement.
For the full reception and rearrangement of that row of Foundation v1 — including the change of its "behaviour" column from the exponential map to complexification — see § 11.5.4.
8.4 The $L_2 \to L_3$ trigger: the level of values and the level of rules
Paper 1 § 5.5 establishes the trigger criterion: what triggers $L_3$ is not any difficulty of $L_2$ itself, but the reframing of the problem into one about rules and decidability. This section registers two questions along the three coordinates of § 2.4, so as to show that they belong to different levels.
| Question | Numerical membership status | Proof-theoretic status | Algorithmic status | Layer attribution |
|---|---|---|---|---|
| $e \in \mathcal{P}$? | unknown | conjectural | — | undecided within $L_2$ |
| Is the general period-expression identity problem decidable? | — | — | open in general | an $L_3$ phenomenon |
The first row is at the level of values: the form of the question is a membership relation between one specific number and one specific set. The question stays in $L_2$.
(The paper does not adjudicate the type of obstruction for this question. At the outline stage an inference was drawn from the proved function-field analogue to the conclusion that the obstruction is arithmetic difficulty rather than logical independence; that inference is invalid and has been withdrawn, and no wording here brings it back.)
The second row is at the level of rules, and the level of rules itself contains two distinct slots, which may not be conflated.
| Slot | Question | Coordinate |
|---|---|---|
| Derivational completeness | Do the three Kontsevich–Zagier transformations completely generate all ordinary period expression equivalence? | rules / proof system |
| Decision procedure | Is there a totally terminating procedure deciding general ordinary period expression identity? | algorithmic decidability |
Completeness alone does not entail decidability. That a family of rules completely characterizes an equivalence relation does not by itself supply a procedure that always terminates; a termination guarantee, or a finite certificate for inequality, is needed in addition.
For periods that additional element happens to be available: periods are computable, so for any two expressions one may run two branches in parallel — numerical evaluation to increasing precision (if the two are unequal they eventually separate, giving a certificate of inequality), and enumeration of chains of Kontsevich–Zagier transformations (if the two are equal and the conjecture holds, a chain is eventually found). One of the two branches must halt. Hence
$$\text{KZ conjecture} + \text{computability of periods} \ \Longrightarrow\ \text{general period-expression identity is decidable}.$$
The second premise must be written out explicitly: to infer decidability from completeness alone is a leap, and the paper does not make it.
The $L_2 \to L_3$ trigger is therefore not in two stages but in three:
$$\text{value question} \longrightarrow \text{complete characterization of the equivalence relation} \longrightarrow \text{decision procedure}$$
The last two both belong to the level of rules, but to different slots within it. The rule level is accordingly not a single "decidability" slot.
A precisification: one must write "the general period-expression identity problem" and not loosely "equality of periods". Restricted classes already admit algorithmic results — transcendence and the computation of linear relations for 1-periods; what is undecided is the general problem.
Two prohibitions against layer-mixing
First, independence is a property of propositions, not of objects. Even were "$e \notin \mathcal{P}$" proved independent of some formal system, what enters the rule level is the provability of that proposition in that system; the number $e$, the period expressions, and the membership question itself do not thereby change layer. Violating this destroys on the spot the separation of columns this section has established (§ 12.3, second counterfactual).
Second, the divide between regular and irregular is not a layer boundary. It is a boundary of the capture range of $L_2$, lying within the layer (§ 2.4). The Stokes phenomenon is a structural fact internal to the $L_2$ mode, not a divide between $L_2$ and $L_3$.
The form of the trigger
When the question turns from "what is this value, does this number belong to that set" into "can this class of equalities be decided by rules", articulation has left the object level of $L_2$ and entered the level of rules. That reframing is not progress within $L_2$; it is a transfer of layer.
The full formalization of the composition law for $\omega_\rho^{(2)}$ falls here as well: a unified encapsulation of the six components is a meta-level statement about how this layer's own defect apparatus composes, its full formalization requires category theory, and Paper 1 § 11.4 has already established that adequate engagement with categorical structuralism must be handled at both $L_2$ and $L_3$. § 9 delivers a minimal composition skeleton, and registers the full encapsulation as an outstanding debt (§ 13.1).
The paper does not presuppose the trajectory of $L_3$ (§ 1.3). The interface with the $L_3$ paper is § 13.2.
9. The Operational Defect Algebra: Minimal Typed Composition
9.0 What this section delivers and what it does not
Paper 1 § 11.1 deferred the composition law for the six components of $\omega_\rho^{(2)}$ to a subsequent $L_2$ specialist paper, and articulated that without a composition law the six-tuple is only a list, not yet enough to be called a complete operational defect algebra.
This paper does not pay the debt in full. But neither does it diagnose the failure to pay as a finding — that would violate the anti-immunization declaration of § 12.4: a debt may not be converted into an identification. The treatment here is partial payment plus explicit registration of the debt.
Delivered: a minimal typed composition skeleton, namely two tables and four chains — the first table gives the type and internal operations of each component (§ 9.1), the second gives the cross-component interfaces (§ 9.2).
Not delivered: a unified categorical encapsulation of the six kinds of data (§ 9.3).
The boundary of "partial payment" must be nailed down: what is delivered is skeleton-level — it makes the six-tuple no longer merely a list, but it does not make it a complete algebra. The word "partial" is therefore not droppable: the debt still stands, and only what is owed has narrowed, from the whole composition law to the unified categorical encapsulation (§ 13.1). A skeleton delivered and a debt still standing are not in contradiction.
The name: the name "operational defect algebra" is retained. Paper 1's abstract already designates $\omega_\rho^{(2)}$ by that name, and to demote the layer's core object in the $L_2$ specialist paper would be self-dismantling rather than refinement. But this section must state plainly: what is delivered is a minimal composition skeleton, not a complete algebra — retaining the name is not the same as the content being sufficient.
Attribution: everything in the two tables and the four chains is a classical result. What this paper does is organize (§ 9.4).
9.1 The first table: component types and internal operations
Following the definitions of the six components in Paper 1 Appendix B, each is registered with its type — the distinction of § 2.2 among numerical objects, functions, and operators is in force here — and its internal operations.
| Component | Type | Internal operations |
|---|---|---|
| $\mathrm{Div}$ | free abelian group $\mathrm{Div}(X)$ | addition of divisors; principal divisors form a subgroup, with quotient the divisor class group $\mathrm{Cl}(X)$ |
| $\mathrm{Res}$ | local linear functional | addition of residue vectors; global constraint $\sum_p \mathrm{Res}_p(\omega) = 0$ |
| $\mathrm{Per}$ | bilinear pairing $H_1 \times H^1_{\rm dR} \to \mathbb{C}$ | bilinearity of the pairing; values land in $\mathcal{P}$ |
| $\mathrm{Mon}$ | representation of $\pi_1$ | concatenation of paths corresponds to composition of matrices |
| $\mathrm{Stokes}$ | family of operators ordered by direction | composition of sector transitions along the circle of directions (the Stokes groupoid) |
| $G_\infty$ | scalar asymptotic invariant (order $\rho$ and type $\sigma$) | no group operation; a partial order on order and type |
On the last row. The type of $G_\infty$ must be written out, because the $G$ in the notation invites the association with a group. What Paper 1 Appendix B.5 attaches to it is the order and type of an entire function together with the Phragmén–Lindelöf principle, that is, a scalar asymptotic invariant and not a group object (§ 2.5, § 7.3). The table registers it faithfully as a scalar invariant.
This produces one unevenness of type: of the two components at stage 4, $\mathrm{Stokes}$ is a family of matrices while $G_\infty$ is a scalar, and the two do not compose in any group-theoretic sense. The three-strata analysis of § 7.2 supplies the treatment — re-register the objects of that stage by stratum:
| Object | Type | Position |
|---|---|---|
| $\mathrm{Slope}_\infty$ | family of rational numbers (the slope filtration) | § 7.2, first stratum |
| exponential torus $\mathcal{T}$ | algebraic torus | § 7.2, second stratum |
| $\mathrm{Stokes}$ | family of operators ordered by direction | § 7.2, third stratum |
| $G_{\mathrm{diff,loc}}$ | algebraic group | Zariski closure of the three strata (§ 9.2, chain 4) |
One precise characterization of the type of the exponential torus deserves separate registration: it is the smallest subtorus whose Lie algebra contains all the coefficients of the exponential factors $Q$. It is therefore settled by the second stratum (coefficients) and not by the first (slopes). This corroborates the stratification of § 7.2 independently, from the side of differential Galois theory — the stratification is not something the paper imposed for convenience of organization; here another theory restates it in its own language.
9.2 The second table: cross-component interfaces
| Interface | Map | Statement |
|---|---|---|
| 1↔2 | $d\log$ | $\mathrm{Res}_p(df/f) = \mathrm{ord}_p(f)$ |
| 2↔3 | restriction to small loops | $\oint_{\gamma_p}\omega = 2\pi i\,\mathrm{Res}_p(\omega)$ |
| 3↔4 | (wild) Riemann–Hilbert | connections with regular singularities $\leftrightarrow$ local systems and monodromy data; irregular connections $\leftrightarrow$ monodromy together with Stokes enrichment data |
| 4 internal | Ramis density | the subgroup generated by the formal monodromy, the exponential torus, and the Stokes operators is Zariski dense in $G_{\mathrm{diff,loc}}$ |
Each of the four chains has one point of precision to hold.
Chain 1 · $d\log$. The residue of a logarithmic differential equals the order given by valuation, whence
$$\deg\,\mathrm{div}(f) = \sum_p \mathrm{ord}_p(f) = \sum_p \mathrm{Res}_p\!\left(\frac{df}{f}\right) = 0.$$
That is, the vanishing of the degree of a principal divisor is a specialization of the global residue theorem to $df/f$. This interface holds only through that one map; it may not be said in general that all divisor theorems and all residue theorems are two notations for one conservation law (§ 6.3).
Chain 2 · restriction to small loops. A small-loop period is $2\pi i$ times a residue. The direction is not reversible: one may not divide by $2\pi i$ and infer that residues lie in $\mathcal{P}$, because whether $1/\pi \in \mathcal{P}$ is undecided (§ 6.1, § 6.4). Under algebraic data a residue lies in $\mathcal{P}$ for the separate reason of being algebraic, which runs through $\overline{\mathbb{Q}} \subset \mathcal{P}$.
Chain 3 · Riemann–Hilbert. The irregular side still retains monodromy; Stokes is an addition, not a replacement. The difference between classical RH and wild RH lies exactly in the Betti data being enriched by Stokes information.
And the density theorems themselves exhibit this structure: Schlesinger's theorem, in the regular-singular case, uses monodromy alone (monodromy is dense in the differential Galois group); Ramis's theorem, in the irregular case, adds the exponential torus and the Stokes operators. The core $\hookrightarrow$ enrichment relation established in § 6.0 is therefore not a reading imposed by this paper but the relation between this pair of theorems themselves.
Chain 4 · Ramis density, and its two levels. One must write Zariski dense and not "topologically generates" — the latter belongs to the parametrized version (the Kolchin topology), whereas the non-parametrized Ramis theorem gives Zariski density.
This chain in fact has two levels, and the first is a genuine composition law rather than a mere density statement:
- Formal level: the local irregular Riemann–Hilbert correspondence gives an equivalence of categories at the formal level, and the corresponding group is the semidirect product
$$G^{\rm formal} = \mathcal{T} \rtimes \overline{\langle \hat\gamma \rangle}^{\rm Zar},$$
the semidirect product of the exponential torus with the Zariski closure of the group generated by the formal monodromy $\hat\gamma$. This is a determinate composition relation between two objects internal to stage 4.
Note that the closure may not be omitted: $\mathcal{T} \rtimes \mathbb{Z}$ is the abstract generated group and $\mathbb{Z}$ is not an algebraic group; $G^{\rm formal}$ is its Zariski closure. The discipline of writing Zariski density was just established in the first lines of this chain, and the same discipline is followed here.
- Non-formal level: on passing to convergent Laurent series, the universal differential Galois group acquires additional generators, which depend on the resummation of divergent series and are tied to the Stokes phenomenon. Taking the Zariski closure gives $G_{\mathrm{diff,loc}}$.
Composition internal to stage 4 is therefore at two levels: the semidirect product at the formal level, plus the Stokes generators at the non-formal level. This two-level structure and the formal/analytic divide of § 7.2 are one and the same divide, presented in the language of groups.
9.3 What remains unpaid
What the paper does not deliver is registered explicitly.
Not delivered: a unified categorical encapsulation of the six kinds of data — that is, organizing $\mathrm{Div}$, $\mathrm{Res}$, $\mathrm{Per}$, $\mathrm{Mon}$, $\mathrm{Stokes}$, and $G_\infty$ into a single categorical object in which every interface of § 9.2 becomes a morphism.
The obstruction is not a lack of categorical tools. Full formalizations of the Riemann–Hilbert correspondence and of its irregular (wild) extension already exist. The obstruction is that the six components have not yet been mapped onto Riemann–Hilbert data; the four chains of § 9.2 are local fragments of that map, not the whole picture. In particular, chains 3 and 4 have already entered the language of Riemann–Hilbert, while chains 1 and 2 remain in the language of classical complex analysis, and this paper gives no translation between the two.
The paper does not diagnose the failure to deliver as a finding. § 8.4 has already articulated that such an encapsulation is meta-level in character — it is a statement about how this layer's defect apparatus composes, and by the trigger criterion of Paper 1 § 5.5 statements of that kind belong to the level of rules. But two things must be kept apart: "the encapsulation is meta-level in character" is a description of that object, and "this paper cannot supply it" is another matter; the former is no excuse for the latter. By § 12.4, a debt is registered as a debt.
Registration: outstanding debt, pushed forward to the $L_2 \to L_3$ interface paper (§ 13.1).
9.4 Attribution declaration
Everything in the two tables and the four chains is a classical result: the divisor group and the divisor class group, the residue theorem, the de Rham–Betti pairing, monodromy representations, the sector composition of Stokes data, the residue of a logarithmic differential, the small-loop integral formula, the Riemann–Hilbert correspondence and its wild extension, and the Ramis density theorem. This paper cites these results and does not prove them.
What this paper does is organize: it places the six components at determinate positions, following the three strata of § 7.2 and the core–enrichment relation of § 6.0, gives the type of each component, and marks which interfaces exist and which do not.
The paper does not claim to have discovered these interfaces, nor that this manner of organization is the only one. The organization itself is an SAE registration, and its value lies in making the unpaid part visible — in the six-tuple-as-list form of Paper 1, what is missing cannot be seen.
〔Kind: standard theorem (the content of the tables and chains) plus SAE registration (the manner of organization)〕
10. Side Branch and Alternative Closure: Cayley–Dickson
10.1 The adjudication
Paper 1 § 11.8 left an open question: whether the Cayley–Dickson sequence supplies an alternative closure at $L_2$, and how the sufficiency criterion applies to its members. This section answers it.
Adjudication: $\mathbb{H}$ and $\mathbb{O}$ are not equivalent parallel realizations of this paper's commutative complex-period trajectory.
The criterion is the within-layer articulative unit of the exchange law. The within-layer articulative unit of the exchange law of this paper's complexification trajectory is $2\pi i$, and the concrete form of that commutation is the residue theorem and the argument principle (§ 6.3); both require commutativity. What $\mathbb{H}$ pays away is precisely commutativity.
(This criterion involves the within-layer slot only, not the transition signature slot. It is therefore unaffected by Foundation v2's assignment of $e$ as the transition signature of the mathematical $L_1 \to L_2$; see § 11.5.3.)
By one of the second-level nesting rules established in Physics Paper 1 — the second level issues no new signature, sharing the first level's — whatever pays that unit away cannot count as a parallel realization of the same layer.
The force of this criterion comes from § 5.5. If $2\pi i$ were merely a factor in the residue theorem, then "paying away commutativity is paying it away" would be an observation about one formula. But § 5.5 has articulated that $2\pi i$ is at the same time a generator of the deck transformation group of $\exp$, and that this and the normalization of residues are two presentations of one statement. What paying away commutativity pays away is therefore the presentation, in the language of integration, of the covering structure of the whole layer, and not one integral formula.
10.2 The conclusion must be narrowed
The adjudication of this section cannot be pushed far. Two points must be made explicit.
First, the vertical-iteration argument is withdrawn. One natural argument runs: Cayley–Dickson is a vertical iteration, $\mathbb{H} = \mathrm{CD}(\mathbb{C})$ takes $\mathbb{C}$ as input, so $\mathbb{H}$ was never a sibling standing at the $L_1 \to L_2$ threshold. That argument does not hold — because $\mathbb{C} = \mathrm{CD}(\mathbb{R})$ holds equally. If vertical iteration meant "the next level up", the argument would yield "$\mathbb{H}$ is $L_3$" rather than "$\mathbb{H}$ is a side branch". It proves too much. The paper does not use it.
Second, quaternionic analysis does not lose all Cauchy-type structure. Slice-regular theory recovers structure of complex-analytic type on each complex slice
$$\mathbb{C}_J = \{x + Jy : x, y \in \mathbb{R}\}, \qquad J \in \mathbb{S}^2,$$
with a corresponding Cauchy kernel and integral formula. The change is therefore not that the signature vanishes altogether, but that a single global $i$ is replaced by a family of imaginary units $J \in \mathbb{S}^2$.
What this section can conclude is therefore only:
> $\mathbb{H}$ does not share this paper's single $2\pi i$ signature, and does not share the same six-component defect system.
It may not be concluded from this that $\mathbb{H}$ is expelled from $L_2$ as a whole. That would require a judgment about the entire space of $L_2$ trajectories, and this paper has studied one of them. By the anti-essentialization discipline of Paper 2, using the signature of the current trajectory to exclude other trajectories conflicts directly with the position that complexification is only one articulation of $L_2$.
〔Kind: not to be drawn as a conclusion of this paper — see § 12.1〕
10.3 Cost branch and remainder branch
This section establishes a further classificatory criterion, to deal with a problem that would otherwise arise.
If $\mathbb{H}$ is something "after $L_2$", and the level of rules (§ 8.4) is also something "after $L_2$", then the paper has two competing successor candidates while the prediction of § 13.2 speaks of only one.
Criterion: distinguish branches by their source.
- Cost branch: obtained by paying away a signature. $\mathbb{H}$ and $\mathbb{O}$ belong here. They are not a treatment of any remainder of this layer; they are what is bought by relinquishing one of this layer's structural constraints.
- Remainder branch: obtained by treating a remainder of this layer. The exponential direction (§ 7.5) and the level of rules (§ 8.4) belong here.
The two have different sources and therefore do not compete for the same position. $L_3$ arrives along the remainder branch; Cayley–Dickson departs along the cost branch. They do not lie on one lineage, and the problem of "two successor candidates" does not arise.
This criterion and the articulation of the first class of remainder in § 8.2 support each other. § 8.2 articulates that $i$ is a substrate-external remainder pressed out by an interrogation internal to $L_1$ and therefore forces a crossing of levels, whereas $\mathbb{C}$ is algebraically closed and no interrogation internal to $L_2$ presses $\mathbb{H}$ out. In the language of this section: $L_2$ has no forced cost branch, only a cost branch that may be applied.
〔Kind: an SAE T3 classificatory proposal, not a classical mathematical conclusion〕
10.4 Revision of an upstream candidate classification
Paper 1 § 5.1 lists the members of the Cayley–Dickson sequence as candidates for the articulation of $L_2$. This paper reclassifies them as candidates for a lateral trajectory.
It should be said that this is not merely the payment of the open question of Paper 1 § 11.8 but the revision of an upstream candidate classification. The first is answering a question already posed; the second is changing a classification already made. The paper registers it as the second (§ 11.1, second upstream registration).
Direct response to Paper 1 § 11.8: the alternative closures do not support the same $\omega_\rho^{(2)}$ — the signature differs, and the types of the six components differ with it. But "does not support the same one" is not "does not support any defect system": slice-regular theory has its own structure, and what its defect apparatus is has not been studied here and is not prejudged.
11. Cross-Paper and Cross-Series Relations
11.1 Four upstream treatments applied to Paper 1
This paper applies four upstream treatments to Paper 1: three refinements or charitable reconstructions, and one revision of a candidate classification. By the discipline of this series, a refinement is written out and never made silently; and each must state what changes and what does not.
| # | Paper 1 as articulated | Treatment here | Location | Kind |
|---|---|---|---|---|
| 1 | § 5.2: the identification of $\pm\infty$ is forced by topology | one-point compactification is the canonical closure chosen in the meromorphic and conformal context; the cost of that choice is directional resolution, falling due at the irregular boundary | § 4.3, § 8.1 | refinement |
| 2 | § 5.1, § 11.8: the members of the Cayley–Dickson sequence are listed as candidates for the articulation of $L_2$ | reclassified as candidates for a lateral trajectory; and § 11.8 is answered: the alternative closures do not support the same $\omega_\rho^{(2)}$ | § 10.4 | revision of a candidate classification |
| 3 | § 5.3: Euler's formula is best understood as a closure instantiation and not the full closure of $L_2$ | precise content: it is the closure equation of the transition, not of the layer; and separately a substrate–mode superposition placement | § 8.3 | refinement |
| 4 | Appendix B.5: $G_\infty$ as the order and type of an entire function with Phragmén–Lindelöf | Newton–Turrittin data supply a candidate comparison interface for it; identity not proved | § 7.3 | charitable reconstruction |
First: the identification itself is unchanged — $\pm\infty$ are indeed merged into $\hat\infty$; what changes is the modality of that identification (forced → chosen within a context) and the visibility of its cost.
Second: this is not merely the payment of a question already posed but the changing of a classification already made. It is registered as the latter.
Third: Paper 1's judgment in that sentence is unchanged — Euler's formula is indeed not the complete closure of $L_2$; what changes is that an account is now given of what it is.
The fourth must be marked specially as a charitable reconstruction. What Paper 1 attached to $G_\infty$ when it wrote the symbol was a scalar asymptotic invariant; to say that the notation anticipated a group and that this paper completes it is this paper's reconstruction and not Paper 1's original intent. The paper retains the symbol $G_\infty$ and its original object, and introduces $\mathrm{Slope}_\infty$ and $G_{\mathrm{diff,loc}}$ separately (§ 2.5), rather than putting a new object under an old symbol.
Beyond these, the paper discharges part of the composition-law debt left by Paper 1 § 11.1 (§ 9), registering the unpaid part explicitly as an outstanding debt (§ 13.1); and § 6.3 supplies the concrete form of the $L_2$ exchange law established in Paper 1 § 4.5, namely the residue theorem and the argument principle.
11.2 Relation to Paper 2
Paper 2 establishes that $L_1$ is not a single foundational level but a product of dimension and path, and establishes the anti-essentialization discipline.
The $L_2$ of this paper is likewise one trajectory, not the only $L_2$. That discipline is executed concretely at three places here:
- the title does not say "the complexification layer $L_2$" — complexification is one articulation of $L_2$, not the definition of $L_2$;
- the registration consequence of § 5.4 is not written as a structural exclusion — within the current trajectory the paper adopts the internal-product reading and the transition reading is no longer its primary registration, but the paper passes no judgment on the standing of the transition reading in other trajectories;
- the conclusion of § 10.2 is narrowed — only that $\mathbb{H}$ does not share the signature and defect system of this paper's trajectory, and not that it is expelled from $L_2$ as a whole.
On Paper 2's three closure paths: this paper follows the complete precisification path (Paper 2's English renders this complete exactification). The effective-Cauchy articulation mode is a mode on another path; its placement is given in § 11.3.
11.3 Relation to Paper 3
Format inherited: four Main Steps each containing four inner steps, following Paper 3's articulation format.
But the registration class of Main Step 4 differs — by the three-way classification established in Paper 3 § 1.3 and § 6.1, Main Step 4 is a meta-level closure whose sub-articulation is a remainder ledger structure and does not follow the four-step fractal pattern. This paper follows that registration and carries it in the layout asymmetry of Main Step 4 spanning § 6, § 7, and § 8 (§ 2.1).
The distinction between substrate and articulation mode: inherited from Paper 3 § 2 and lifted to $L_2$ (§ 2.1). The paper further articulates that this distinction undergoes a change of type between the two layers — carrier migration (§ 6.1).
The three classes of the remainder ledger: inherited from Paper 3 § 6 and rearranged at $L_2$ (§ 8.2). Of these the first class, substrate-external, stands differently in the two layers: $i$ was pressed out by an interrogation internal to $L_1$, while $\mathbb{H}$ has no corresponding source.
Sub-fractal depth asymmetry: Paper 3 § 5.3 articulates that the multiplicative path of $L_1$ is one degree deeper than the additive path; § 5.6 here articulates that $L_2$ reproduces the same asymmetry at the same cell, while what lies at the depth differs between the layers.
The third nesting rule under stress test: Physics Paper 1 establishes that the sub-step's d product is the parent layer's remainder. The $L_2$ of this paper satisfies it — the exponential direction produced by the final stage of Main Step 4 (boundary-sector, § 7) is exactly the closure remainder of the whole layer (§ 7.5). The satisfaction is automatic; nothing was arranged for it.
Use of the first nesting rule: the second level issues no new signature, sharing the first level's. The paper uses it at § 10.1.
The placement of the effective-Cauchy articulation mode
Paper 3 § 6.4 registers the effective-Cauchy articulation mode as a post-$L_1$ analytic-completion branch, and explicitly does not presuppose whether it functions as a sub-articulation within the $L_2$ main trajectory, as an $L_{1\to 2}$ bridge, or as a side-branch parallel to the complexification trajectory; that adjudication was left to subsequent layer papers. This paper is such a paper.
The material assembled here (§ 8.2):
First, a comparison of capture ranges. The effective-Cauchy mode uses algorithmic approximability as its criterion and captures the computable reals, while $\mathcal{P} \cap \mathbb{R}$ is strictly contained in the computable reals. It therefore captures strictly more on the real axis than the period core of $L_2$.
Second, the type of the criteria. The three criteria — finite algebraic constraint, algebraic integral representation, algorithmic approximability — are none of them a special case of another.
Third, the remainders they respond to differ. Complexification responds to the substrate-external remainder $i$ of $L_1$ (§ 3.2); the effective-Cauchy mode responds to the completeness remainder of $L_1$ — the finite algebraic mode does not articulate the convergence of Cauchy sequences.
The adjudication: relative to this paper's complexification trajectory, the effective-Cauchy articulation mode is registered as a parallel side-branch responding to a different remainder of $L_1$. The reasons follow.
- It is not a sub-articulation internal to the ordinary-period capture mode studied here: were it so, its capture range would be contained in $\mathcal{P} \cap \mathbb{R}$, whereas it captures strictly more on the real axis. Note that this excludes only its falling within that capture mode, and does not exclude its falling within some other $L_2$ sub-articulation — the paper states repeatedly that $\mathcal{P}$ is an evaluation core and does not exhaust $L_2$ (§ 2.6, second item), so one may not infer from "more than the core" to "not within any $L_2$".
- It is not a necessary bridge for the complexification route constructed here: the $L_1 \to L_2$ route articulated in § 3 through § 5 — mark-without-construct of $i$ → two-dimensionalization → covering — does not pass through it. This excludes only its being a necessary bridge for this route, and does not exclude its being a bridge for some other $L_1 \to L_2$ trajectory.
- It is a parallel side-branch: by the criterion of § 10.3, complexification and the effective-Cauchy mode are both remainder branches — both obtained by treating some remainder of $L_1$ — but the remainders they treat differ. They are two responses at the same layer to different remainders, and are therefore parallel and not competing.
On this basis the open question left by Paper 3 § 6.4 is closed here.
The scope of the adjudication must be limited. What the paper adjudicates is the relation between the effective-Cauchy mode and this paper's complexification trajectory, not its position within the whole space of $L_2$ trajectories — the same limit observed for Cayley–Dickson at § 10.2. And the adjudication is an SAE registration, not a mathematical conclusion: the inclusion relations among the three capture ranges are standard results, while adjudicating a branching relation among articulation modes from those inclusions is an identification made by this paper within the SAE framework.
〔Kind: SAE registration, resting on T2 facts (the inclusion relations among capture ranges) plus the classificatory criterion of § 10.3〕
11.4 Relation to the ZFCρ line
The question the ZFCρ line raises is that the monolithic $\infty$ of $L_1$ cannot resolve fine ratios.
This paper's treatment falls into two halves with different statuses:
| Half | Location | Status |
|---|---|---|
| Order | § 6.2 | settled by the valuation $\mathrm{ord}_p$. $\hat\infty$ acquires a $\mathbb{Z}$-valued grading; the order of $\infty/\infty$ becomes a subtraction of integers |
| Coefficient (fine ratio) | § 7.4 | not settled. The interface is located at the second stratum of the Newton polygon (the leading coefficients of the exponential factors), but is not connected |
Two points to hold:
First, what interfaces with ZFCρ is the valuation, not the divisor — the divisor merely packages the valuations at the several points (§ 6.2). To say that the divisor equips $\infty$ with a scale is to mistake an act of packaging for an act of grading.
Second, an interface located is not an interface connected. The paper gives no explicit map, conserved quantity, or functor between the fine ratio and any coefficient of any characteristic equation. The status of the debt is re-registered from "no interface" to "interface located but not connected", and may not be cited as settled (§ 2.6, sixth item; § 12.1).
Papers on the ZFCρ line citing the present paper should cite the status column of this table, and should not cite it as the debt having been resolved.
11.5 Relation to SAE Physics Foundation v2
11.5.1 What v2 already states
Foundation v2 is a systematic restatement on the physics side, but it contains several statements about the mathematical ladder that bear directly on this paper:
- § 2.1, the parallel-ladder comparison table: the mathematical $L_1 \to L_2$ is dualization closure, with closure equation $e^{i\pi}+1=0$, remainders $i$ and $\pi$, and signature $e$;
- § 7.3: mathematical $e$ is the scalar-level closure signature, mathematical $\pi$ the scalar-level closure remainder, and physical $\hbar$ the operator-level closure signature;
- § 7.2: what mathematical $L_2$ closes is a number field, with a pure-number substrate; what physical $L_2$ closes is conjugate readout, carrying one further level of state dependence;
- § 1.2: the two ladders run parallel, isomorphic in structure and independent in content, assisting each other through cross-ladder ontological correspondence — for example, $i$ arises natively on each ladder, and physics does not borrow the symbol from mathematics.
11.5.2 Three points of agreement
The remainders $i$ and $\pi$: § 8.3 here agrees with v2's assignment. This paper additionally supplies why these two in particular — $i$ is the input to the transition (§ 3), $\pi$ is the first structural product of this layer (the deck cell of § 5.3, the period capture of § 6.4). v2 gives no such reason.
$i$ is native on each ladder: § 3.2 articulates that $i$ is pressed out by $L_1$'s own reverse interrogation, polynomial root-finding, and is the substrate-external remainder of $L_1$. This agrees with v2's position that it is native on each ladder, and supplies a concrete articulation of that nativity from the mathematical side.
The substrate of mathematical $L_2$ is the pure-number level: in agreement with § 2.1 here. But substrate and articulation mode must be kept apart — what v2 speaks of is the substrate ($\mathbb{C}$ closing a number field), whereas the carrier migration of § 6.1 speaks of the capture core of the mode ($\mathcal{P}$ is an evaluation image, not a scalar field). The two do not conflict; a reader taking the two papers together without drawing this distinction would suppose that they had adjudicated the same object in different terms.
11.5.3 Two signature slots
The signature v2 assigns to the mathematical $L_1 \to L_2$ is $e$; the articulative unit Paper 1 § 4.5 assigns to $L_2$'s exchange law is $2\pi i$. This paper establishes: these are two different slots, not two candidates for one slot.
| Slot | Content | What it signs | Location |
|---|---|---|---|
| Transition signature | $e$ | the crossing itself: binding the two remainders in $e^{i\pi}+1=0$ | § 8.3 |
| Within-layer articulative unit of the exchange law | $2\pi i$ | the commutability of two articulation routes within this layer: the residue theorem and the argument principle | § 6.3 |
One structural consequence deserves registration: $e$ is both the transition signature and the numerical witness of this layer's closure remainder (§ 7.5). That is — the item that signs this crossing lies determinately within the exponential period extension, while its membership status in this layer's ordinary period core remains undetermined.
(The wording "the item this layer cannot capture" is deliberately avoided: at the numerical level that would be equivalent to asserting $e \notin \mathcal{P}$, which is undecided. That it lies determinately within the extension is a theorem; that it lies outside the core is a conjecture; the structural tension is carried by the former.)
This double identity is of the same form as the double identity of $2\pi i$ articulated in § 5.5, but runs in a different direction: the double identity of $2\pi i$ is one object at two places within the layer (the deck cell and the normalization of residues); the double identity of $e$ is one object at the transition and within the layer.
Effect on § 10: the Cayley–Dickson criterion of § 10 uses the within-layer articulative unit $2\pi i$, not the transition signature $e$. The criterion is therefore unaffected by v2's assignment of the signature.
11.5.4 This paper's rearrangement of v2's mathematics row
In articulating symplectic structuring, v2 § 4 uses "the mathematical $L_1 \to L_2$ exponential map" as an act type. § 5.3 and § 5.4 here articulate $\exp$ as an internal product of $L_2$ — the covering map produced by Main Step 3 inner step 4 — and therefore restate the cross-level act as complexification (mark-without-construct of $i$, § 3).
Registration: the principal work of Foundation v2 lies on the physics side, and the rows of the mathematical ladder appear there as a parallel comparison rather than as specialist articulation. The present paper, as the $L_2$ specialist paper of the mathematics series, rearranges that row within the jurisdiction of the mathematics series. It is recommended that the rearrangement be absorbed into Foundation v3.
The paper takes the modality of explicit revision, not that of a compatibility reading. That is: Paper 4 revises the placement of the act type in the mathematics row of Foundation v2, reclassifying $\exp$ from a cross-level act type to an internal product of $L_2$. The revision affects no argument on the physics side of Foundation v2, and it is recommended that Foundation v3 absorb it.
The reading not taken — that v2 speaks of a closure relation at coarse resolution while this paper speaks of the address of generation, so that the two are compatible — would indeed let both texts stand, but it is a reinterpretation made by this paper on v2's behalf, and v2's own text draws no such distinction. By the discipline of this series, reinterpreting upstream on its behalf is less transparent than revising explicitly.
11.5.5 The vocabularies are not unified, and this is deliberate
v2 § 6.3 assigns the closure of mathematical $L_2$ a pair of terms: the bare-readout form ($e^{i\pi}+1=0$) and the invariant form ($e^{ix} = \cos x + i\sin x$, along with the Cauchy–Riemann equations, the spectral theorem, and so on).
This paper does not adopt that pair, and uses the mathematics series' own vocabulary instead: placement, transition closure equation, superposition placement.
The reason comes from v2 itself: v2 § 6.4 explicitly confines the universality of the double-articulation pattern to the articulation scope of the physical-quantity ladder, and does not extend it in advance into a universal theorem over all possible ladders; and § 1.2 establishes that the two ladders are independent in content. Articulating the mathematical ladder by the mathematics series' own organization is therefore following v2's limitation rather than departing from it.
But a comparison must be given, or a reader taking the two together will suppose them to be two unrelated descriptions:
| v2 (physical-quantity ladder vocabulary) | This paper (mathematics series vocabulary) | Same object? |
|---|---|---|
| bare-readout form $e^{i\pi}+1=0$ | transition closure equation (§ 8.3) | yes |
| invariant form $e^{ix} = \cos x + i\sin x$ | the identification of a substrate-level classical construction with a mode-level product (§ 5.5) | yes |
| — | superposition placement (§ 8.3) | a third predicate added by this paper |
One convergence deserves registration: § 5.5 here derives the structural standing of $\cos\theta + i\sin\theta = e^{i\theta}$ from the equality of a substrate-level classical construction with a mode-level product (the covering map of inner step 4 restricted to the imaginary axis); v2 § 6.3 independently assigns the same object to the invariant form. Two routes point to one place. The convergence is not repetition but mutual corroboration — this paper arrives from the internal structure of the articulation process, v2 from a cross-ladder formal comparison.
11.5.6 What is not welded
$\hbar = h/2\pi$ and $[\hat x, \hat p] = i\hbar$ both contain $2\pi$ and $i$, and are formally close to the $2\pi i$ of mathematical $L_2$. This is a tempting weld.
This paper does not weld.
v2 § 7.3 has already given the reason why $\hbar$ is not a copy of mathematical $e$ or $\pi$: mathematics is scalar-level closure, physics is operator-level closure, and the latter carries one further level of state dependence than the former. This paper accepts that distinction and welds no further.
The reason: welding would require an argument of cross-ladder ontological correspondence. v2 § 1.2 supplies such an argument for $i$ alone — $i$ as a universal feature of closure structure arising natively on each ladder — and supplies none for $2\pi$. This paper does not supply one on its behalf.
〔Registered as a T3 interface, § 12.1〕
11.5.7 Mathematical $L_2 \to L_3$
v2 § 2.1 assigns the mathematical $L_2 \to L_3$ to diagonalization, with signature $\Omega_U$. This paper does not treat that row (§ 12.2, jurisdiction).
One item is registered as pending: whether the migration prediction of § 13.2 is compatible with that assignment is work for Paper 5 ($L_3$). This paper claims neither compatibility nor incompatibility.
12. Claim Tiers, Jurisdiction, Falsifiability, and Prediction Discipline
12.1 The three-tier table
By the three tiers established in Physics Paper 1 — T2 lockable, T3 open, and not to be drawn as a conclusion of this paper — the tiers of the paper's principal statements are as follows.
| Statement | Tier | Ground / location |
|---|---|---|
| $\mathsf{Int}_{\rm alg} \hookrightarrow \mathsf{Int}_{\exp}$ | definitional T2 | the definitions of the ordinary and exponential period expression classes; § 7.1 |
| regular connections extend to connections admitting irregular singularities | theorem-level T2 | Levelt–Turrittin and related formal classification; § 7.1 |
| all slopes zero $\Leftrightarrow$ regular singularity | T2 | standard slope theory; § 7.2, first stratum |
| slopes are the degrees of the determining polynomials | T2 | as above |
| type of growth depends on $\lvert a_s\rvert$, not on slopes | T2 | § 7.2, second stratum |
| candidate Stokes directions depend on the leading coefficient and argument of the difference $q_\alpha - q_\beta$, not on slopes | T2 | § 7.2, second stratum |
| Stokes multipliers are analytic moduli beyond formal classification | T2 | Hukuhara–Turrittin; § 7.2, third stratum |
| the four chains of § 9.2 | T2 | each is a classical result; § 9.4, attribution declaration |
| $\overline{\mathbb{Q}} \subset \mathcal{P}$; $\mathcal{P}$ is countable; a computable non-period real exists | T2 | standard results and Yoshinaga; § 8.2 |
| $e \in \mathcal{P}^e$ | T2 | definition and computation; § 7.5 |
| the alignment "regular $\leftrightarrow \mathcal{P}$, irregular $\leftrightarrow \mathcal{P}^e$" | T2-conditional | a research-level correspondence on the exponential-motives line; § 7.1 |
| $e \in \mathcal{P}$ | T3 | open conjecture; serves as candidate strictness witness |
| decidability of the general period-expression identity problem | T3 | open; § 8.4 |
| the comparison interface between $G_\infty$ and $\mathrm{Slope}_\infty$ | T3 | candidate interface, identity not proved; § 7.3 |
| carrier migration | SAE registration | § 6.1 |
| $\mathcal{P}$ as the principal capture range of $L_2$ | SAE registration | § 6.4; exhaustion not claimed |
| the asymmetry of Main Step 3's reverse interrogation | SAE registration (resting on T2 facts) | § 5.4 |
| the cost-branch / remainder-branch criterion | an SAE T3 classificatory proposal | § 10.3 |
| the migration prediction for $L_3$ | T3 programmatic prediction | § 13.2 |
| the ZFCρ monolithic-$\infty$ debt is settled | not to be drawn as a conclusion of this paper | only the order half is settled; § 6.2, § 7.4 |
| $\mathbb{H}$ is expelled from $L_2$ as a whole | not to be drawn as a conclusion of this paper | § 10.2 |
| this paper derives complex analysis | not to be drawn as a conclusion of this paper | § 2.6, first item |
| this paper proves or refutes $e \notin \mathcal{P}$ | not to be drawn as a conclusion of this paper | § 2.6, third item |
| the union of all mathematical tools fails to exhaust the substrate | not to be drawn as a conclusion of this paper | § 8.2, jurisdiction statement |
12.2 Jurisdiction statement
Within jurisdiction: the capture range and remainder ledger of the $L_2$ articulation mode; the sub-articulation of the four Main Steps and their registration classes; the types of the six components of $\omega_\rho^{(2)}$ and the interfaces that exist among them; and the relations of the foregoing to Paper 1, Paper 2, Paper 3, and Foundation v1.
Outside jurisdiction: attribution and priority for specific results in the arithmetic of periods; attribution for the technical theorems of complex analysis; the full composition law for $\omega_\rho^{(2)}$ (§ 9.3, § 13.1); the trajectory of $L_3$ (§ 1.3); drawing the boundary of what counts as a "mathematical tool" (§ 8.2); a mathematical placement coordinate system (§ 13.3); the defect structure of quaternionic analysis itself (§ 10.4).
12.3 Falsifiability: a two-way registration
Counterfactual one: should $e$ be proved to be a period ($e \in \mathcal{P}$), the only items requiring structural rewriting are the witness role of $e$ in § 7.5 and its classification in the ledger of § 8.2; the statements of fact throughout the paper recording that proposition as unknown or open (the abstract, § 1.3, § 2.6 third item, the three-tier table of § 12.1, and so on) require mechanical synchronization. The load-bearing structure does not move: the two extensions of § 7.1, the three strata of § 7.2, the core structural statement of § 5.4, and the two tables and four chains of § 9.
This item holds on the premise that the paper's load has been moved off the constant $e$ and onto $\exp$ and the extension of expression classes (§ 7.1). Were the load still pressing on $e \notin \mathcal{P}$, the counterfactual would not hold — what then required change would include the whole articulation of remainder.
Counterfactual two: should "$e \notin \mathcal{P}$" be proved independent of some formal system $F$, what requires updating is the proof-theoretic status of that proposition in $F$ (the second of the three coordinates of § 2.4). That update does not automatically settle the algorithmic status of the general period-expression identity problem, and does not change the object type of the number $e$ — independence is a property of propositions, not of objects (§ 8.4, first prohibition against layer-mixing). The $L_2$/$L_3$ separation of columns is therefore unaffected.
Why the second must be registered alongside the first. In a paper that makes an anti-immunization declaration, a falsifiability section registering only counterfactuals harmless to itself turns that declaration into decoration. The drafting history of this item is recorded in Appendix A, "Version and Review Provenance Record".
12.4 Anti-immunization declaration
Following Paper 1 Appendix A.8.5: one may not routinely reclassify every counter-example as merely an update opportunity — that would convert the schema into an immunization clause and destroy its falsifiability.
The paper has two places where this discipline must be executed.
First, the long-standing failure to refute $e \notin \mathcal{P}$ is recorded as consistency only, not as support. That the proposition has not been refuted since Kontsevich and Zagier posed it is a fact consistent with the framework here; but it does not constitute evidence in support of the framework. The argument that "had it been a period, a representation would have been found by now" is a plausibility argument, belongs in the ontological-boundary column (§ 7.5), and does not enter the load.
Second, the debt on the composition law is registered as a debt and not converted into a finding. That the full composition law has not been given is not by itself any support for the framework — it is a debt, registered as an outstanding debt per § 9.3.
In particular, that debt may not be restated as an identification on the ground that the encapsulation is meta-level in character (§ 8.4): the properties of an object and whether this paper supplies it are two different matters.
The paper has two records of executing this discipline during drafting, one of them a self-correction; see Appendix A, "Version and Review Provenance Record". The credibility of an anti-immunization discipline depends on its being executed inside the paper as well, and not only invoked when judging others; the record is therefore not omitted, only placed elsewhere than in this section.
12.5 Prediction discipline
This series issues predictions. Predictions may be wrong. When falsified, they are conceded.
This stance and the anti-immunization declaration of § 12.4 are two sides of one thing: the cost of not being immune is that one may be wrong; and refusing to issue predictions is itself a form of immunity — a framework that never makes a testable statement is equally beyond refutation.
Paper 1 set the precedent: it writes out that the exchange-law pattern is a non-trivial cross-layer prediction of the schema, and lists the outcome of testing it layer by layer.
> 〔Revised in v2〕 Version 1 continued: "The prediction of § 13.2 here is registered in the same way: the prediction is stated, an operationalized falsification condition is given, and the known counter-candidates are identified." The premise of that sentence has lapsed — the falsification condition of § 13.2 is withdrawn (its adjudicative reading is empty), and the first row of the counter-candidate table is withdrawn with it. § 13.2 is now registered as a T3 explanatory proposal without an operationalized falsification condition. > > Also: Paper 1's own exchange-law prediction has been reduced in its v2 — after the two-ladder split, only three items remain on the mathematical side, the third undetermined, and the three are the construction set rather than a test set. The "precedent" invoked here must therefore be read together with that reduction.
Chronological credential. This paper is published before the $L_3$ paper. The version-level DOI of this signed-off version, together with its archive page and public record, constitutes a third-party verifiable credential of public priority: it establishes that § 13.2 entered the public record before the $L_3$ paper was published. It does not establish the order of drafting in the author's private workspace, and it does not constitute an independent test of the prediction.
Citation and version discipline: the version-level DOI of this signed-off version should be cited, and not the concept DOI, whose target moves with each new version. Should this paper later be modified on account of the $L_3$ paper, the modification should be published as a new version and should not overwrite the present one; the present version carries the public priority of § 13.2.
An author-supplied date is deliberately not made load-bearing here: a self-supplied date is a self-declaration and can establish nothing to an outside reader; were the load placed on it, the prediction discipline would rest on self-report, forming a double standard with the load discipline this paper observes for $e \notin \mathcal{P}$ (§ 7.1). What bears the load is the publication record itself, not any statement of this paper.
But two limits must be registered at the same time, and neither has anything to do with chronology, so neither is lifted by publishing first.
First, the subsequent $L_3$ paper does not constitute an independent test of § 13.2. A sequel written by the same author within the same framework is not a test of the prediction, whatever it turns out to say. An independent test must come from mathematics outside. This limit is unaffected by the downgrade.
> 〔Revised in v2〕 Version 1 continued: "Under the operationalized condition given in § 13.2, what can actually trigger falsification is an extension of objects that is conservative over consequences in the old language, and the instance now registered is the conservative class-theoretic extension; large cardinal extensions and forcing extensions remain legitimate objects of stress testing, but under the present falsification condition they do not constitute a path to falsification." > > That passage is withdrawn in full: (i) a conservative object extension cannot adjudicate any sentence undecidable in the old language (§ 13.2 (a)); (ii) once the closure target is made precise, the condition is empty for every effectively axiomatized extension, conservative or not (§ 13.2 (b)). The two-column division into "can trigger" and "cannot trigger" therefore does not stand. Large cardinal and forcing extensions remain legitimate objects of stress testing — that clause is retained, but no longer set against a "path to falsification".
Second, the paper may therefore claim that the prediction is prior, and may not claim that the prediction has been tested. The difference is not small: the first is warranted by the publication record, the second requires a tester independent of this framework. Should a subsequent $L_3$ paper agree with the prediction, this paper may not on that basis claim the prediction confirmed.
> 〔Revised in v2〕 Version 1 closed: "The testability of § 13.2 is accordingly carried mainly by its operationalized falsification condition; the publication record only guarantees that it is a prediction and not a backfill, and does not guarantee that it has been tested." > > The bearer named in the first half has lapsed: that condition is withdrawn, § 13.2 now has no operationalized falsification condition, and its testability accordingly has no bearer at present. The second half stands: the publication record only guarantees that it is a proposal and not a backfill.
One case not previously provided for must therefore be added 〔addition〕.
Version 1 writes: this series issues predictions; predictions may be wrong; when falsified, they are conceded. But what has occurred here is not falsification — the prediction was not overturned by any counterexample; its falsification condition was found to be empty. That case is unprovided for. Proposed addition:
> If the falsification condition of a prediction is subsequently shown to be structurally unsatisfiable, that condition lapses, and the prediction must be downgraded to an explanatory proposal or rebuilt; it may not be retained on the ground that it has not yet been falsified.
The reason: a discipline that provides only for "own up when wrong" is silent in the face of "the condition could never have been triggered" — and the latter is the more concealed form of immunisation. The addition therefore strengthens this section rather than weakening it.
The word "structurally" has a theorem behind it: by § 13.2 (b), once the closure target is made precise as $C_T^\vdash=C_{\mathbb{N}}^\vDash$, the condition is empty for every effectively axiomatized extension. This is not a combinatorial observation but a direct consequence of the obstruction-to-full-closure theorem.
The state of execution after revision: the anti-immunization discipline of § 12.4 is now carried in this section by three things — (i) the prediction is downgraded rather than quietly retained; (ii) the grounds and course of the downgrade are registered item by item (the v2 revision of § 13.2); (iii) the addition above brings the case of "an empty condition" within the discipline. It is no longer carried by "§ 13.2 has an operationalized falsification condition".
13. Open Problems and the Subsequent Trajectory
13.1 The full composition law for $\omega_\rho^{(2)}$
Status: outstanding debt.
Against the six-component composition law left open by Paper 1 § 11.1, this paper delivers a minimal typed composition skeleton (§ 9.1, § 9.2) and does not deliver a unified categorical encapsulation of the six kinds of data. The obstruction is not a lack of categorical tools but that the six components have not been fully mapped onto Riemann–Hilbert data — chains 3 and 4 of § 9.2 have entered that language while chains 1 and 2 remain in the language of classical complex analysis, and the translation between them is not given here (§ 9.3).
Pushed forward to: the $L_2 \to L_3$ interface paper. The encapsulation is meta-level in character (§ 8.4), and by Paper 1 § 11.4 adequate engagement with categorical structuralism must be handled at both $L_2$ and $L_3$.
13.2 The migration prediction for $L_3$
Prediction: within the complete precisification trajectory selected here, once the enlargement of the object domain is exhausted, the pressure of reverse interrogation passes into the space of representations and rules.
Ground: the asymmetry of § 5.4 ($L_1$ enlarges the scalar substrate; $L_2$, being algebraically closed, turns instead to covering) and the form of the trigger in § 8.4 (the level of values turning into the level of rules). Both display the same direction: when the pressure is blocked on the object side, the mode of release shifts toward representations and rules.
Falsification condition 〔withdrawn in v2; see the end of this section〕:
> If the principal closing act of $L_3$ can be accomplished solely by adding new kinds of object to the language of the theory of objects, without any change to the rules of equivalence, proof, or decidability, then the asymmetric migration from object domain to rule domain proposed here is falsified.
Version 1 held that formulating it this way gives both "enlargement of the object domain" and "release of the pressure" an operable standard of adjudication. That judgement does not stand — the condition never defines what "the principal closing act of $L_3$" refers to, and so describes the extension mechanism in detail while supplying no closure target. See the v2 revision at the end of this section.
Version 1 registered counter-candidates in two columns according to whether they can trigger the falsification condition. The first row of that table is now withdrawn:
| Candidate | v1 verdict | v2 verdict |
|---|---|---|
| conservative class-theoretic extension (e.g. NBG) | can trigger | cannot trigger — see (a) below |
| non-conservative class-theoretic extension (e.g. MK) | no | no (but the reason must change, see (b)) |
| large cardinal extensions | no | no (but the reason must change, see (b)) |
| forcing axioms (MA, PFA, and so on) | no | no (as above) |
From that table version 1 concluded that "there is therefore only one path to falsification, confined to the conservative branch", and that since conservativity is a mathematical property with a standard of adjudication, the falsifiability of the prediction is a concrete and checkable question. Both conclusions are withdrawn.
Paper 1's stress-test list already registers forcing and large cardinal extensions as open candidates; both remain legitimate objects of stress testing, though they are no longer set against a "path to falsification" (see (b)).
The v2 revision of § 13.2
This revision originates in SAE Mathematics Paper 5 (10.5281/zenodo.21538494) § 11.2, in four items.
(a) Withdrawal of the registration that NBG can trigger falsification 〔correction of error〕
Let $S$ conservatively extend $T$ over the old language $L$, and let $G$ be an $L$-sentence with $T\nvdash G$ and $T\nvdash\neg G$. If $S\vdash G$ then $T\vdash G$ by conservativity — a contradiction; similarly for $\neg G$. Hence
> A conservative object extension cannot adjudicate any sentence undecidable in the old language.
The error in the first row of the v1 table lies here: it verified that $S/T$ is conservative and adds a language of classes, but not that $S$ accomplishes the principal closure of $L_3$. These are not the same thing.
(b) Withdrawal of "only one path to falsification", and the emptiness extends further 〔correction of error〕
By (a), the conservative branch is empty. And by Corollary 7.2 of Paper 5 § 7.1, the emptiness extends to all effective extensions, conservative or not:
| Type of extension | Why it does not trigger |
|---|---|
| conservative (NBG-type) | adjudicates no old-language independent sentence, by (a) |
| non-conservative but still effective (large cardinals, forcing axioms) | adjudicates some, but never attains full closure (Corollary 7.2) |
Note that version 1's reasons for the last two rows are also inaccurate: it says large cardinals "necessarily change provability and are therefore incapable of meeting 'without any change to the rules of proof'", which runs together changing provable consequences with changing rules of proof — these belong respectively to axes R3 and R0 of the five listed in (d) below.
But one still may not write "the original condition is empty under every reading": what has been shown is emptiness under the adjudicative reading; the expressive reading is a separate matter.
(c) The standing of the original falsification condition 〔substantive revision〕
The original condition does not define the closure target. It describes the extension mechanism in detail (what may be added, what may not be touched) while never saying what "the principal closing act of $L_3$" refers to.
Paper 5 makes the closure target precise as the equality of the syntactic consequence closure with the semantic consequence closure over the standard model, $C_T^\vdash=C_{\mathbb{N}}^\vDash$. What results is not a new falsification condition but two theorems:
- Obstruction to full closure: there is no effectively axiomatized theory $T$ with $C_T^\vdash=C_{\mathbb{N}}^\vDash$ (soundness is not a hypothesis);
- Threshold for partial closure: if an effective, $\Gamma$-sound and $\Gamma$-complete theory exists then $\mathrm{True}_\Gamma$ is c.e.; the threshold breaks between $\Sigma_1$ and $\Sigma_2$ along $\Sigma$ and is already in force at $\Pi_1$ along $\Pi$, with no middle ground.
These theorems do not establish the migration prediction of this section. They cut along the axis effective / non-effective, whereas the migration prediction cuts along object / rule — two different axes. Indeed $\mathrm{Th}(\mathbb{N})$ attains full closure while being no effective rule system, and it need not be described as "migration into rules" either: it simply places complete semantic truth directly into the axiom set.
(d) The standing of the migration statement 〔substantive revision〕
The tier is unchanged and remains T3 — version 1 already registers it so. What changes is the type of the claim:
$$\text{T3 programmatic prediction (with an operationalized falsification condition)}\ \longrightarrow\ \text{T3 explanatory proposal (without one)}.$$
What happened must be stated accurately: one may not write "the prediction was subsequently proved to be a theorem" — that would conceal a change of object. The accurate registration is a conjunction of three:
$$\text{withdraw the operationalisation of the old prediction}\ +\ \text{add two theorems}\ +\ \text{downgrade the migration reading to a proposal}.$$
One further term must be unpacked 〔clarification〕: "rule" in the original condition covers at least five axes — R0 the logical calculus · R1 language/signature · R2 non-logical axioms · R3 consequences in the old language · R4 algorithmic structure. The original wording "rules of equivalence, proof, or decidability" reads like R0, whereas the two-column table in fact applies R3 (taking conservativity as the criterion). Expressive power of the metalanguage belongs to R1, not R2. Any successor condition must be written as a condition vector and may not use the bare word "rule" again.
What remains of this section after revision: the migration observation itself stands — the asymmetry of § 5.4 and the form of the trigger in § 8.4 are both earned textual facts. What changes is that this section no longer claims the observation to be equipped with an operable falsification condition.
Tier: T3 explanatory proposal (version 1: T3 programmatic prediction; the tier is unchanged, the claim type changes — see (d)). It is not a prediction of any mathematical theorem — the paper predicts no specific theorem to hold or fail, and offers only a typological reading of the mode of release of the pressure.
The paper does not presuppose the trajectory of $L_3$ (§ 1.3). The proposal above concerns the type of the mode of release, not the content of $L_3$; for the latter see Paper 5.
On chronology: this paper is published before the $L_3$ paper, and the version-level DOI and archival record of this signed-off version are the external credential of the public priority of this section — not priority in writing, since a publication record cannot establish the order of drafting in a private workspace. But the paper does not claim the prediction tested on the ground that a subsequent paper agrees with it: a sequel by the same author within the same framework does not constitute an independent test. See § 12.5.
Added in v2: after the downgrade, what is prior must be stated in two parts — the observation has priority (that pressure appears to pass into rule space was indeed published before the $L_3$ paper), while the predictive claim is withdrawn (its operationalisation does not stand). Failing to separate them yields "retain the priority and withdraw the content".
13.3 A mathematical placement coordinate system
Physics Paper 1 establishes the residence criterion: an object resides at the highest root layer among the resources required to articulate it. The mathematical counterpart of that criterion — a mathematical placement coordinate system — is not undertaken here.
The paper uses the vocabulary of placement locally, where needed (the superposition placement of § 8.3), and establishes no systematic coordinate system. A comprehensive placement — where each constant, each theorem, each construction resides — is left to be decided when the series is assembled.
13.4 Other interfaces
The placement of the effective-Cauchy articulation mode: the open question left by Paper 3 § 6.4; material at § 8.2, adjudication at § 11.3.
The logic specialist paper, the aesthetic mathematics specialist paper, and the relational mathematics specialist paper: interfaces unchanged. This paper does not touch those three lines and does not alter the registrations Paper 2 made for them.
The ZFCρ line: the status of the two halves of the debt is given at § 6.2 and § 7.4. The unsettled half, the fine ratio at the level of coefficients, has its interface located at the second stratum of the Newton polygon and not yet connected.
The Foundation line: this paper receives and rearranges the $L_1 \to L_2$ row of the cross-level ledger table of Foundation v1; see § 8.3 and § 11.5.4.
Appendix A · Version and Review Provenance Record
This paper passed through internal review by four seats (Claude, ChatGPT, Gemini, Grok, one seat each), the outline running v1 → v2 → v2.1 redline over three rounds, with the ChatGPT seat returning Major Revision on v1.
What is called review here is a model-assisted internal structural review organized by the author, and is not equivalent to journal peer review.
Two corrections bearing directly on the anti-immunization declaration of § 12.4 are registered here.
First. Outline v1 diagnosed the failure to give a full composition law as an instance of the $L_2 \to L_3$ trigger — that is, it converted a debt into an identification. That treatment forms a double standard with the same discipline this paper executes for $e \notin \mathcal{P}$. It was corrected after review identified it; the debt is now registered as an outstanding debt per § 9.3, with a minimal composition skeleton delivered per § 9.1 and § 9.2 as partial payment.
Second. The falsifiability registration of § 12.3 contained, in its first draft, only the benign counterfactual (should $e$ be proved a period). In a paper that makes an anti-immunization declaration, a falsifiability section registering only counterfactuals harmless to itself turns that declaration into decoration. Further, the second counterfactual first drafted read "the remainder itself becomes an $L_3$ object" — a formulation that would have destroyed the value/rule separation of columns established in § 8.4, because independence is a property of propositions, not of objects. § 12.3 now carries a two-way registration, with the second counterfactual in its corrected form.
Three further load-bearing decisions were downgraded in tier or rearranged during review, each registered at the corresponding place in the body: the capture range was downgraded from "saturates in $\mathcal{P}$" to "the evaluation core of the regular period articulation" (§ 6.1); the bearer of the remainder load was changed from the constant $e$ to the exponential map $\exp$ together with the extension of expression classes (§ 7.1, § 7.5); and the Newton polygon was changed from "the common generator of stage 4" to "the formal organizer", with its relation to the $G_\infty$ of Paper 1 Appendix B.5 downgraded from "placed" to "a candidate comparison interface, identity not proved" (§ 7.2, § 7.3).
What this appendix carries is traceability of provenance, not a warrant that the paper is therefore credible. The internal evidence for the anti-immunization declaration of § 12.4 is the body itself: $e \notin \mathcal{P}$ bears no load (§ 7.1), the composition-law debt is not converted into a finding (§ 9.3), and § 12.3 registers a counterfactual unfavourable to the paper. This appendix only supplements the traceability of the version chain.
References
Periods and transcendence
- M. Kontsevich, D. Zagier, "Periods", in B. Engquist, W. Schmid (eds.), Mathematics Unlimited — 2001 and Beyond, Springer, Berlin, 2001, pp. 771–808. — Definition of the ordinary period ring $\mathcal{P}$; the three rules of additivity, change of variables, and Stokes' formula, together with the period conjecture; exponential periods; the expectation that $e$ and $\gamma$ are not ordinary periods.
- M. Yoshinaga, "Periods and elementary real numbers", arXiv:0805.0349 [math.AG], 2008. — Periods are effectively approximable by elementary rational Cauchy sequences; construction of a computable real that is not a period.
- J. Ayoub, "Une version relative de la conjecture des périodes de Kontsevich–Zagier", Annals of Mathematics 181 (2015), 915–992. — The relative, function-field version of the Kontsevich–Zagier conjecture.
- J. Fresán, "Une introduction aux périodes", arXiv:2210.03407 [math.AG], 2022. — Survey article arising from talks at the Journées X-UPS Périodes et transcendance, École polytechnique. Period theory; the de Rham–Betti pairing.
- J. Ax, "On Schanuel's conjectures", Annals of Mathematics 93 (1971), no. 2, 252–268. — The Ax–Schanuel theorem, the differential and function-field analogue of Schanuel's conjecture.
- Y. André, Une introduction aux motifs (motifs purs, motifs mixtes, périodes), Panoramas et Synthèses 17, Société Mathématique de France, 2004. — Periods and motivic Galois theory; the Grothendieck period conjecture.
- J. Fresán, P. Jossen, Exponential motives, manuscript, available from the first author's homepage. — The motivic framework for exponential periods; rapid decay cohomology and the oriented real blow-up. Not yet published in book form as of this writing.
Irregular singularities, formal classification, and the Stokes phenomenon
- H. L. Turrittin, "Convergent solutions of ordinary linear homogeneous differential equations in the neighborhood of an irregular singular point", Acta Mathematica 93 (1955), 27–66.
- A. H. M. Levelt, "Jordan decomposition for a class of singular differential operators", Arkiv för Matematik 13 (1975), no. 1–2, 1–27. DOI: 10.1007/BF02386195.
> Items 8 and 9, together with the earlier work of M. Hukuhara, are known jointly as the Hukuhara–Levelt–Turrittin theorem: a connection on the formal punctured disc, after a suitable finite ramification, decomposes as a direct sum of elementary connections each carrying a single exponential factor. The theorem-level load of § 7.1 and § 7.2 comes from this. Hukuhara's original papers (Mémoires of the Faculty of Science, Kyushu University, early 1940s) have not been consulted directly; for the statement of the theorem and for the attribution, see item 14 below.
- W. Wasow, Asymptotic Expansions for Ordinary Differential Equations, Interscience, New York, 1965. — Asymptotic expansions at irregular singularities; order and type of growth; Stokes sectors.
- M. Loday-Richaud, "Stokes phenomenon, multisummability and differential Galois groups", Annales de l'Institut Fourier 44 (1994), no. 3, 849–906. — The relation among the Stokes phenomenon, multisummability, and differential Galois groups.
- C. Sabbah, Introduction to Stokes Structures, Lecture Notes in Mathematics 2060, Springer, 2013. — Stokes structures; real oriented blow-up and local systems on the circle of directions.
- K. S. Kedlaya, "Good formal structures for flat meromorphic connections, I–III", 2010–2015. — Higher-dimensional generalization of the Hukuhara–Levelt–Turrittin decomposition; irregularity and turning loci.
Riemann–Hilbert and differential Galois theory
- M. van der Put, M. F. Singer, Galois Theory of Linear Differential Equations, Grundlehren der mathematischen Wissenschaften 328, Springer, Berlin, 2003. — Standard reference for differential Galois theory; Schlesinger density in the regular case; the Ramis density theorem in the irregular case (the subgroup generated by the formal monodromy, the exponential torus, and the Stokes operators is Zariski dense in the local differential Galois group); the formal-level structure $\mathcal{T} \rtimes \overline{\langle\hat\gamma\rangle}^{\rm Zar}$. Chain 4 of § 9.2 comes from this.
- P. P. Boalch, "Geometry and braiding of Stokes data; Fission and wild character varieties", Annals of Mathematics 179 (2014), 301–365. arXiv:1111.6228 [math.AG]. — Wild character varieties; the irregular Riemann–Hilbert correspondence.
- T. Mochizuki, Wild Harmonic Bundles and Wild Pure Twistor D-modules, Astérisque 340, Société Mathématique de France, 2011. arXiv:0803.1344 [math.DG]. — Higher-dimensional theory of irregular connections.
- N. M. Katz, "Nilpotent connections and the monodromy theorem: applications of a result of Turrittin", Publications Mathématiques de l'IHÉS 39 (1970), 175–232.
Quaternionic analysis
- G. Gentili, D. C. Struppa, "A new theory of regular functions of a quaternionic variable", Advances in Mathematics 216 (2007), no. 1, 279–301. DOI: 10.1016/j.aim.2007.05.010. — The founding paper of slice regular function theory: following an idea of Cullen, the restriction of a regular function to each complex slice $\mathbb{C}_J$ is holomorphic. The first half of § 10.2 comes from this.
- G. Gentili, C. Stoppato, D. C. Struppa, Regular functions of a quaternionic variable, Springer Monographs in Mathematics, Springer, Berlin–Heidelberg, 2013; 2nd ed., 2022. — Systematic development of the theory, including the Cauchy kernel and integral formula on the slices. The Cauchy-type structure invoked in § 10.2 is cited from here, not from item 18.
Classical complex analysis
Divisors and the divisor class group, the residue theorem, the argument principle, the de Rham–Betti pairing, monodromy representations, the fundamental theorem of algebra, one-point compactification and the Riemann sphere. The technical content of these results was established by mathematical work of the nineteenth and twentieth centuries and is found in any standard textbook. By § 2.6, first item, this paper cites them and does not claim to derive them.
SAE series
- Han Qin, The Architecture of SAE Mathematics: A Layer Articulation Schema and the Twofold Inexhaustibility of Mathematics and Its Frameworks (Paper 1). DOI: 10.5281/zenodo.20153791
- Han Qin, SAE Mathematics Paper 2: $L_0$ Mathematicality — Inevitability and Multi-Path Realisation. DOI: 10.5281/zenodo.20199082
- Han Qin, Finite Algebraic Articulation of the Quantitative Dimension $L_1$ (Paper 3). DOI: 10.5281/zenodo.20266351
- Han Qin, SAE Foundation v1. DOI: 10.5281/zenodo.19361951 — The cross-level ledger table; this paper receives and rearranges its $L_1 \to L_2$ row (§ 8.3, § 11.5.4).
- Han Qin, SAE Physics Foundation v2. DOI: 10.5281/zenodo.20322460 — The parallel-ladder comparison table; the distinction between operator-level and scalar-level closure (§ 11.5).
- Han Qin, Four-fold Nesting of the Physical-Quantity Ladder and a Placement Coordinate for Particles and Concepts (SAE Physics Paper 1). DOI: 10.5281/zenodo.21227329 — The second-level nesting rules; single-point and superposition placement; ontological boundary and definitional boundary; the three claim tiers.
- Han Qin, Methodology 6: Phase-Transition Windows. DOI: 10.5281/zenodo.19464507
- Han Qin, Methodology 00: Via Rho. DOI: 10.5281/zenodo.19657440