Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passverified 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.

C2-cofinite analytic sewing convergence and pseudo-sewing applications

Statement

Let V be a C2-cofinite conformal vertex algebra of CFT type over C. For every proper analytic family of compact pointed Riemann surfaces over a complex manifold B with N≥1 incoming sections and R≥1 disjoint paired coordinate neighborhoods, assume every component of each fiber before sewing meets an incoming or paired section and every component of every smooth sewn fiber meets an incoming section. Give the incoming points a grading-restricted generalized joint V⊗N-module W, and give the plus sewing points a grading-restricted generalized joint V⊗R-module M and the minus sewing points its restricted contragredient M′, formed from the finite joint generalized-weight duals with the stated opposite-field action. The coordinate disks have positive radii rj,ρj.

Fix a holomorphic family conformal block ψ:W⊗M⊗M′→O(B) on the unsewn family: this means a C-linear map whose evaluation at each b∈B annihilates every global residue action on that fiber. For joint weight bases eλ,α of M with dual bases eλ,α∨ in M′, the formal sewing tensor and series are

Ωq=∑λ,α(∏j=1ReℓjLj(0))eλ,α⊗eλ,α∨,Sψ(w)(b,q)=ψb(w⊗Ωq),eℓj=qj.

Here Lj(0) is the conformal operator of the jth joint action, and on a joint generalized-weight block the exponential means eℓjλj∑k≥0ℓjk(Lj(0)−λjI)k/k!, a finite nilpotent sum. For 0<∣qj∣<rjρj, with the logarithms fixed on the universal cover, Sψ(w) converges absolutely and locally uniformly on compact subsets of the base and punctured sewing-parameter cover for every w∈W, and defines a holomorphic conformal block of the sewn smooth family.

For one sewing pair, fix also a holomorphic unsewn family conformal block ϕ:W⊗M′⊗M→O(B), with the two paired labels enumerated in that order, and the following additional data: a grading-restricted generalized V-module M with finite-dimensional EndV(M), a unital subalgebra A⊆EndV(M)op over which M and the finite-dimensional lower truncations used in the series are projective, a symmetric functional ω:A→C satisfying ω(ab)=ω(ba), and A-linearity of every finite-block map Tλ,μ;b,w:M[μ]→M[λ] defined by

⟨mλ∨,Tλ,μ;b,wmμ⟩=ϕb(w⊗mλ∨⊗mμ).

Then the pseudo-sewing series Sϕω(w)=∑λTrω(qL(0)∣M[λ]Tλ,λ;b,w) has the same absolute locally uniform convergence and sewn-block conclusion. Here Trω is the finite-projective pseudo-trace, applied after extending a diagonal block map by zero to a projective lower truncation containing it, as in the pseudo-sewing supplier. These block maps need not assemble to an algebraic endomorphism of M. No rationality or self-duality assumption is added in either conclusion.

Facts & Assumptions

Given: The C2-cofinite CFT-type VOA, the proper analytic family with its marked-coordinate data, incoming and sewing modules, the holomorphic unsewn family block ψ, nonzero plumbing parameters with fixed branches, and, for the pseudo-sewing conclusion, the holomorphic unsewn family block ϕ and additional projective-trace data listed in the Statement. Both family blocks use the residue-annihilator convention of F3.

[F1]

Analytic convergence of Segal sewing for C2-cofinite VOA blocks: the ordinary Segal sewing series converges absolutely and locally uniformly on compact subsets of the universal cover and yields a conformal block; its full local proof is supplied by the ordinary sewing theorem.

[F2]

Convergence of higher-genus pseudo-sewing: for one sewing pair, if dim⁡CEndV(M)<∞, A⊆EndV(M)op is unital, M and the finite-dimensional lower truncations used by the series are projective right A-modules, ω:A→C is symmetric, and every finite-block coefficient map Tλ,μ;b,w:M[μ]→M[λ] is A-linear, then pseudo-sewing converges. The block maps need not define an algebraic endomorphism of M. Its trace-compatible convergence is proved by an actual two-pair ordinary sewing on the finite-support A-linear endomorphism joint module. The projectivity, symmetry and blockwise A-linearity assumptions remain exactly those stated.

[F3]

VOA conformal block and dual fusion product: the conformal-block space is the algebraic dual of the quotient by global VOA residue actions.

Proof

1.1givenF1F3

The specified ψ is a holomorphic family block on W⊗M⊗M′ by its residue-annihilation condition. Its tensor Ωq is exactly F1's generalized-weight coevaluation, because each exponential expands as the stated finite nilpotent polynomial on a joint weight block. The family, paired modules, component hypotheses, radii and logarithm lifts therefore meet all hypotheses of F1. Applying it to this ψ proves the ordinary convergence and holomorphic sewn-block conclusion for every w∈W.

1.2givenF2F3

For one sewing pair, the specified ϕ supplies F2's holomorphic unsewn family block, with its paired factors ordered M′,M. The displayed pairing defines its finite-block maps uniquely by finite-dimensional duality. The stated projectivity of the lower truncations, symmetry of ω, and A-linearity are precisely F2's remaining trace hypotheses. Thus F2 applies to this ϕ and gives the asserted convergence and holomorphic sewn-block property of Sϕω(w).

2.1givenF1F2F3step 1.1step 1.2∎

The two convergent functionals are conformal blocks of the same sewn smooth family by [F1] and [F2]. They are separate outputs with their own stated inputs; neither identifies pseudo-trace with ordinary trace or replaces the nonsemisimple module coend by a simple-object sum.

Proof status

Both analytic suppliers now have local proofs. Ordinary convergence uses the actual nodal positive-pole lifting and finite logarithmic Euler system; pseudo-sewing uses the finite-projective cyclic trace and two-pair sphere plumbing reduction. The deductions above therefore establish the stated combined conclusion. No fixed-surface sewing inverse, coend factorization or modular-functor assertion follows from convergence alone.

Depends on

Dependency tree · 2 levels

Sources