The tag has no wiki summary.

learn more… | top users | synonyms

11
votes
0answers
481 views

Codimension Two Embeddings in Goodwillie-Weiss Manifold Calculus, and the Difficulty of Fundamental Groups

In manifold calculus, there are various analyticity estimates which run into trouble for codimension two embeddings. For instance, the functor $\operatorname{Emb}(M,N)$ is analytic in $M$ if $\dim M ...
7
votes
0answers
185 views

Reference Request: Topological h-cobordism theorem in higher dimensions

I think this question on math.stackexchange is more appropriate on mathoverflow. Correct me, if you don't think so. The h-cobordism theorem is true in the topological and in the smooth category in ...
7
votes
0answers
137 views

PL surface projections - is there a theory of folds and cusps?

For smooth surfaces, the generic singularities of a map of one surface to another are folds and cusps (Whitney). It is a standard result in singularity theory that the generic isotopy of such a map is ...
7
votes
0answers
492 views

Homometric $\Rightarrow$ isometric?

Suppose you know that there is a mapping between two Riemmanian manifolds $M_1$ and $M_2$ such that, for each $x_1 \in M_1$, the (codimension-1) measure of the set of points at distance $d$ from $x_1$ ...
7
votes
0answers
119 views

a “homological dimension” for embedding of manifolds

Let $A\to B$ be a surjective map of commutative $k$-algebras, and suppose $C\to B$ is a free resolution of $B$ as an $A$-algebra, meaning that $C$ is a free non-negatively graded commutative ...
5
votes
0answers
218 views

Embedding tower in low codimension

If $F$ is a suitably nice functor from manifolds to spaces, it has a degree $k$ "polynomial" approximation $T_k F$ in the sense of embedding calculus. We set $T_\infty F := \mathrm{holim} T_k F$. The ...
5
votes
0answers
180 views

Is there a Whitney-type theorem Cauchy manifolds?

Let $M$ be a Cauchy space whose induced topological space is a second-countable Hausdorff space that is locally homeomorphic to $\mathbb{R}^m$. Does it follow that there exists a subspace $N$ of ...
4
votes
0answers
170 views

Action of the mapping class group on separating spheres in a connected sum of aspherical 3-manifolds

