14
votes
1answer
353 views

Are there geometrically formal manifolds, which are not rationally elliptic?

Formality of a space is meant in the sense of Sullivan, i.e. a space $X$ is called formal, if it's commutative differential graded algebra of piecewise linear differential forms $(A_{PL}(X),d)$ is ...
2
votes
0answers
141 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 ...
6
votes
1answer
265 views

Can the monoidal structure on manifolds be strictified?

I'm asking this question purely out of curiosity. Let $\{M_\alpha\}_{\alpha\in A}$ be a collection of closed smooth manifolds, with exactly one in every diffeomorphism class of closed smooth ...
1
vote
0answers
74 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 ...
7
votes
2answers
240 views

Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$. Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a ...
15
votes
2answers
436 views

Distinct manifolds with the same configuration spaces?

For a space $X$, let $C_k X$ denote the space of configurations of $k$ distinct unordered points in $X$. What is an example of a pair of smooth manifolds $M$ and $N$ that are not homeomorphic but ...
5
votes
0answers
206 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 ...
13
votes
3answers
569 views

Does a *topological* manifold have an exhaustion by compact submanifolds with boundary?

If $M$ is a connected smooth manifold, then it is easy to show that there is a sequence of connected compact smooth submanifolds with boundary $M_1\subseteq M_2\subseteq\cdots$ such that ...
5
votes
1answer
440 views

Cancellation law for $M^n\times \mathbb R= N^n\times \mathbb R$.

Assume $M^n$ and $N^n$ are null bordant, i.e. each can be realized as boundary of an $n+1$ dimensional manifold. Suppose $M^n \times \mathbb R$ is homeomorphic to $N^n\times \mathbb R$. Is there any ...
22
votes
3answers
956 views

Connected sum of topological manifolds

A definition of the connected sum of two $n$-manifolds $M$ and $M'$ begins by considering two $n$-balls $B$ in $M$, $B'$ in $M'$, and glueing the varieties $M\setminus \mathring B$ and $M'\setminus ...
10
votes
2answers
890 views

homotopy type of embeddings versus diffeomorphisms

Previously, I asked a question on mathoverflow comparing smooth embeddings and diffeomorphisms, which received a very interesting and somewhat unexpected answer by Agol. I now ask a further question ...
8
votes
1answer
361 views

rational homotopy of a manifold

Given a finite dim rational homotopy type satisfying Poincaré duality, what is the best reference to when it is the rational homotopy type of a fin dim manifold?
14
votes
2answers
618 views

Are homeomorphic open subsets of $\mathbb{R}^n$ also diffeomorphic?

Let $U_1, U_2$ be open subsets of $\mathbb{R}^n$. Both are naturally differentiable submanifold, getting the differentiable structure from $\mathbb{R}^n$. Further, both are natural topological ...
11
votes
1answer
529 views

Manifolds with prescribed fundamental group and finitely many trivial homotopy groups

Fix $G$, a finitely generated presented group. It is known that for every $k > 3$ there is a closed $k$-manifold whose fundamental group is $G$. Similarly, there is a topological space with ...
0
votes
1answer
434 views

sign of the First chern class fundamental group of Kahler Manifolds

We know by some facts from Kobayashi, if the Kahler manifold $M$ has positive first Chern class, i.e., $c_1 (M)>0$ then $M$ is simply connected. So if $c_1 (M)<0$ under which assumption on $M$ ...
10
votes
0answers
448 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 ...
12
votes
6answers
782 views

Does every vector bundle allow a finite trivialization cover?

Suppose there is a vector bundle (smooth, with constant rank finite-dimensional fibres) over a (smooth, second-countable, Hausdorff, not necessarily connected) manifold $B$ of dimension $n$. (a) Is ...
8
votes
2answers
666 views

When is the connected sum of manifolds orientation-independent?

Given $M$ and $N$, two connected orientable manifolds of the same dimension, when is $M$ # $N$ diffeomorphic to $M$ # $\overline{N}$, where $\overline{N}$ is $N$ with the orientation reversed? If $N$ ...
6
votes
3answers
845 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 ...
13
votes
2answers
593 views

Uniqueness of compactification of an end of a manifold

Let $M$ be an $n$-dimensional manifold (smooth or topological). I call $\bar{M}$ a compactification of $M$ if it is an $n$-dimensional compact manifold with boundary $\partial \bar{M}$, an ...
11
votes
1answer
501 views

Stable normal bundle of a manifold

Hi, in bordism-theory and many bordering areas one has the following construction: Given a manifold M (say closed for the purposes of this discussion and k-dimensional), we embed it into some ...
3
votes
1answer
351 views

Cartan-Weil model for Equivariant Cohomology

Let $\mathfrak{g}$ be the Lie algebra of a Lie group $G$ which acts on a manifold $M$. It is quite standard that the basic forms in $\Omega^*(M) \otimes W(\mathfrak{g}^*)$ form a model for the ...
1
vote
2answers
216 views

