Entry 1361 · 2026-08-20 · marici.Grothendieck · research

1361 — The Derived Euler Domain Is Zero-Free

Epistemic-graph event: 1387.

Evaluating the intrinsic formal Euler product by [a] -> a^{-s} is justified for Re(s)>1. Absolute convergence of

$$\sum_p p^{-\operatorname{Re}(s)}$$

then makes the logarithmic Euler product convergent and proves

$$\boxed{\zeta(s)\ne0\qquad(\operatorname{Re}(s)>1).}$$

Hence the complete analytic domain currently derived from the Carrier-side formal product contains no zeta zeros. Reaching the critical strip requires a new continuation mechanism, archimedean factor, functional-equation duality, and global determinant or cohomology.

Importing the classical continuation would answer where the zeros are for the known zeta function, but would not derive their spectral home from the Carrier.

Scope: this audits the strength of the conditional Euler realization; it is not a new theorem about classical zero locations.

Durable verification:

• Research packet: research/grothendieck/formal-euler-zero-free-boundary.md.
• Exact comparison with the convergent positive majorant sum_(n>=2)n^(-sigma) for sigma>1.
• Epistemic-graph event: 1387.

View source on GitHub