Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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 supermodules and representations

Definition

Let g be a complex Lie superalgebra. A left g-supermodule is a complex vector space with grading V=V0ˉ⊕V1ˉ and a complex-bilinear action g×V→V, denoted (x,v)↦x⋅v, such that giˉ⋅Vjˉ⊆Vi+j‾ and, for homogeneous x,y∈g, [x,y]⋅v=x⋅(y⋅v)−(−1)∣x∣∣y∣y⋅(x⋅v)(v∈V). A parity-preserving homomorphism of supermodules is a complex-linear map T:V→W preserving the two graded summands and satisfying T(x⋅v)=x⋅T(v). A representation is the same action data written as an even linear map ρ:g→End⁡(V), where an endomorphism has parity i when it maps Vjˉ to Vi+j‾; composition gives the supercommutator from Associative superalgebra over the complex numbers.

No finite-dimensionality, complete reducibility, topology, or unitarity is part of this definition.

Depends on

Used by

Dependency tree · two levels

4 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