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.
A rank-one Hecke algebra with a perfect symmetrizing form and degenerate regular trace
Statement refuted
A finite-dimensional Hecke algebra over a characteristic-zero field is semisimple whenever it admits a nondegenerate symmetrizing trace pairing.
Facts & Assumptions
Given: The rank-one Coxeter group , coefficient field , parameter , and the specialized normalized Hecke algebra .
The normalized quadratic relation is (Universal parameters, the generic Coxeter Hecke algebra and generator conjugacy).
For every commutative specialization, the elements form a basis (The standard basis of the generic Hecke algebra and base change).
The regular-trace Gram matrix has entries and its determinant is the regular-trace determinant (Finite Hecke specialization and its regular-trace determinant).
A simple left module is nonzero and has no proper nonzero submodule (Simple module: a nonzero module with no proper nonzero submodule).
A semisimple module is an internal direct sum of simple submodules (Semisimple modules as direct sums of simple modules).
Counterexample
Given: The data above and the regular left action of on itself.
Since , the defining polynomial is , and the standard basis is by [F2]. Expanding the relation gives .
Let . The basis implies , while the defining polynomial gives . For any simple left -module , is a submodule because is commutative. If , simplicity [F4] gives , and applying again yields , a contradiction. Thus annihilates every simple module.
In the basis , the columns of are and , so . Hence the regular-trace Gram matrix is . Its determinant is , so the regular-trace pairing is degenerate and the regular-trace determinant vanishes.
Define and . From , for and one obtains . Its Gram matrix in is , so the pairing is nondegenerate and perfect.
If the regular module were semisimple, it would be a direct sum of simple submodules by [F5], each annihilated by by step 1.2; then would annihilate all of . But . Therefore is not semisimple, despite the perfect symmetrizing pairing in step 2.2. This refutes the statement.
Depends on
- Algebras over a commutative ring, central structure maps, and algebra homomorphisms
- Field
- Finite Hecke specialization and its regular-trace determinant
- Universal parameters, the generic Coxeter Hecke algebra and generator conjugacy
- Semisimple modules as direct sums of simple modules
- Simple module: a nonzero module with no proper nonzero submodule
- The basis-independent trace of an endomorphism of a finite-dimensional vector space
- The standard basis of the generic Hecke algebra and base change
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
31 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
- Maarten Solleveld, Affine Hecke Algebras and Their Representations (standard reference, not scraped)
- Meinolf Geck, Modular Representations of Hecke Algebras, EPFL course notes (standard reference, not scraped)