Elements of finite order in mapping class groups of high dimensional manifolds

Let $M$ be a manifold with boundary. Consider the following groups: (1) $\pi_0(\operatorname{Diff}(M,\partial M))$. (2) $\pi_0(\operatorname{Homeo}(M,\partial M))$. (3) ...
5
votes
4answers
1k views

Examples of non-simply connected manifolds with trivial H^1

It is known that, if a topological space is simply connected,its first homology group vanishes. The converse is not true, since for every presentation of a (say, finite) perfect group G we can ...
8
votes
2answers
665 views

How is the differential in complex cobordism defined?

This is my first MO question...hopefully it's not a bad one... Background: As a stable homotopy theorist, I like to think of complex cobordism $MU$ as a ring spectrum. If I needed to get my hands ...
6
votes
3answers
368 views

Question concerning h-cobordisms

Suppose we have a cobordism $W$ of manifolds $M_0$ and $M_1$ and suppose the inclusion of $M_0$ into $W$ is a homotopy equivalence. Is the same true for the inclusion of $M_1$ (ie. is $W$ already an ...
6
votes
1answer
447 views

fundamental domain of universal covering

Let $M$ be a connected compact manifold without boundary, $\pi:\widetilde{M}\to M$ be the universal covering map. A fundamental domain of $(\pi,\widetilde{M}, M)$ is a compact subset $D\subset ...
9
votes
1answer
300 views

Can an action of a compact Lie group be nontrivial if it is trivial on the boundary?

Let $G$ be a compact Lie group acting on a connected topological manifold $M$ with boundary. Suppose the action on one boundary component is trivial. Does it follow that the action on the whole of $M$ ...
5
votes
2answers
488 views

Definition of the Kervaire invariant for normal maps (as in Browder's book)

Browder's book "Surgery on simply-connected manifolds" defines the Kervaire invariant in a very general setting. My question is: how does one get the more usual definition of the invariant for a ...
12
votes
5answers
1k views

Is every real n-manifold isomorphic to a quotient of $\mathbb{R}^n$?

I'm curious about the following: Is every real n-manifold isomorphic to a quotient of $\mathbb{R}^n$? Thanks. EDIT: As Tilman points out, the manifold should be connected. Also, yes, I'm thinking ...
50
votes
15answers
6k 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 ...
59
votes
4answers
3k views

Which manifolds are homeomorphic to simplicial complexes?

This question is only motivated by curiousity; I don't know a lot about manifold topology. Suppose $M$ is a compact topological manifold of dimension $n$. I'll assume $n$ is large, say $n\geq 4$. ...
19
votes
2answers
1k views

Euler Characteristic of a manifold with non-vanishing vector field,

A friend of mine recently asked me if I knew any simple, conceptual argument (even one that is perhaps only heuristic) to show that if a triangulated manifold has a non-vanishing vector field, then ...
21
votes
3answers
548 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 ...
23
votes
2answers
898 views

A Pachner complex for triangulated manifolds

A theorem of Pachner's states that if two triangulated PL-manifolds are PL-homeomorphic, the two triangulations are related via a finite sequence of moves, nowadays called "Pachner moves". A ...
6
votes
1answer
465 views

Status of Hilbert-Smith conjecture and H-S conjecture for Hölder actions

The Hilbert-Smith conjecture states that If $G$ is a locally compact group which acts effectively on a connected manifold as a topological transformation group then is $G$ a Lie group. It was ...
22
votes
1answer
595 views

“Affine communication” for topological manifolds

There is a situation that comes up regularly in algebraic topology when giving proofs of facts about manifolds, like Poincare duality and the like. The typical sequence goes like this: Prove ...
1
vote
2answers
594 views

Is the complement of a strong deformation retract of a manifold M homotopic equivalent with the boundary of M?

It seems an easy problem but I couldn't prove it. Let $M$ be a manifold with boundary and $N\subset \mathrm{int}(M)$ is a strong deformation retract of $M$. Then I wonder whether $M-N$ is homotopic ...
7
votes
1answer
527 views

How does the Lefschetz-Poincare dual torsion linking pairing on manifolds with boundary interact with the maps of the long exact sequence of the manifold-boundary pair?

I'm wondering if anyone can point me to a reference on how the various Lefschetz-Poincare dual torsion pairings of a manifold with boundary fit together. To explain in more detail, consider a ...
9
votes
2answers
724 views

Meaning of orientation/orientability over rings other than the integers

This was asked as part of an earlier question. But since this part did not attract many answers, I am asking it separately. We consider the homology definition of an orientation for a manifold, as ...
20
votes
3answers
1k views

What manifolds are bounded by RP^odd?

Real projective spaces ℝPn have ℤ/2 cohomology rings ℤ/2[x]/(xn+1) and total Stiefel-Whitney class (1+x)n+1 which is 1 when n is odd, so it follows that odd dimensional ones are boundaries of compact ...