0
votes
1answer
23 views

Is there a smooth map from the square to the deltoid?

Is there a $C^\infty$ map between a unit square in $\mathbb R^2$ and a deltoid like this one The deltoid is obtained by varying the angles $\theta_1$, $\theta_2$ in the equations \begin{align} x_2 ...
1
vote
0answers
57 views

Calculus on manifolds

I am studying manifold theory ( smooth manifold). As I study the subject, I feel more and more confused. I am not yet at chapter dealing with deferential forms and integration. I can understand that ...
0
votes
0answers
28 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
25 views

A question about complex polarization

Let $M$ be a smooth manifold, Then a subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if $P$ is Lagrangian P involutive dim$P\cap\bar P \cap ...
1
vote
0answers
25 views

What are different geometric interpretations for the sample variance?

I primarily work with non Euclidean data and am looking to extend concepts of 'variance' to Riemannian manifolds. I am aware of Karcher variance, but I need efficient ways to solve for it. For ...
0
votes
1answer
37 views

Curve in $\mathbb{P}^{n}(\mathbb{R})$, differentiable manifolds

I need a book which contains the demonstration that if $\Gamma$ is a curve in $\mathbb{P}^{n}(\mathbb{R})$ defined as $F(x_{1}, \cdots \ \ , x_{n+1}) = 0 $ , with $F$ homogeneous polynomial, then ...
0
votes
0answers
27 views

How to find a curve inside a non-convex

I want to connect two points in a space within the space. If the space is convex, I can simple draw a line between them. But how about a non-convex space. How can I find a curve connecting these two ...
3
votes
1answer
77 views

Partial derivative of a function on manifold

