Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-11-05 (gpt-6.1-sol)
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 k be a field, let (Γ,ν) be an additive abelian group with a homomorphism ν:Γ→R, and let Λν,k be the universal Novikov completion with its convolution multiplication as defined by the earlier completion and filtered-ring items. Write v for its Novikov valuation and FcΛν,k={a:v(a)≥c}. For a set P, define the completed free module R=⨁^p∈PΛν,kϑp:={(ap)p∈P:ap∈Λν,k, #{p:v(ap)<C}<∞ for every C∈R}, with filtration FcR={(ap):ap∈FcΛν,k for every p}. Thus every r∈R has a unique coefficient expansion r=∑p∈Papϑp, and each coefficient map r↦ap is continuous. This separated module is complete: a Cauchy sequence has a limit in each coefficient because Λν,k is complete, and for any cutoff C its limit has only finitely many coefficients of valuation below C, by applying the Cauchy condition at a larger cutoff. Assume that R is equipped with a continuous associative Λν,k-bilinear multiplication and a specified unit ϑ0 for a chosen index 0∈P. These algebra and multiplication data are inputs; this definition does not construct them.

For r=∑p∈Papϑp with ap∈Λν,k, define its trace coefficient by tr⁡R(r)=a0. For W∈R, the classical formal period is πW(s)=∑m≥0tr⁡R(Wm)sm∈Λν,k⟦s⟧, where s is a formal period variable distinct from the curve-class monomials in Λν,k. For the Laurent algebra R=k[x1±1,…,xn±1] with basis xm, unit 1=x0, and coefficient ring k, this trace is the Laurent constant-term operator CT⁡x and πW(s)=∑m≥0CT⁡x(Wm)sm.

The unmarked specialization πW(1):=∑m≥0tr⁡R(Wm) is defined only when this sum converges coefficientwise in the declared completion; a sufficient condition is that the multiplication satisfies FaR⋅FbR⊆Fa+bR for all a,b∈R and that W∈FϵR for some ϵ>0. Indeed Wm∈FmϵR, 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 m=0 term is the trace of the unit and equals 1.

An oscillatory period requires a smooth complex n-fold Z, a holomorphic function W:Z→C, a holomorphic n-form Ω, a nonzero parameter z∈C∗, and a specified locally finite integral chain Γ=∑αnασα of oriented piecewise-C1 singular n-simplices in the underlying real manifold of Z. If Γ is noncompact, choose a compact exhaustion (Kj)j≥1 of Z and require that for every R>0 there is jR such that supp⁡(Γ)∖KjR⊆{p∈Z:Re⁡(W(p)/z)>R}; 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 ∑α∣nα∣∫σα∣e−W/zΩ∣<∞. When the integral converges absolutely, its normalization here is ΠW,Γ(z)=(2πi)−n∫Γe−W/zΩ. 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.

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 s to 1; its coefficientwise convergence must be checked for the chosen potential and completion.

Depends on

Dependency tree · 2 levels

Sources