Mathematics Problem Archive
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?...
Question 2.3 — (Smith).
v1.3 research notes(Smith). Is there an a priori upper bound on the length of any factorization of the boundary twist δ as a product of positive Dehn twists in Mapg,n? E...
Question 2.4 — For which T∈ Map+ g,n is it possible to classify factorizations of T as a product of positive Dehn twists in Mapg,n?
v1.3 research notesFor which T∈ Map+ g,n is it possible to classify factorizations of T as a product of positive Dehn twists in Mapg,n? In particular, for which T is the...
Question 2.5 — Given two factorizations of the boundary twist δ as a product of positive Dehn twists along nonseparating curves in M…
v1.3 research notesGiven two factorizations of the boundary twist δ as a product of positive Dehn twists along nonseparating curves in Mapg,n, such that the total spaces...
Problem 1.1 — The ideas which were just described relate to the beginning of the lower central series of Ig.
v1.3 research notesThe ideas which were just described relate to the beginning of the lower central series of Ig. There is also the lower central series of Kg. The corre...
Problem 2.1 — Assume, for this problem, that M is a 3-manifold with non-empty boundary.
v1.3 research notesAssume, for this problem, that M is a 3-manifold with non-empty boundary. Then, on one side of the double coset HφH the handlebody subgroup needs to b...
Problem 2.2 — How is the Nielsen-Thurston trichotomy related to the question of whether the distance is 0, 1, 2 or≥ 3?
v1.3 research notesHow is the Nielsen-Thurston trichotomy related to the question of whether the distance is 0, 1, 2 or≥ 3? The next 3 problems concern the very non-cons...
Problem 2.3 — Find an algorithm to compute the distance d(φ) of an arbitrary element φ∈M.
v1.3 research notesFind an algorithm to compute the distance d(φ) of an arbitrary element φ∈M. We note that an algorithm to compute shortest paths between fixed vertices...
Problem 2.4 — Knowing that d(φ)≤ 1, can we decide whether d(φ) = 0?
v1.3 research notesKnowing that d(φ)≤ 1, can we decide whether d(φ) = 0? Geometrically, if a Heegaard splitting is weakly reducible, can you decide if it’s reducible?...
Problem 2.5 — Knowing that d(φ)≥ 1, can we decide whether it is ≥ 2?
v1.3 research notesKnowing that d(φ)≥ 1, can we decide whether it is ≥ 2? Knowing that it’s ≥ 2, can we decide whether it is ≥ 3?...
Problem 2.6 — Schleimer has proved in [42] that each fixed 3-manifold M has a bound on the distances of its Heegaard splittings.
v1.3 research notesSchleimer has proved in [42] that each fixed 3-manifold M has a bound on the distances of its Heegaard splittings. Study this bound, with the goal of ...
Problem 2.7 — Study the handlebody subgroup of Mg.
v1.3 research notesStudy the handlebody subgroup of Mg. A simplified presentation which would reveal new things about its structure, and/or anything new about its coset ...
Problem 2.8 — Recall that we noted, earlier, that every genus g Heegaard splitting of every homology 3-sphere is obtained by allowi…
v1.3 research notesRecall that we noted, earlier, that every genus g Heegaard splitting of every homology 3-sphere is obtained by allowing ϕ to range over Ig. We also no...
Problem 2.9 — Uncover the structure in the mapping class group that relates to the classifica- tion theorem for the Heegaard splitt…
v1.3 research notesUncover the structure in the mapping class group that relates to the classifica- tion theorem for the Heegaard splittings of graph manifolds in [44]....
Problem 2.10 — Given a normal subgroup Gg ofMg, what basic properties are needed in a complex G(Sg) of curves on Sg so that Mg will…
v1.3 research notesGiven a normal subgroup Gg ofMg, what basic properties are needed in a complex G(Sg) of curves on Sg so that Mg will turn out to be naturally isomorph...
Problem 2.11 — Hempel’s distance function was chosen so that it would capture the geometry, and indeed it does that very well, yet i…
v1.3 research notesHempel’s distance function was chosen so that it would capture the geometry, and indeed it does that very well, yet in some ways it feels unnatural. T...
Problem 2.12 — This one is a warm-up.
v1.3 research notesThis one is a warm-up. Given α∈M g, say as a product of Dehn twists, expressβ∈M 2g+1 as a related product of Dehn twists. With that in hand, observe t...
Problem 2.13 — In [43] it is proved that in the case of the trivial genus g surface bundle, i.e.
v1.3 research notesIn [43] it is proved that in the case of the trivial genus g surface bundle, i.e. Sg×S1 the bundle-related splitting is unique, up to equivalence. Are...
Problem 2.14 — A 3-manifold is fibered if it admits a surface bundle structure.
v1.3 research notesA 3-manifold is fibered if it admits a surface bundle structure. It is virtually fibered if it has a finite-sheeted cover that admits a surface bundle...
Problem 3.5 — Is there a natural quotient complex of any one of the complexes discussed in §1 which might be useful for the constru…
v1.3 research notesIs there a natural quotient complex of any one of the complexes discussed in §1 which might be useful for the construction of non-faithful representat...
Problem 3.6 — Study the double coset HφH inM, using new finite or infinite quotients of M.
v1.3 research notesStudy the double coset HφH inM, using new finite or infinite quotients of M. In this regard we stress finite, because a principle difficulty when this p...
Problem 3.7 — Are there quotients of Ig orKg in which the intersection of either Ig orKg with the handlebody group Hg is sufficiently…
v1.3 research notesAre there quotients of Ig orKg in which the intersection of either Ig orKg with the handlebody group Hg is sufficiently tractible to allow one to study ...
Problem 1 — Develop techniques to describe the sets Cχ,θ.
v1.3 research notesDevelop techniques to describe the sets Cχ,θ....
Problem 2 — Show that the inclusion of Proposition 5 is a bijection.
v1.3 research notesShow that the inclusion of Proposition 5 is a bijection. This will probably require more thought about the analytical and geometric constructions whic...
Problem 3 — Given a topological description of fk0,fk1 describe fk0+k1.
v1.3 research notesGiven a topological description of fk0,fk1 describe fk0+k1. A good understanding of this would enable one to drop the rather artificial introduction o...
Problem 4 — Reproduce the classification of manifolds with ω.K (ω)< 0 by studying the sets Cχ,θ for θ< 0.
v1.3 research notesReproduce the classification of manifolds with ω.K (ω)< 0 by studying the sets Cχ,θ for θ< 0. There is a network of interesting questions dealing with...
Problem 5 — Analyse the monodromy of Lefschetz fibrations on manifolds with K(ω) = 0.
v1.3 research notesAnalyse the monodromy of Lefschetz fibrations on manifolds with K(ω) = 0. Related to this is the general question of understanding the place of comple...
Problem 1.1 — Investigate the dependence of Expρ,⟨f,M ⟩ on the marked Riemann surface ⟨f,M⟩.
v1.3 research notesInvestigate the dependence of Expρ,⟨f,M ⟩ on the marked Riemann surface ⟨f,M⟩....
Conjecture 2.1 — Let Ω∗(Hom(π,G )/G) be the de Rham algebra consisting of all measurable differential forms on Hom(π,G )/G.
v1.3 research notesLet Ω∗(Hom(π,G )/G) be the de Rham algebra consisting of all measurable differential forms on Hom(π,G )/G. Then the symplectic structures ωB generate t...
Conjecture 2.2 — Suppose C∞(Hom(π,G )/G) D− →C∞(Hom(π,G )/G) is a differential operator which commutes with the ModΣ-action on Hom(π,G…
v1.3 research notesSuppose C∞(Hom(π,G )/G) D− →C∞(Hom(π,G )/G) is a differential operator which commutes with the ModΣ-action on Hom(π,G )/G. Then D is a scalar multiple ...
Problem 2.2 — Decompose the representation on H0 into irreducible representations of ModΣ.
v1.3 research notesDecompose the representation on H0 into irreducible representations of ModΣ. When G = U(1), and Σ is the 2-torus, Hom( π,G )/G naturally identifies wi...
Problem 2.3 — Find a similar geometric interpretation for the irreducible constituents for compact nonabelian groups G.
v1.3 research notesFind a similar geometric interpretation for the irreducible constituents for compact nonabelian groups G....
Conjecture 2.3 — If r≥ 3, the action of Out(π) on Hom(π,G ) is ergodic.
v1.3 research notesIf r≥ 3, the action of Out(π) on Hom(π,G ) is ergodic. Using calculations in [ 43], this conjecture has been proved [ 47] when all of the simple facto...
Problem 2.4 — Determine necessary and sufficient conditions on a general representation ρ for its orbit ModΣ· [ρ] to be dense.
v1.3 research notesDetermine necessary and sufficient conditions on a general representation ρ for its orbit ModΣ· [ρ] to be dense. The case when G = SU(2) and Σ an n-hole...
Problem 2.5 — Construct an example of a pseudo-Anosov mapping class for a closed surface which is not ergodic on the SU(2)-characte…
v1.3 research notesConstruct an example of a pseudo-Anosov mapping class for a closed surface which is not ergodic on the SU(2)-character variety....
Conjecture 3.1 — Suppose that b = 0 (Σ is closed).
v1.3 research notesSuppose that b = 0 (Σ is closed). For each integer 1≤k≤ 2g +b− 2, the ModΣ-action on the component e−1(2− 2g +b +k) of Hom(π,G ) is ergodic. When b = ...
Problem 3.1 — Determine the smallest dimensional manifold homotopy-equivalent to Σ upon which ModΣ acts compatibly with the outer a…
v1.3 research notesDetermine the smallest dimensional manifold homotopy-equivalent to Σ upon which ModΣ acts compatibly with the outer action of ModΣ on π1(Σ)....
Problem 3.2 — Find general conditions which ensure that (10) is proper.
v1.3 research notesFind general conditions which ensure that (10) is proper. The level set R3∩κ−1(2) consists of characters of abelian representations, and ModΣ is ergod...
Problem 3.3 — Determine the ergodic behavior of the ModΣ-action on the level sets ( iR× R×iR ) ∩κ−1(t) wheret> 2.
v1.3 research notesDetermine the ergodic behavior of the ModΣ-action on the level sets ( iR× R×iR ) ∩κ−1(t) wheret> 2. The level sets for t> 6 contains wandering domains...
Problem 3.4 — Find a point ρ∈ Hom(π, SL(2, C)) such that the closure of its orbit ModΣ· [ρ] meets both the image of the unitary cha…
v1.3 research notesFind a point ρ∈ Hom(π, SL(2, C)) such that the closure of its orbit ModΣ· [ρ] meets both the image of the unitary characters Hom(π, SU(2)) and the clo...
Problem 3.6 — Find a substitute for convex cocompactness in higher rank which includes the above examples of proper ModΣ-actions, a…
v1.3 research notesFind a substitute for convex cocompactness in higher rank which includes the above examples of proper ModΣ-actions, and for which Eρ is proper. The wo...
Conjecture 3.2 — If k = 1, then U is onto.
v1.3 research notesIf k = 1, then U is onto. In general a PSL(2, R)-representation with dense image lies in Image(U). 220 W. Goldman...
Problem 2: — For a fixed number R > 0, is there is compact subset K(R) of moduli space containing the projection of every Teichm¨…
v1.3 research notesFor a fixed number R > 0, is there is compact subset K(R) of moduli space containing the projection of every Teichm¨ uller geodesic γ which satisfies ...
Problem 3: — Describe the space of geodesic currents for Mg,m.
v1.3 research notesDescribe the space of geodesic currents for Mg,m. Is the set of weighted sums of Dirac masses at the pairs of fixed points of pseudo-Anosov elements d...
Problem 4: — Does the above definition of a convex cocompact subgroup of Mg,m coincide with the definition of Farb and Mosher in […
v1.3 research notesDoes the above definition of a convex cocompact subgroup of Mg,m coincide with the definition of Farb and Mosher in [FMo]? Is the natural extension of...
Problem 5: — Develop a theory of geometrically finite subgroups of Mg,m which include the groups defined by Veech surfaces.
v1.3 research notesDevelop a theory of geometrically finite subgroups of Mg,m which include the groups defined by Veech surfaces. 14. Geometric properties of the mapping...
Problem 1 — (Geodesics on general flat surfaces).
v1.3 research notes(Geodesics on general flat surfaces). Describe the behavior of geodesics on general flat surfaces. Prove (or disprove) the conjecture that the geodesi...
Problem 3 — (Renormalization of billiards in polygons).
v1.3 research notes(Renormalization of billiards in polygons). Is there a natural dynamical system acting on the space of billiards in polygons so as to allow a useful r...