Questions tagged [gt.geometric-topology]

Topology of cell complexes and manifolds, classification of manifolds (e.g. smoothing, surgery), low dimensional topology (e.g. knot theory, invariants of 4-manifolds), embedding theory, combinatorial and PL topology, geometric group theory, infinite dimensional topology (e.g. Hilbert cube manifolds, theory of retracts).

Filter by
Sorted by
Tagged with
0
votes
0answers
28 views

Convex surfaces with transverse boundary (contact geometry)

Suppose I have a compact surface $\Sigma$ in a contact 3-manifold, where the boundary $\partial\Sigma$ is transverse to the contact structure. Am I able to perturb $\Sigma$ rel boundary so that it is ...
8
votes
0answers
64 views

Find a 4-manifold bounding a 3-torus with any abelian representation in SL_2

Fix $x,y,z\in \mathbb{C}^*$ and let $M=S^1\times S^1\times S^1$ with $\rho:\pi_1(M)\to \operatorname{SL}_2(\mathbb{C})$ mapping the three generators to diagonal matrices with entries $(x,x^{-1})$, $(y,...
13
votes
1answer
337 views

Is there a Morita cocycle for the mapping class group Mod(g,n) when n > 1?

Write Mod(g,n) for the mapping class group of a genus-$g$ surface $\Sigma$ with $n$ boundary components. When $n=0,1$ we define the Torelli group $T$ to be the subgroup of Mod(g,n) which acts ...
6
votes
1answer
134 views

Cobordism monopole Floer homology

From the famous book: Monopole and three manifold, Kronheimer and Mrowka(https://www.maths.ed.ac.uk/~v1ranick/papers/kronmrowka.pdf). It is known that: Let $Y$ be a closed oriented $3$ manifold, ...
5
votes
1answer
143 views

Computing $\pi_2$ of the complement of a 2-knot or spaces with aspherical splittings?

As far as I know, it is an open question if the complement of a ribbon disk $D^2 \subset B^4$ is aspherical. In reading "Some remarks on a problem of J.H.C Whitehead" by Howie, it is noted that there ...
57
votes
28answers
5k views

Proofs where higher dimension or cardinality actually enabled much simpler proof?

I am very interested in proofs that become shorter and simpler by going to higher dimension in $\mathbb R^n$, or higher cardinality. By "higher" I mean that the proof is using higher dimension or ...
6
votes
1answer
143 views

Mean curvature flow and knot theory

I am wondering if the mean curvature flow of one-dimensional submanifolds of $\mathbb{R}^3$ is understood well enough to give some perspective on (and hopefully a proof of) something like the Fary-...
5
votes
1answer
244 views

Whitney sum formula for topological Pontryagin classes

Is there a Whitney sum formula for topological rational Pontryagin classes? I thought the answer is yes, but now I cannot find a reference. Is it even true? The PL case would also be of interest.
0
votes
2answers
76 views

Transverse invariant measures to vector fields

Given a smooth, non-vanishing vector field on a compact manifold, when does the 1-dimensional foliation given by its integral curves admit a transverse invariant measure? I've seen examples of higher-...
8
votes
2answers
420 views

A counter-example for the reversed direction of Casson-Gordon's theorem

For a knot $K$, let $\Sigma_K$ be the double cyclic branched cover of a knot. By the classical work of Casson and Gordon, we know that if $K$ is smoothly slice, then $\Sigma_K$ bounds a rational ...
3
votes
1answer
154 views

Books on foliations

I am looking for resources (books, notes, lecture video, etc. anything will do although printed material in English is preferable) on foliations which satisfy some or all of the following constraints. ...
3
votes
0answers
136 views

Cobordism theory of some weird space

Let $G=SU(3)$ and $N=SO(3)$, then $G/N= SU(3)/SO(3)$ = a 5-dimensional Wu manifold $W$. The $W$ is a homogeneous space (also a quotient space), but not a group. Previously, I am aware of the ...
4
votes
0answers
157 views

Image of the mapping class group of surfaces into automorphism group?

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the ...
3
votes
1answer
99 views

Maximally symmetric hyperbolic 3-manifolds with finite volume

In physics, standard cosmology is build with simple maximally symmetric 3-manifolds (spacelike time-slices of constant curvature, e.g. $S^3$ or less popular the hyperbolic space $H^3$). Since $S^3$ ...
1
vote
0answers
108 views

When a free action gives rise to a $G$-principal bundle

When a free action gives rise to a $G$-principal bundle Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that $G \backslash X$ is Hausdorff. (equivalently the image of ...
4
votes
0answers
59 views

Implicit function theorem for PL maps

Let $K$ be a PL triangulation of a closed manifold and $f: K\to\mathbb R^k$ be a PL map. Equivalently, $f$ is a map that becomes linear on every simplex after subdividing. Suppose $v$ is a vertex in ...
6
votes
1answer
245 views

Approximate homology of a large simplicial complex

I can use software to calculate the Betti numbers $\beta_0,\beta_1,\beta_2,\dots$ of a finite simplicial complex. This is prohibitive for large complexes, built on say > 100,000 nodes. Is there some ...
7
votes
1answer
203 views

Retracting off a compact set

Let $K$ be a compact set in $\mathbb{R}^n$ and let $U$ be a bounded open set that contains $K$. You may assume both are connected. Can we always find an open $V$ such that $K\subset V\subset\...
0
votes
1answer
309 views

Clarification of “death event” in persistent homology

Before I ask my question let me clarify some notation: $f^{i,j}_r$, where $i < j$, refers to the inclusion map $f: H_r(X_i) \hookrightarrow H_r(X_j)$. $X_i$ and $X_j$ are subcomplexes of a filtered ...
6
votes
0answers
101 views

Why does the inverse Alexander polynomial appear in the MMR conjecture?

In an attempt to better understand why the inverse Alexander polynomial appears in the MMR conjecture, I was reading the paper [1] of Bar-Natan and Garoufalidis giving their proof of the conjecture ...
11
votes
4answers
1k views

What is the “right” definition of the homology(cohomology) of an orbifold?

What is the "right" analog in the orbifold case of a singular homology of a topological space? We can not just take the homology of the underlying space, because it does not contain much information. ...
6
votes
1answer
159 views

Non-example for Whitney (a) stratifications

Given a $C^1$ stratification $\mathscr{S}$ of a $C^1$ manifold $M$, we write $N^\ast \mathscr{S}$ for the union of conormals to the strata. The stratification is said to be Whitney (a) if $N^\ast \...
6
votes
0answers
135 views

Coarsifying persistence modules

The context Let $I=[0,∞)$ and consider the category of persistence modules $(V,π)$ indexed over $I$ satisfying: For all $t$ in $I$ but a closed discrete set of points $T$, there exists a ...
6
votes
1answer
383 views

Solutions of PDE under changing topology

Let suppose we have a PDE on a manifold. I'm interested in the following question. How does the space of solutions of this PDE change when the topology of the manifold changes? For example in 2D we ...
3
votes
2answers
120 views

Homology torsion in the double branched cover of a tangle?

Let $T$ be a locally unknotted $2$-tangle in $B^3$ and $\Sigma(T)$ be its double branched cover. Can $H_1(\Sigma(T))$ have a non-trivial torsion? (Obviously, not for rational tangles.)
3
votes
0answers
145 views

Convergence of Fuchsian groups and existence of suitable homeomorphisms

Let $(\Gamma_n)_n$ ($\subset PSL(2,\mathbb{R})$) be a sequence of discrete groups, if we say that $(\Gamma_n)_n$ converges to a group $\Gamma$ this means that there exist isomorphisms $\tau_n:\Gamma\...
16
votes
2answers
294 views

Equilaterally triangulated surfaces with prescribed boundary

There is a problem in Richard Kenyon's list which I would like to post here, because although I have thought about it from time to time, I have not been able to make the slightest progress on it: ...
4
votes
1answer
203 views

Mirzakhani's hyperbolic method generalized to moduli space of stable maps

I've been learning about Mirzakhani's use of hyperbolic geometry to compute Weil-Petersson volumes of moduli space of curves, and the application to proving Virasoro constraints for a point. Why have ...
16
votes
3answers
1k views

Is {6,3,7} an 'ultrahyperbolic' Coxeter group?

These pictures, drawn by Roice Nelson, are attempts to visualize a geometry having as symmetries the {6,3,7} Coxeter group, by which I mean the one coming from the Coxeter diagram $$\circ-6-\circ-3-\...
9
votes
4answers
2k views

Associativity of topological join and join of spheres

This must be an elementary question, as I couldn't find any proofs on the Internet, but I still can't do it. And yes, Hatcher says that the join is not actually associative for general topological ...
11
votes
1answer
509 views

Partial word orders on groups

This is a followup question related to this question. Recall that a left-invariant partial order on a finitely generated group $G$ is called a partial word order if for every $a\le b\le c$ we have $|...
19
votes
3answers
2k views

What is the geometric shape of the Monster sporadic group?

Conway made the comment that the Monster group represents the symmetries of a shape in 196,883 dimensions, something like a "star you hang on a Christmas tree." My question is, What do we know (or ...
6
votes
2answers
1k views

Ehresmann fibration theorem for manifolds with boundary

All manifolds in consideration may have nonempty boundary and may be disconnected. Let me fix a definition first. A map between smooth manifolds $M\rightarrow N$ is a fiber bundle, iff it's locally ...
4
votes
2answers
191 views

Is it possible to connect every compact set?

Let $X$ be a "nice" space: metrizable, connected, locally path connected perhaps. Let $K\subset X$ be a compact set. Is there a always a compact connected $L\subset X$ such that $K\subset L$? This ...
1
vote
0answers
46 views

Spaces that are comparable with their compacts

This is an outgrowth of this question. For a (metrizable) space $X$ consider the following increasingly strong properties: (i) For every compact $K\subset X$ there is a map $f:X\to X$ such that $K\...
2
votes
0answers
166 views

Retracting to a bigger compact

Consider the topological spaces $X$ with the following property: For every compact $K\subseteq X$ there is a compact set $L$ such that $K\subseteq L\subseteq X$ and $L$ is a retract of $X$. Let ...
1
vote
0answers
50 views

Spherical space-form as the boundary of an Euclidean ball

Let $M^n$ be a smooth compact manifold such that the boundary $\partial M$ is diffeomorphic to a spherical space-form $S^{n-1}/\Gamma$, where $\Gamma \subset O(n)$ is a finite subgroup acting freely ...
12
votes
1answer
193 views

Powers of the Euler class, torsion free subgroup of Homeo($S^1$)

For any subgroup $G$ of $\text{Homeo}(S^1)$, we have the Euler class $\chi$ in the group cohomology $H^2(G;\mathbb{Z})$. One can think of this class as the pullback of the generator of $H^2(\mathrm{B}\...
3
votes
2answers
307 views

General linear inverse monoid

Let $V$ be a finite dimensional vector space over some field (say, $\mathbb C$). Consider the set $\operatorname{GLI}(V)$ of all linear isomorphisms between subspaces of $V$. This is a monoid under ...
3
votes
1answer
112 views

Unknotting algorithm in higher dimensions?

Suppose we are given a 2-knot (say by a movie). Is there an algorithm to tell if it is unknotted ? I suppose that it could matter if I say "topologically" or "smoothly" here since those could be ...
2
votes
0answers
147 views

cohomology classes of complex submanifolds

I was wondering if there were restrictions in what the cohomology classes corresponding to complex submanifolds of a complex manifold could be. For example, say $T^4$ is regarded as a complex ...
51
votes
1answer
5k views

Open map D⁴ → S²

Is it possible to construct an embedding $D^4\hookrightarrow S^2\times \mathbb R^2$ such that the projection $D^4\to S^2$ is an open map? Here $D^n$ denotes closed $n$-ball. An open map D⁴ → S². It ...
8
votes
1answer
227 views

Mostow Rigidity Theorem and reconstruction from fundamental group

The Mostow Rigidity Theorem is phrased in terms of a relationship between isometries and isomorphisms of fundamental groups, which raises an obvious question. Given the fundamental group of a complete ...
6
votes
1answer
181 views

An orientable surface that cannot be embedded into $\Bbb R^3$? [duplicate]

I previously asked this question on MSE, without success. By Whitney's embedding theorem, every 2-dimensional manifold (aka. a surface) can be embedded into $\Bbb R^4$. Now, Wikipedia states in this ...
5
votes
1answer
173 views

Quasi-isometric embedding of graphs in non-compact riemannian surfaces

Given a complete riemannian surface $(S,m)$, where $S$ is homeomorphic to $\mathbb{R}^2$, I would like to find a weighted graph $G$ (which means a graph with real non-negative weights on the edges), ...
7
votes
1answer
245 views

Embedding of flat surfaces

Let $S$ be a orientable compact surface with a flat euclidean structure with conical singularities (cf. [T] for instance). Let also $\mathcal P$ be a polyhedral euclidean decomposition of $S$ (with ...
4
votes
1answer
89 views

Is a cosparse action on a CAT(0) cube complex an essential action?

Let $X$ be a CAT(0) cube complex. (From Sageev and Wise's Cores for Quasiconvex actions) A group $G$ acts cosparsely on a CAT(0)-cube complex $X$ if there exists a compact space $K$ and finitely many ...
7
votes
4answers
591 views

General properties of free-by-cyclic groups

I admit this is a very broad question, but I am looking for general properties of [finitely generated free]-by-[infinite cyclic] groups. More precisely, what are some properties that the groups $\{F_n\...
4
votes
2answers
121 views

When existence of loxodromic, WPD elements implies an action is acylindrical

Definitions Say that $(X,d)$ is a $\delta$-hyperbolic space and that $G$ is a finitely generated group acting on $X$ by isometries. Recall that an action of $G$ on $X$ is called acylindrical if the ...
1
vote
0answers
29 views

relative transformation of coordinates on a flat surface [closed]

I have a few coordinates that form a triangle. I have a relative point to that triangle. if the coordinates get translated to a new triangle I want to calculate the new relative point. How do I do ...

1
2 3 4 5
61