Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
304 views

Local product structure of determinantal variety

The variety $X_n$ of singular $n\times n$ real matrices is stratified by smooth strata $X_{n,k}$ where $k$ is the rank. Choose a rank $k$ matrix $A\in X_{n,k}$. Is there a local diffeomorphism sending ...
Mikhail Katz's user avatar
  • 16.6k
4 votes
1 answer
197 views

Is the number of intervals you get by slicing the closed region under a nice graph continuous from below?

Let $I$ be a closed interval in $\mathbb{R}$, and let $f:I \to \mathbb{R}$ be a bounded function, smooth except at finitely many points (piece-wise smooth). There are also only finitely many critical ...
Bobby Grizzard's user avatar
4 votes
1 answer
381 views

CW complex with generalized cells

In the definition of CW complexes, all cells are homeomorphic to closed balls. I search for a generalized notion of CW complexes. In my application, the complexes are in fact finite. Is there a ...
shuhalo's user avatar
  • 5,327
4 votes
0 answers
154 views

Is there a notion of "locally flat" for CW complexes?

A submanifold $X^n\subset Y^m$ is locally flat if each point $x\in X$ has a neighborhood $U\subset Y$ so that $(U,U\cap X)\simeq (\Bbb R^m, \Bbb R^n)$ with the standard embedding $\Bbb R^n\...
M. Winter's user avatar
  • 13.6k
4 votes
0 answers
182 views

Symmetric line spaces are homeomorphic to Euclidean spaces

For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$. Definition: A metric space $(X,d)$...
Taras Banakh's user avatar
  • 41.9k
4 votes
0 answers
183 views

In how far does the Whitney trick work in the piecewise linear setting in $\Bbb R^4$?

I usually read about the Whitney trick in the context of smooth manifolds, but I wonder in how far it works in the piecewise linear (PL) category as well. I have a specific setting in mind that I will ...
M. Winter's user avatar
  • 13.6k
4 votes
0 answers
177 views

Ping pong with parabolic isometries on Gromov hyperbolic spaces

For a group $G$ with a non-elementary general type action by isometries on a Gromov hyperbolic geodesic space $(X,d)$, it is well known that you can construct free subgroups of $G$ via the ping pong ...
user203667's user avatar
4 votes
0 answers
158 views

Postnikov square explicitly on a simplicial complex

$\DeclareMathOperator\Z{\mathbb{Z}}$ Following Wikipedia, a Postnikov square is a certain cohomology operation from a first cohomology group $H^1$ to a third cohomology group $H^3$, introduced by ...
wonderich's user avatar
  • 10.5k
4 votes
0 answers
88 views

What is the explicit relationship between the shape parameters and the holonomy of a hyperbolic ideal triangulation?

Let $K$ be a hyperbolic knot in $S^3$. One way to describe the hyperbolic structure is to give a discrete, faithful representation $\pi_1(S^3 \setminus K) \to \operatorname{PSL}_2(\mathbb C)$, the ...
Calvin McPhail-Snyder's user avatar
4 votes
0 answers
79 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 ...
Igor Belegradek's user avatar
4 votes
0 answers
188 views

Mapping class group of $\mathbb{S}^3$

If I recall correctly from a lecture I attended the last year we have that $MCG(\mathbb{S^2})\simeq\frac{\mathbb{Z}}{2\mathbb{Z}}$ by Smale in the 60' and $MCG(\mathbb{S^3})\simeq\frac{\mathbb{Z}}{2\...
Overflowian's user avatar
  • 2,533
4 votes
0 answers
290 views

Generalized Postnikov square

