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.
Single-particle Bloch bundles and band topology — Examples
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Approximation and Compactness in C(K)
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Chain Homotopy and the Homotopy Category
- Chern and Pontryagin Classes by Splitting and Complexification
- Chern–Weil Theory and Characteristic Forms
- Compact Kahler Hodge Foundations
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Coordinate and Path Transport
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Lp Spaces and Test-Function Conventions
- Complex Norms and Realification
- Complexification, Realification and Real Structures
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Connections Levi Civita and Parallel Transport
- 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
- Contour Integration
- Convergence: Nets and Filters
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Covering Spaces and Lifting
- Cup Cap Cross Products and Cohomology Rings
- Cw Complexes and Cellular Homology
- Cyclic Groups and Direct Products
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Derived Functors
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Double Complexes Exact Couples and Convergence
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exactness and the Member Calculus
- Ext and Balanced Resolutions
- Exterior Powers, Orientation and Hodge Duality
- Fibrations Fiber Bundles and Homotopy Exact Sequences
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Higher Homotopy Groups and Cofiber Sequences
- Hilbert Space Geometry and Riesz Representation
- Homology Axioms Degree and Classical Applications
- Homotopy and Homotopy Equivalence
- Hurewicz Whitehead Freudenthal and Cw Approximation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Lebesgue Measure on Euclidean Space
- Leray–Hirsch, the Thom Isomorphism, and Gysin Sequences
- Lie Groups, Invariant Fields, and the Exponential Map
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Local Coefficients, Twisted Homology, and Duality
- Long Exact Sequences in Homology
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Densities and Radon Volume on Manifolds
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Obstruction Theory, Postnikov Towers, and Classifying Spaces
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Orientations Poincare Lefschetz and Alexander Duality
- Orthonormal Bases, Parseval and Fourier Series
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Product Measures and the Fubini Tonelli Theorems
- Projective and Injective Resolutions
- Projector geometry, adiabatic transport and Berry curvature
- Properties of the Integral and the Working FTC
- Qm Math Controlled Dynamics
- Rank Theorems and Embedded Submanifolds
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Relative Homology Excision and Mayer Vietoris
- Riemann Curvature and Riemannian Submanifolds
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sard Theorem and Transversality
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Simplicial Subdivision and Simplicial Approximation
- Sine, Cosine, and the Definition of Pi
- Single-particle Bloch bundles and band topology
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spectral Sequences
- Splitting Fields
- Stiefel Whitney and Euler Classes by Universal Constructions
- Stone–Weierstrass in General
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- The Analytic Hahn Banach Theorem
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- 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 Divergence Theorem and Classical Stokes
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Group
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Group Algebra and Representations of Finite Groups
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Serre Spectral Sequence and Applications
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topological Vector Bundles and Grassmannian Classification
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Uniform Spaces: the Three Definitions
- Universal Coefficients and Kunneth Theorems
- Universal Properties, Representables and the Yoneda Lemma
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Whitney Embedding Tubular Neighbourhoods and Approximation
2 · Summary
The two-band lattice model gives explicit gap-closing parameter values and Chern numbers on each gapped region. Its nonzero-Chern lower band has a smooth periodic projector but no global smooth periodic normalized eigenvector. These are mathematical model calculations under the stated orientation and curvature convention; they are not experimental observations.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
Gap closings and Chern regions in the two-band lattice model
Example
Assume Axiom of Choice and Countable Choice. For , consider the two-orbital finite-range Bloch Hamiltonian
on the oriented torus . Its spectral gap closes exactly when . For each fixed outside this set, the lower and upper band Chern numbers in the convention are
| Parameter range | |||
|---|---|---|---|
Each Chern number is constant on its parameter interval. At the three closing values a separated band projector, and therefore its Chern number, is not defined.
Example references
Facts & Assumptions
Given: Axiom of Choice, Countable Choice, the real parameter , the stated Bloch Hamiltonian, the torus orientation, and the Chern convention in the example.
Axiom of Choice and Countable Choice are the principles in The Axiom of Choice and The Axiom of Countable Choice ().
Two-band Chern number and degree formula gives and for when is nowhere zero.
Regular-value formula for degree computes the degree of a smooth map between closed oriented surfaces by the signed number of preimages of any regular value.
Verification
Given: [A1], [F1], [F2], the Bloch matrix, and the standard orientations on the torus and sphere.
Write . The band energies are , so the gap is and closes exactly if all three components vanish. The first two vanish only when each is or modulo ; the third component at is respectively . Thus a zero exists exactly at . For every other fixed , compactness of the torus and continuity give , so the two bands have a uniform gap. The sine and cosine terms are finite Fourier sums with nearest-neighbor support, hence this is a finite-range Hermitian Bloch matrix.
Fix outside the closing set and let . The preimages of under are exactly the four candidate points above for which the third component is positive. Near such a point, use the oriented coordinates at . The derivative matrix is diagonal with entries and , where ; its determinant is nonzero. Therefore is a regular value, and the local orientation signs at , whenever present, are respectively . By [F2], degree is the sum of the signs for those points with .
If , no candidate has and the sum is . If , only contributes, giving . If , contribute . If , all four contribute . Substitution into [F1] gives every table entry. For any two values in one of the four intervals, the closed segment between them remains in that interval; the joint function is positive on the compact torus times that segment, so it has a positive minimum and supplies a gap-preserving deformation.
A nonzero-Chern band has no global smooth periodic frame
Statement refuted
Every smooth isolated Bloch band on the two-torus admits a global smooth periodic normalized eigenvector.
Statement references
Facts & Assumptions
Given: Axiom of Choice, Countable Choice, the smooth-frame obstruction theorem, and the band in Gap closings and Chern regions in the two-band lattice model.
Axiom of Choice and Countable Choice are the principles in The Axiom of Choice and The Axiom of Countable Choice ().
Gap closings and Chern regions in the two-band lattice model computes at and verifies the uniform gap.
Gapped band curvature and Chern invariance proves that a global periodic orthonormal frame forces the Chern number to be zero.
Counterexample
Given: [A1], [F1], [F2], and the lower band of the stated two-band Hamiltonian at . Its spectral gap is open and its Chern number is .
By [F1], this is a smooth rank-one orthogonal band projector with . Suppose it had a global smooth periodic normalized eigenvector . Since its range is one-dimensional, would be a global orthonormal frame of the line bundle.
Apply [F2] to that frame: it would force , contradicting step 1.1's value . Thus this smooth isolated band has no global smooth periodic normalized eigenvector, refuting the universal statement.