3
votes
0answers
50 views

Crosscap function in $\mathbb{R}^4$ - and how to show it is proper?

I found the Cross-cap function in $\mathbb{R}^3$ as follows: $$f(x,y,z)=(yz,2xy,x^2-y^2),$$ My questions are (I couldn't show any progress for Q1,2.I have thought hard but had no clue): Q1: Is ...
0
votes
1answer
48 views

Torus in differential geometry.

I want to write separately parametrizations (surface patches) $\sigma$ for torus when (1) x-axis rotation in the first part of the picture and (2) y-axis rotation in the second part of the picture. ...
2
votes
1answer
64 views

Is the map from the circular half cone to the $xy$ plane a local isometry?

This is a text book exercise. And I think that this map is not a local isometry. But, I don't know how to show this question. Please help me explaining this question. Thanks a lot. I posted its ...
0
votes
1answer
45 views

First fundamental form of a surface patch $\sigma$

I have its answer, but I cannot understand again. Please explain its solution clearly. Thanks a lot.
1
vote
1answer
46 views

A surface patch $\tilde{\sigma}(\tilde u,\tilde v)$ is a reparametrization of a surface patch $\sigma (u,v)$

Suppose that a surface patch $\tilde{\sigma}(\tilde u,\tilde v)$ is a reparametrization of a surface patch $\sigma (u,v)$. Let $$\tilde E d\tilde u^2+ 2\tilde F d\tilde ud\tilde v+\tilde G d\tilde ...
2
votes
1answer
113 views

First fundamental form question.

The question I posted; $6.1.2\quad$ Show that and apply an isometry of $\Bbb R^3$ to a surface does not change its first fund. form. What is the effect of a dilation (i.e., a map $\Bbb R^3\to ...
1
vote
1answer
54 views

The question related to a regular surface.

Prove that an equation of the form $f(x,y,z)=c$ determines a regular surface if $f$, defined on some open subset $S$ of $\mathbb{R}^3$, is smooth and $\nabla f\neq 0$ everywhere in $S$. I know ...
1
vote
0answers
51 views

prove that the shapes are isometric

I want to prove that the shapes are isometric. How to prove? There is no info except for the picture. First of all I need to write surface patches. Please can someone help me? The definition of ...
1
vote
0answers
76 views

prove that $f$ is a diffeomorphism and an isometry

Let $S_1 : [0, 2\pi r]\times [0, h]$ $S_2: x^2+y^2=r^2$ Let $f: S_1 \to S_2$ $(u,v)=(r\cos (\frac{u}{r}), r\sin (\frac{u}{r}), v)$ for $v\in [0,h]$ and $u\in [0, 2\pi r)$ How do I prove that ...
0
votes
1answer
56 views

Verify this is not orientable.

Verify this is not orientable. Möbius transformation: $$U=\{(t,\theta) \mid \frac{-1}{2}\lt t\lt \frac{1}{2}, 0\lt \theta \lt 2\pi \}$$ $\sigma (t, \theta)=<((1-t\sin (\theta/2))\cos (\theta), ...
1
vote
0answers
39 views

show that $g\circ f :S_1 \to S_3$ be also smooth and $d_p(g\circ f)=(d_{f(p)}g)\circ (d_pf)$

proposition: Let $S_1$, $S_2$, $S_3$ be 3-regular surfaces and $f:S_1 \to S_2$ and $g: S_2 \to S_3$ be smooth maps. Then show that $g\circ f :S_1 \to S_3$ be also smooth and $$d_p(g\circ ...
0
votes
1answer
58 views

$d_pf :T_p(S_1)\to T_{f(p)}(S_2)$ is a linear map for any $p\in S_1$

If $f: S_1\to S_2$ is a smooth map betweentwo regular surface $S_1$ and $S_2$, then $d_pf :T_p(S_1)\to T_{f(p)}(S_2)$ is a linear map for any $p\in S_1$ I cannot prove this statement. I think that ...
3
votes
2answers
87 views

How does a smooth structure on a subset of a manifold determine its status as an immersed submanifold?

As titles are limited to 150 characters, allow me to rephrase my question in a way that is hopefully more precise: Given a $d$-dimensional smooth manifold $M$ and some $k$-dimensional subset ...
1
vote
1answer
56 views

notation for a torus

I am trying to search for the meaning of this notation but unfortunately it seems that wikipedia even doesn't have it. The book I am following uses the following notation for a torus: $\mathbb{T}^d = ...
2
votes
1answer
85 views

Trivialisation of Moebius strip

I've just started studying Advanced Geometry and I'm in trouble with a (stupid) exercise. It's about finding a trivialisation of the Moebius strip (I'll refer to it as $E $) viewed as a fibre bundle ...
5
votes
0answers
51 views

The space of paths

Let $ (M,g) $ be a compact Riemannian manifold, and let the path space $ \Omega $ of $ M $ be the set of equivalence class of smooth maps $ \gamma : [0,1] \rightarrow M $ (equivalent under ...
4
votes
1answer
101 views

Is there a name for this particular class of topological space?

This is a simple question, but I can't figure out the name for this class of topological space. Say you start with the affine space $\mathbb{R}^n$ for finite n, and equip it with a metric. Now, say ...
4
votes
2answers
130 views

Textbooks with exposition done mostly in proof outlines or exercises?

As the title indicates, I'm trying to find books where the exposition of the main course of thought is done entirely or mostly in outlines of proofs, or as exercises with or without hints. I'm trying ...
4
votes
2answers
149 views

Minimal geodesics in $S^{n+1}$

Let $\Omega^d(M)$ the space of minimal geodesics on a smooth manifold $M$. How can I prove that if $M= S^{n+1}$, $\Omega^d(S^{n+1}) \simeq S^n$?
1
vote
1answer
82 views

Not well-defined parametrization of torus.

The problem statement: Exhibit explicit parameterizations covering $S^1 \times S^1 \subset \mathbb{R}^4$. My question: I had my attempt below, but my question lays at the very last. It seems ...
2
votes
2answers
199 views

Parametrization of $n$-spheres

This comes from Guillemin and Pollack's book Differential Topology. The book claims that one cannot parametrize a unit circle by a single map. I thought we could (by a single angle $\theta$). I ...
1
vote
0answers
46 views

How can I align the angle between points with the magnetic heading as the points move?

I have 3 robots which must track a point. The distance between all the robots and the point is known so a triangle can be formed between any 2 robots and the point. If I find the angles in the ...
0
votes
0answers
53 views

Compactness of covering space

If we have space $X$ with and $n$ sheeted covering space $Y$ is $Y$ compact iff $X$ is? Torus or sphere, make me believe the answer is yes.
0
votes
0answers
70 views

Existence of Solution: Embedding from 2D Euclidean space to a circle

Given a real matrix $X$ with $n$ rows and 2 columns, can the matrix be transformed to a real matrix $Y$ such that all the points formed by the rows of $Y$ lie on a circle (2d) and their inter-point ...
1
vote
1answer
278 views

Proof that cone not diffeomorphic to plane

What is the simplest way to show that the cone $\{(x,y,z)\in\mathbb R^3\,|\,z=\sqrt{x^2 + y^2}, z\geq 0\}$ is not diffeomorphic to $\mathbb R^2$? After some comments, I realize that this question The ...
6
votes
2answers
203 views

Embedded surface in $\mathbb{R}^3$

Let $U \subseteq \mathbb{R}^2$ be an open set and let $\sigma : U \rightarrow \mathbb{R}^3$ be a parametrization of an oriented surface $S$ embedded in $\mathbb{R}^3$ whose unit normal in $\sigma ...
2
votes
1answer
178 views

Tangent cone to a subset of $\mathbb{R}^3$

Well, I have the set $X=\{(x,y,z) \in \mathbb{R}^3 | 3x^2+2x^3+y^2+z^2=1\}$ How can I calculate the tangent cone at the point $(-1,0,0)$ ? What are the standard ways to calculate the tangent cone to ...
1
vote
1answer
130 views

How to construct a map from $\mathbb{ S}^2=\{(a_1,a_2,a_3) | a_1^2+a_2^2+a_3^2=1\}$ to $\mathbb{ RP}^2$?

How would I construct the map? Once constucted, would I be right in saying that there is no Diffeomorphism to map back? As in $\mathbb{RP}^2$ a closed curve would have to have either $2$ points that ...
0
votes
1answer
219 views

De Rham cohomology question

I'm trying to compute a certain DeRham cohomology. Consider $M = S^n-C$, where $C$ is the disjoint union of closed disks $C = \cup_{i=1}^m D_i$, and $m,n \geq 1$. How can we compute the cohomology ...
1
vote
0answers
65 views

show that subset of complex projective space is a submanifold

Let n, m $\in \mathbb{N}$. I'm trying to show that $M(n,m) = \{[z_0 : z_1 : … : z_n] \in \mathbb{C}P^n | \sum^{n}_{i=0} z^m_i = 0\}$ is a submanifold and codim(M(n,m))=2. My idea was to use ...
2
votes
1answer
143 views

Reference for topology and fiber bundle

I am looking for an introductory book that explains the relations of topology and bundles. I know a basic topology and algebraic topology. But I don't know much about bundles. I want a book that ...
7
votes
4answers
200 views

How do you imagine the shape of a manifold $S^2 \times S^1$?

In 3-dimensional manifold theory, I have encountered the manifold $S^2 \times S^1$ many times. (The following story can be applied not only this manifold but also for any 3-dimensional manifold.) But ...
2
votes
2answers
71 views

Is there any notion for a certain type of embedding of a smooth curve in a 2-d euclidean space?

There is a smooth 1-manifold (a smooth curve of infinite arc length) embedded in a 2 dimensional euclidean space. This curve (of infinite arc length) is such that, there is one and only one point $P$ ...
8
votes
1answer
304 views

A star shaped open set in $\mathbb{R}^n$ is diffeomorphic to $\mathbb{R}^n$

After googling this fact (which is used in Bott and Tu to show the existence of good covers of manifolds) I've gotten the impression this is somewhat difficult to prove. But I also came across this ...
5
votes
0answers
240 views

Definition of Reshetikhin-Turaev TQFT

I am studying Reshetikhin-Turaev TQFT. In their paper or in the book " Quantum invariants of knots and 3-manifolds", they first define an invariant $\tau(M)$ for a closed orientable 3-manifold $M$ and ...
3
votes
1answer
223 views

Surgery link for lens spaces

Let $p$ and $ q$ be a relatively prime integers. I want to know how to prove that a Hopf link with framing $-p$ and $-q$ is a surgery link for a lens space $L(p,q)$. The lens space is first a result ...
2
votes
0answers
91 views

A Heegaard splitting of $S^2\times S^1 \# S^2\times S^1$.

For a Heegaard splitting of $S^2 \times S^1$, we can take two copies of genus 1 handlebodies and glue boundaries with the identity map. I want to generalize this a little bit. In the case of ...
2
votes
1answer
137 views

Higher dimensional Jordan-Brower separation theorem

Is there an established higher dimensional version of the Jordan-Brower theorem? I would like some statement like this: Let $M$ be an $n$-dimensional closed, compact and connected variety and suppose ...
6
votes
1answer
233 views

Proof that vector area is a boundary integral?

Let $M \subset \mathbb{R}^2$ be a closed topological disk and let $f: M \rightarrow \mathbb{R}^3$ be a smooth embedding; let $N$ be the corresponding unit normal field on $M$. The vector area is ...
1
vote
1answer
168 views

Are there bounded surfaces without boundary that are noncompact?

I am aware of the Heine-Borel theorem, which says that closed and bounded is the same as compact in $\mathbb{R}^n$. My question is: are there (connected) surfaces without boundary embedded in ...
2
votes
1answer
183 views

4-Manifolds of which there exist no Kirby diagrams

In 4-Manifold theory one makes often the use of Kirby Diagrams to construct 4-manifolds (compact or non-compact) with specific gauge and topological properties (for example small betti numbers, spin ...
2
votes
2answers
93 views

a neighborhood of an intersection point

if a point $x$ is in the intersection of two spaces $X$ and $Y$ suppose we know explicitly a neighborhood of $x$ in $X$, can we take the same neighborhood of $x$ in $Y$. More specifically, if the ...
2
votes
0answers
232 views

fundamental group of closed surfaces as CW complexes

Let $T$ denote the $2$-torus, $P$ the projective plane, and $nT$/$nP$ the connected sum of $n$ tori/$n$ projective planes respectively. 1) how can I prove, that $nT$ and $nP$ are homeomorphic to ...
17
votes
2answers
372 views

No hypersurface with odd Euler characteristic

Here is a classic problem which I encountered and could not solve: Prove that a simply connected closed smooth manifold has no closed sub-manifold of co-dimension $1$ with odd Euler ...
15
votes
5answers
564 views

How should I think about what it means for a manifold to be orientable?

Let M be a smooth manifold. We say that M is orientable if and only if there exists an atlas $A = \{(U_{\alpha}, \phi_{\alpha})\}$ such that for all $\alpha, \beta$, $\textrm{det}(J(\phi_{\alpha} ...