Mathematics Problem Archive
Virtual-knot problem 53 — Is there any algorithm for recognition whether two graph-links are equivalent or not?
v1.3 research notesIs there any algorithm for recognition whether two graph-links are equivalent or not? Our conjecture is “no”. The idea behind that is that graph-links...
Virtual-knot problem 54 — Can one construct a projection from the set of graph-links to the set of realizable graph-links?
v1.3 research notesCan one construct a projection from the set of graph-links to the set of realizable graph-links?...
Virtual-knot problem 55 — Construct a parity on graph-links by using Bouchet's criterion about the realizability of a graph.
v1.3 research notesConstruct a parity on graph-links by using Bouchet's criterion about the realizability of a graph. Try to find a parity which is responsible for the c...
Virtual-knot problem 56 — Construct generalizations of the Frobenius extension and the Rasmussen for “rigid” graph-links with orientable atoms.
v1.3 research notesConstruct generalizations of the Frobenius extension and the Rasmussen for “rigid” graph-links with orientable atoms....
Virtual-knot problem 57 — Is it true that two equivalent realizable graph-links are equivalent in the class of realizable graph-links?
v1.3 research notesIs it true that two equivalent realizable graph-links are equivalent in the class of realizable graph-links? If it is not true, then construct an exam...
Virtual-knot problem 58 — Construct a group for graph-links which is analogous to the group from .
v1.3 research notesConstruct a group for graph-links which is analogous to the group from ....
Virtual-knot problem 59 — Construct “graph-braids”.
v1.3 research notesConstruct “graph-braids”....
Virtual-knot problem 60 — Problems on Free Knot Cobordism
v1.3 research notesProblems on Free Knot Cobordism: The methods used for proving the fact that the invariant $L$ gives an obstruction to the sliceness are not immediatel...
String topology and smooth structures on 4-manifolds
v1.3 research notesIs string topology sensitive to smooth structures on 4-manifolds?...
Problem 1A — Present explicit obstructions to the Lyashko–Looijenga covering in terms of braid groups.
v1.3 research notesPresent explicit obstructions to the Lyashko–Looijenga covering in terms of braid groups. Which braids cannot be lifted to the space ${\mathbb{C}}^{\m...
Problem 1B — Let a non-simple singularity $f$ be given and the Dynkin diagram of it be defined by an easily disting…
v1.3 research notesLet a non-simple singularity $f$ be given and the Dynkin diagram of it be defined by an easily distinguished system of paths connecting 0 with critica...
Problem 1C — Are there more refined restrictions to the collision of critical values?
v1.3 research notesAre there more refined restrictions to the collision of critical values? Is it true that for any two vanishing cycles, whose intersection number is eq...
Problem 1D — Give more general lower bounds of the dimension of $\mu=const$ strata in terms of intersection forms o…
v1.3 research notesGive more general lower bounds of the dimension of $\mu=const$ strata in terms of intersection forms of vanishing cycles....
Problem 1E — What are the obstructions to the realization of these chains of formal changes by paths in the paramet…
v1.3 research notesWhat are the obstructions to the realization of these chains of formal changes by paths in the parameter space ${\mathbb{R}}^{k}$?...
Problem 1F — Is there any convenient topological characteristic of the function $f_{-\varepsilon}$ which allows to…
v1.3 research notesIs there any convenient topological characteristic of the function $f_{-\varepsilon}$ which allows to predict these indices?...
Problem 2A — What is the minimal number of open sets $U_{i}$ covering ${\mathbb{R}}^{6}$ such that for any $U_{i}$…
v1.3 research notesWhat is the minimal number of open sets $U_{i}$ covering ${\mathbb{R}}^{6}$ such that for any $U_{i}$ there is a continuous map $\varphi_{i}:U_{i}\to{...
Problem 2B — The same questions concerning the approximate solutions.
v1.3 research notesThe same questions concerning the approximate solutions. That is, for any $i$ and any $(a,b)\in U_{i}$, the value $\varphi_{i}(a,b)$ should be not nec...
Problem 3 — Is the complement of the essential ramification set in ${\mathbb{R}}^{d}$ a $K(\pi,1)$-space?
v1.3 research notesIs the complement of the essential ramification set in ${\mathbb{R}}^{d}$ a $K(\pi,1)$-space?...
Problem 4 — Are these geometric obstructions sufficient to solve the above problem?
v1.3 research notesAre these geometric obstructions sufficient to solve the above problem?...
Problem 5A — Is it true that any hypersurface from the space $P(d;N)$ can be connected with a trivial one by a gene…
v1.3 research notesIs it true that any hypersurface from the space $P(d;N)$ can be connected with a trivial one by a generic path in this space in such a way that it exp...
Problem 5B — A version of the previous problem, in which the complexity measure is not purely topological: namely,…
v1.3 research notesA version of the previous problem, in which the complexity measure is not purely topological: namely, it is the lowest number of critical points of Mo...
Problem 5C — Give an upper bound for the function $T\mapsto F$.
v1.3 research notesGive an upper bound for the function $T\mapsto F$....
Problem 5D — Do non-singular real plane projective curves of an odd degree consisting of a single connected compone…
v1.3 research notesDo non-singular real plane projective curves of an odd degree consisting of a single connected component form a connected set (i.e., are they rigid is...
Problem 6A — Is it true that any real Morsification of $f$ can be connected with one of complexity $\rho(f)$ by a g…
v1.3 research notesIs it true that any real Morsification of $f$ can be connected with one of complexity $\rho(f)$ by a generic path in the base of a versal deformation,...
Problem 6B — What can be said about the number $\rho(f)$?
v1.3 research notesWhat can be said about the number $\rho(f)$?...
Problem 6C — Is it true that any component of the complement of the discriminant variety of a versal deformation co…
v1.3 research notesIs it true that any component of the complement of the discriminant variety of a versal deformation contains a Morsification, whose all $\mu(f)$ criti...
Problem 7 — Give a similar universal estimate of the radius of convergence for multidimensional Newton’s method of…
v1.3 research notesGive a similar universal estimate of the radius of convergence for multidimensional Newton’s method of [Shub and Smale1993]....
3.2 (Agol) — A minimal-Thurston-norm surface from a tree action
v1.3 research notesLet $M$ be a $3$-manifold whose fundamental group acts on a simplicial tree without global fixed points. In the covering space associated to an edge s...
3.3 (Agol) — Injective surfaces with only double curves
v1.3 research notesDoes every closed hyperbolic $3$-manifold contain a closed $\pi_1$-injective surface with only double curves of intersection?...
3.4 (Agol) — Injective surfaces with the 1-line property
v1.3 research notesDoes every closed hyperbolic $3$-manifold contain a closed $\pi_1$-injective surface with the 1-line property: in the universal cover, every pair of p...
3.5 (Agol) — Quasi-Fuchsian surfaces cubulating away from cusps
v1.3 research notesDo cusped finite-volume hyperbolic $3$-manifolds have closed quasi-Fuchsian surfaces that cubulate except for the cusps? Equivalently in the stated ge...
3.6 (Agol) — Virtual semi-fibering
v1.3 research notesAre finite-volume hyperbolic $3$-manifolds virtually semi-fibered?...
3.8 (Agol) — Twisted homology products after cutting along a surface
v1.3 research notesLet $M$ be a $3$-manifold, let $\phi:\pi_1M\to\mathbb{Z}$ be dual to $(\Sigma,\partial\Sigma)\subset(M,\partial M)$, and let $N$ be obtained by cuttin...
5.1 (Agol) — Hyperbolic 3-manifolds with infinitely generated fundamental group
v1.3 research notesCharacterize hyperbolic $3$-manifolds with infinitely generated fundamental group. In particular, is there a $3$-manifold that is locally hyperbolic, ...
5.2 (Agol) — Large injectivity radius in hyperbolic homology manifolds
v1.3 research notesDo there exist fibered hyperbolic $3$-manifolds that are homology $S^2\times S^1$ and have arbitrarily large injectivity radius? Are there hyperbolic ...
5.3 (Agol) — Thurston norm polytopes
v1.3 research notesCharacterize the Thurston norm polytopes of finite-volume hyperbolic $3$-manifolds....
5.4 (Agol) — Virtual CAT(0) cubical manifold models
v1.3 research notesDoes every hyperbolic $3$-manifold have a finite-sheeted cover homeomorphic to a CAT(0) cube complex?...
5.5 (Agol) — Asymptotic frequency of small drilled manifolds
v1.3 research notesFix $\mu$ below the three-dimensional Margulis constant. For hyperbolic $3$-manifolds of volume less than $V$, drill all closed geodesics of length le...
5.6 (Agol) — Cusp-preserving virtual domination
v1.3 research notesIf $M_1$ and $M_2$ are cusped hyperbolic $3$-manifolds, does there exist a cover $M'_1\to M_1$ and a nonzero-degree map $M'_1\to M_2$ taking cusps to ...
5.11 (Futer) — A combinatorial model with explicit bilipschitz constants
v1.3 research notesBuild a combinatorial model for hyperbolic $3$-manifolds with explicit bilipschitz constants....
5.15 (Gabai, Trnkova) — Ideal triangulations with arbitrarily many positive tetrahedra
v1.3 research notesLet $M$ be a hyperbolic $3$-manifold and let $n$ be any positive integer. Does $M$ admit an ideal triangulation with $m\geq n$ positively oriented tet...
7.6 (McMullen) — Totally geodesic surfaces and arithmeticity
v1.3 research notesLet $M$ be a finite-volume hyperbolic $3$-manifold. If $M$ contains infinitely many immersed totally geodesic surfaces, must $M$ be arithmetic?...
8.1 (Agol) — Strongly irreducible Heegaard splittings of Haken manifolds
v1.3 research notesDo Haken hyperbolic $3$-manifolds have strongly irreducible Heegaard splittings?...
8.2 (Dunfield) — Profinite detection of knot complements
v1.3 research notesFor a hyperbolic $3$-manifold with torus boundary, does its profinite completion determine whether it is a knot complement?...
8.5 (Schleimer) — Classification of strongly irreducible Heegaard splittings
v1.3 research notesIs there a classification of the strongly irreducible Heegaard splittings of a given $3$-manifold?...
8.7 (Tillmann) — Higher-dimensional multisections and stabilization
v1.3 research notesDo higher-dimensional smooth manifolds always admit multisections? What is the correct generalization of uniqueness up to stabilization for multisecti...
8.8 (Taylor) — Hyperbolic knots not arising from complicated bands
v1.3 research notesA band joining the components of a two-component link $L\subset S^3$ is called complicated if either its core cannot be isotoped to meet a splitting s...
Problem 1.1 — Study the function Ψ: Mg→ [−log(µg),∞) as a (rational) Morse function.
v1.3 research notesStudy the function Ψ: Mg→ [−log(µg),∞) as a (rational) Morse function. Classify its rational critical points. Deduce properties of the rational cohomo...
Problem 2.1 — Determine the finiteness properties of Ig.
v1.3 research notesDetermine the finiteness properties of Ig. For which k is Hk(Ig) finitely gen- erated? For which k is there a K(Ig, 1) with finite k-skeleton (one say...
Problem 2.2 — Letγ1,···,γ 2g be the standard basis of Z2g.
v1.3 research notesLetγ1,···,γ 2g be the standard basis of Z2g. Study the function L = ∑ Lγi:Yg→ [0,∞) as a Morse function. Find critical sets and deduce properties of t...