The crossing matrix and the extended first Johnson homomorphism of a braid group

Basic Information

• Paper ID: 2511.20356
• Title: The crossing matrix and the extended first Johnson homomorphism of a braid group
• Authors: Yusuke Kuno (Tsuda University), Yoshiro Yaguchi (Maebashi Institute of Technology)
• Classification: math.GT (Geometric Topology)
• Submission Date: November 25, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2511.20356

Abstract

This paper compares two crossed homomorphisms on braid groups: one defined from a graphical perspective (crossing matrix) and another defined from an algebraic perspective (extended first Johnson homomorphism). The authors prove that these two crossed homomorphisms are essentially equivalent and provide detailed computations of these invariants for simple braids (elements conjugate to standard generators of the braid group or their inverses).

Research Background and Motivation

Research Questions

This paper investigates two important invariants on the braid group $B_m$:

1. Crossing Matrix $C: B_m \to \text{Mat}^0_m$: Introduced by Burillo et al., defined by computing the signed number of crossings of the $i$-th strand over the $j$-th strand in a braid diagram
2. Extended First Johnson Homomorphism $\tau^{\theta}_1: B_m \to \text{Hom}(H, \wedge^2 H)$: Introduced by Kawazumi from a cohomological perspective, defined based on Magnus expansion

Significance of the Problem