Following Wikipedia (https://en.wikipedia.org/wiki/Postnikov_square), a Postnikov square is a certain cohomology operation from a first cohomology group $H^1$ to a third cohomology group $H^3$, ...
Borromean's user avatar
  • 1,329
3 votes
6 answers
2k views

Source needed (at final-year undergrad level) for the double cover of SO(3) by SU(2)

This is a bit of an ill-defined question, and I feel I should have been able to resolve it by combining Google with a few library trips, but I'm having difficulty narrowing down the search results to ...
3 votes
3 answers
1k views

reference on complex dynamics

Please someone suggest me some reference on the topic "Complex Dynamics". I want a brief geometric treatment from the root level. I have graduate level background on complex analysis, riemannian ...
debabrata chakraborty's user avatar
3 votes
2 answers
950 views

hyperbolic 3-manifold of finite volume

Is there a complete description of hyperbolic 3-manifold of finite volume ? Or similarly a classification of finitely generated torsion free subgroups of $PSL(2,\mathbf{C})$ with finite covolume? ...
mathphys's user avatar
  • 1,629
3 votes
1 answer
912 views

Homotopy classes of maps

This is a reference request. A theorem of Hurewicz (published in Beiträge zur Topologie der Deformationen. IV. Asphärische Räume, Proc. Akad. Wetensch. Amsterdam, volume 39, deel 2 (1936), 215-224, ...
suhakscha's user avatar
3 votes
1 answer
516 views

Ambiguity in the unoriented knot connected sum

It is well known that there might be ambiguity in the unoriented knot connected sum if the knots concerned are not invertible. E.g., consider 8_17, the only knot with crossing number 8 which is non-...
user202107011110's user avatar
3 votes
1 answer
331 views

Simply connected 4-manifolds with boundary

I think I've encountered a question about 4-manifolds which maybe easy but I'm not familiar with. Can anyone give me an example of a simply connected 4-manifold $M$ (with boundary, of course) with $...
Ivy's user avatar
  • 123
3 votes
1 answer
236 views

Example of a non $\pi_1$-injective, degree one, self-map of a three-manifold

All manifolds will be assumed to be closed, oriented, and connected. Let $f\colon M\to M$ be a map of degree $\pm 1$. It is not hard to show that $\pi_1(f)$ is surjective. What is an example of a non ...
Random's user avatar
  • 1,097
3 votes
1 answer
828 views

Moise's Theorem and the Fundamental Domain of a $3$-Manifold

I'm currently researching the relationship between Moise's Theorem (Every closed $3$-manifold has a triangulation) and other properties of manifolds. In particular, I'm trying to learn about the ...
Samuel Reid's user avatar
  • 1,441
3 votes
3 answers
259 views

Reference for an easy lemma on homeomorphisms of connected manifolds

If M is a connected manifold of dimension $\geq 2$ then the set of orientation preserving homeomorphisms of M that are isotopic to the identity acts $n$-transitively on M for all positive $n\in\mathbb{...
Arnaud Chéritat's user avatar
3 votes
1 answer
270 views

survey paper on the construction of hyperbolic manifolds

Is there a good survey paper which discusses the common ways of building hyperbolic $n$-manifolds?
student's user avatar
  • 101
3 votes
1 answer
361 views

Lectures on triangulations of manifolds by Robion Kirby

I was looking for the book mentioned in the title. Seemingly it was not published, but copies are available in several mathematical libraries. Google books does not provide preview. I am wondering if ...
user122321's user avatar
3 votes
1 answer
375 views

Reference for triangle groups

Can anyone suggest to me some references for studying triangle groups? Especially the existence of finite index subgroups, subgroups isomorphic to fundamental groups of compact surfaces etc.
KAK's user avatar
  • 613
3 votes
1 answer
173 views

Cusps of hyperbolic surfaces under finite covers

The following statement seems true, but I don't know a proof or a reference for it (and I would like one). Let $\Gamma< \operatorname{PSL}(2,\mathbb R)$ be a nonuniform lattice with one cusp. We ...
Chris Z's user avatar
  • 291
3 votes
1 answer
212 views

Picturing twisting of strands explicitly after blow downs

In order to simplify Kirby calculus proofs, one can use a box notation which indicates a number of full twists up to sign. In the scenario of two strands with twist boxes, it is straightforward to ...
Terry Black's user avatar
3 votes
1 answer
265 views

Classification of degree one map between two closed orientable surfaces without using induction on the genus

A theorem of Edmonds (see Theorem 3.1. of "Deformation of Maps to Branched Coverings in Dimension Two") says that Theorem 1: A degree-one map between closed orientable surfaces is homotopic ...
Random's user avatar
  • 1,097
3 votes
1 answer
152 views

Reference request: Stallings-Epstein-Waldhausen construction

I am looking for a reference for the Stallings-Epstein-Waldhausen construction (constructing an incompressible surface in a 3-manifold from a nontrivial splitting of the fundamental group). I know of ...
wandersam's user avatar
  • 125
3 votes
1 answer
319 views

Fixed point property for intersection of spaces which are homeomorphic to a disk

The following question is question 9.8 from Miller's paper ``Some interesting problems '': Question Suppose $D_n$ a subset of the plane is homeomorphic to a disk and for every $n\in \omega, D_{n+...
Mohammad Golshani's user avatar
3 votes
1 answer
190 views

Stabilizer of the action of the mapping class group on a pants decomposition

$\DeclareMathOperator\Mod{Mod}$Let $S$ be a surface and $P=\{a_1,...,a_n\}$ be a pants decomposition of $S$. Denote by $\Mod(S)$ the mapping class group of $S$. Define the stabilizer of $\Mod(S)$ on $...
user avatar
3 votes
1 answer
221 views

Ehresmann's fibration theorem for CW or simplicial complexes

Is there an analogue of Ehresmann fibration theorem for (finite) CW complexes ? Note is not true that an open surjective (necessary proper) cellular map of finite CW or simplicial complexes is ...
user420620's user avatar
3 votes
1 answer
87 views

Reference for birational equivalence of $A$-polynomial curve and character variety

For $K$ a knot in $S^3$, the character variety $\mathfrak{X}_K$ parametrizes conjugacy classes of representations $\pi_1(S^3 \setminus K) \to \operatorname{SL}_2(\mathbb C)$. Another object that does ...
Calvin McPhail-Snyder's user avatar
3 votes
0 answers
227 views

Classifying spaces beyond CW complexes

We know that for a reasonable topological group $G$ (say a compact Lie group) admits a classifying space for $G$-bundles within the category of countable CW complexes. That means, there is a space $BG$...
UVIR's user avatar
  • 803
3 votes
0 answers
463 views

Representations of triangle groups

$\DeclareMathOperator\SU{SU}\DeclareMathOperator\PSL{PSL}$I am self-studying triangle groups and the following question comes up. Let $G$ denotes $(2,3,7)$ triangle group. It is symmetry group of $(2,...
KAK's user avatar
  • 613
3 votes
0 answers
88 views

Is the thickening of a PL 2-disc in $\Bbb R^4$ a 4-ball?

Let $D\subset\Bbb R^4$ be a PL-embedded 2-dimensional disc. Let $N=D+K$ be a thickening of the disc, where $K$ is some sufficiently small 4-dimensional PL-ball and "$+$" means Minkowski ...
M. Winter's user avatar
  • 13.6k
3 votes
0 answers
209 views

Braids of fibered knots

There are some theorems saying that the closure of a braid of a specific form is fibered. For instance, a theorem of Stallings says that the closure of a homogeneous braid is a fibered knot. I am ...
Henry's user avatar
  • 1,430
3 votes
0 answers
670 views

Elementary reference for Borel-Moore/locally finite homology

There is a homology theory called "Borel-Moore" or "locally finite" homology, which can either be constructed by using locally-finite chains or by more advanced sheaf-theoretic ...
Calvin McPhail-Snyder's user avatar
3 votes
0 answers
228 views

Diffeomorphism classification of Grassmannian manifolds

Is anything known about the diffeomorphism classification of Grassmannian manifolds? I know that there are some results on projective spaces (for example in Lopez de Medrano's "Involutions on ...
Kafka91's user avatar
  • 93
3 votes
0 answers
136 views

Existence of loxodromic elements in certain subsets of $\text{PSL}_2(\mathbb C)$

Let $R$ be a subset of $\text{PSL}_2(\mathbb C)$ and consider its natural action on $\mathbb {CP}^1$. We say that $R$ is elementary if either $R$ is conjugated to a subset of $\text{SU(2)}$ or if ...
Lucas Kaufmann's user avatar
3 votes
0 answers
102 views

Find a certain triangulation subordinate to a given covering of a manifold

Let $\{U_\alpha\}$ be a covering of a smooth manifold $M$. Replacing it by a refined covering if necessary, we may assume some good properties of it, like, (1) any intersection $\cap_{i=1}^k U_{\...
Hang's user avatar
  • 2,789
3 votes
0 answers
359 views

Cubical approximation theorem for cubical complexes

A version of the simplicial approximation theorem states that a continuous map between finite simplicial complexes is homotopic to a simplicial map after subdividing the domain. I have found a claim ...
Ben Knudsen's user avatar
3 votes
0 answers
257 views

Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?
Martin Peters's user avatar
3 votes
0 answers
156 views

Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...
Łukasz Garncarek's user avatar
3 votes
0 answers
688 views

Transversality and isolated degenerate critical points

Maybe some of the following statements are not precise. Please correct them. Let $M$ be a compact smooth manifold. Let $f: M \to {\mathbb R}$ be a Morse function. Then a generic Riemannian metric $g$ ...
Guangbo Xu's user avatar
  • 1,207
2 votes
2 answers
594 views

Hausdorff Dimensions of Limit set of subgroups of SL(2,Z)

In a recent paper by Bourgain, Sarnak, Gamburd [1] talks about subgroups of $SL(2,\mathbb{Z})$. Let $\Lambda$ be a finitely generated non-elementary subgroup of $SL(2,\mathbb{Z})$ with Hausdorff ...
john mangual's user avatar
  • 22.8k
2 votes
1 answer
817 views

Is every quasipositive knot strongly quasipositive?

A link is called quasipositive if it has a special braid diagram, namely a product of conjugates of the positive standard generators of the braid group. If this product only contains words of the form ...
Aru Ray's user avatar
  • 711
2 votes
1 answer
709 views

Smooth structures on closed $3$-manifolds are unique up to diffeomorphism?

Hi! I'm using the theorem stated in the question, but so far, I haven't found a source that does explicitely state and prove it or at least give a proper citation. It must be me though, since the ...
Malte Muth's user avatar
2 votes
2 answers
330 views

$PSL_2(\mathbb{R})$ representations of free groups

Let $S_{g,n}^b$ denote a surface of genus $g$ with $n$ punctures and $b$ boundary components. Let us assume $\max\{b,n\}\geq 1$. It is then obvious that $S_{g,n}^b$ deformation retracts to a bouquet ...
user470881's user avatar
2 votes
2 answers
377 views

Any introduction to Teichmuller Space of $T^2$?

Is there any well written introduction for the modular space of complex structures on $T^2$?
2 votes
1 answer
143 views

Triangles and convex hulls in high dimensions

Given a set $S_n$ of $n$ points $\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_n\in\mathbb{R}^d$, such that every $(d+1)$-tuple in $S_n$ is affinely independent, and let $C(S_n)$ be the convex hull ...
Penelope Benenati's user avatar

1
4 5
6
7 8