For questions regarding the structure and properties of compact manifolds.

learn more… | top users | synonyms

0
votes
0answers
10 views

Finding the boundary of the continuous image of a compact simply-connected Lie group

Statement of the problem Given a continuous map $f:G \rightarrow D^1$ where $G$ is a compact simply connected Lie group and $D^1$ is the unit disk, I have shown that: There exists a simple (non-...
1
vote
0answers
20 views

Hypersurfaces of a hemisphere

Let $S_+^{n+1}$ be the open hemisphere of the standard euclidean sphere centered at the north pole and let $M^n$ be a compact, connected and oriented hypersurface of $S_+^{n+1}$. Is it true that if $M$...
1
vote
0answers
51 views

Surjectivity of the exponential map on SO(2n)/U(n)

Let $M:=SO(2n)/U(n)$ the homogeneous space of all orthogonal almost-complex structures on $\mathbb{R}^{2n}$. When $n=2$, it is known that $M$ is just the 2-sphere. 1) On the 2-sphere, the ...
4
votes
1answer
49 views

Finitely Many genus-g Quotients of Compact Riemann Surface

I hear there is a semi-famous theorem from my advisor, but he didn't know the name and I was unable to find it online. Does anybody know of the following? Let $S$ be a compact Riemann surface. Then ...
0
votes
1answer
42 views

Proper map and manifolds

Let $M$ and $N$ two manifolds which have the same dimension, $f:M\to N$ a map $\mathcal{C^\infty}$. We suppose that $M$ is compact and we have $b$ a regular value of $f$. First, I have to prove that $...
1
vote
0answers
54 views

A lemma in Milnor's book “Topology from the Differentiable Viewpoint”

In preparation for proving the Poincaré-Hopf Theorem, Milnor states in his book (see p. 38, Theorem 1) For any vector field $v$ on $M$ with only nondegenerate zeros, the index sum $\sum \iota$ ...
2
votes
1answer
36 views

Coverings of a three-manifold

He guys, I have two questions regarding the following: Consider the three-manifold $\mathbf{T}^3 = S^1 \times S^1 \times S^1$ and let $S_n$ be the permutation group acting on $n$ letters. Let $\phi:\...
4
votes
2answers
63 views

connected sum of surfaces is well defined proof attempt

Suppose $S_1$ and $S_2$ are compact surfaces (connected 2-dimensional manifolds). If we cut out of them two closed disks, and glue the surfaces along disk boundaries we get new surface, their ...
1
vote
0answers
30 views

Why are PDEs with Hamiltonians usually solved on compact manifolds?

The title is self explaining: I see in a lot of literature that PDEs with some Hamiltonian structure in it are solved over a torus or some other compact manifold. Why is that? At least I now that it ...
0
votes
1answer
62 views

Is the hemisphere of $S^4$ the unique compact 4-dimensional manifold with $\partial K = S^3$?

The first question is Is the hemisphere of $S^4$ the unique compact 4-dimensional manifold with $\partial K = S^3$? In other words, is it obvious? The question stems from a theoretical physics ...
11
votes
0answers
314 views

Norm Inequality on a Compact Riemannian Manifold

Consider the following problem: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality $$\Delta u \geq -...
0
votes
2answers
57 views

How can I show $R^n$ is dense in $S^n$?

How can I show $R^n$ is dense in $S^n$? I wanted to show $S^n$ is compactification of $R^n$. for this I need $R^n$ is not compact, for this there is no problem, and $S^n$ is compact, I did it with ...
2
votes
1answer
20 views

Prove or disprove: for every nonzero $\phi \in H^k(M),$ there is $\psi \in H^{n-k}(M)$ with $\phi \cup \psi \neq 0$

...for $M$ a compact, connected, orientable manifold without boundary. This is part of a question in a past paper I'm working on: the full thing is at https://www1.maths.ox.ac.uk/system/files/...
2
votes
0answers
39 views

Total Gaussian curvature

For a compact surface, $S$, in $\mathbb{R}^3$, how would I go about showing that the total Gaussian curvature $\int_S K da \leq 4 \pi$? I feel like Hopf's Umlaufsatz and the Gauss-Bonnet Theorem are ...
0
votes
1answer
38 views

line sub-bundles over an $ n $ -sphere.

Could someone explain to me why are line bundles over any real $n$-sphere trivial bundles ( $ n > 1 $ ) ? Could someone tell me, in the case where $ n = 2k $ with $ k \in \mathbb{N}^* $ , why does ...
0
votes
0answers
46 views

Is there a preferred way to characterize a cone in cohomology?

In a Euclidean space, one can of course describe a cone using a generalization of polar coordinates, and since the de Rham cohomology spaces are themselves Euclidean spaces, one can do the same here. ...
0
votes
1answer
45 views

