Cohomology of Linear Cycle Sets when the adjoint group is finite abelian

Basic Information

• Paper ID: 2506.12341
• Title: Cohomology of Linear Cycle Sets when the adjoint group is finite abelian
• Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui
• Classification: math.GR (Group Theory)
• Publication Date: October 10, 2025
• Paper Link: https://arxiv.org/abs/2506.12341

Abstract

This paper analyzes the second cohomology group H²_{α,β}(H,I) of linear cycle sets with coefficients in an abelian group I, with particular focus on the finite abelian case where the adjoint operation is commutative. The paper aims to classify extensions of such structures through cohomological methods, develops systematic techniques for constructing explicit 2-cocycles, and validates the theoretical framework through concrete examples.

Research Background and Motivation

1. Problem Background: The study of linear cycle sets originates from set-theoretic solutions to the Yang-Baxter equation (braid equation), which is closely related to important mathematical structures including affine twistors, solvable groups, Bieberbach groups, Artin-Schelter regular rings, and Garside structures.
2. Core Problem: To classify extensions of linear cycle sets H by trivial cycle sets I, one must:
   • Determine mappings α: H×I → I and β: I×H → I satisfying conditions 1.12–1.14
   • For each such pair of mappings, compute the second cohomology group H²_{α,β}(H,I)
3. Research Significance: Linear cycle sets are equivalent to the concept of left brackets and bijective 1-cocycles. Their extension theory is crucial for understanding the structure of solutions to the Yang-Baxter equation.
4. Existing Limitations: Although research on extensions of linear cycle sets exists, explicit descriptions of the cohomology group H²_{α,β}(H,I) when the adjoint group is abelian remain lacking.

Core Contributions

1. Main Theoretical Results: Proves that when the adjoint group of H is a finite abelian group, the cohomology group H²_{α,β}(H,I) is isomorphic to a subquotient of I^{(s+1)n}, where n is the rank of the finite abelian additive group of H and s is the rank of the adjoint group (Theorems 2.33, 2.34).
2. Construction Methods: Develops a systematic recursive method for constructing 2-cocycles, providing explicit construction procedures through Definitions 2.16 and 2.25.
3. Computational Framework: Establishes linear maps T₁, T₂, T₃, and S such that H²_{α,β}(H,I) ≅ (ker T₁ ∩ ker T₂ ∩ ker T₃)/Im S (Corollary 2.35).
4. Application Examples: Provides complete analysis of the trivial linear cycle set case and gives full classification of all extensions for H = Z_{p^η}, I = Z_{p^r}.

Methodology Details

Problem Formulation

Studies the classification problem of extensions of linear cycle sets H by trivial cycle sets I, namely determining extension classes Ext_{α,β}(H;I), where α and β are action mappings satisfying specific conditions.

Theoretical Framework

1. Cohomology Complex Construction

The paper employs a filtered cochain complex (Ĉ**(H,I), B^h, B^v, D), whose second cohomology group H²_{α,β}(H,I) is canonically isomorphic to Ext_{α,β}(H;I).

2. Recursive Construction Method

Definition 2.16: For f₁₁: Y×Z → I, recursively define f₁ᵣ: Y×Zᵣ → I:

f₁,ᵣ₊₁(aⱼ,m) = {
  f₁ᵣ(aⱼ,m)           if m ∈ Zᵣ
  Gᵣ(aⱼ,h,l)         if m = h+l
}

where Gᵣ(aⱼ,h,l) = f₁ᵣ(aⱼ,h) + f₁ᵣ(aⱼ,l) + α(aⱼ·h, aⱼ·l) - aⱼ◦α(h,l)

Definition 2.25: Similarly defines the recursive construction of fᵣ: Yᵣ×H → I.

3. Key Conditions

The existence of 2-cocycles (α,-f) requires satisfaction of:

• Condition 2.20: d_i f₁(aⱼ,eᵢ) + ∑ α(aⱼ·eᵢ, k(aⱼ·eᵢ)) - aⱼ◦γᵢ = 0
• Condition 2.25: F₁(aⱼ,aₖ,eᵢ) = F₁(aₖ,aⱼ,eᵢ)
• Condition 2.26: Complex recursive relations

