How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Intrinsic mirror algebra data and classical period
Definition
Let be a field, let be an additive abelian group with a homomorphism , and let be the universal Novikov completion with its convolution multiplication as defined by the earlier completion and filtered-ring items. Write for its Novikov valuation and . For a set , define the completed free module with filtration . Thus every has a unique coefficient expansion , and each coefficient map is continuous. This separated module is complete: a Cauchy sequence has a limit in each coefficient because is complete, and for any cutoff its limit has only finitely many coefficients of valuation below , by applying the Cauchy condition at a larger cutoff. Assume that is equipped with a continuous associative -bilinear multiplication and a specified unit for a chosen index . These algebra and multiplication data are inputs; this definition does not construct them.
For with , define its trace coefficient by . For , the classical formal period is where is a formal period variable distinct from the curve-class monomials in . For the Laurent algebra with basis , unit , and coefficient ring , this trace is the Laurent constant-term operator and .
The unmarked specialization is defined only when this sum converges coefficientwise in the declared completion; a sufficient condition is that the multiplication satisfies for all and that for some . Indeed , so each fixed filtration quotient receives contributions from only finitely many powers. Continuity of multiplication alone does not imply this filtration estimate. Source period conventions that use curve monomials as coefficients require the same local-finiteness check after the stated base change. The term is the trace of the unit and equals .
An oscillatory period requires a smooth complex -fold , a holomorphic function , a holomorphic -form , a nonzero parameter , and a specified locally finite integral chain of oriented piecewise- singular -simplices in the underlying real manifold of . If is noncompact, choose a compact exhaustion of and require that for every there is such that ; the boundary is required to lie in the same rapid-decay end region. Define the integral by summing over the simplices and require absolute convergence, namely . When the integral converges absolutely, its normalization here is If analytic convergence is not established, this notation is used only after a formal completion and coefficient extraction have been specified. No cycle, convergence assertion, or identity with a quantum period is implicit in the data.
Definition references
Remarks
The definition records the algebraic input needed to discuss theta-function periods. It does not assert that a log Calabi–Yau pair admits such an algebra, that a theta potential exists, or that a classical or oscillatory period equals a Gromov–Witten series. In particular, the unmarked specialization cannot be inferred merely by setting the formal variable to ; its coefficientwise convergence must be checked for the chosen potential and completion.