Geometric Topology
New submissions
[ showing up to 100 entries per page: fewer | more ]
New submissions for Thu, 28 Mar 24
- [1] arXiv:2403.18279 [pdf, ps, other]
-
Title: Forbidden complexes for the 3-sphereComments: 17 pages, 14 figuresSubjects: Geometric Topology (math.GT); Combinatorics (math.CO)
A simplicial complex is said to be {\em critical} (or {\em forbidden}) for the 3-sphere $S^3$ if it cannot be embedded in $S^3$ but after removing any one point, it can be embedded.
We show that if a multibranched surface cannot be embedded in $S^3$, it contains a critical complex which is a union of a multibranched surface and a (possibly empty) graph. We exhibit all critical complexes for $S^3$ which are contained in $K_5 \times S^1$ and $K_{3,3} \times S^1$ families. We also classify all critical complexes for $S^3$ which can be decomposed into $G\times S^1$ and $H$, where $G$ and $H$ are graphs.
In spite of the above property, there exist complexes which cannot be embedded in $S^3$, but they do not contain any critical complexes. From the property of those examples, we define an equivalence relation on all simplicial complexes $\mathcal{C}$ and a partially ordered set of complexes $(\mathcal{C}/\mathord\sim; \subseteqq)$, and refine the definition of critical. According to the refined definition of critical, we show that if a complex $X$ cannot be embedded in $S^3$, then there exists $[X']\subseteqq [X]$ such that $[X']$ is critical for $[S^3]$. - [2] arXiv:2403.18544 [pdf, ps, other]
-
Title: On the distribution of the components of multicurves of given typeComments: 29 pagesSubjects: Geometric Topology (math.GT); Dynamical Systems (math.DS)
We study the distribution of the individual components of a random multicurve under the action of the mapping class group.
- [3] arXiv:2403.18698 [pdf, ps, other]
-
Title: Submanifold projections and hyperbolicity in ${\rm Out}(F_n)$Comments: 24 pagesSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
The free splitting graph of a free group $F_n$ with $n\geq 2$ generators is a hyperbolic ${\rm Out}(F_n)$-graph which has a geometric realization as a sphere graph in the connected sum of $n$ copies of $S^1\times S^2$. We use this realization to construct submanifold projections of the free splitting graph into the free splitting graphs of proper free factors. This is used to construct for $n\geq 3$ a new hyperbolic ${\rm Out}(F_n)$-graph. If $n=3$, then every exponentially growing element acts on this graph with positive translation length.
Cross-lists for Thu, 28 Mar 24
- [4] arXiv:2403.16566 (cross-list from math.AT) [pdf, ps, other]
-
Title: Non-commutative divergence and the Turaev cobracketAuthors: Toyo TaniguchiComments: 19 pages, references added, minor changesSubjects: Algebraic Topology (math.AT); Geometric Topology (math.GT); Quantum Algebra (math.QA)
The divergence map, an important ingredient in the algebraic description of the Turaev cobracket on a connected oriented compact surface with boundary, is reformulated in the context of non-commutative geometry and is generalised to give a similar algebraic description of the Turaev cobracket on a closed surface. We also look into a relation between the Satoh trace and the divergence map on a free Lie algebra, using a non-commutative analogue of a flat connection.
- [5] arXiv:2403.17964 (cross-list from math.GR) [pdf, other]
-
Title: Quantifying separability in RAAGs via representationsComments: arXiv admin note: substantial text overlap with arXiv:2303.03644Subjects: Group Theory (math.GR); Geometric Topology (math.GT)
We answer the question asked by Louder, McReynolds and Patel, and prove the following statement. Let L be a RAAG, H a word quasiconvex subgroup of L, then there is a finite dimensional representation of L that separates the subgroup H in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate H in L. This implies the same statement for a virtually special group L and, in particular, a fundamental groups of a hyperbolic 3-manifold.
- [6] arXiv:2403.18261 (cross-list from math.SG) [pdf, ps, other]
-
Title: Simplicity of the contactomorphism group of finite regularityAuthors: Yong-Geun OhComments: 61 pages, comments welcome!Subjects: Symplectic Geometry (math.SG); Dynamical Systems (math.DS); Geometric Topology (math.GT)
For a given coorientable contact manifold $(M^{2n+1},\xi)$, we consider the group $ \operatorname{Cont}_c^{(r,\delta)}(M,\alpha)$ consisting of $C^{r,\delta}$ contactomorphisms with compact support which is equipped with $C^{r,\delta}$-topology of H\"older regularity $(r,\delta)$ for $r \geq 1$ and $0 <\delta \leq 1$. We prove that for all H\"older class exponents with $r > n + 2$ or $r = n+1, \, \frac12 < \delta \leq 1$ (resp. $r < n+1$ or $r = n+1$ and $ 0< \delta <\frac12$), the group is a perfect (and so a simple) group. In particular, $\operatorname{Cont}_c^r(M,\xi)$ is simple for all integer $r \geq 1$. For the case of $\operatorname{Cont}_c^{(r,\delta)}(M,\alpha)$ of general H\"older regularity, we prove the simplicity for all pairs $(r,\delta)$ leaving only the case of $(r,\delta) = (n+1,\frac12)$ open.
- [7] arXiv:2403.18780 (cross-list from math.DS) [pdf, other]
-
Title: Universal bounds on the entropy of toroidal attractorsSubjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
A toroidal set is a compactum $K \subseteq \mathbb{R}^3$ which has a neighbourhood basis of solid tori. We study the topological entropy of toroidal attractors $K$, bounding it from below in terms of purely topological properties of $K$. In particular, we show that for a toroidal set $K$, either any smooth attracting dynamics on $K$ has an entropy at least $\log 2$, or (up to continuation) $K$ admits smooth attracting dynamics which are stationary (hence with a zero entropy).
- [8] arXiv:2403.18805 (cross-list from math.DS) [pdf, ps, other]
-
Title: Using an invariant knot of a flow to find additional invariant structureAuthors: J.J. Sánchez-GabitesSubjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
Consider a continuous flow in $\mathbb{R}^3$ or any orientable $3$-manifold. Let $(Q_1, Q_0)$ be an index pair in the sense of Conley and consider the region $N := \overline{Q_1 - Q_0}$. (An example of this is a compact $3$-manifold $N$ such that trajectories of the flow cross $\partial N$ inwards or outwards transversally, or bounce off it from the outside). Suppose we know there is an invariant knot or link $K$ in the interior of $N$. We prove the following: if $K$ is contractible and nontrivial (in the sense of knot theory) in $N$, then every neighbourhood $U$ of $K$ contains a point $p \in N - K$ such that the whole trajectory of $p$ is contained in $N$. In other words, the presence of $K$ forces the existence of additional invariant structure in $N$ (besides $K$), and the latter can actually be found arbitrarily close to $K$.
To prove this result we develop a ``coloured'' handle theory which may be of independent interest to study flows in $3$-manifolds.
Replacements for Thu, 28 Mar 24
- [9] arXiv:2309.12198 (replaced) [pdf, ps, other]
-
Title: On aspherical configuration Lie groupoidsAuthors: S K RoushonComments: 14p. arXiv admin note: substantial text overlap with arXiv:2106.08110Subjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
[ showing up to 100 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2403, contact, help (Access key information)