Technical Innovations

1. Explicit Parametrization: Completely characterizes 2-cocycles using parameters (γₖ) and (fⱼᵢ), establishing linear correspondence relations.
2. Recursive Construction Algorithm: Provides an algorithm for systematically constructing entire 2-cocycles from fundamental data.
3. Computational Framework: Transforms cohomology computation into calculations of kernels and images through linear maps T₁, T₂, T₃.

Experimental Setup

Theoretical Verification

The paper is primarily theoretical work, validating the framework's effectiveness through concrete examples:

1. Trivial Case: Complete analysis when H is a trivial linear cycle set (Section 3)
2. Cyclic p-group Case: Detailed classification for H = Z_{p^η}, I = Z_{p^r} (Section 4)

Specific Examples

• Example 3.5: Case where p is prime and I = Z_p
• Example 3.6: Case where p is prime, η₁,η₂ ≥ 2, and n=2
• Example 3.7: General analysis for n=s=1

Experimental Results

Main Results

Theorems 2.33 and 2.34

Proves that under appropriate conditions, (α,-f) is a 2-cocycle if and only if specific linear conditions are satisfied, and a 2-cocycle is a 2-coboundary if and only if there exist t₁,...,tₙ ∈ I satisfying conditions 2.28.

Corollary 2.35

Establishes the isomorphism:

H²_{α,β}(H,I) ≅ (ker T₁ ∩ ker T₂ ∩ ker T₃)/Im S

Specific Classification Results

For the case H = Z_{p^η}, I = Z_{p^r}, the paper provides complete classification:

1. Case 1: r ≤ η (p odd) or r ≤ min(2,η) (p=2)
   • When k=0: (γ,f₀) ∈ {(z₁,z₂): 0 ≤ z₁,z₂ < p^r}
   • When k≠0: (γ,f₀) ∈ {(p^{r-u-1}z₁,z₂): 0 ≤ z₁,z₂ < p^{u+1}}
2. Case 2: r > η with various subcases, each providing explicit ranges for parameters and action formulas.

Related Work

The paper builds upon the following important works:

1. Rump's theory of linear cycle sets 22,23
2. The authors' previous work on extensions of linear cycle sets 17
3. Related research on Yang-Baxter equation solutions 12,13
4. Classification work on left brackets 2,10,11,21

Conclusions and Discussion

Main Conclusions

1. Completely characterizes the second cohomology group H²_{α,β}(H,I) when the adjoint group is finite abelian
2. Provides a systematic method for constructing all 2-cocycles
3. Establishes a computable framework for extension classification

Limitations

1. Primarily restricted to the finite abelian case
2. Does not address the general non-abelian adjoint group case
3. Computational complexity may be high in certain cases

Future Directions

The paper mentions applying the developed methods to classify specific families of linear cycle sets in subsequent work.

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete theoretical framework spanning from abstract theory to concrete computation
2. Systematic Methodology: The recursive construction method is highly systematic and operational
3. Explicit Results: Provides explicit parametric descriptions and computational formulas
4. Practical Value: Furnishes important tools for the classification of linear cycle sets

Weaknesses

1. Limited Scope: Restricted to cases where the adjoint group is finite abelian
2. Computational Complexity: Computation may be complex in certain cases
3. Limited Examples: Primarily concentrated on cyclic p-group cases

Impact

1. Theoretical Contribution: Provides important cohomological tools for linear cycle set theory
2. Methodological Value: The recursive construction method may be applicable to other algebraic structures
3. Application Prospects: Offers new approaches for classifying set-theoretic solutions to the Yang-Baxter equation

Applicable Scenarios

This method is applicable to:

1. Classification of extensions of linear cycle sets over finitely generated abelian groups
2. Study of set-theoretic solutions to the Yang-Baxter equation
3. Classification problems for left bracket structures

References

The paper cites 25 important references covering core works in linear cycle sets, Yang-Baxter equations, left brackets, and related fields, reflecting the deep theoretical foundation of this research.