Virtual planar braid groups and permutations

Basic Information

• Paper ID: 2109.13035
• Title: Virtual planar braid groups and permutations
• Authors: Tushar Kanta Naik, Neha Nanda, Mahender Singh
• Classification: math.GR (Group Theory), math.GT (Geometric Topology)
• Publication Date: September 2021 (arXiv preprint, revised October 2023)
• Paper Link: https://arxiv.org/abs/2109.13035

Abstract

Twin groups and virtual twin groups are planar analogues of braid groups and virtual braid groups, respectively. These groups play the role of braid groups in the Alexander-Markov correspondence for the theory of stable isotopy classes of immersed circles on orientable surfaces. Inspired by Artin's general ideas and recent work by Bellingeri-Paris, this paper obtains a complete description of homomorphisms between virtual twin groups and symmetric groups. As an application, the exact structure of the automorphism group of the n-strand virtual twin group VT_n (n≥2) is determined. This is achieved by establishing the existence of an irreducible right-angled Coxeter group KT_n within VT_n. As a byproduct, the embedding of the twin group T_n into the virtual twin group VT_n is established, which is an analogue of the corresponding result for braid groups.

Research Background and Motivation

Problem Background

1. Doodles Theory: This research originates from the study of doodles on the 2-sphere, which are finite sets of simple closed curves without triple or higher-order intersection points. Khovanov generalized this concept to closed orientable surfaces.
2. Group-Theoretic Framework: In classical knot theory, braid groups play a central role. Similarly, doodles theory requires a corresponding group-theoretic framework:
   • Twin groups (also called planar braid groups) correspond to doodles on the 2-sphere
   • Virtual twin groups correspond to virtual doodles on surfaces
3. Alexander-Markov Correspondence: Establishes correspondence between groups and topological objects:
   • ⋃_{n≥2} T_n/Markov equivalence ↔ homotopy classes of doodles on the 2-sphere
   • ⋃_{n≥2} VT_n/Markov equivalence ↔ stable equivalence classes of doodles on surfaces

Research Motivation

1. Theoretical Completeness: While the automorphism group structure of braid groups is known, the automorphism group structure of virtual twin groups has not been fully determined
2. Comparative Study: Inspired by Bellingeri-Paris's research on virtual braid groups, seeking analogous results for virtual twin groups
3. Embedding Problem: Proving that twin groups embed into virtual twin groups, analogous to the embedding of braid groups into virtual braid groups

Core Contributions

1. Construction of Key Subgroups: Proved the existence of an irreducible right-angled Coxeter group KT_n within VT_n and provided its complete presentation
2. Complete Description of Homomorphisms: Obtained a complete classification of all homomorphisms from virtual twin groups to symmetric groups
3. Determination of Automorphism Group Structure: Proved that Aut(VT_n) ≅ VT_n ⋊ Z_2 (n≥5)
4. Embedding Theorem: Established the embedding T_n ⊆ VT_n
5. Non-co-Hopfian Property: Proved that VT_n is not a co-Hopfian group

Methodology Details

Task Definition

Study the structural properties of the n-strand virtual twin group VT_n, specifically:

• Input: presentation of the n-strand virtual twin group VT_n
• Output: precise structural description of the automorphism group Aut(VT_n)
• Constraints: use group-theoretic methods, particularly Coxeter group theory and the Reidemeister-Schreier method

Core Technical Methods

1. Definition of Virtual Twin Groups

VT_n is generated by {s_1,...,s_, ρ_1,...,ρ_} with relations:

• s_i² = 1, ρ_i² = 1 (for all i)
• s_is_j = s_js_i, ρ_iρ_j = ρ_jρ_i (|i-j| ≥ 2)
• ρ_iρ_{i+1}ρ_i = ρ_{i+1}ρ_iρ_{i+1}
• ρ_is_j = s_jρ_i (|i-j| ≥ 2)
• ρ_iρ_{i+1}s_i = s_{i+1}ρ_iρ_{i+1}

2. Construction of Key Subgroup KT_n

Define θ: VT_n → S_n by θ(s_i) = 1, θ(ρ_i) = τ_i, with kernel KT_n.

Theorem 3.3: KT_n is generated by S = {α_{i,j} | 1≤i≠j≤n}, where:

• α_{i,i+1} = s_i
• α_{i+1,i} = ρ_is_iρ_i
• Defining relations: α²_{i,j} = 1 and α_{i,j}α_{k,l} = α_{k,l}α_{i,j} (for distinct i,j,k,l)

3. Reidemeister-Schreier Method

Use the standard Reidemeister-Schreier method to compute the presentation of KT_n:

• Select Schreier system M_n as coset representatives
• Obtain defining relations through rewriting process τ
• Prove that KT_n is an irreducible right-angled Coxeter group

Technical Innovations

1. Right-Angled Coxeter Group Structure: First proved that KT_n has the structure of a right-angled Coxeter group, which is the key algebraic structure
2. Decomposition Theorem: Established the semidirect product decomposition VT_n = KT_n ⋊ S_n
3. Homomorphism Classification Technique: Developed systematic methods to classify homomorphisms between virtual twin groups
4. Fixed Point Analysis: Used fixed point theory of amalgamated free products to analyze group properties

Main Theorems and Results

Theorem 4.2 (Homomorphisms from VT_n to S_m)

Let n≥m, n≥5, m≥2, and φ: VT_n → S_m be a homomorphism. Then up to conjugacy, one of the following holds:

