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.
The universal Weyl C*-algebra has nonregular representations
Statement
Assume Countable Choice. Let with its standard symplectic form and fix . The universal Weyl -algebra has a representation in which the Weyl generators are not strongly continuous on real lines. Thus its universal property does not restrict representations to the regular ones. In the construction below, denotes the Hilbert completion of the finite-support functions on with their canonical inner product.
Facts & Assumptions
Given: The symplectic plane, , and the universal Weyl algebra.
The algebraic Weyl symbols obey , , where ; the universal completion extends every unital -representation of these relations (The universal Weyl C*-algebra, The universal Weyl norm is finite and has the C*-completion property).
The finite-support functions on form an inner-product space under , with the coordinate vectors orthonormal. Under Countable Choice its norm completion is a Hilbert space, with these vectors still orthonormal and their span dense (Real and complex inner-product spaces and their induced length, Every metric space has a completion, constructed as the equivalence classes of its Cauchy sequences, The metric completion of a normed space carries a unique compatible Banach-space structure, The norm completion of an inner-product space is a Hilbert space).
Countable Choice is included in the Hilbert and universal completion interfaces (The Axiom of Countable Choice ()).
Proof
Given: The data in the Statement.
On basis vectors of the finite-support subspace of define . Since and is a bijection of , preserves the inner product and maps finite-support vectors to finite-support vectors. It extends to by on Cauchy-sequence classes; the extension is unitary with inverse . The cocycle identity gives Hence on the dense basis span and then everywhere. Also and , so extends linearly to a unital -representation of the twisted finite-support algebra.
By [F1], this unital -representation is contractive for the universal seminorm and extends to a representation of with .
Fix any nonzero . For every real , , while . Since , these are distinct orthonormal basis vectors, and therefore for every . The orbit map is not strongly continuous at zero. This proves that is nonregular although it is a representation of the universal Weyl -algebra.
Boundary cases
- The discontinuity holds for every nonzero and every fixed real .
- This refutes regularity of all representations of the universal completion; it makes no claim that this particular representation is irreducible.
Depends on
- The universal Weyl C*-algebra
- The universal Weyl norm is finite and has the C*-completion property
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Hilbert space
- Real and complex inner-product spaces and their induced length
- Every metric space has a completion, constructed as the equivalence classes of its Cauchy sequences
- The metric completion of a normed space carries a unique compatible Banach-space structure
- The norm completion of an inner-product space is a Hilbert space
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
52 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Christopher J. Fewster and Kasia Rejzner, Algebraic Quantum Field Theory—an introduction, arXiv:1904.04051v2 (standard reference, not scraped)