Seminormal bases of cyclotomic Hecke-Clifford algebras

Basic Information

• Paper ID: 2502.15170
• Title: Seminormal bases of cyclotomic Hecke-Clifford algebras
• Authors: Shuo Li (Beijing Institute of Technology), Lei Shi (Max-Planck-Institut für Mathematik)
• Classification: math.RT (Representation Theory), math.GR (Group Theory)
• Submission Date: March 31, 2025 (v3)
• Paper Link: https://arxiv.org/abs/2502.15170

Abstract

This paper describes the action of standard generators on certain bases of simple modules of semisimple cyclotomic Hecke-Clifford superalgebras. As applications, we explicitly construct complete sets of primitive idempotents and seminormal bases for these algebras.

Research Background and Motivation

Problem Background

1. Projective Representation Theory of Symmetric Groups: Schur introduced the double cover S̃ₙ when studying projective representations of the symmetric group Sₙ, transforming the study of projective representations into linear representation theory. This led to investigations of the spin symmetric group algebra CS⁻ₙ.
2. Limitations of Existing Theory: While cyclotomic Hecke algebras possess a well-developed "cellular theory," cyclotomic Hecke-Clifford algebras lack corresponding cellular structures due to the absence of "cellular bases."
3. Importance of Seminormal Bases: In EM, HM1, HM2, (graded) cellular bases were constructed for cyclotomic Hecke algebras and type A and C cyclotomic quiver Hecke algebras through semisimple deformations and seminormal bases.

Research Motivation

To provide a "cellular" structure for cyclotomic Hecke-Clifford algebras, it is natural to consider semisimple deformations and construct seminormal bases for cyclotomic Hecke-Clifford algebras. This is the primary motivation of the present work.

Core Contributions

The three main theorems of this paper constitute the core contributions:

1. Theorem 1.1: Constructs an explicit K-basis for simple modules D(λ) and provides explicit action formulas for generators of H^f_c(n) on this basis.
2. Theorem 1.2: Under the separation condition P^•_n(q²,Q) ≠ 0, constructs complete sets of (super)primitive orthogonal idempotents and (super)primitive central idempotents for H^f_c(n).
3. Theorem 1.3: Constructs two types of seminormal bases for blocks Bλ of H^f_c(n) and provides multiplication formulas for basis elements.
4. Generalized Applications: Results apply to general cyclotomic Hecke-Clifford algebras H^f_c(n), Hecke-Clifford algebras H(n), and Sergeev algebras in the degenerate case.

Detailed Methodology

Task Definition

Study the representation theory of semisimple cyclotomic Hecke-Clifford superalgebras H^f_c(n), particularly:

• Construct explicit bases for simple modules
• Determine the action of standard generators
• Construct primitive idempotents
• Establish seminormal basis theory

Theoretical Framework

1. Algebraic Structure

The cyclotomic Hecke-Clifford algebra H^f_c(n) is defined by the following generators and relations:

• Even generators: T₁,...,Tₙ₋₁, X±₁,...,X±ₙ
• Odd generators: C₁,...,Cₙ
• Satisfying specific superalgebra relations

2. Combinatorial Foundations

Depending on the form of polynomial f, different combinatorics arise:

• f = f^(0)_Q: corresponds to P^(0,m)_n = P^m_n (m-multipartitions)
• f = f^(s)_Q: corresponds to P^(s,m)_n (mixed strict partitions and multipartitions)
• f = f^(ss)_Q: corresponds to P^(ss,m)_n (mixed two strict partitions and multipartitions)

3. Separation Condition

The key technical condition P^•_n(q²,Q) ≠ 0 ensures semisimplicity of the algebra, equivalent to the separation property of q-sequences for all λ ∈ P^(•,m)_n and standard tableaux t.

Technical Innovations

1. Explicit Construction of Simple Modules

• Utilize representation theory of the subalgebra Aₙ of the affine Hecke-Clifford algebra Hc(n)
• Construct bases through idempotent decomposition of Clifford algebras Cₙ
• Establish connections between simple modules D(λ), standard tableaux, and Clifford algebra representations

2. Construction of Primitive Idempotents

For T = (t, αₜ, βₜ) ∈ Tri₀(λ), define:

FT = (Cᵅᵗγₜ(Cᵅᵗ)⁻¹) · ∏ᵏ⁼¹ⁿ ∏_{b∈B(k), b≠b₊(rest(k))} (X^{νβₜ(k)}_k - b)/(b₊(rest(k)) - b)

3. Dual Construction of Seminormal Bases

Provides two types of seminormal base constructions:

• "Factorization" construction through fixed w ∈ Std(λ)
• Direct construction through reduced expressions

Experimental Setup

Theoretical Verification

This is a pure theory paper, verified primarily through:

