For questions on manifolds of dimension $n$, a topological space that near each point resembles $n$-dimensional Euclidean space.

learn more… | top users | synonyms (1)

10
votes
0answers
125 views

Soft question: How does basic differential geometry “fit together”?

I'm self-studying diff geom from Lee's Introduction to Smooth Manifolds. He warns the reader that there's a lot of machinery to construct, which is fine, and he explains things with wonderful clarity. ...
2
votes
0answers
34 views

Topologies of flag manifolds

I'm currently reading an article discussing flag manifolds and the action of $\mathrm{PSL}(n,\mathbb{C})$ on them. A flag (in my view at least) is a nested sequence $(y^1,\ldots,y^{n-1})$ of subspaces ...
2
votes
1answer
46 views

Euler characteristic for non-compact manifolds

How can one generalize the Euler characteristic to non-compact manifolds? Furthermore, is there a way to generalize the notion of an intersection number to non-compact manifolds, so that one could ...
1
vote
1answer
55 views

Which of principal curvature, Gaussian curvature and mean curvature is intrinsic ? Why?

Which of principal curvature, Gaussian curvature and mean curvature is intrinsic and why? Which book will have this explanation? I read a book (Remannian Geometry, Do Carmo, p129). It has a saying: ...
1
vote
1answer
133 views

Another differential topology lemma

Another lemma (1) Why can we assume $z=f(z)=0$ and that $U$ is convex? (the coordinate domains of the manifolds can be taken to be balls?) (2) Why is it enough to consider the special case of a ...
2
votes
1answer
56 views

Proving that something is a manifold

