Mathematics Problem Archive
Question I — s there a constant NS, depending only on S, such that the following holds?
v1.3 research notess there a constant NS, depending only on S, such that the following holds? Let f∈ ModS and let t =t±1 α1◦t±1 α2◦···◦ t±1 αn is a Dehn multi-twist. If ...
Question I — s it true that H 1(Γ) = 0 for any subgroup Γ of finite index in ModS?
v1.3 research notess it true that H 1(Γ) = 0 for any subgroup Γ of finite index in ModS? It is well known that H 1(ModS) = 0. In his 1999 MSU Ph.D. thesis F. Taherkhani ...
Question — Does ModS has the Kazhdan property (T)?
v1.3 research notesDoes ModS has the Kazhdan property (T)? A positive answer would imply the positive answer to the previous question, but this problems seems to be much...
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...
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...