When are flag manifolds compact?

This is a question from Lee's book on Smooth Manifolds, question 21-16: Let $F_K(V)$ be the set of flags of type $K$ in a finite-dimensional (real) vector space $V$. Show that $GL(V)$ acts ...
2
votes
2answers
37 views

Are there any nontrivial second Hurewicz homomorphisms for familiar compact 6-dimensional manifolds?

Based on several computations I have done, it seems that the second Hurewicz homomorphism $$h:\pi_{2}(X)\rightarrow H_{2}(X;\mathbf{Z})$$ has a habit of being trivial. For instance, this seems to be ...
0
votes
1answer
25 views

How does one compute the Hurewicz homomorphism for a (symplectic) nilmanifold?

I have a symplectic six-dimensional nilmanifold $X:=G/\Gamma$ in hand, characterized by the sextuple $(0,0,12,13,14+23,24+15)$, which records the exterior derivatives of a basis of $\Gamma$-invariant $...
1
vote
0answers
60 views

Compact 1-manifolds

I want to find all compact 1-manifolds. I think these will be lines, with fixed endpoints, and also the case where the endpoints meet. Hence I think all compact 1-manifolds are homeomorphic to the ...
3
votes
1answer
67 views

Momentum is quantised in compact spaces?

Background One of the first examples given when studying quantum mechanics is the particle on a cylinder, or particle on a ring. One finds that because of the periodic boundary conditions, ...
1
vote
2answers
60 views

Every open set in $\mathbb{R}^n$ is the increasing union of compact sets. [closed]

$X= \bigcup K_m$, where $K_m$ is a increasing sequence of compact sets and $X$ is the open set.
6
votes
2answers
555 views

Finitely generated singular homology

Let G be a finitely generated abelian group and M a compact manifold, I want to prove that $H_r(M,G)$ is finitely generated for $r\ge 0 $. First I was thinking if I could do induction over $r$ ...
10
votes
0answers
633 views

Homology of a compact manifold is finitely generated [duplicate]

Perhaps this is obvious and I am overlooking something, but why are the homology groups of compact manifolds finitely generated?
1
vote
1answer
27 views

Why is the sectional shape of a simply connected, oriented 4-manifold an isomorphism?