I'm a beginner at differential geometry and I'm having some trouble with the following problem: Let $M \subset \mathbb{R}^n$ be a $k$-dimensional smooth manifold (smoothly embedded in ...
1
vote
1answer
20 views

Cont. Function smooth iff composition with submanifold inclusion is smooth

I'm trying to proof the following: Let $X$ be a smooth manifold, $X_0$ an open subset of $X$, $i: X_0 \to X$ the canonical inclusion, $Y$ another smooth manifold and $f: Y\to X_0$ continuous, then ...
3
votes
1answer
43 views

Diffeomorphic connected hypersurfaces

Given a four dimensional Lorentzian manifold $\mathcal{M}$ (a manifold with a metric $g_{\mu\nu}$ in the tangent bundle with signature (-1, 1, 1, 1)), we define a global spatial foliation by a ...
1
vote
1answer
36 views

Linear Subspace of $\mathbb{R}^n$ is a Manifold

How does one prove that a that a linear subspace of $\mathbb{R}^n$ is a manifold? This question arises from Spivak's Calculus on Manifolds, Chapter 5, problem 5-5: Prove that a k-dimensional ...
1
vote
1answer
39 views

For which values of $a$ is this set a manifold?

Let $f:\mathbb{R}^3\to\mathbb{R}, f(x,y,z)=(x-y+z-1)^2$. For which values of $a$ is $\{(x,y,z)\in\mathbb{R}^3:f(x,y,z)=a\}$ a 2-manifold? Instead of $(x-y+z-1)^2=a$ seems a better idea to write ...
1
vote
1answer
34 views

Prove that inverse of $f$ defines a manifold

Let $f:\mathbb{R}^3\to\mathbb{R}$ be given by $f(x,y,z)=z^2$. Prove that $0$ is not a regular point but $f^{-1}(\{0\})$ is a manifold. I divided this in two parts: $(1)\; 0$ is not a regular ...
0
votes
1answer
166 views

A differential topology lemma

Consider the following lemma (1) How come he talks about degrees here, after all he doesn't assume $X$ to be oriented? (2) Why is $\bar{v}|\partial X$ homotopic to $g$? (NOTE: we consider them as ...
1
vote
1answer
61 views

Trying to prove M is a manifold

Let $M$ be the set of all points $(x, y, z) \in \mathbb{R^3}$ satisfying both of the equations $x^3 + y^3 + z^3 = 1$ and $x + y + z = 1$. Prove that M is a manifold, except perhaps near the points ...
2
votes
0answers
25 views

Charts on a Manifold

Let $f^{1},\cdots ,f^r,\Phi ^1,\cdots , \Phi ^{n-r}$ be functions of class $C^{(1)}$ on an open set $D$. suppose that $F=(f^1\mid S,\cdots ,f^r\mid S)$ is a coordinate system for $S$, that $S=\lbrace ...
0
votes
0answers
33 views

existance of loop with finitely many point of intersection

for every loop on compact orientable surface exists freely homotopic loop with finitely many points of intersection. I see that it have to be true, but I can't prove it. I know Thom's theorem, Sard's ...
1
vote
0answers
21 views

Tangent space of all real symmetric matrices with a fixed rank

Suppose $M_r$ is the set of all real symmetric matrices of order $n$ with rank $r$. (a) Show that $M_r$ is a submanifold of the space $\mathbb R^{n^2}$. (b) Find the tangent space of $M_r$ at some ...
1
vote
1answer
24 views

Integral Curves of a Vector Field

How do I find the integral curves of a vector field and what are they intuitively? eg. what are the integral curves of vector field $X=\frac{1}{x}\frac{\partial}{\partial ...
1
vote
1answer
58 views

The completion of $C_c^\infty(M)$ with respect to $\lVert \nabla u\rVert_{L^2(M)}$ on a compact Riemannian manifold

Let $M$ be a compact smooth Riemannian manifold (eg. a smooth hypersurface) and let $X$ be the space given as the completion of $C_c^\infty(M)$ with respect to the norm $\left(\int_{M} |\nabla ...
0
votes
0answers
27 views

Basic Manifold Question

Below is a paragraph from the appendix from Krantz's Several Complex Variables book. I have limited knowledge regarding manifolds and was hoping (very much) that someone would be willing to provide ...
2
votes
0answers
61 views

Why is surgery along a framed link well defined?

Let $L=L_1 \cup L_2 \cup \cdots \cup L_n $ be a framed link in $ S^3 $. I want to perform the surgery along $L$ to get a new manifold $M$. By definition, to perform this surgery, I must perform the ...
7
votes
0answers
71 views

Showing L infinity norm bounded by L2 norm on a manifold

I have the following problem that I'm working on: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality ...
0
votes
1answer
27 views

Alexander duality formulation + Jordan-Brouwer separation

In Davis & Kirk LNAT p.71 there is written: (1) How does this imply the Alexander duality $\tilde{H}^k(A)\cong \tilde{H}_{n-k-1}(\mathbb{S}^n\!\setminus\!A)$? (2) Is it assumed that the ...
1
vote
3answers
55 views

What is a “control point”?

I'm trying to figure out a good definition of control point for use in wikipedia (see https://en.wikipedia.org/wiki/Control_point_(mathematics) ) There seems to be a bias towards ascribing a ...
0
votes
0answers
33 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 ...
0
votes
1answer
49 views

When can you recover a connection from totally geodesic submanifolds?

Let $g_{ab}$ a Riemaniann ( Lorentzian ) metric in a $n-$dimensional manifold $N$ and let $M$ be a submanifold of $N$. In general, the Levi-Civitta connection induced by the induced metric in $M$ ...
1
vote
0answers
21 views

Connected sum of surfaces with boundary

The connected sum of closed surfaces (2-manifolds) is defined by removing a disk from each and gluing the exposed edges together. When defining the connected sum of surfaces with boundary, is the ...
1
vote
0answers
28 views

General linear group on manifold

Knowing that $\mathrm{O}(n,\mathbb{R})$ is a closed submanifold (of the general linear group) and that $\mathrm{SO}(n,\mathbb{R})$ is one of its subgroups with the same dimension, is there a quick way ...
1
vote
1answer
31 views

How to prove that a level set is not a submanifold

I've seen an exercise in which I am to prove that $$\{(x,y,z) \in \mathbb{R}^3 : x^2+y^2=z^2\}$$ is not a submanifold of $\mathbb{R}^3$. I've done a little bit of research and found these answers ...
0
votes
2answers
40 views

Need help finding Jacobian matrix of diffeomorphism of spheres

Let $S_a \subset \mathbb{R}^{n+1}$ and $S_b \subset \mathbb{R}^{n+1}$ be two spheres of radius $a$ and $b$ respectively. So $S_a$ are $n$-dimensional. Let $F:S_a \to S_b$ be the diffeomorphism $F(s) ...
0
votes
1answer
41 views

manifolds without symplicial or cell structure

In many situations in topology, (like the poincare duality) they put a distinction between the space being a manifold or just a cell or simplicial complex. I want to know why this is important, in ...
2
votes
0answers
37 views

How do we understand and visualize the meridians of a 3-sphere?

The equator of a n-sphere is (n-1)-sphere. Then the equator of a 3-sphere is a 2-sphere. Does this mean the meridian of a 3-sphere is a hemisphere (half 2-sphere)? In contrast, Wikipedia describes the ...
0
votes
1answer
44 views

Van Kampen theorem on n-manifold remove one point

I'm trying to prove for a ($n \geq 3$)-dimensional path connected manifold M, if remove a point in M, then use Van Kampen theorem can somehow show the fundamental group of original $M$ and $M-{x}$, ...
6
votes
1answer
78 views

Is there any embedding theorem for fibre bundles?

I would like to know whether there is an embedding theorem for fibre bundles, like Whitney embedding theorem. When can a given fibre bundle be a subbundle of some higher dimensional bundle?
2
votes
0answers
45 views

Green Identities via Differential Forms

What is the actual meaning of the Green identities: Is there a picture/geometric interpretation of these, as well as intuition going beyond the usual integration-by-parts meaning associated to ...
0
votes
0answers
28 views

dimension of tangent space to a boundary point of a convex shape

I have a basic question regarding the dimension of the tangent space at a point $P\neq0$ that lies on the boundary of a pointed convex cone with its point centered at 0. For a 3D cone that is ...
3
votes
2answers
39 views

smooth surjective map from lower dimensional manifold onto higher dimensional manifold?

I'm thinking about whether there exists a smooth surjective map $f: M^m \twoheadrightarrow N^n$ where both $M$ and $N$ are smooth manifolds, and $\dim M = m < n = \dim N$. (We might assume that $M$ ...
0
votes
0answers
26 views

express skew-commutative product of Whitney sum of vector bundles in tensor products

Let $\xi$ and $\eta$ be vector bundles over a paracompact space $B$ and $\xi\oplus\eta$ be their Whitney sum. Can we write $\Lambda(\xi\oplus\eta)\cong \Lambda(\xi)\otimes \Lambda(\eta)$ as (graded) ...
0
votes
1answer
35 views

Explicit Orientation-Reversing Homemorphism of $M_g$

Let $M_g$ be the orientable closed surface of genus $g$. I know that there is an orienation-reversing homeomorphism ($[M] \rightarrow -[M]$, where $[M]$ is fundamental class) $f:M_g \rightarrow M_g$ ...
5
votes
2answers
71 views

Geometry of Commuting Hermitian Matrices

I am a physicist working on a project dedicated to the quantisation of commuting matrix models. In the appropriate formalism this problem is reduced to a quantisation in a curved space -- the space of ...
-1
votes
1answer
90 views

Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere. [closed]

Trying to give a proof of the following statement: Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere. The statement seems rather intuitive for the case of three ...
1
vote
0answers
28 views

Asymptotic marginals of uniformly-distributed simplex

this is my first post. I am studying manifolds defined by linear transformations and noticed an interesting phenomenon I need to explain and don't know where to look. If I have an $N\times D$ maxtrix ...
3
votes
0answers
90 views

measurable function induces a measurable bundle

Greetings I am preparing a work on bundles and I found this statement Let $V$ a topological vector space with $\dim V=n$ and $(E,\pi,M)$ a vector bundle continuous over $M$ (compact space). If ...
0
votes
1answer
19 views

generation of sub bundle

Let $M$ differentiable manifold with $\dim M=n$. If $(TM,\pi,M)$ be the fiber bundle tangent. Consider the family $E=\lbrace E_x\rbrace _{x\in M}$ such that $E_x \subset T_xM$ and $\dim E_x=k$ for ...
3
votes
1answer
33 views

Finding zeros of maps between manifolds with different dimensions

One of the questions for which the notion of degree is useful is: does this map have a zero. For example, one can prove the Fundamental Theorem of Algebra using the following fact involving the ...
4
votes
1answer
61 views

Orientability of submanifolds

What are some general conditions under which submanifolds of orientable manifolds will also be orientable. Of course this isn't true in general (for example, the Möbius band is a non-orientable ...
1
vote
2answers
99 views

lifting a product of commutators of standard generators on 2-manifolds

I have a problem with understand the proof http://www.ams.org/journals/proc/1972-032-01/S0002-9939-1972-0295352-2/S0002-9939-1972-0295352-2.pdf I don't understand this part: "(...) we can easily ...
0
votes
1answer
26 views

Simple closed curve definition of genus

The genus of a connected surface can be defined as the maximum number of disjoint simple closed curves that can be removed from it without disconnecting it. Why must the simple closed curves be ...
0
votes
0answers
19 views

Transversal Intersection

If $X, Z$ are manifolds of complentary dimension in $Y$, where $X$ compact, $Z$ is closed. Then show that in $ X \times Z, I_2(X \times \{0\},\{0\} \times Z) = 1$. Is this obvious because they ...
0
votes
0answers
13 views

The time evolution of levi-Civita connection

Assume a smooth one-parameter family of Riemannian metrics $g_{t}$. Write $h:=\frac {\partial}{\partial t}g$. In addition, assume that the Levi-civita connection on the Riemannian manifold ...
5
votes
3answers
172 views

Prerequisite for Petersen's Riemannian Geometry

A professor recently told me that if I can cover the chapters on curvature in Petersen's Riemannian geometry book (linked here) within the next few months then I can work on something with him. ...