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 be a C2-cofinite conformal vertex algebra of CFT type over . For every proper analytic family of compact pointed Riemann surfaces over a complex manifold with incoming sections and 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 -module , and give the plus sewing points a grading-restricted generalized joint -module and the minus sewing points its restricted contragredient , formed from the finite joint generalized-weight duals with the stated opposite-field action. The coordinate disks have positive radii .
Fix a holomorphic family conformal block on the unsewn family: this means a -linear map whose evaluation at each annihilates every global residue action on that fiber. For joint weight bases of with dual bases in , the formal sewing tensor and series are
Here is the conformal operator of the th joint action, and on a joint generalized-weight block the exponential means , a finite nilpotent sum. For , with the logarithms fixed on the universal cover, converges absolutely and locally uniformly on compact subsets of the base and punctured sewing-parameter cover for every , and defines a holomorphic conformal block of the sewn smooth family.
For one sewing pair, fix also a holomorphic unsewn family conformal block , with the two paired labels enumerated in that order, and the following additional data: a grading-restricted generalized -module with finite-dimensional , a unital subalgebra over which and the finite-dimensional lower truncations used in the series are projective, a symmetric functional satisfying , and A-linearity of every finite-block map defined by
Then the pseudo-sewing series has the same absolute locally uniform convergence and sewn-block conclusion. Here 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 . No rationality or self-duality assumption is added in either conclusion.
Statement references
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.
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.
Convergence of higher-genus pseudo-sewing: for one sewing pair, if , is unital, and the finite-dimensional lower truncations used by the series are projective right -modules, is symmetric, and every finite-block coefficient map is A-linear, then pseudo-sewing converges. The block maps need not define an algebraic endomorphism of . 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.
VOA conformal block and dual fusion product: the conformal-block space is the algebraic dual of the quotient by global VOA residue actions.
Proof
The specified is a holomorphic family block on by its residue-annihilation condition. Its tensor 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 .
For one sewing pair, the specified supplies F2's holomorphic unsewn family block, with its paired factors ordered . 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 .
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
Analytic convergence of Segal sewing for C2-cofinite VOA blocks
Convergence of higher-genus pseudo-sewing
Proper family from disjoint analytic plumbing
Pointed analytic worldsheet and family
Plumbing family for punctured Riemann surfaces
VOA conformal block and dual fusion product
C2-cofiniteness
Grading-restricted generalized module
Restricted contragredient of a generalized VOA module
Contragredient construction preserves generalized VOA modules
Hattori–Stallings pseudo-trace
Basis independence of the Hattori–Stallings pseudo-trace
The Axiom of Choice