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.
Lie and Hall algebra actions with controlled decategorification — Examples
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Absolute Values Completions and P Adic Numbers
- Adjunctions Units and Counits
- Affine Lie Algebras and Loop Central Extensions
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Artinian Rings and Length
- Balanced Triples and Global Crystal Bases
- Binary Operations, Monoids, Groups and Subgroups
- Bipartite Coxeter Elements and Ordered Root Complexes
- Bounded Linear Operators and Quotient Spaces
- Canonical Roots, Signs, and Faithful Reflections
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Chains, Antichains, Sperner and Dilworth
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Norms and Realification
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Conjugacy in Sₙ, Generation, and the Simplicity of Aₙ
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Coxeter Presentations, Exchange, and Reduced Word Theorems
- Cyclic Groups and Direct Products
- Decomposition Inertia and Frobenius
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divided Powers, Integral Forms, and Quantum Highest Weights
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Euler-Twisted Hall Products, Green Coproducts, and Quantum Groups
- Exactness and the Member Calculus
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finitary Ringel–Hall Algebras
- Finite Counting, Factorials and Binomial Coefficients
- Finite Coxeter Diagrams and Complete Classification
- Finite Fields and Cyclotomic Extensions
- Finite Reflection Length and Orthogonal Moved Spaces
- Finite Weyl Invariants, Bruhat Order, and Kostant Harmonics
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Free Groups and Presentations
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Graded Bimodules and Tensor Functors
- Graphs, Walks and Connectivity
- Grothendieck Groups and Graded Cartan Pairings
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harish Chandra Isomorphism Casimir and Central Characters
- Hilbert Space Geometry and Riesz Representation
- Hopf, Hecke, Quantum-Group, and Braid Interfaces
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integrable Highest Weight Kac Moody Modules
- Integral Extensions and Going Up
- Kac Moody Algebras from Generalized Cartan Matrices
- Kashiwara Operators and Crystal Lattices
- KLR Algebras, Induction, and Quantum-Serre Categorification
- Lie Algebra Representations, Enveloping Algebras, and PBW
- Lie and Hall algebra actions with controlled decategorification
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Localisation of Modules and Support
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Modular Representations and Projective Covers
- Modules over a Principal Ideal Domain and the Canonical Forms
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Noether Normalisation and Nullstellensatz
- Noetherian Rings and Hilbert Basis
- Noncrossing Partition Lattices and Kreweras Complements
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Partitions of Unity and Paracompactness
- Periodic finite dynamics, quasienergy and controlled truncation
- Permutation Statistics, Inversions and Eulerian Numbers
- pi: the Equivalent Characterizations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Prime Spectra and Radicals
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Products Segre and Veronese Embeddings and Grassmannians
- Projective Algebraic Sets Projective Morphisms and Cones
- Properties of the Integral and the Working FTC
- Quantized Enveloping Algebras and Quantum Serre Relations
- Rational Yang–Baxter transfer matrices and Heisenberg charges
- Real Forms and Reflection Geometry
- Rees Modules Artin Rees and Hilbert Samuel Theory
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Splitting Fields
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tensor and Fusion Categories
- Tensor Coherence and Algebraic Descent
- Tensor Products of Modules
- The Burau Representations
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Diagram Lemmas in an Abelian Category
- The Exponential Function
- The Field of Fractions and Localisation
- The Fundamental Theorem of Finite Abelian Groups
- The Galois Correspondence
- The Riemann Integral: Definition and Integrability
- The ZFC Axioms and the Basic Set Constructions
- Tits Cones, Chambers, and Parabolic Stabilizers
- Topological Spaces and Continuity
- Topology of ℝ
- Tor Flatness and Global Dimension
- Trees, Forests and Spanning Trees
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Universal Properties, Representables and the Yoneda Lemma
- Valuation Rings and Discrete Valuation Rings
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Yoneda Extensions and Homological Dimension
2 · Summary
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
Equal representation structure need not fix energy
Statement refuted
Fix with its tensor-product inner product and its diagonal representation from the spin convention, together with the rank-one Hall data at and the type- KLR negative-half Grothendieck isomorphism over . Let where is the adjoint for the stated inner product. For an endomorphism of , set , convergent in operator norm, and let denote the basis-independent trace on endomorphisms of . For and , define its partition trace by The claim that the fixed algebraic data uniquely determine the spectrum and partition trace of every member of means that any have the same eigenvalues counted with algebraic multiplicity and satisfy This uniqueness claim is false. If the endomorphisms are interpreted as energies, has inverse-energy units.
Statement references
Facts & Assumptions
Given: Use the Hall definition at , so , and the one-vertex type- KLR datum over (its off-diagonal family is empty). Let with the diagonal action from the spin definition, and let . Choose an energy and ; then is dimensionless, and has inverse-energy units if is interpreted as an energy.
Adopt the Axiom of Choice (The Axiom of Choice) inherited through the Hall/KLR supplier chain; the finite-dimensional witness uses no additional choice.
Spin weight spaces and rank-one Hall realization: has basis and the global spin generators are the sums of over the two tensor factors. At its one-vertex Hall composition algebra is identified with by . This Hall identification assigns no endomorphism of .
Exchange preserves total Lie spin: for , the swap commutes with all three generators of the diagonal action.
KLR grading gives integral multiplicity bookkeeping: for the stated type- datum over , the canonical KLR Grothendieck isomorphism identifies the divided-power negative half with the graded projective Grothendieck algebra; it assigns no Hamiltonian to .
Finite-dimensional matrix exponential: for every finite complex matrix , converges in operator norm.
The basis-independent trace of an endomorphism of a finite-dimensional vector space: for a finite-dimensional endomorphism, the trace is the matrix trace in any chosen basis and is independent of the basis.
Counterexample
In the ordered tensor basis, define , , , and . These four vectors are pairwise orthonormal by the tensor-product inner product, and they span the four-dimensional space. The swap fixes the first three and sends to , so the same space decomposes into the symmetric eigenspace of dimension three and the antisymmetric eigenspace of dimension one. The swap is an involutive permutation of an orthonormal basis, so . By [F2], it commutes with for every ; hence both eigenspaces are invariant under the action.
Let and . Both are self-adjoint because is real and , and both belong to : the zero map commutes with every endomorphism and [F2] gives the required commutation for . The spectrum of is with multiplicity four; that of is with multiplicity three and with multiplicity one. Therefore, by [F4] and [F5],
Since , the second trace is , which differs from . Hence the same spin representation decomposition admits distinct symmetry-preserving spectra and Gibbs traces.
The Hall data in [F1] and the KLR Grothendieck isomorphism in [F3] are fixed for both and ; neither specifies a selected endomorphism of . Since both operators lie in the quantified class but have different spectra and different partition traces, they refute the stated uniqueness claim.
Remarks
The example is an exact finite-dimensional counterexample. It does not use experimental evidence or identify the Hall or KLR categories with a tensor-product categorification of the spin space.