Let $M$ be a connected sum of $g$ closed aspherical 3-manifolds $M_1, \ldots, M_g$. [Update: I also assume that all the $M_i$-s are diffeomorphic, i.e. $M$ is a connected sum of copies of the same ...
4
votes
0answers
106 views

A question about something like “shelling” in a PL manifold

If $P$ and $Q$ are compact codimension zero submanifolds of a PL manifold, say that they meet nicely if $P\cap Q$ is a codimension zero submanifold of both $\partial P$ and $\partial Q$. In ...
4
votes
0answers
148 views

Haken manifolds and characterising sutured manifold hierarchies

In Gabai's paper (Knot Theory and Manifolds Lecture Notes in Mathematics Volume 1144, 1985, pp 14-17 An internal hierarchy for 3-manifolds) he considers sutured manifold decompositions of Haken ...
4
votes
0answers
181 views

Mean number of $n$-simplices per $(n-2)$-simplex in a triangulated $n$-manifold

Work by Tamura (extending results by Luo and Stong) shows the following. Theorem: For any closed 3-manifold $M$ and any rational number $4.5 < r < 6$ there is a triangulation $T$ of $M$ for ...
2
votes
0answers
61 views

Codimension $k$ homeomorphism extensions

Let $f:D \to D$ homeomorphism of $k$ codimension manifold (closed, compact, without boundary) to itself. ($D \subset \mathbb{R}^{n+k}$). For which $f$ does homeorophism $g: \mathbb{R}^{n+k} \to ...
2
votes
0answers
208 views

What kinds of manifolds admit non-vanishing vector fields defining convergent congruences?

One of the corollaries of the Poincaré–Hopf index theorem is that a closed, connected manifold $M$ admits non-vanishing vector fields iff its Euler characteristic is zero; i.e. $\chi(M) = 0$. I am ...
2
votes
0answers
215 views

When is the realisation of a simplicial set a manifold?

It is known that a simplicial complex is homeomorphic to a manifold if the link of every vertex is a simplicial sphere, for which there exists a definition. (I know that for high dimension, the ...
2
votes
0answers
63 views

Are there a group of mappings from (n-1)-dim space to an (n-1)-sphere guaranteeing the orthogonality of images?

Hello, everyone. As we know that in an $n$-dimensional Euclidean space $\mathbb{R}^n$, there exists a continuous bijective mapping from a subset $V^{n-1}\subseteq\mathbb{R}^{n-1}$ to a unit ...
1
vote
0answers
40 views

Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface

Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem $$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma ...
1
vote
0answers
81 views

Are there analogs of smooth partitions of unity and good open covers for PL-manifolds?

Smooth partitions of unity and differentiable good open covers are important technical tools in the realm of smooth manifolds. Are there analogs of these tools for piecewise linear manifolds? A PL ...
1
vote
0answers
40 views

Can the second order frame bundle of a 2-d manifold be embeded inside the ordinary frame bundle of a 3-d manifold?

I would like to know whether the second order frame bundle of a 2-d manifold can be embedded inside the ordinary frame bundle of a 3-d manifold. Explanation Suppose we have a 3D smooth manifold ...
1
vote
0answers
163 views

Does there exist any subspace of R^n, homeomorhic to a manifold but not a C^0 submanifold of R^n?

At first I thought that if a subspace of $\mathbb{R}^n$ is homeomorphic to a manifold, then it is a $C^0$ submanifold of $\mathbb{R}^n$. But I found an asterisked exercise in the book Differential ...
1
vote
0answers
65 views

Tubular neighbourhood which is nowhere piecewise linear

I recently asked this question. I think, if the following were true, then I would solve my problem. Let $E\subset\{(x_1,\dots,x_n)\in\mathbb R^n\;|\;x_i\geq 0\, \&\, \sum_ix_i=1\}$ be a convex ...
1
vote
0answers
78 views

PL or projective PL map on the links of a PL manifold

Let $M$ be a PL manifold and $f: M\rightarrow M$ be a PL homeomorphism. Suppose that $f(x)=x$ for some vertex $x$. Is the restriction map of $f$ on the links of $x$ also PL? Someone claims that this ...
1
vote
0answers
87 views

Proving that two given functionally structured spaces are isomorphic

The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...
1
vote
0answers
200 views

On tangent spaces of Stiefel Manifolds

I was trying to read Edelman et al.'s 1998 paper "The Geometry of Algorithms with Orthogonality Constraints" and, since I don't have any differential geometry or much linear algebra background, I am ...
0
votes
0answers
89 views

A consequenc of a Lie group act on a Riemannian manifold by isometry

I am learning differential geometry for using this topic in my research. I am stuck to prove following Result which I got in a article. Formulation: Let $ f: [0, 1]\rightarrow \mathbb{R}^2$ be a ...
0
votes
0answers
43 views

Invariant subsets of a local action

I have also asked this in MSE, but it seems to me that my question wasn't very well received there and I think someone in here will be able to answer it more quickly, hence this post. I don't ...
0
votes
0answers
14 views

Approximate rank of the set formed by all delayed replicas of a bandlimited signals between 0 and T

My question is given a complex-valued signal with a certain delay $s(t-\tau)$ for which we sample $N$ isntants: $$\mathbf{s(\tau)}=\left[s(0-\tau),\ldots,s\left(\frac{N-1}{f_s}-\tau\right)\right]^T$$ ...
0
votes
0answers
32 views

Why maslov zero lagrangian manifolds has the grading functions?

How to prove the following thing: Let $L$ be the lagrangian in calabi-Yau $M$. And $\Omega$ be the canonical m-form. $\Omega|_L=\exp{i\theta}dvol_L$, where \exp{i\theta} is a multivalule function. ...
0
votes
0answers
194 views

A question from Hamilton's Ricci Flow book by bennett chow

On page 3 of the book before exercise 1.2, is written: "torsion free is a compatibility condition with the differentiable structure". I correctly do not understand how torsion-free condition results ...
0
votes
0answers
344 views

Locally flat submanifold

Recently I found the next definition: Let $M^n$ be an $n-$dimensional topological manifold. Then $N^k\subseteq M^n$ is a locally flat submanifold if for every $x\in N$ there exists an open set $U$ in ...