we-solve (beta)

Phys-41-A1 · revision r1 · on Phys-41

OpenAI claim summary for Phys-41

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status at unsolvedmath.com: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

The strong-locality result assumes simple unitary strong rationality. The problem statement asks locality for every unitary VOA without that rationality hypothesis. This entry records partial support; complete coverage of the question is not established by this catalogue.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. AQFT Locality of Unitary Vertex Operator Algebras
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Result 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

AQFT Locality of Unitary Vertex Operator Algebras

OpenAI's claim

OpenAI presents a mathematical result relevant to this question in the selected manuscript. Simple strongly rational unitary VOAs are claimed to generate completely rational nets, with unitary modules and a braided unitary equivalence to finite-index sectors.

Mathematical statement of the claimed result

Result 1.
Take a vertex operator algebra $V$ over $\mathbb C$; require simplicity, unitarity and strong rationality. Then the source claims polynomial energy bounds and strong locality of the smeared fields, producing an irreducible conformal net $A_V$. It also asserts complete unitarity of $V$, strong integrability for unitary grading-restricted finite-length modules, and complete rationality of $A_V$. With invariant positive Hermitian forms on simple modules, the representation categories are claimed to obey \[ \operatorname{Rep}(V)\simeq\operatorname{Rep}^{u}(V) \xrightarrow{F_{\mathrm{CWX}}^{V}}\operatorname{Rep}^{f}(A_V), \] a braided unitary tensor equivalence. The net category uses Connes fusion and DHR braiding with matching circle orientation. Strong rationality here includes simplicity, CFT type, self-contragredience, rationality, and $C_2$-cofiniteness; the source does not extend this theorem to every unitary VOA.

Outline of the argument

Energy bounds establish strong locality of the generating fields. Annular charged-field estimates integrate modules, positive fusion forms give unitary tensor structure, and rationality identifies net sectors; the cited extension theorems then relate local net extensions to conformal VOA extensions.

Formal verification

For family 280, the documented entry establishes energy bounds, strong locality, and an irreducible conformal-net construction. Complete rationality, unitary module classification, tensor equivalence, and extension classification are omitted. The listed Comparator files are VertexAlgebraNet.lean. The inventory does not supply a named declaration for these Comparator entries. This site has not executed the Lean code. The scope descriptions do not certify the remaining manuscript arguments.

Status caveat

OpenAI attributes these manuscripts to work by an internal model. Its release cautions that arguments without formalization can contain mistakes. This catalogue has not independently checked the proofs; the labels report the mathematical claims attributed to OpenAI.

Sources