0
votes
2answers
21 views

set of all regular values

Let $M$ be a compact manifold and $f: M\longrightarrow \mathbb{R}$ be smooth. Show that the set of all regular values of $f$ is open. How can I prove it? Could someone help me?
2
votes
2answers
46 views

Topologies in a Riemannian Manifold

I'm studying Differential Manifolds using Manfredo do Carmo's Book (Riemannian Geometry) and although I see no mention of this in Do Carmo's book, it's really easy to see a Riemannian Manifold as a ...
1
vote
0answers
13 views

Topology of the intersection of toric arrangement

Hope someone will help me in the solution of the following question. I'm working on some topological problem involving the topology of the intersection of some characters of the torus. I want ot find ...
2
votes
1answer
65 views

How can I visualize principal bundles?

I'm trying to learn how to think about principal bundles where the fibre is a lie group with local trivialization $ϕ^{-1}_i:π(U_i)→U_i×G$ . For example $ϕ^{-1}_i:π(S^2)→S^2×U(1)$ (if that makes sense) ...
3
votes
1answer
32 views

The existence of a simply-connected neighborhood of a contractible loop

Let $M$ be a smooth manifold with a point $x_0$ on $M$ and a smooth loop $\gamma$ at $x_0$. If $\gamma=0$ in $\pi_1(M,x_0)$, then can we find a simply-connected open set $U$ around $x_0$ such that ...
5
votes
3answers
46 views

Connectedness of $O(3)$ group manifold

A topological space is said to be connected if it cannot be written as $X=X_1\cup X_2$, where $X_1,X_2$ are both open and $X_1\cap X_2=\emptyset$. Otherwise, X is called disconnected. Is it wrong to ...
2
votes
1answer
43 views

Topology of a manifold

A manifold $M$ is a locally euclidian topological space (every point has a neighborhood homeomorphic to an open subset of $\mathbb{R}^n$). We assume, in addition, $M$ Haussdorf and second countable. ...
2
votes
1answer
64 views

Intuitive idea of immersions?

So I understand the definition of immersions and submersions, as well as the motivation for defining such ideas. Not only are they important in understanding properties of mappings of tangent spaces, ...
1
vote
1answer
38 views

Why is the structure group for lengths $\mathbb{R}^+$ and not automorphisms in $\mathbb{R}^+$?

While reading what is a gauge to understand what a gauge is, I got stuck at a point where Terry Tao wrote: This isomorphism group is called the structure group (or gauge group) of the class of ...
0
votes
0answers
37 views

Visualization of Gauss Bonnet geometric objects

Where can we get to see some individual surface/line combinations in isometry visualizations with constant $ \int k_g ds $ (say total tangential rotation) ? Or with constant integral curvature ...
0
votes
0answers
29 views

Computing transition map of $S^2$.

First please have a look at the cruddy diagram I have drawn. (it is at angle because my camera casts a shadow if I photograph it from above) Define the coordinate charts that map a portion of the ...
0
votes
0answers
43 views

Transitivity of smooth submanifolds

I was reading through Guillemin and Pollack and was having trouble verifying this for myself. Given $M \subset N$ and $N \subset P$, where $M$ is a submanifold of $N$, and $N$ a submanifold of $P$, ...
0
votes
0answers
65 views

How to organize my learning in Maths?

I m working on a problem in mechanics of material which concerns about the variation of shapes. I need to understand the deformation of material. I m a civil engineering graduate. All my understanding ...
0
votes
1answer
24 views

inverse of stiefel-whitney class of product bundles

Let $\xi_1,\cdots,\xi_n$ be vector bundles over $M$. Let $\omega$ be the Stiefel-Whitney class and $\bar\omega$ be the inverse. By an exercise in Milnor's book, $$ w(\Pi_{j=1}^a ...
0
votes
1answer
44 views

Gluing oriented manifold along boundaries

Let $M_1$ and $M_2$ be oriented manifolds with boundaries. Suppose they have homeomorphic boundaries. I want to glue $M_1$ and $M_2$ along the boundaries via some homeomorphism. To ensure that the ...
1
vote
1answer
20 views

Is the image under a homeomorphism of the cut locus $C_p$ a null-set?

Let $M$ be a complete Riemannian manifold with a point $p  \in M$ and let $U \subset T_pM$ be an open disk containing $0_p$ in the tangent space to $p$. By $C_p$ we denote the image of the boundary of ...
0
votes
1answer
44 views

Use contraction mapping theorem to prove