Let $M$ be a simply connected, compact and $\mathbb{Z}$-oriented 4-dimensional manifold. Let $\mu\in H_4(M;\mathbb{Z})$ be a fundamental class of $M$ (here is $H_4(M;\mathbb{Z})$ the singular homology ...
2
votes
1answer
34 views

How can uncountably many closed smooth 4-manifolds be presented by an essentially countable alphabet (Kirby diagrams)?

A smooth, closed 4-manifold admits a handle decomposition which is specified completely by its Kirby diagram. A Kirby diagram, up to isotopy, can be seen as a labelled morphism in the tangle category. ...
3
votes
1answer
42 views

Why is it impossible for a compact connected non-orientable $n$-manifold to be the suspension of some connected based space?

Suppose $M$ is a compact $n$-manifold (without boundary) that equals the reduced suspension $\Sigma Y$ of a connected based space $Y$. Why must $M$ be orientable? I am aware that cup products vanish ...
3
votes
1answer
58 views

Volumes of hyperbolic manifolds

In a talk I attended the speaker said that the volume of a closed hyperbolic manifold is a topological invariant. Are known volumes rational? Irrational? Transcendental?
0
votes
1answer
17 views

The nature of components in a certain manifold

Let $N$ be a smooth, connected manifold and $f:N \to \mathbb R$ a smooth, proper and surjective map, transverse to some $k \in \mathbb N$. This means that $M:=f^{-1}(k) \subset N$ is a finite ...
2
votes
0answers
38 views

A very general question about blow-up for experienced symplectic topologists and algebraic geometers

I am trying to understand the process of symplectic blow-up of compact symplectic manifolds $M^{2n}$ along compact symplectic submanifolds $X$ on a deeper level, and I am also searching for relevant ...
0
votes
0answers
12 views

About the number of minimum parametrizations of a $1$-smooth manifold compact w/ boundary in $\mathbb{R}^{3}$

Let $C$ be a $1$-dimensional compact differentiable manifold with boundary in $\mathbb{R}^{3}$. In easy examples, it looks like we can always parametrize such a manifold with only two charts: usually ...
1
vote
1answer
81 views

Einstein manifolds and topology

Given a Riemannian manifold $(M,g)$ with Ricci tensor $ R_{mn} = k g_{mn} $. Suppose the Ricci scalar you get is $$ R > 0 $$ What can you tell about the manifold $globally$ ? In particular, can ...
0
votes
0answers
24 views

What is the role of the Laplace-Beltrami operator in providing an optimal embedding for a manifold?

I ve read in "Laplacian eigenmaps for dimensionality reduction and data representation" of Belkin and Niyogi that the Laplace-Beltrami operator has a role in providing an optimal embedding for the ...
1
vote
1answer
27 views

How to qualify a N dimensional manifold as Compact under following condions?

Suppose a manifold of N dimensions is closed and bounded in a dimension but it remained unbounded in all other dimensions, so how to categorize the manifold. For example, in simpler form how to ...
1
vote
0answers
42 views

Fundamental group of result of 0-Dehn surgery and meridian

Let $M_K$ be the result of $0$-Dehn surgery along a knot $K$ in $S^3$. Let $m$ be a meridian to $K$, and we view $m$ as a circle in $M_K$ (without changing the notation for it). The claim I wanted to ...
5
votes
3answers
399 views

Examples of manifolds that are not boundaries

What are some examples of manifolds that do not have boundaries and are not boundaries of higher dimensional manifolds? Is any $n$-dimensional closed manifold a boundary of some $(n+1)$-dimensional ...
4
votes
1answer
142 views

Showing that $\mathbb S^1$ is a deformation retract of the Mobius strip, rigorously.

Intuitively, I can see why this is. I've found a few threads about this, but they only provide, for example, a deformation retraction of $I \times I$ to its diagonal $D = \{ (x,x) \in I \times I \}$, ...
1
vote
0answers
27 views

Reference needed for a short time existence result of quasilinear PDE on a compact manifold (relating to Ricci flow).

I'm currently in the proces of learning and writing a bit about the Ricci flow. In particular I'm studying the case of compact 2d Riemannian manifolds. Mostly I'm making good progress but I do miss ...
4
votes
0answers
68 views

Map of smooth manifolds

Let $M$ and $N$ be smooth, connected $n$-dimensional manifolds. Let $M$ be compact and non-empty. Show that every embedding $f: M \to N$ is a diffeomorphism. So because $f$ is a embedding we have ...
1
vote
1answer
99 views

Is the orbit map for a group action closed in this case?

Suppose a compact Lie group $G$ acts on a manifold $M$ and let $\pi : M \rightarrow M/G$ be the orbit map. Can I say that $\pi$ is closed map? If $C \subseteq M$ is a closed set in $M$ then I only ...
4
votes
2answers
231 views

Integrals of Pullbacks

This is a problem from Guillemin's Differential Topology: Suppose that $f_0, f_1: X \to Y$ are homotopic maps and that the compact boundaryless manifold $X$ has dimension $k$. Prove that for all ...
5
votes
2answers
234 views

How to Show Cotangent Bundles Are Not Compact Manifolds?

Hamiltonian mechanics occurs in a sympletic manifold called phase space. Lagrangian mechanics take place in the tangent bundle of the configuration manifold. Using Legendre transform makes possible ...
4
votes
2answers
248 views

Why spheres are not symplectic manifolds?

Reading some books on diferential geometry, a found that $S^{2n}$ (with $ n>1$) are not symplectic manifolds. They say it's because the de Rham cohomology of this spheres are R, but I do not ...
-1
votes
1answer
79 views
2
votes
1answer
80 views

Can a product of a Stein manifold and a compact manifold be again Stein?

A Stein manifold is a manifold which is holomorphically separable and convex. It is well known that a product of two holomorphically convex (resp. Stein) manifolds is again holomorphically convex (...
1
vote
1answer
61 views

Topology of Manifolds and Kunneth fomula by Griffiths Harris

Reading Griffiths-Harris, at page 56 I find some parts that I can't understand. 1) After having proved the Poincaré Duality Theorem, Griffiths and Harris proceed to prove a weaker result, that's to ...
4
votes
2answers
296 views

What is group manifold of a compact Lie Group?

I searched on google the meaning of a group manifold of a compact lie group but I didn't get the answer. A paper on arxiv "Background Independent Quantum Gravity:A Status Report- Abhay Ashtekar" on ...
2
votes
1answer
72 views

Equivalent definitions of Euler characteristic for closed manifolds

It is well-known that the Euler characteristic of a closed manifold $M^n$, which can be defined as $\chi(M)=\sum_{k=0}^n (-1)^k \operatorname{dim}H^k(M)$, equals the intersection number $I(\Delta,\...
1
vote
0answers
81 views

Lens Space Orientation Reversing Homeomorphism

I am thinking of an example where the connected sum of two three Manifolds depends on the chosen orientation. Hempel gives in his book "3-Manifolds" an example, namely lens spaces. He shows that two ...
2
votes
0answers
92 views

Is log-general type an intrinsic property of a variety

Let $X$ be a smooth quasi-projective variety over $\mathbb C$. Let us say that $X$ is of log-general type if for some choice of smooth compactification $\bar X$ with normal crossings boundary divisor ...