Mathematics Problem Archive
Conjecture I — f f is pseudo-Anosov element of a mapping class group ModS with sufficiently big dilatation coefficient, then the subgrou…
v1.3 research notesf f is pseudo-Anosov element of a mapping class group ModS with sufficiently big dilatation coefficient, then the subgroup of ModS normally generated by f...
Question — Are there any other relations between N -th powers Tγ = tN γ of Dehn twists for sufficiently high N?
v1.3 research notesAre there any other relations between N -th powers Tγ = tN γ of Dehn twists for sufficiently high N? In other words, do the above relations provide a pr...
Question I — s the subgroup of ModS generated by the N -th powers of all elements of ModS of infinite index in ModS for sufficiently…
v1.3 research notess the subgroup of ModS generated by the N -th powers of all elements of ModS of infinite index in ModS for sufficiently big N? Notice that such a subgro...
Conjecture — LetS and R be closed surfaces.
v1.3 research notesLetS and R be closed surfaces. Let Γ be a subgroup of finite index in ModS. If the genus of R is less than the genus of S, then there is no homomorphi...
Conjecture — For every finitely generated subgroups G of ModS, the group Φf (G) is nilpotent.
v1.3 research notesFor every finitely generated subgroups G of ModS, the group Φf (G) is nilpotent. For a a little bit more detailed discussion, see [ I4], Section 10.10...
Problem 2.2 — Is there an endomorphism of the mapping class group of a (closed) orientable surface onto an infinite index infinite…
v1.3 research notesIs there an endomorphism of the mapping class group of a (closed) orientable surface onto an infinite index infinite subgroup? If there is one such en...
Problem 2.4 — Let Γ be a subgroup of finite index in the mapping class group Mod1,2 and let φ: Γ → Γ be an automorphism.
v1.3 research notesLet Γ be a subgroup of finite index in the mapping class group Mod1,2 and let φ: Γ → Γ be an automorphism. Is φ the restriction of an automorphism of ...
Problem 2.5 — Let g > hand let Γ be a finite index subgroup of Modg.
v1.3 research notesLet g > hand let Γ be a finite index subgroup of Modg. Assume that g≥ 3 and φ: Γ → Modh is a homomorphism. (a) Is the image of φ necessarily finite? (...
Problem 2.6 — Let Γ be a finite index subgroup of Modg.
v1.3 research notesLet Γ be a finite index subgroup of Modg. Is it true that H 1(Γ; Z) = 0? There are some partial answers to Problem 2.6. If g≥ 3 and if Γ contains the ...
Problem 2.7 — Suppose that ta1ta2··· tan = 1 in Modg, where n≥ 1.
v1.3 research notesSuppose that ta1ta2··· tan = 1 in Modg, where n≥ 1. Let G denote the quotient H1(S)/⟨[a1], [a2],..., [an]⟩, where [ai] denotes the homology class of t...
Problem 2.8 — Given a factorization ta1ta2··· tan = 1 of the identity into a product of right Dehn twists in Modg, is it always pos…
v1.3 research notesGiven a factorization ta1ta2··· tan = 1 of the identity into a product of right Dehn twists in Modg, is it always possible to lift this factorization ...
Problem 2.9 — Suppose that a mapping class f ∈ Modb g, b≥ 1, is a product of right Dehn twists.
v1.3 research notesSuppose that a mapping class f ∈ Modb g, b≥ 1, is a product of right Dehn twists. Does there exist a constant Cf, depending on f, such that whenever f...
Problem 2.10 — Compute ϕ(g,n ).
v1.3 research notesCompute ϕ(g,n ). Is it constant? If not, for g < h, compare ϕ(g,n ) and ϕ(h,n ). 90 M. Korkmaz...
Problem 2.11 — Let g≥ 3 and b≥ 1.
v1.3 research notesLet g≥ 3 and b≥ 1. Let a1,a 2,... be an infinite sequence of nonseparating simple closed curves on an oriented surface S of genus g with b boundary co...
Problem 2.12 — Let r be a positive integer and let Γr be the (normal) subgroup of Modg generated by the rth powers of all Dehn twists.
v1.3 research notesLet r be a positive integer and let Γr be the (normal) subgroup of Modg generated by the rth powers of all Dehn twists. Is Γr of infinite index? If we...
Problem 2.13 — (a) It is known from [33] that H2(Mod3; Z) and H2(Mod1 3; Z) are either Z or Z⊕ Z2.
v1.3 research notes(a) It is known from [33] that H2(Mod3; Z) and H2(Mod1 3; Z) are either Z or Z⊕ Z2. What are they? Also compute H2(PModb 3,p; Z) for all p and b. (b) ...
Problem 3.1 — (a) Is it possible to generate the mapping class group of a closed nonori- entable surface by two elements?
v1.3 research notes(a) Is it possible to generate the mapping class group of a closed nonori- entable surface by two elements? (b) Is it possible to generate the mapping...
Problem 3.2 — Compute the (outer) automorphism group of Mod(N ).
v1.3 research notesCompute the (outer) automorphism group of Mod(N )....
Problem 3.3 — Letg >h, and let N andN ′ denote the closed nonorientable surfaces of genera g andh respectively.
v1.3 research notesLetg >h, and let N andN ′ denote the closed nonorientable surfaces of genera g andh respectively. Is it true that any homomorphism φ: Mod(N )→ Mod(N ′...
Problem 3.4 — Let φ: Mod( N )→ Mod(N ) be a homomorphism such that the image of φ is of finite index.
v1.3 research notesLet φ: Mod( N )→ Mod(N ) be a homomorphism such that the image of φ is of finite index. Is φ necessarily an automorphism? How about if we take the dom...
Problem 3.5 — Study homomorphisms Modg→ Mod(N ) and Mod(N )→ Modg.
v1.3 research notesStudy homomorphisms Modg→ Mod(N ) and Mod(N )→ Modg. 92 M. Korkmaz It is known by the work of Birman and Chillingworth [ 3] that the mapping class gro...
Problem 3.1 — Give a homotopy theoretic construction of a map ρh: Ω ∞CP ∞ −1→K Sp(Z) with ρ≃ ρh◦α, at least after localization at a…
v1.3 research notesGive a homotopy theoretic construction of a map ρh: Ω ∞CP ∞ −1→K Sp(Z) with ρ≃ ρh◦α, at least after localization at a regular prime. (The 2-local case...
Question 3.2 — .
v1.3 research notes. Is κ2i = 0 in H ∗(BT∞; Q)? Very little is known about the cohomology of the Torelli group past dimension 1, and as far as I know it might be possibl...
Problem 3.3 — .
v1.3 research notes. Find a direct description of some particular simple torsion classes in H ∗(BΓ∞; Z). There is an interesting connection between the higher Reidemeist...
Question 3.4 — .
v1.3 research notes. Is Z×BAut(F∞)+ homotopy equivalent to Ω ∞S∞? 4. The interplay between homotopy theory and the mapping class group is inspired by the study of confor...
Problem 4.2 — .
v1.3 research notes. Find an analogue of Theorem 4.1 for topological manifolds, and relate it to surgery and pseudo-isotopy theory. Waldhausen’s functor A(X) is the alge...
Question 4.3 — .
v1.3 research notes. Is there a geometric map from BC2 into topological cyclic homology of a point? A recent manuscript by Kevin Costello, [ 3], relates conformal field ...
Question 4.4 — .
v1.3 research notes. Can one generalize Theorem 2.1 to the Deligne-Mumford compactification of the moduli space of Riemann surfaces?...
Problem 1 — Understand either classically or as quantum geometric objects the non-Hausdorff quotients of PL 0(F ) or PL(F ) by MC…
v1.3 research notesUnderstand either classically or as quantum geometric objects the non-Hausdorff quotients of PL 0(F ) or PL(F ) by MC (F ) or PMC (F ). T (F ) has been...
Problem 2 — Given a tuple ×N i=1(mi,ti) ∈ ZN, give a tractable expression in terms of Dehn- Thurston or other coordinates for the…
v1.3 research notesGiven a tuple ×N i=1(mi,ti) ∈ ZN, give a tractable expression in terms of Dehn- Thurston or other coordinates for the number of components of the corr...
Problem 3 — Give a useful (piecewise) tropical description of the two elementary transformations.
v1.3 research notesGive a useful (piecewise) tropical description of the two elementary transformations. One thus immediately derives a (piecewise) tropical polynomial r...
Problem 4 — Does the recipe in Theorem 4 give virtually all pA maps?
v1.3 research notesDoes the recipe in Theorem 4 give virtually all pA maps? That is, given a pA map f, is there some iterate fn, for n≥ 1, so that fn arises from the rec...
Problem 5 — For a given surface F, calculate Σ( F ).
v1.3 research notesFor a given surface F, calculate Σ( F ). More modestly, calculate the least element of Σ( F ) or the least gap among elements of Σ( F ). Characterize ...
Problem 6 — Calculate the topological type (PL-homeomorphism, homotopy, homology...
v1.3 research notesCalculate the topological type (PL-homeomorphism, homotopy, homology... type) of the Arc-complexes. The first non-trivial case is the calculation of t...
Problem 7 — Devise a matrix model (cf.
v1.3 research notesDevise a matrix model (cf. [28]) for the calculation of the Euler characteristics of Arc-complexes....
Problem 8 — [Contributed by the referee] Does Theorem 5 say anything about the structure of the end of Riemann’s moduli space?
v1.3 research notes[Contributed by the referee] Does Theorem 5 say anything about the structure of the end of Riemann’s moduli space? For instance, what is the homology ...
Problem 9 — [Bounded Distortion Conjecture] Given a hyperbolic structure on F, associate its combinatorial invariant, namely, an…
v1.3 research notes[Bounded Distortion Conjecture] Given a hyperbolic structure on F, associate its combinatorial invariant, namely, an ideal cell decomposition of F tog...
Problem 10 — Though the (virtual) Euler characteristics are already known [28,56], devise a matrix model using screens to calculat…
v1.3 research notesThough the (virtual) Euler characteristics are already known [28,56], devise a matrix model using screens to calculate these invariants for ¯M (F )....
Problem 11 — [LevelN Torelli Franchetta Problem] What is the second cohomology group of the levelN Torelli group?
v1.3 research notes[LevelN Torelli Franchetta Problem] What is the second cohomology group of the levelN Torelli group? The cell decomposition of ¯M(F ) described before...
Problem 12 — Calculate various group-theoretic boundaries of mapping class and Torelli groups, for instance, Tits boundaries.
v1.3 research notesCalculate various group-theoretic boundaries of mapping class and Torelli groups, for instance, Tits boundaries....
Problem 13 — What are the kernels of the Magnus representations?
v1.3 research notesWhat are the kernels of the Magnus representations? Finally in [48] by taking contractions of powers of our canonical one cocycle, new combinatorially...
Question — Which Artin groups admit non-geometric embeddings into M (S)?
v1.3 research notesWhich Artin groups admit non-geometric embeddings into M (S)? If we do not require the homomorphism to be geometric we do not need to restrict the que...
Question — Do there exist any other examples of non commuting homeomorphisms g andh which are not both Dehn twists and satisfy a…
v1.3 research notesDo there exist any other examples of non commuting homeomorphisms g andh which are not both Dehn twists and satisfy a braid relation ghg... mi,j...
Question — Does there exist a set of at least three pseudo-Anosov homeomorpisms such that every pair satisfies a braid relation.
v1.3 research notesDoes there exist a set of at least three pseudo-Anosov homeomorpisms such that every pair satisfies a braid relation. The referee to this paper observ...
Question (Smith) — What is the maximal length of such a product?
v1.3 research notesWhat is the maximal length of such a product? Can it be arbitrarily long?...
Question — Are the relations (1) - (7) the only relations which express the twist along the boundary as a product of positive tw…
v1.3 research notesAre the relations (1) - (7) the only relations which express the twist along the boundary as a product of positive twists, up to the positive equivale...
Question (Smith) — Let αi, i = 1,...,n be a configuration of curves on a surface S of genus g with one boundary component δ such that ev…
v1.3 research notesLet αi, i = 1,...,n be a configuration of curves on a surface S of genus g with one boundary component δ such that every pair of curves intersect in 0...
Question — Consider the Artin group A5 (the braid group on six strings) divided by the relation (a1a2a3a4)5 = a5a4a3a2a2 1a2a3a4a5.
v1.3 research notesConsider the Artin group A5 (the braid group on six strings) divided by the relation (a1a2a3a4)5 = a5a4a3a2a2 1a2a3a4a5. Is it true that every positiv...
Question 2.1 — Is the Hurwitz problem for mapping class group factorizations decidable?
v1.3 research notesIs the Hurwitz problem for mapping class group factorizations decidable? Are there interesting criteria which can be used to conclude that two given f...
Question 2.2 — (Donaldson).
v1.3 research notes(Donaldson). Is it possible to enumerate all matching paths in a Lefschetz fibration with given monodromy factorization?...