Sending Loxodromic Elements of Right-Angled Artin Groups to Pseudo-Anosov Mapping Classes: A Partial Answer to Problem 2.28 of the K3 List

Problem 2.28 of the list K3: A New Problem List in Low-Dimensional Topology (Baykur, Kirby and Ruberman, eds., 2026), recorded by T. Koberda, asks: if Γ is a finite graph that is not a join, is there an injective homomorphism from the right-angled Artin group A(Γ) to the mapping class group of a surface which sends every loxodromic element to a pseudo-Anosov mapping class? We give a partial answer; the problem remains open in general. We prove that such a homomorphism exists, with a closed surface as target, when Γ is chordal, when the complement graph of Γ is chordal, when Γ is the complement of a cycle of length at least five (this includes the pentagon), and more generally when the complement of Γ is obtained from complete graphs and cycles by gluing along cliques. The answer is also positive for disjoint unions of graphs of these kinds and of joins, with isolated vertices added, and for connected graphs whose right-angled Artin groups have finite index in the group of a connected graph with a positive answer. Further constructions treat the hexagon, graphs obtained by duplicating vertices, and complements of cycles with one more vertex. Together with a computer enumeration of small graphs, the constructions give a positive answer for every graph with at most six vertices that is not a join and for 758 of the 853 such graphs with seven vertices; four more of these are settled by the finite-index property, and for the remaining 91 we have no answer. The homomorphisms are those of Clay, Leininger and Mangahas: the generators are sent to pseudo-Anosov maps of subsurfaces, and by a theorem of these authors the property asked for is equivalent to a filling condition, which we verify. The proofs use subsurface projections (Masur–Minsky, Behrstock) and, for complements of cycles and for the hexagon, planar configurations of discs lifted to totally ramified cyclic covers of the sphere. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: KP-2.28 (K3 problem list, Problem 2.28).

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-09
DOI
https://doi.org/10.5281/zenodo.23248882
Primary Topic
Geometric and Algebraic Topology
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Sending Loxodromic Elements of Right-Angled Artin Groups to Pseudo-Anosov Mapping Classes: A Partial Answer to Problem 2.28 of the K3 List

Alper Ferudun
Zenodo (CERN European Organization for Nuclear Research)
Geometric and Algebraic Topology
preprint

Sending Loxodromic Elements of Right-Angled Artin Groups to Pseudo-Anosov Mapping Classes: A Partial Answer to Problem 2.28 of the K3 List

Alper Ferudun
preprint en

Abstract

Problem 2.28 of the list K3: A New Problem List in Low-Dimensional Topology (Baykur, Kirby and Ruberman, eds., 2026), recorded by T. Koberda, asks: if Γ is a finite graph that is not a join, is there an injective homomorphism from the right-angled Artin group A(Γ) to the mapping class group of a surface which sends every loxodromic element to a pseudo-Anosov mapping class? We give a partial answer; the problem remains open in general. We prove that such a homomorphism exists, with a closed surface as target, when Γ is chordal, when the complement graph of Γ is chordal, when Γ is the complement of a cycle of length at least five (this includes the pentagon), and more generally when the complement of Γ is obtained from complete graphs and cycles by gluing along cliques. The answer is also positive for disjoint unions of graphs of these kinds and of joins, with isolated vertices added, and for connected graphs whose right-angled Artin groups have finite index in the group of a connected graph with a positive answer. Further constructions treat the hexagon, graphs obtained by duplicating vertices, and complements of cycles with one more vertex. Together with a computer enumeration of small graphs, the constructions give a positive answer for every graph with at most six vertices that is not a join and for 758 of the 853 such graphs with seven vertices; four more of these are settled by the finite-index property, and for the remaining 91 we have no answer. The homomorphisms are those of Clay, Leininger and Mangahas: the generators are sent to pseudo-Anosov maps of subsurfaces, and by a theorem of these authors the property asked for is equivalent to a filling condition, which we verify. The proofs use subsurface projections (Masur–Minsky, Behrstock) and, for complements of cycles and for the hexagon, planar configurations of discs lifted to totally ramified cyclic covers of the sphere. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: KP-2.28 (K3 problem list, Problem 2.28).

Zenodo (CERN European Organization for Nuclear Research)
Geometric and Algebraic Topology
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.