Help! I am taking a math course, and I just can't figure out this proof: Let $\alpha,\beta\in R^n$, $a\in R$, and $A$ be an $n\times n$ nonsingular matrix. Use contraction mapping theorem to prove ...
0
votes
1answer
36 views

Non-punctual Boundary

In the book of Bill Thurston, Three dimensional geometry and topology, there is an exercise to show torus can be partitioned into 7 countries, each on one piece and has common (non-punctual) ...
2
votes
1answer
22 views

Number of intersections of two closed loops on a genus zero surface

I have stumbled onto the following fact and I am quite helpless in seeing why this is true (although I can agree intuitively). Let $M$ be a surface of genus zero (open or closed, with or without ...
1
vote
0answers
16 views

Ribbon Surfaces and Legendrian Graphs on Contact 3-manifolds.

Let $M=(M, \xi)$ be a contact 3-manifold. I am trying to show that every Legendrian graph L (i.e., a graph embedded in $M$ so that it is everywhere-tangent to the contact planes) admits a ribbon ...
3
votes
2answers
63 views

Intuition for the compactness of real projective space $\mathbb{R}\mathbb{P}^n$.

I want to have an intuition for why the $n$-dimensional real projective space defined as $$\mathbb{R}\mathbb{P}^n:=\mbox{set of 1-dimensional subspaces of }\mathbb{R}^{n+1}$$ is compact. I don't see ...
2
votes
1answer
120 views

Modern mathematics for dummies

I have poor university mathematical education, but Math fascinates me, so I decided to educate myself for a bit. I know there is a dozen modern mathematical fields I know nearly nothing about like ...
0
votes
1answer
37 views

About $C^{0}$ being topological manifold

Is that the reason why $C^{0}$ being topological manifold due to that $C^{0}=\phi$ which contains nothing? Correct me if I am wrong. I am new to differential topology.
5
votes
1answer
42 views

Smooth embeddings of the $2$-sphere

I have a past qual question here: given a smooth embedding $f \colon S^2 \to \mathbb{R}^3$, show that there must exist distinct points $p,q \in S^2$ such that the tangent planes to the embedded sphere ...
1
vote
1answer
60 views

Are the topology of a manifold and the topology induced by the metric of a manifold the same?

I am a physics student trying to understand in a rigorous way what a manifold is so please bear with me. Ok, so I am just learning what a topology is and from what I have understood up till now is ...
1
vote
0answers
39 views

Which part of differential geomety uses metrization theorems?

I learned three metrization theorems last year, which are Nagata-Smirnov,Smirnov and Bing. I thought these theorems are purely topological theorems, but i recently saw a post which says these ...
0
votes
0answers
62 views

Zero set of finitely many polynomials.

Somebody asked a question earlier regarding this proof but I'm confused about a different part. I understand everything but the line "As the zero set of finitely many polynomials, $R$ is a closed ...
2
votes
2answers
65 views

Embedding of $\mathbb{R}^2 \to \mathbb{R}^3$ with non-parallel tangent planes

I have a qual question here and I'm struggling to get a good starting point. The question asks to construct a smooth proper embedding $f\colon \mathbb{R}^2 \to \mathbb{R}^3$ such that for any distinct ...
2
votes
1answer
99 views

Is there a nice/clever way to visualize $\mathcal{S}\times \mathbb{R}^2$?

The (velocity) phase space of a double pendulum can be seen as the tangent bundle of its configuration space ($\mathcal{S}^1\times\mathcal{S}^1$), that is: ...
1
vote
3answers
114 views

Why are open sets used in definitions in differential geometry?

I find that in most definitions in differential geometry, such as those of defining a manifold, a smooth manifold,differentiable functions, diffeomorphisms on manifolds, an atlas,etc , open sets are ...
1
vote
2answers
54 views

Some questions about the proof of the General Linear Group being a manifold.

I understand the idea behind proving that GL(n,$\mathbb{R}$) is a smooth manifold by first using the fact that it is isomorphic to $\mathbb{R}^{n^{2}}$ and using the continuity of the determinant ...
1
vote
2answers
68 views

Topologies on n-manifolds

In the study of n-manifolds (real and imagined), is there any reason to spend much time learning about topologies other than the usual topology?
1
vote
1answer
56 views

Alexandrov embedded disc

We say that a compact surface $\Sigma$ is Alexandrov embedded via an immersion $f:\Sigma \rightarrow \mathbb{R}^3$ if there exist, $X$ a 3 manifold and an immersion $F: X \rightarrow \mathbb{R}^3$ ...
1
vote
1answer
52 views

Topological subspace in $(S^{1})^{n}$

Studying the set of solutions of a particular linear system associated to a matroid, I notice that is it possibile to determine the topology of the quotient and identify it as a subtorus of ...
1
vote
0answers
34 views

Computing geodesic distances from structural data

I am attempting to compute geodesic distances on manifolds where structural data have been sparsely sampled. First, off I am not well versed in the mathematics of differential geometry but I do have ...
0
votes
1answer
56 views

Question about Alternating forms

So I understand the definition of an alternating form on $\mathbb{R}^m$, but I don't really understand the proof of the lemma. Could someone explain the first observation? Why is it so?
0
votes
2answers
62 views

What is the difference between a manifold and a topological manifold?

Is it the case that a topological manifold is just a topological space but we have not mentioned any specific structure on it ?
1
vote
1answer
41 views

Winding number from complex analysis and differential geometry

I showed that for a differentiable function $f:S^1 \rightarrow S^1$, the winding number is given by $\frac{1}{2 \pi i } \int_{S^1} \frac{f'(z)}{f(z)} dz$. Now I want to show that the winding number ...
1
vote
0answers
28 views

Minimization Problem for Winding number

Consider the minimization problem associated to the functional $$ \mathcal{F}(u)=\int_{0}^{2\pi}{\lvert \dot u\rvert\bigg(1+\bigg(\frac{\dot u}{\lvert \dot u\rvert}\cdot m(u)\bigg)^2\bigg),dx} $$ ...
1
vote
2answers
173 views

Definition of “a topological manifold with corners”.

How can we define a topological manifold with corners and its corners? Then, do we use "invariance of domain" to define corners, as we really need this theorem in order to define "boundaries of a ...
1
vote
2answers
95 views

Homology of manifolds with boundary

If $M$ is a compact topological manifold WITH boundary does it follow that its homology groups are finitely generated and zero almost all of them? I know it is true in case it has no boundary (i.e. is ...
1
vote
1answer
46 views

Integrable Manifolds

I'm trying to understand why the line of slope y passing through (x,y) is an integral manifold. My intuition tells me that there exists a point in the slope field where the distribution cannot be ...
0
votes
1answer
68 views

Link between a topological space and a manifold

A topological space is defined as a non-empty set $X$ together with a given collection of subsets $T$ (topology) of $X$, such that, (i) any union of these subsets is one of the subsets. (ii) any ...
1
vote
0answers
80 views

n-Torus with antipodal points identified

If we have n-torus $S^1 \times S^1 \times S^1 \times ....$ n times, and $\mathbb{Z}_2$ acts on this just sending each component of $S^1 \times S^1 \times S^1 \times ....$ to its antipodal. What will ...
3
votes
1answer
55 views

How to understand structure groups?

I'm studying fiber bundles and I'm somewhat confused on how Structure Groups appears. The definition of fiber bundle I have is the following: A bundle is a tuple $(E,B,\pi)$ where $E,B$ are ...
0
votes
0answers
32 views

Antipodal map and parallel transport on $S^3$

I'm reading Thurston and Levy's "Three-dimensional geometry and topology" where they have an informal explanation of what life in $S^3$ would look like. For the following detail that I am concerned ...
0
votes
0answers
15 views

Constructing a smoothly varying basis without singularities

I am trying to construct a smoothly varying and a differentiable basis to map a vector in $\mathbf{B}:\mathbb{R}^3 \to \mathbb{R}^3$. Given a vector field $\mathbf{n}(\mathbf{x})$ where $\mathbf{n} = ...
0
votes
1answer
105 views

Reference request: Partition of unity…

I was looking for some material that could help me understand a real analysis course (1st year undergraduate). My teacher treated the following topics: Partition of unity Existence of regular ...
10
votes
1answer
129 views

How can I understand the three-dimensional space forms?

Here is what I know: A space form is defined as a manifold admitting a Riemannian manifold of constant sectional curvature A classical result of Cartan states that a manifold is a space form if and ...
1
vote
1answer
49 views

Suppose $A \subset S$ and both $A$ and $S$ are regular surfaces. Show that $A$ is open in $S$

Suppose $A \subset S$ and both $A$ and $S$ are regular surfaces. Show that $A$ is open in $S$ (w/ respect to subspace topology on $\mathbb{R}^3$. Note that the definition of a regular surface $S$ is ...