Bishop and Goldberg define ("Tensor analysis on manifolds") the partial derivative of a smooth function on a manifold $M$ in the following way: $\partial_i f= \frac{\partial ...
1
vote
1answer
105 views

Tangent space of Grassmannian $Gr_k (\mathbb{R}^n)$

I am trying to show that the tangent space of the Grassmannian $Gr_k (\mathbb{R}^n)$ at $L,$ is naturally/canonically isomorphic to $Hom(L,\mathbb{R}^n/L).$ However, I cannot see even intuitively what ...
0
votes
0answers
88 views

Gauss map and Gaussian curvature of the generalized cone.

Show that the image of Gauss map of a generalized cone is a curve on $S^2$ and deduce that the cone has zero Gaussian curvature.
0
votes
1answer
35 views

Show that the image of Gaussian map of a generalized cone is a curve on $S^2$ and deduce that the cone has zero Gaussian curvature.

Show that the image of Gaussian map of a generalized cone is a curve on $S^2$ and deduce that the cone has zero Gaussian curvature. I dont have enough idea. Please explain the question clearly. ...
4
votes
2answers
124 views

Most important aspects of differential geometry for general relativity

I'm an undergraduate getting ready to take a graduate course in general relativity next quarter. I purchased Wald's General Relativity (who incidentally will be teaching the class) in order to get a ...
-1
votes
1answer
77 views

Compute the geodesic curvature of any sphere on a sphere.

Compute the geodesic curvature of any sphere on a sphere. Again there exists its answer, but not understandable for me. Please explain it explicitly. Thank you so much. (If required, i can post ...
1
vote
1answer
61 views

Second fundamental form question.

Honestly, I dont have any idea for that question I posted. Please can someone help me solving the question. Thank you.
0
votes
1answer
78 views

Transition map for Möbius band in differential geometry.

Calculate the transition map $\phi$ between the two surface patches for the möbius band. These two surface patches are the following $U=\{(t,\theta) \ | -1/2\lt t\lt 1/2,\ \ 0\lt \theta \lt ...
3
votes
1answer
43 views

write the trasition map $\phi$ between $\sigma_1$ and $\sigma_2$. Verify $\det( J(\phi))$ and find $T_p(S)$.

Sphere $$S=\{(x,y,z) \mid x^2+y^2+z^2=R^2\}$$ $$ \sigma_1(u,v)=(u,v, \sqrt{1-u^2-v^2}) \\ \sigma_2(u,v)=(\tilde u, \sqrt{1-\tilde{u}^2 -\tilde{v}^2}, \tilde v) $$ I guess $\{\sigma_1, \sigma_2\}$ ...
2
votes
1answer
174 views

Tensors constructed out of metric other than the Riemann curvature tensor

Let $(M,g_{ab})$ be a Riemannian (or Pseudo-Riemannian) manifold and let us define a tensor field as 'something' that transforms in an appropriate way under coordinate transformations. (This is how ...
-1
votes
1answer
100 views

The double cone is not a surface.

My question is that A double cone ( also named as "circular cone") is not a surface. I know its reason. But I cannot show this mathematically. Suppose $\sigma : U \to S\cap W$ Is a surface ...
0
votes
1answer
39 views

Show that a paraboloid is asurface .

That I know about paraboloid is all in the picture. I wrote its surface patch. (Hopefully, it is correct) From there, what do I need to do in order show that a paraboloid is a surface. ...
1
vote
1answer
43 views

Taylor expansions on manifolds..

can one consider Taylor expansions of functions defined between smooth manifolds? If so, is there a reference for learning more about it? Thanks
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 ...
2
votes
2answers
33 views

Can I identify $S_k(V)$ with an homogeneous space?

I'm in trouble with a question: Let $V$ be an $n$-dimensional vector space over $\mathbb R$. Can I identify the manifold, $$S_k(V):=\{(X_1, \ldots, X_k): X_1, \ldots, X_k\in V\ \textrm{are linearly ...
0
votes
0answers
14 views

How can I see the set $S_k(V):=\{A: \mathbb R^k\rightarrow V: A\ \textrm{is linear and}\ \textrm{ker}(A)=\{0\}\}$ as an homogeneous space..

how can I see the set $S_k(V):=\{A: \mathbb R^k\rightarrow V: A\ \textrm{is linear and}\ \textrm{ker}(A)=\{0\}\}$ as an homogeneous space? Thanks..
0
votes
1answer
75 views

$(\frac{1}{\kappa})^2+(\frac{\dot{\kappa}}{\kappa^2\tau})^2=r^2$

Show that for a curve lying on a sphere of radius r with nowhere vanishing torsion, the following equation is satisfied: $$(\frac{1}{\kappa})^2+(\frac{\dot{\kappa}}{\kappa^2\tau})^2=r^2$$ Please ...
3
votes
1answer
45 views

Show that $\dot{n_s}=-\kappa_s t$

I found the question in a differential geometry textbook while studying. This question seems so intesting to me. So please help me solving it. I know that $$\dot t =\kappa_s n_s$$ and $$\kappa ...
0
votes
0answers
24 views

Manifolds : Show that a maximal $C^r$-atlas containing a $C^r$-atlas $A$ is unique.

So I want to show that a maximal $C^r$-atlas containing a $C^r$-atlas $A$ is unique. I believe I have shown this, but in my proof I require the fact that the charts of $A$ cover our manifold in ...
1
vote
1answer
57 views

How to show that the limaçon has only two vertices.

Question: Show that the limaçon has only two vertices. I researched what is limaçon. And I reached the following result; Note that I only know that The limaçon is the parametrized curve ...
2
votes
1answer
70 views

Writing a parametrization of the cissoid by using $\theta$

The cissoid of Diocles is the curve whose equation in terms of polar coordinates $(r,\theta)$ is $$r = \sin\theta \tan\theta, −\pi/2 < \theta < \theta/2$$ Write down a parametrization of the ...
0
votes
0answers
60 views

French translation, and what is the curvature of a metric?

I have a french paper to read. There is the notion of une collection des courbures des métriques $g_t$. Now I would guess that this refers to a collection of curvatures of metrics $g_t$, however ...
1
vote
0answers
36 views

Does there exists a simple imbedding theorem for general topological $n$-manifolds?

I am interested in finding some paper or book where i can find how to build an imbedding $e\colon M^n \hookrightarrow \mathbb{R}^q$ of an arbitrary Hausdorff topological $n$-dimensional manifold $M$ ...
2
votes
2answers
54 views

Problem with normal bundle to sphere $\mathbb S^n\subset \mathbb R^{n+1}$

I'm in trouble for understanding the normal bundle to $\mathbb S^n\subset\mathbb R^{n+1}$. By definition $$\nu(\mathbb S^n)=\bigcup_{p\in\mathbb S^n}\nu_p(\mathbb S^n),$$ where $\nu_p(\mathbb ...
2
votes
1answer
109 views

Construct a map from unit disk to upper half-plane

I want to construct this map in high-dimensional case. Let $D=\{x \in \mathbb{R}^n:|x|^2<1\}$,and $H=\{u\in\mathbb{R}^n:u^n>0\}$. Well, it is quite clear when $n=2$, but I find it is hard for me ...
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 ...
0
votes
0answers
25 views

extremal points on a manifold intrinsiclly

I am wondering if there is a geometric object for real analytic manifolds that characterizes extremal points of the manifold intrinsically. For instance, suppose I live in the manifold, can I ...
2
votes
1answer
162 views

Definition clarification on orientation on a manifold.

I have been trying to self-learn differential geometry. I think I may have misunderstood/missed out on something along the way. It is said that for $X$ an $n$-form, $M$ a differentiable manifold, ...
3
votes
2answers
58 views

How to use Mayer-Vietoris to show $\chi(X)=2\chi(M)-\chi(\partial M)$ where $X$ is the double of $M$?

I'm in trouble with the following problem: Let $M$ be a manifold with compact boundary $N$ and let $X$ be the double of $M$, that is, the manifold without boundary one gets by glueing $M$ with ...
0
votes
0answers
42 views

isomorphism of two compex line bundles

I am looking for some non-trivial examples of Line Bundles and an example about isomorphism of two line bundles. With details
2
votes
1answer
47 views

Exact sequence arising from symplectic manifold

Let $M$ be a symplectic manifold, why folloing sequence is exact? $0\to \mathbb{R} \to C^\infty (M)\to A\to 0$ Which $A$ here is the set of Global Hamiltonian vector fields.
1
vote
1answer
57 views

integrability of ker $\omega$ in symplectic case

How can we prove that if $(M,\omega)$, is pre-symplectic and d$\omega=0$ then ker$\omega$ is integrable?.
2
votes
0answers
88 views

Properties of the projection onto a nonconvex set

Consider a set $\Omega\subseteq\mathbb{R}^n$ being "sufficiently regular", for example being the image of a $C^1$ mapping from $\mathbb{R}^p$ for some $p\ge1$. We may then consider the mapping $$ ...
0
votes
1answer
47 views

Imbeddings of $n$-dimensional topological manifolds in $(2n + 1)$-euclidean space

H. Whitney proved that any $n$-dimensional smooth manifold $N$ can be imbedded in $(2n + 1)$-euclidean space (without any compactness assumption). If we consider the case of topological $n$-manifolds ...
4
votes
1answer
110 views

Horn and spindle tori

I was trying to prove that the horn torus and the spindle torus are not manifolds by definition(locally diffeomorphic to some Euclidean space.). I have no idea how to do this, but I attempted it in ...
2
votes
1answer
84 views

Boundary orientation for a cylinder

Please help me.I am think that I can use stokes theorem but ı could not apply.This question is very benefical for me to learn the subject please help me :(
3
votes
3answers
220 views

Topological boundary vs geometric boundary

Let $M_1=B((0,0),1)=\{(x,y) \mid x^2+y^2<1\}$ $M_2=\{(x,y) \mid x^2+y^2\le1\}$ What are the interior of $M_1$ and $M_2$ ? And What are the boundary of $M_1$ and $M_2$ ? How to find them? ...
4
votes
2answers
59 views

The zero set of $z_0^2+z_1^2-1$ in $\mathbb{C}^2$.

Recently, I read the notes "Vector bundles on Riemann surfaces" by Sabin Cautis (http://www-bcf.usc.edu/~cautis/classes/notes-bundles.pdf). On the sixth page of these notes, there is a statement ...
4
votes
1answer
169 views

Hopf Fibration in Local Coordinates

I have the following task: Consider the unit sphere $\mathbb S^3$ in $\mathbb R^4$. We know $\mathbb CP^1\simeq \mathbb S^2$ (homeomorphic). Identifying $\mathbb R^4$ with $\mathbb C^2$, we have a ...
2
votes
2answers
273 views

Compact manifolds and orientability

I've a doubt about compact manifolds and orientability. I know that Compact Manifolds in $\mathbb{R^3}$ are orientable. My questions is: The statement above is valid only for compact manifolds ...
1
vote
1answer
28 views

Manifold with Negatives Identified

I have a three dimensional manifold where negatives are identified, so $x = -x$, but $x$ does not equal $cx$ unless $x$ is $1$ or $-1$. Does anyone know what this manifold is? Other than the ...
1
vote
0answers
75 views

transformation of symplectic structure by a matrix

Suppose that in canonical symplectic basis $e_1,e_2,f_1,f_2$ we have $$\Omega=pf_1^*\wedge f_2^*+qe_1^*\wedge e_2^*+r(e_1^*\wedge f_2^*+e_2^*\wedge f_1^*)+s(e_1^*\wedge f_1^*-e_2^*\wedge f_2^*)$$ Let ...
1
vote
1answer
58 views

The differentials of compositions of $C^{\infty}$ maps obey a chain rule.

$M,N,L$ are $n_{1},n_{2},n_{3}$-differentiable manifolds respectively, $m\in M$, $f:M\rightarrow N$ and $g:N\rightarrow L$ are $C^{\infty}$, and let $J_{f}(m)$ denotes the Jacobian of $f$ at $m$. I ...