1. Consistency Checks: Verify that constructed idempotents satisfy idempotence and orthogonality
2. Dimension Calculations: Verify that dimensions of constructed bases match theoretical expectations
3. Action Formula Verification: Confirm correctness of generator action formulas

Special Case Verification

• When f = x-1, H^f_c(n) degenerates to Hecke-Clifford algebra H(n)
• When q = 1, corresponds to Sergeev algebra Cₙ ⋊ CSₙ
• Verify correctness of results in these special cases

Experimental Results

Main Theoretical Results

1. Simple Module Structure (Theorem 4.7)

D(λ) possesses a K-basis:

⊔_{t∈Std(λ)} {CᵝᵗCᵅᵗvₜ | βₜ ∈ Z₂([n]\Dₜ), αₜ ∈ Z₂(ODₜ)}

Action formulas for generators:

• Xᵢ · CᵝᵗCᵅᵗvₜ = b^{-νβₜ(i)}_{t,i} CᵝᵗCᵅᵗvₜ
• Detailed action formulas for Cᵢ and Tᵢ

2. Primitive Idempotents (Theorem 4.15)

• {FT | T ∈ Tri₀(P^{•,m}_n)} form a complete set of (super)primitive orthogonal idempotents
• {Fλ | λ ∈ P^{•,m}_n} form a complete set of (super)primitive central idempotents

3. Seminormal Basis Multiplication Formulas

For the case dλ = 0:

f^w_{S,T} f^w_{U,V} = δT,U c^w_T f^w_{S,V}

For the case dλ = 1:

f^w_{S,Ta} f^w_{U,Vb} = δT₀,U (-1)^{|αₜ|>d(t,t^λ)(iₜ)} c^w_T f^w_{S,Va+b}

Application Results

1. Subalgebra Analysis

Constructs and analyzes the following subalgebra chain:

Z(H^f_c(n))₀ ⊂ G^f_n ⊂ P^f_n ⊂ C_{H^f_c(n)}(P^f_n) ⊂ A^f_n ⊂ H^f_c(n)

2. Antiinvolution Action

Computes the action of the antiinvolution * on seminormal bases, providing explicit transformation formulas.

Related Work

Historical Development

1. Schur's Work: Established connections between projective representations of symmetric groups and spin group algebras
2. Nazarov et al.: Developed representation theory of Sergeev algebras
3. Jones-Nazarov: Studied Hecke-Clifford algebras
4. Brundan-Kleshchev: Established theory of cyclotomic Hecke-Clifford algebras

Comparison with Existing Methods

• Advantages: First complete seminormal basis theory for cyclotomic Hecke-Clifford algebras
• Innovation: Explicit construction methods and computational formulas
• Generalization: Unified treatment of non-degenerate and degenerate cases

Conclusions and Discussion

Main Conclusions

1. Successfully constructed seminormal bases for cyclotomic Hecke-Clifford algebras
2. Provided complete sets of primitive idempotents
3. Established connections with Hecke-Clifford algebras and Sergeev algebras
4. Laid foundations for future "cellular basis" theory

Limitations

1. Requires separation condition P^•_n(q²,Q) ≠ 0
2. Only addresses the semisimple case
3. Complete cellular basis theory remains to be developed

Future Directions

1. Develop complete cellular basis theory
2. Study non-semisimple cases
3. Explore connections with quiver Hecke superalgebras
4. Applications to modular branching rules

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete theoretical framework from basic constructions to applications
2. Computational Explicitness: All constructions have explicit formulas and algorithms
3. Unification: Unified treatment of multiple related algebras
4. Technical Innovation: Skillfully combines Clifford algebra and Hecke algebra theory

Weaknesses

1. High Technical Threshold: Requires deep background in algebraic representation theory
2. Computational Complexity: Some formulas are complex, making practical computation difficult
3. Limited Application Scope: Primarily theoretical results with limited practical applications

Impact

1. Theoretical Contribution: Fills the gap in seminormal basis theory for cyclotomic Hecke-Clifford algebras
2. Methodological Value: Techniques can be generalized to other superalgebras
3. Subsequent Research: Provides important tools for cellular basis theory and modular representation theory

Applicable Scenarios

1. Algebraic representation theory research
2. Representation theory of symmetric groups and related groups
3. Quantum groups and categorification theory
4. Symmetric functions in combinatorial mathematics

References

The paper contains 68 references covering important works in algebraic representation theory, Hecke algebras, Clifford algebras, and related fields, demonstrating the depth and breadth of the research.

Overall Assessment: This is a high-quality theoretical paper in algebraic representation theory that fills an important gap in seminormal basis theory for cyclotomic Hecke-Clifford algebras. With deep technical content and complete results, it makes significant contributions to the development of this field.