1. Core Problem in Braid Theory: Braid groups are fundamental objects in knot theory, low-dimensional topology, and group theory; understanding their invariants is crucial for the entire field
2. Practical Value of Crossing Matrices: Determining the image of the crossing matrix on subsets of braid groups is an important problem; for example, the characterization of crossing matrices for positive pure braids (Burillo et al.'s conjecture) remains partially unsolved
3. Algebraic-Geometric Correspondence: Establishing connections between graphical and algebraic definitions deepens understanding of braid group structure
4. Applications to Hurwitz Action: Computing invariants of simple braids is important for classification problems of surface braids

Limitations of Existing Methods

• The crossing matrix, though intuitive, lacks deep algebraic theoretical support
• Johnson homomorphism theory, though powerful, lacks explicit computations for specific braid elements
• The relationship between the two methods had not been clearly established
• Systematic computational formulas for crossing matrices of simple braids were lacking

Research Motivation

The authors aim to:

1. Establish explicit relationships between the two crossed homomorphisms
2. Provide computable formulas for simple braids
3. Lay foundations for future applications (such as Hurwitz equivalence problems and surface braid invariants)

Core Contributions

1. Establishing Equivalence (Theorem 4.2): Proves the existence of an injection $\delta: \text{Mat}^0_m \to \text{Hom}(H, \wedge^2 H)$ such that $\tau^{\theta}_1 = \delta \circ C$, showing that the two crossed homomorphisms carry essentially the same information
2. Computational Formulas for Simple Braids (Theorem 5.2): Provides explicit formulas for crossing matrices of simple braids, expressed in terms of cohomological invariants of cords
3. Theoretical Framework: Introduces "diving combinational information" $f_i(\beta)$, providing a unified computational tool
4. Completeness Results (Propositions 5.1 and 5.4): Proves that the map from cohomology classes to simple braid invariants is bijective, providing complete classification of simple braids

Detailed Methods

Task Definition

Input: An element $\beta$ of the braid group $B_m$ (with particular focus on simple braids)

Output:

• Crossing matrix $C(\beta) \in \text{Mat}^0_m$ (an $m \times m$ integer matrix with zero diagonal)
• Extended first Johnson homomorphism $\tau^{\theta}_1(\beta) \in \text{Hom}(H, \wedge^2 H)$

Constraints: Both maps are crossed homomorphisms satisfying $c(g_1g_2) = c(g_1) + g_1 \cdot c(g_2)$

Theoretical Architecture

1. Crossing Matrix Theory

For a braid $\beta \in B_m$, its crossing matrix $C(\beta) = (\alpha_{ij})$ is defined as:

• $\alpha_{ij}$ = algebraic number of crossings of the $i$-th strand over the $j$-th strand
• Positive crossings count as +1, negative crossings as -1
• Diagonal elements $\alpha_{ii} = 0$

Key Property (Lemma 2.1): $C(\beta_1\beta_2) = C(\beta_1) + |\beta_1|(C(\beta_2))$ where $|\beta|: B_m \to S_m$ is the natural projection to the symmetric group.

Diving Combinational Information: Define $f_i(\beta) = \sum_{k=1}^m \alpha_{ki}X_k \in H$, representing the algebraic count of passages of the $i$-th strand under other strands.

2. Extended First Johnson Homomorphism

Based on the standard Magnus expansion $\theta: F_m \to \hat{T}$ (complete tensor algebra):

• $\theta(e) = 1$
• $\theta(xy) = \theta(x)\theta(y)$
• $\theta(x_i) = 1 + X_i$

For $\phi \in \text{Aut}(F_m)$, define: $\tau^{\theta}_1(\phi)(X) = \theta_2(x) - |\phi|^{\otimes 2}(\theta_2(\phi^{-1}(x)))$

where $\theta_2$ is the quadratic part of the Magnus expansion.

Key Lemma (Lemma 3.1): For any $x, y \in F_m$, $\theta_2(y^{-1}xy) = \theta_2(x) + ([x] \otimes [y] - [y] \otimes [x])$

3. Artin Representation

The braid group embeds into the automorphism group of a free group via the Artin representation: $\Phi: B_m \hookrightarrow \text{Aut}(F_m)$

The action of standard generators $\sigma_i$:

• $x_i \mapsto x_{i+1}$
• $x_{i+1} \mapsto x_{i+1}^{-1}x_i x_{i+1}$
• $x_k \mapsto x_k$ (for $k \neq i, i+1$)

Proof Strategy for Main Theorems

Proof of Theorem 4.2

Construction of the map $\delta: \text{Mat}^0_m \to \text{Hom}(H, \wedge^2 H)$: $\delta(M)(X_i) := X_i \wedge f_i(M)$

Verification Strategy:

1. Prove that $\delta$ is injective and $S_m$-equivariant
2. Verify the equality on standard generators $\sigma_i$
3. Extend to all of $B_m$ using the fact that both sides are crossed homomorphisms

Key Computation (Proposition 4.1): $\tau^{\theta}_1(\sigma_i)(X_i) = X_i \wedge X_{i+1}, \quad \tau^{\theta}_1(\sigma_i)(X_k) = 0 \text{ (if } k \neq i)$

Since $f_i(\sigma_i) = X_{i+1}$, we have $\delta(C(\sigma_i))(X_i) = X_i \wedge X_{i+1}$, verifying the equality.

Proof of Theorem 5.2 (Formula for Simple Braids)

Geometric Construction: For a simple braid $\beta \in SB^{(ij)}_m$, there exists an $(i,j)$-cord $\gamma_\beta$ such that $\beta$ corresponds to a half-twist around $\gamma_\beta$.

Cohomological Invariant: Define $[\tilde{\gamma}_\beta] = [\alpha_i \cdot \gamma_\beta \cdot \alpha_j^{-1}] \in H_1(D_{i,j})$

Formula (for positive simple braids):

• $f_i(\beta) = [\tilde{\gamma}_\beta] + X_j$
• $f_j(\beta) = -[\tilde{\gamma}_\beta]$
• For $k \neq i,j$: $f_k(\beta) = ([\tilde{\gamma}_\beta] \cdot \zeta_k - \mathbb{1}_{i<k<j})(X_i - X_j)$

where $\zeta_k$ is a specific relative cohomology class, and $[\tilde{\gamma}_\beta] \cdot \zeta_k$ is the intersection pairing.

Proof Strategy:

1. Arrange the cord $\gamma$ in a standard position
2. Construct a geometric braid representing $\beta$, analyzing three time intervals
3. Count crossings in each interval, using intersection pairing theory
4. Prove that contributions from different intervals either cancel or accumulate

Experimental Setup

This is a pure mathematics theoretical paper with no numerical experiments. All results are obtained through rigorous mathematical proofs.

Example Computations

The paper provides concrete examples (Figure 2): $\beta = \sigma_2^{-1}\sigma_1^2\sigma_2^3\sigma_1^{-1}\sigma_2 \in B_3$$C(\beta) = \begin{pmatrix} 0 & -1 & 1 \\ 0 & 0 & 1 \\ 2 & 1 & 0 \end{pmatrix}$

Another example (Figure 5): $\beta = \sigma_1 * (\sigma_2\sigma_3^{-1}\sigma_4^{-2}\sigma_1^{-2}) \in SB_5^+$ with the cord's cohomology class $[\tilde{\gamma}_\beta] = 2X_2 - X_5$

Experimental Results

Main Theoretical Results

Theorem 4.2: For all $\beta \in B_m$ and $i \in \{1,\ldots,m\}$, $\tau^{\theta}_1(\beta)(X_i) = X_i \wedge f_i(\beta)$

This establishes complete equivalence between graphical and algebraic invariants.

Theorem 5.2: Provides complete computational formulas for simple braids, expressing the crossing matrix as a function of cohomological invariants of cords.

Proposition 5.1: The map $v: SB_m \to \tilde{H} \times \{\pm 1\}$ is surjective, proving that any cohomology class can be realized by some simple braid.

Proposition 5.4: The map $\mu: H_{i,j} \times \{\varepsilon\} \to \tilde{\tau}^{\theta}_1(SB^{(ij)\varepsilon}_m)$ is bijective, providing complete classification of simple braids.

Corollaries and Applications

Corollary 5.3: For simple braids $\beta, \beta' \in SB^{(ij)}_m$, $[\tilde{\gamma}_\beta] = [\tilde{\gamma}_{\beta'}] \iff \tau^{\theta}_1(\beta) = \tau^{\theta}_1(\beta')$

This shows that the cohomology class of the cord completely determines the Johnson homomorphism of the simple braid.

Theoretical Findings

1. Unification: Two seemingly different braid group invariants actually encode the same information
2. Computability: Invariants of simple braids can be explicitly computed through cohomological calculations
3. Completeness: Bijective correspondence exists between cohomology classes and simple braid invariants
4. Structural Insight: The algebraic structure of crossing matrices can be understood through exterior algebra

Related Work

Crossing Matrix Research

Burillo-Gutierrez-Krstić-Nitecki (2002):

• First systematic study of crossing matrices
• Complete characterization of the image $C(B_m)$
• Proposed conjecture on crossing matrices of positive pure braids

Subsequent Progress:

• For $m \leq 3$: Conjecture proved (Burillo et al., 2002)
• For $m \leq 6$: Conjecture proved (Shimizu-Yaguchi 2025, Ozawa-Shimizu-Yaguchi)
• For $m \geq 7$: Remains open

Special Subsets (Remark 2.4):

• Pure braid group: $C(P_m)$ = symmetric matrices
• Permutation braids: Complete characterization (using Thurston normal form)

Johnson Homomorphism Theory

Morita (1993): Extended Johnson homomorphism from Torelli groups to mapping class groups

Kawazumi (2005, 2008):

• Introduced extended Johnson homomorphism based on Magnus expansion
• Studied twisted cohomology of braid groups
• Defined higher-order Johnson homomorphisms $\{\tau^{\theta}_k\}_{k \geq 1}$

Other Approaches:

• Kitano (1996): Study of mapping class group subgroups via Magnus expansion
• Perron (2004): Homomorphism extensions via Fox calculus

Simple Braids and Surface Braids

Kamada (2002): Development of four-dimensional knot theory and braid theory; role of simple braids in surface braid classification

Kamada-Matsumoto (2005): Study of cord representations on punctured planes

Dehornoy (2015): Extension of Hurwitz action to non-lattice structures

Advantages of This Paper

1. First Explicit Connection: Clearly links graphical and algebraic methods
2. Explicit Formulas: Provides computable formulas for simple braids
3. Theoretical Deepening: Reveals deep algebraic structure of crossing matrices
4. Application Potential: Provides new tools for Hurwitz equivalence and surface braid research

Conclusions and Discussion

Main Conclusions

1. Equivalence Theorem: The crossing matrix $C$ and extended first Johnson homomorphism $\tau^{\theta}_1$ are related through an injection $\delta$, carrying essentially the same information
2. Computational Theorem: Crossing matrices of simple braids can be explicitly expressed using cohomological invariants of their corresponding cords
3. Classification Result: Bijective correspondence exists between simple braid invariants and cohomology classes
4. Unified Framework: Diving combinational information $f_i$ provides a unified tool for computation and understanding

Limitations

1. Scope Restriction: Main results focus on simple braids; computations for general braids still require recursive use of crossed homomorphism properties
2. Higher-Order Generalization Incomplete: Theorem 4.2 only addresses the first Johnson homomorphism; graphical descriptions of higher-order homomorphisms $\tau^{\theta}_2, \tau^{\theta}_3, \ldots$ remain unestablished
3. Positive Pure Braid Conjecture: Does not resolve Burillo et al.'s conjecture on crossing matrices of positive pure braids (for $m \geq 7$)
4. Computational Complexity: While theoretical formulas are provided, practical computation for complex braids may remain difficult
5. Hurwitz Applications Underdeveloped: The paper mentions applications to Hurwitz equivalence problems, but specific algorithms and results are left for future work

Future Directions

Directions Explicitly Proposed by Authors:

1. Higher-Order Generalization: Extend the equality $\tau^{\theta}_1 = \delta \circ C$ to graphical descriptions of higher-order Johnson homomorphisms
2. Applications to Hurwitz Action:
   • Use Theorem 5.2 to study Hurwitz equivalence of simple braids
   • Develop invariants for surface braids
   • Solve classification problems for $n$-fold surface braids with $m$ branch points

Potential Research Directions:

3. Positive Pure Braid Conjecture: Use algebraic structure of Johnson homomorphism to tackle the $m \geq 7$ case
4. Algorithm Development:
   • Simple braid recognition algorithms based on cohomological computation
   • Practical algorithms for Hurwitz equivalence problems
5. Generalizations to Other Groups:
   • Virtual braid groups
   • Welded braid groups
   • Surface braid groups
6. Connections with Quantum Invariants: Explore relationships between crossing matrices and quantum group representations

In-Depth Evaluation

Strengths

1. Theoretical Depth

• Establishes profound connections between two important invariants
• Rigorous proofs with clear logical structure
• Reveals intrinsic algebraic structure of braid group invariants

2. Novelty

• First explicit connection between graphical and algebraic methods
• Introduces "diving combinational information" as an effective tool
• Provides entirely new computational framework for simple braids

3. Completeness

• Not only establishes equivalence but provides explicit computational formulas
• Proves completeness of classification (bijective properties)
• Provides concrete examples verifying the theory

4. Writing Quality

• Clear structure, progressing from basic definitions to main theorems
• Abundant illustrations aid understanding (Figures 1-7)
• Remarks section provides rich background knowledge

5. Application Potential

• Provides new tools for multiple important problems (Hurwitz equivalence, surface braid classification)
• Clear connections with existing research (positive pure braid conjecture)
• Opens possibilities for higher-order generalizations

Weaknesses

1. Limited Computational Practicality

• While theoretical formulas are provided, detailed computational steps for complex braids are lacking
• No complexity analysis of algorithms
• No computational software or code implementation provided

2. Underdeveloped Applications

• Applications to Hurwitz equivalence problems only mentioned in introduction, not developed
• Specific construction of surface braid invariants left for future work
• Lacks comparison with other braid group invariants (e.g., Jones polynomial)

3. Missing Higher-Order Generalizations

• Only addresses first Johnson homomorphism
• No discussion of difficulties and possibilities for higher-order generalizations
• Relationship with higher-order Magnus expansion unclear

4. Relatively Simple Examples

• Main examples are simple cases of 3-braids and 5-braids
• Lacks computations for more complex braids (high degree, multiple crossings)
• Does not demonstrate applications to practical problems

5. Connections with Other Theories

• No discussion of relationships with quantum invariants
• Connections with Garside structure unclear
• Lacks connections with representation theory

Impact Assessment

Contribution to the Field:

• Importance: ★★★★☆ (4/5)
  • Resolves fundamental question about relationship between two important invariants
  • Provides systematic tools for simple braid research
• Novelty: ★★★★☆ (4/5)
  • First graphical-algebraic correspondence
  • Novel methods but based on mature theories
• Scope of Impact: ★★★☆☆ (3/5)
  • Primarily impacts braid theory and low-dimensional topology
  • Potential applications require further development

Practical Value:

• Theoretical Value: High - provides new perspective for understanding braid group structure
• Computational Value: Moderate - formulas are explicit but practical applications need further work
• Application Value: Potential - provides foundation for Hurwitz problems and surface braids

Reproducibility:

• All proofs are complete and rigorous
• Mathematical results are verifiable
• Lacks computational tools and code

Applicable Scenarios

Direct Applications:

1. Simple Braid Identification: Determine whether two simple braids have equivalent Johnson homomorphisms
2. Crossing Matrix Computation: Calculate crossing matrices of simple braids via cohomological methods
3. Braid Group Theory Research: Understand algebraic structure of braid group invariants

Potential Applications:

1. Hurwitz Equivalence Problems: Develop decision algorithms based on Johnson homomorphism
2. Surface Braid Classification: Construct complete invariants for surface braids
3. Positive Pure Braid Research: Attack crossing matrix conjecture via algebraic methods
4. Mapping Class Group Research: Generalize to mapping class groups of general surfaces

Non-Applicable Scenarios:

1. Knot invariant computations outside braid groups
2. Problems requiring higher-order Johnson homomorphism information
3. Quantum invariant-related problems

Key References

1 E. Artin (1925): Theorie der Zöpfe - Foundational work on braid groups

3 J. Burillo et al. (2002): Crossing matrices and Thurston's normal form for braids - Systematic study of crossing matrix theory

8 N. Kawazumi (2005): Cohomological aspects of Magnus expansions - Introduction of extended Johnson homomorphism

9 N. Kawazumi (2008): Twisted Morita-Mumford classes on braid groups - Applications of Johnson homomorphism to braid groups

11 S. Morita (1993): The extension of Johnson's homomorphism - Extension theory of Johnson homomorphism

Overall Evaluation

This is a high-quality pure mathematics paper making substantial contributions to braid group theory. The paper successfully bridges two important invariants and provides a systematic computational framework for simple braids. The proofs are rigorous and clearly structured, laying solid foundations for subsequent research, particularly on Hurwitz equivalence problems and higher-order generalizations.

Recommendation Rating: ★★★★☆ (4/5)

Recommended for researchers in braid theory, low-dimensional topology, and algebraic topology. Provides important value for understanding intrinsic connections between braid group invariants.