The tag has no usage guidance.

learn more… | top users | synonyms

7
votes
4answers
881 views

Canonical Metric on Grassmann Manifold

I was curious and quite clueless as to how we can equip the Grassmann Manifold with a canonical metric - I have yet to find anything upon this subject.
8
votes
1answer
432 views

What is the Status of Borel conjecture today?

Let me recall the conjecture: $M$ and $N$ two aspherical closed $n$-manifolds with isomorphic fundamental groups, then $M$ and $N$ are homeomorphic.
6
votes
1answer
109 views

Rational cohomology of the Rosenfeld projective planes

The bioctonionic plane $(\mathbb{C} \otimes \mathbb{O})\mathbb{P}^2$, the quarteroctonionic plane $(\mathbb{H} \otimes \mathbb{O})\mathbb{P}^2$ and the octooctonionic plane $(\mathbb{O} \otimes ...
1
vote
1answer
158 views

Smallest homotopy equivalent space inside a manifold with boundary

It is well known that any compact manifold with boundary is homotopy equivalent to its interior. Is there a notion of some smallest space in the interior of the manifold that is homotopy equivalent to ...
1
vote
1answer
225 views

On compact, orientable 3-manifolds with non-empty boundary

I recall my Professor having stated something along the lines of the following, but I am not quite certain about the precise statement she gave: Let $M$ be a compact, orientable 3 manifold with ...
5
votes
2answers
200 views

Poisson structures on non-smooth manifolds with singularities

It's very known how we can describe a Poisson structure on a manifold $M$, where $M$ is a smooth manifold, but what about a Non-smooth manifold with singularities? In section $(2)$ of the paper The ...
0
votes
1answer
86 views

A connection on fibred manifold always exists?

May be $\pi:Y \mapsto X$ a general fibred manifold. Is it true that in fibred manifold a connection always exists? This wiki article states this: ...
2
votes
1answer
112 views

Is the complement of the ends of a manifold bounded?

Let $M$ be a connected manifold with precisely $k$ ends $\epsilon_1,...,\epsilon_k$. Choose a collection $(U_i)_{i=1}^k$ of pairwise disjoint open $\epsilon_i$-neighborhoods. Then I wonder how to ...
14
votes
1answer
172 views

Smooth manifolds as idempotent splitting completion

The nlab has a particularly interesting thing to say about the category of smooth manifolds: it is the idempotent-splitting completion of the category of open sets of Euclidean spaces and smooth maps. ...
32
votes
3answers
2k views

When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...
4
votes
1answer
111 views

Is the signature of inverse images of diffeomorphic submanifolds (along a homotopy equivalence) the same?

Suppose it is given an orientation preserving homotopy equivalence $h:N→M$ between closed oriented connected manifolds. Let $X,Y\subset M$ be diffeomorphic submanifolds, and assume $h$ to be ...
4
votes
2answers
283 views

Gluing two 3 manifolds along their boundary

Let $X,Y$ be two compact, smooth, orientable 3 manifolds, each with an incompressible boundary component diffeomorphic to some genus $g $ surface $S_g$. Under an orientation-reversig diffeomorphism ...
16
votes
1answer
687 views

Is there a manifold with fundamental group $\mathbb{Q}$?

It is known that the fundamental group of a locally path connected, path connected compact metric space is finitely presented or uncountable. Furthermore the fundamental group of every manifold is ...
9
votes
5answers
861 views

Simplicial volume

Is there a finite dimensional closed manifold $M$ which is a $K(\pi,1)$, whose fundamental group is not word-hyperbolic, but which has a positive simplicial volume (ie "Gromov norm")? (Added:) The ...
0
votes
0answers
30 views

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

Given a complex-valued signal with a certain delay $s(t-\tau)$ for which we sample $N$ instants $$ \mathbf{s(\tau)}=\left[s(0-\tau),\ldots,s\left(\frac{N-1}{f_s}-\tau\right)\right]^T $$ at Nyquist ...
10
votes
2answers
333 views

Homeo-Fixed point property

Edit: According to comment of Michał Kukieła I revised the question A topological space $X$ satisfies "Homeo-fixed point" property if every homeomorphism $f$ on $X$ possess a fixed point. ...
3
votes
0answers
46 views

Cubulating non-compact hyperbolic manifolds

Let $X$ be a hyperbolic manifold of arbitrary dimension. When does $X$ admit a cell structure of a CAT(-1) cube complex? of a hyperbolic CAT(0) cube complex? I suspect that the question is widely ...
10
votes
0answers
180 views

Mapping class groups in high dimension

Let $M$ be a $1$-connected, closed, smooth manifold with $dim(M)>4$ and let us set $MCG(M)=\pi_0(Diff(M))$. Dennis Sullivan proved that $MCG(M)$ is commensurable to an arithmetic group. I was ...
26
votes
3answers
4k views

What is the difference between holonomy and monodromy?

What is the difference between holonomy and monodromy? And what is the simplest example in which one is trivial and the other is not?
8
votes
0answers
165 views

Geometric argument for “easy” part of Jordan-Brouwer separation theorem without local flatness

Let $M^n \subset \mathbb{R}^{n+1}$ be an $n$-dimensional compact connected topological submanifold. The Jordan-Brouwer separation theorem says that $\mathbb{R}^{n+1} \setminus M^n$ contains two ...
3
votes
1answer
216 views

Perturb a given smooth function to a Morse function relative to fixed level sets, which are already fine

This question was not answered on math.stackexchange. Let $M$ be a manifold (not necessarily compact) , for the sake of clearness embedded in $\mathbb{R^n}$ and $f\colon M\rightarrow \mathbb{R}$ a ...
3
votes
1answer
106 views

Existence of tubular neighborohoods of locally flat topological embeddings

Suppose $X$ is a topological manifold and $Y \subset X$ is a locally flat submanifold. We know that $Y$ doesn't necessarily have a tubular neighborhood. My definition of a tubular neighborhood of $Y$ ...
9
votes
4answers
1k views

When is a finite cw-complex a compact topological manifold?

I think the statement of the question is pretty straightforward. Given a finite $n$-dimensional CW complex, are there necessary and sufficient conditions for determining that it is also a compact ...
76
votes
8answers
9k views

What do heat kernels have to do with the Riemann-Roch theorem and the Gauss-Bonnet theorem?

I know the following facts. (Don't assume I know much more than the following facts.) The Atiyah-Singer index theorem generalizes both the Riemann-Roch theorem and the Gauss-Bonnet theorem. The ...
5
votes
1answer
167 views

Which combinations of normality, separability, and paracompactness do complex manifolds possess?

I am interested in what kinds of non-paracompact complex manifolds may exist and which topological properties they may have. Is there a non-separable complex manifold? Can a non-separable complex ...
27
votes
3answers
2k views

What manifolds are bounded by RP^odd?

Real projective spaces $\mathbb{R}P^n$ have $\mathbb{Z}/2$ cohomology rings $\mathbb{Z}/2[x]/(x^{n+1})$ and total Stiefel-Whitney class $(1+x)^{n+1}$ which is $1$ when $n$ is odd, so it follows that ...
1
vote
1answer
47 views

Tube formula for r-neighbourhood of a manifold

Let $P$ be a topologically embedded submanifold in a Riemannian manifold $M$. Then the tube $T(P, r)$ of radius $r \geq 0$ about $P$ is the set of all points $m \in M$ such that there exists a ...
5
votes
1answer
365 views

Homeomorphism of closed manifold

Suppose that we have two closed n-manifold $M$ and $N$ such that the topological group of homeomorphisms $Homeo(M)$ is homotopy equivalent to $Homeo(N)$ (maybe as topological groups if needed), can ...
11
votes
1answer
357 views

Homology spheres and fundamental group

I have a curiosity about homology spheres: I was wondering if they were uniquely characterized by their fundamental group. I.e. given two $n-$dimensional (integral) homology spheres with isomorphic ...
4
votes
1answer
125 views

Exotic C^k manifolds

How much is known about exotic $C^k$-manifolds? For example, Is it known whether there are $C^k$-differentiable manifolds that are homeomorphic, but not $C^k$ diffeomorphic? More generally, is it ...
3
votes
1answer
68 views

Can any $n$ dimensional (smooth, PL, topological) closed manifold be covered by $2^n$ pieces of $n$ dimensional real spaces?

For any $n$ dimensional closed manifold $M^n$, can we find an open covering $\{U_i\}_{i\in[2^n]}$ such that $M=\cup U_i$ and each $U_i\cong \mathbb R^n$? How about complex manifolds (replacing ...
69
votes
16answers
10k views

Are there examples of non-orientable manifolds in nature?

Whilst browsing through Marcel Berger's book "A Panoramic View of Riemannian Geometry" and thinking about the Klein bottle, I came across the sentence: "The unorientable surfaces are never discussed ...
2
votes
1answer
174 views

Digital topology, animal problem, 2-sphere and torus

I have the following question relating digital topology, surfaces, particularly $S^2$ and torus. Can a body $B$ constructed with cubes (without cavities or tunnels) and with frontier homeomorphic to ...
0
votes
0answers
51 views

Looking for Information on Local Degree of Maps on Homology Manifolds

By a homology $n$-manifold, we mean a topological space $X$ such that for all $x \in X$: 1: if $k \neq n$ then $H_k(X, X-x)=0$ 2: $H_n(X,X-x) \cong \mathbb{Z}$. Given homology $n$-manifolds $X$ and ...
1
vote
1answer
173 views

Homology of manifold with action of group

Sorry for my ignorance in advance, this should be a very naive question and I would be happy for a reference. Let $G$ be an arbitrary group (not necessary finite) acting on two (connected) manifolds ...
8
votes
2answers
382 views

Topological $n$-manifolds have the homotopy type of $n$-dimensional CW-complexes

I search for a chain of clean references, which lead the fact of topological manifolds of dimension $n$ having the homotopy type of a CW of dimension $n$. Milnor's On spaces having the homotopy type ...
27
votes
2answers
785 views

good covers of manifolds

It is well-known and easy to prove (see for instance this post) that every smooth manifold admits a "good cover", i.e. a locally finite cover by open balls such that all nonempty intersections of the ...
31
votes
1answer
997 views

Are there only countably many compact topological manifolds?

Up to homeomorphism, there are 2 one-dimensional topological manifolds and countably many 2- and 3-dimensional compact manifolds, respectively, since each manifold in these dimensions can be ...
-1
votes
1answer
303 views

History of Poincare conjecture in higher dimension [closed]

As far as I know, when Poincare formulated his well known conjecture, the original statement was the follwoing: if a closed manifold has the same homology groups as the sphere it is homoeomorphic to ...
6
votes
1answer
214 views

Dual cell structures on manifolds

Suppose that $M$ is a compact manifold without boundary (smooth if you like), and suppose further that $M$ is equipped with a regular CW-complex structure. Denote the face poset of this CW-complex by ...
3
votes
1answer
79 views

Whether the manifold part of an Alexandrov space is connected?

The title is my question. Alexandrov space here means finite dimensional Alexandrov space with curvature bounded below ,denoted by CBB. Let $\gamma$ be a simple curve in a $n$ dimensional CBB $M$ ...
7
votes
2answers
348 views

Number of critical points of smooth functions on $S^1$

Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
2
votes
0answers
145 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 ...
4
votes
0answers
116 views

Sampling from a Manifold

Suppose we were to obtain a uniform sample, $S=\{x_1,...,x_m\}$, of points on a closed Riemannian $n$-manifold $M$. Let $\Gamma(S)$ be the set of all geodesics between the points in $S$ and we are ...
3
votes
1answer
272 views

The relation between Hausdorff dimension of an $n$-manifold and $n$

It is known that for a topological space with different metrics, the Hausdorff dimensions may not be equal in general. For the case of manifolds, suppose $M$ is a $n$-manifold with a ...
8
votes
2answers
831 views

Simplifying triangulations of 3-manifolds

Throughout, by finite triangulation I mean a triangulation consisting of a finite number of triangles. Suppose $T$ and $T'$ are finite triangulations of a 3-manifold $M$. We will say that $T'$ is ...
1
vote
0answers
68 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 ...
24
votes
3answers
2k views

A “meta-mathematical principle” of MacPherson

In an appendix to his notes on intersection homology and perverse sheaves, MacPherson writes Why do we want to consider only spaces $V$ that admit a decomposition into manifolds? The intuitive ...
6
votes
1answer
888 views

Does a Trivial Tangent Bundle Induce a Multiplication?

Let $M$ be a connected smooth manifold, and assume that it is parallelisable; that is, its tangent bundle is trivial. Does $M$ admit an H space structure? That is, does there exist a smooth map ...
26
votes
4answers
731 views

Ring of closed manifolds modulo fiber bundles

Let $R$ be the ring which is generated by homeomorphism classes $[M]$ of compact closed manifolds (of arbitrary dimension) subject to the relations that $$[F]\cdot [B] = [E]$$ if there exists a fibre ...