1. φ is abelian
2. n=m and φ=π or θ
3. n=m=6 and φ=νπ or νθ

Theorem 5.22 (Homomorphisms from S_n to VT_m)

Let n≥m, n≥5, m≥2, and φ: S_n → VT_m be a homomorphism. Then up to conjugacy, one of the following holds:

1. φ is abelian
2. n=m and φ=λ
3. n=m=6 and φ=λν

Theorem 6.2 (Homomorphisms from VT_n to VT_m)

Let n≥m, n≥5, m≥2, and φ: VT_n → VT_m be a homomorphism. Then up to conjugacy, one of the following holds:

1. φ is abelian
2. n=m and φ∈{λπ, λθ, φ_m, ζφ_m | m∈Z}
3. n=m=6 and φ∈{λνθ, λνπ}

Theorem 6.5 (Automorphism Group Structure)

For n≥5, Aut(VT_n) = Inn(VT_n) ⋊ ⟨ζ⟩ ≅ VT_n ⋊ Z_2, where ζ is an outer automorphism of order 2.

Technical Methods Analysis

1. Group-Theoretic Techniques

• Coxeter Group Theory: Utilize properties of right-angled Coxeter groups to analyze KT_n
• Amalgamated Free Product: Use free product theory to analyze group decompositions
• Fixed Point Theorem: Apply the fixed point lemma of Bellingeri-Paris

2. Topological Interpretation

• Virtual twin diagrams can be topologically interpreted as n arcs in R×0,1
• The distinction between real and virtual crossings is embodied through Reidemeister moves
• Generators s_i and ρ_i correspond to different types of crossing operations

3. Handling Technical Difficulties

• Analysis of Condition C: Introduce complex group element conditions to control homomorphism behavior
• Inductive Construction: Prove main results through induction on the number of strands n
• Case Analysis: Systematically analyze possible forms of homomorphisms in different cases

Experimental Verification and Applications

Concrete Calculations

The paper provides specific verification for small values of n:

• n=2: VT_2 ≅ T_3 ≅ Z_2 * Z_2
• n=3,4: Special cases requiring separate treatment
• n≥5: Main theorems apply

Property Verification

1. Hopfian Property: VT_n is Hopfian (n≥2)
2. Co-Hopfian Property: VT_n is not co-Hopfian (n≥2)
3. Center: Z(VT_n) = 1 (n≥3)

Related Work

Historical Development

1. Artin's Work: Earliest research on homomorphisms from braid groups to symmetric groups
2. Khovanov's Contribution: Introduced twin groups and doodles theory
3. Bellingeri-Paris: Analogous research on virtual braid groups

Comparative Analysis

The methods in this paper parallel research on virtual braid groups, but with important technical differences:

• Virtual braid groups have more complex relations
• The planar nature of twin groups simplifies certain analyses
• The right-angled Coxeter group structure is a property unique to twin groups

Conclusions and Discussion

Main Conclusions

1. Completely determined the automorphism group structure of VT_n: Aut(VT_n) ≅ VT_n ⋊ Z_2
2. Established the group-theoretic foundations of virtual twin group theory
3. Proved the natural embedding of twin groups into virtual twin groups

Theoretical Significance

1. Perfected Doodles Theory: Provided a complete group-theoretic framework
2. Extended Coxeter Group Theory: Demonstrated the application of right-angled Coxeter groups in new contexts
3. Connected Different Fields: Linked group theory, topology, and combinatorics

Limitations

1. Special Cases: The cases n=3,4 require separate treatment
2. Computational Complexity: Concrete calculations become complex for large n
3. Generalization Problems: Extension to more general surface groups remains open

Future Directions

1. Complete Small n Cases: Handle complete classification for n=3,4
2. Generalization to Other Groups: Study more general diagram groups
3. Computational Aspects: Develop effective algorithms for handling these groups

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete structural description of virtual twin groups
2. Technical Innovation: Skillfully combines multiple group-theoretic techniques
3. Systematicity: Establishes a complete theory of homomorphism classification
4. Rigor: Detailed proofs with impeccable technical execution

Weaknesses

1. Incomplete Treatment of Special Cases: Handling of small n values is not sufficiently complete
2. Computational Complexity: Lacks effective computational algorithms
3. Limited Applications: Primarily theoretical results with limited practical applications

Impact

1. Academic Contribution: Makes important contributions at the intersection of group theory and topology
2. Methodological Value: Provides systematic methods for studying similar problems
3. Foundation for Future Research: Lays groundwork for further research in related fields

Applicable Scenarios

1. Theoretical Group Theory: Researchers studying Coxeter groups and Artin groups
2. Topology: Researchers working on knot theory and braid theory
3. Algebraic Topology: Mathematicians interested in group actions and homotopy theory

Additional Technical Details

Key Lemmas

• Lemma 5.5: Fixed point property of amalgamated free products
• Lemma 5.10: Decomposition theorem for elements satisfying Condition C
• Proposition 5.8: Characterization of fixed point subgroups

Computational Techniques

1. Schreier System Selection: Clever choice of coset representatives simplifies calculations
2. Inductive Strategy: Establish general results through induction on the number of generators
3. Case Analysis: Systematically handle different types of homomorphisms

This paper makes important contributions at the intersection of group theory and topology, providing a solid theoretical foundation for virtual twin group theory. Its technical methods and results have significant value for further development in related fields.