Differential geometry is the application of differential calculus in the setting of smooth manifolds (curves, surfaces and higher dimensional examples). Modern differential geometry focuses "geometric structures" on such manifolds, such as bundles and connections; for questions not concerning such ...

learn more… | top users | synonyms (1)

2
votes
1answer
206 views

Fixed point set defined by an isometry is a geodesic

The question is asking to me prove that: Consider a fixed point set $F=\{x \in S : f(x)=x\}$ in a smooth Riemannian surface with $f:S \rightarrow S$ be an isometry. If $F$ is a smooth 1-manifold, then ...
3
votes
1answer
82 views

Parametrising the unit circle without sine and cosine

Is there a nice way to make a smooth and periodic parametrisation $\gamma\colon\mathbb R\to S^1$ of the unit circle $S^1$ in $\mathbb R^2$ that does not somehow involve sine/cosine or (what I find to ...
2
votes
0answers
64 views

Is there a surface S$\subset R^3$ whose Gaussian curvature is -1 at each point S?

Is there a surface $S\subset \Bbb R^3$ whose Gaussian curvature is $-1$ at each point $S$? At first I think this does not make a sense. But googling and googling.. I found a 'final exam problem' ...
1
vote
0answers
45 views

Any hint to show this flow property?

I just wonder if someone might help with this exercise. Let $X$ be a vector field on a compact smooth manifold $M$ and let $\phi_t$ be the flow of $X$. Show that for all $x \in M$, then ...
0
votes
1answer
194 views

Need a reference book on stokes theorem other than rudin

As the title suggests, I am looking for a book (other than Rudin's Mathematical Analysis) that covers differential forms, simplexes, chains, stokes theorem. Actually I am not familiar with tensor ...
1
vote
1answer
108 views

Covariant derivative as a connection on a vector bundle

In the Wikipedia article Connexion (vector bundle), such a connection is defined as a function $\Gamma(E) \to \Gamma(E\otimes T^*M)$ . Then the definition of a covariant derivative is given as a ...
2
votes
1answer
83 views

Tangent space to lie group at identity.

I'm supposed to show that for a Lie group G, $T_{(e,e)}G\times G \simeq T_eG\oplus T_eG$ and that $T_{(e,e)}m$ is given by $(X,Y)\mapsto X+Y$. I'm having trouble proving this. I'm not exactly clear ...
1
vote
1answer
187 views

Mathematical aspects of General Relativity

I was wondering what mathematical subjects are used in the study of the theory of General Relativity (black holes ...) I assume mostly differential geometry, Riemann Geometry ... but is there also ...
2
votes
1answer
171 views

The tangent space of the boundary of a manifold with boundary is a subspace of the tangent space

I was trying to understand the following sentence in some notes I am reading: Let $X$ be a manifold with boundary. At any point $p \in {\partial}X$ there is a canonical subspace $T_{p}({\partial}X) ...
0
votes
2answers
72 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?
1
vote
1answer
36 views

Proving for differentiable curve $\kappa_1=1+\kappa_2^2$

Let $\gamma$ be a differentiable and regular curve in $\mathbb{R}^3$ which satisfies $|\gamma|=1$. Prove that for every point $$\kappa_1=1+\kappa_2^2$$ where $\kappa_1$ is the curvature of $\gamma$ ...
1
vote
0answers
61 views

Adjoint representation of the isotropie group of a homogeneous space

I have difficulties seeing why is the following true: Let $G$ be a lie group and $H$ a closed subgroup, with $\tilde{g}$ and $\tilde{h}$ their lie algebras. The adjoint action of $g\in G$ is given by ...
2
votes
0answers
55 views

Fundamental solution of Laplacian on manifold

I'm looking for a reference for the result that there exists a fundamental solution for the Laplacian on a flat torus $$\Delta \Gamma(x-y) = \delta(x-y), \quad x,y \in \mathbb T^2.$$ and that, ...
1
vote
1answer
59 views

closed but not exact

I saw several times that $\frac{-y}{x^2+y^2}dx+\frac{x}{x^2+y^2}dy$ is closed but not exact. Closed, is obvious but I can't prove non exactness, can one please help me ? My attempt, let $f\in ...
2
votes
0answers
120 views

Unnecessary Elements in the Tensor Product?

For vector spaces $U, V$ there exits a unique (up to isomorphism) vector space, denoted by $U \otimes V$, and a bilinear map $\eta : U \times V \to U \otimes V$ such that for every bilinear map $\xi : ...
7
votes
1answer
234 views

What exactly does “differential forms are coordinate free” mean?

Most introductory texts on differential forms praise their property of allowing for a "coordinate free formulation". What exactly does this mean? What would be a concrete example for which a ...
2
votes
1answer
129 views

Fundamental solution of heat equation on a compact Riemannian manifold

Let $(M,g)$ be a compact Riemannian manifold of $m$ dimensional. Then there exists a sequence $(\phi_i, \lambda_i)_{i\in\mathbb{N}}\subset C^\infty(M)\times\mathbb{R}_{\geq0}$ such that ...
0
votes
1answer
215 views

Different Definitions of Tensor product, Halmos, Formal Sums, Universal Property

In the classic Finite-Dimensional Vector Spaces by P. Halmos he defines the Tensor product as The tensor product $U \otimes V$ of two finite-dimensional vector spaces $U$ and $V$ (over the same ...
2
votes
1answer
223 views

Unit Disk Regular Surface?

I am having trouble proving these two problems: 1) is $\{(x,y,z)\in \mathbb{R}|z=0, x^2+y^2\leq1\}$ a regular surface? I say no because the closed unit disk is a closed surface, so we cannot ...
1
vote
1answer
73 views

Exterior derivative of local basis element $dx^k$ is zero

Let $M$ be a smooth manifold and let $\omega = \sum_{(i_1, \dots, i_n)}f_{(i_1, \dots, i_p)} dx^{i_1} \wedge \dots \wedge dx^{i_p}$ be a differential $p$-form. Let $d$ denote the exterior derivative. ...
0
votes
2answers
105 views

Tangent space of a manifold is a vector field?

This is a follow up question on an answer to my previous question. Let $M$ be a smooth $n$ manifold and let $U\subseteq M$ be a domain. Let $T_xU$ denote the tangent space to $U$ at point $x$. Let ...
4
votes
1answer
92 views

Question regarding character varieties on a torus with compact gauge group

Let $G$ be a compact, connected Lie group. Let $x, y \in G$ be an arbitrary pair of commuting elements. Is there necessarily a torus $T \leq G$ containing $x$ and $y$? Apparently not: Commutativity ...
2
votes
1answer
87 views

Torsion vs Curvature of a curve

I was wondering if there is a simple explanation of the torsion and curvature in $\mathbb{R}^3$ of a curve. The curvature measure somehow the acceleration perpendicular to the tangent vector, but ...
5
votes
1answer
231 views

Two surfaces are not isometries of each other, but have the same Gaussian Curvature

How can you show that two surfaces are not isometries of each other, but have the same Gaussian Curvature. For example, I see that: the helicoid given by X = (ucosv, usinv, v) & the ...
1
vote
0answers
243 views

How to Compute the Torsion and Curvature of a Parametric Curve

So I have a parametric curve $\bf{r}=${$x(n),y(n),z(n)$} such that the functions $x(n)$, $y(n)$ and $z(n)$ are polynomials of $4$-th degree. I have several of these curves, and I want to calculate the ...
0
votes
0answers
105 views

Finding global sections of a vector bundle over a compact manifold which generate each fiber

The following is an exercise I am doing for review for a midterm exam in differential geometry. Question: Let $\pi:V\to X$ be any real differentiable vector bundle of rank $r$. Assume that $X$ is ...
1
vote
2answers
56 views

Statistical Inference, Differential Geometry and Entropy

Context: Statistical Inference and Differential Geometry Let's consider a generic $ p(x;\theta) $ distribution with $ \theta $ Parameters Vector, it is obvious that $$ \int p(x; \theta) dx = 1 $$ ...
4
votes
1answer
107 views

Find the area of parallel surface

Q: Consider a surface $M$ with regular parametrization $X:U_{open}\subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$ and define the parallel surface $M_t$ by $$Y(u,v)=X(u,v) + tN(u,v)$$ where $N(u,v)$ ...
3
votes
1answer
43 views

If $\operatorname{Def} X = \frac{1}{2} \mathcal L_X g$ then what is $\operatorname{Def}^* \operatorname{Def} X$?

Let us define a deformation operator $\operatorname{Def}$ on a Riemannian manifold $(M,g)$, acting on divergence-free vector fields as $$ \operatorname{Def} X = \frac{1}{2} \mathcal L_X g, $$ where ...
3
votes
1answer
96 views

What is the definition of $dx$

I have just started to study differential forms. I don't yet fully understand the definition of what a differential form is (it's a $p$-times covariant tensor field) but I know that if $U$ is an open ...
0
votes
1answer
130 views

Basic diff.geometry question: Understanding coordinate charts by example

I recently learned the notion of coordinate chart: If $M$ is a manifold and $U\subseteq M$ is an open set in $M$ then a coordinate chart would be a smooth homeomorphism $\varphi : U \to V \subseteq ...
4
votes
2answers
222 views

Can a region always be parametrized by a single function?

Can some connected region in $\Bbb R^n$, possibly with some other nice conditions on the region, always be parametrized by a single function $\vec r(x_1, x_2, \dots, x_k)$ (even if it may be easier to ...
2
votes
1answer
65 views

A question related to the topology of the level sets of a particular type of smooth functions $f:\mathbb{R}^2\to \mathbb{R}$.

Let $f:\mathbb{R}^2\to\mathbb{R}$ be a smooth function without critical points; i.e. such that $\nabla f(x)\neq (0,0)$, for all $x\in\mathbb{R}^2$. Is it true or false that all the level curves of $f$ ...
5
votes
0answers
65 views

Basic question: Condition for a map associated to a linear series to be an immersion

I am reading this set of lectures of a class by Prof. Harris. There is a theorem. Let $X$ be a Riemann surface and $\phi:X\rightarrow\mathbb{P^r}$ be the map defined by a linear series without ...
5
votes
1answer
119 views

Riemann curvature product metric

Suppose that $M=M_1 \times M_2,$ with the product metric $g= g_1 \oplus g_2.$ Let $p\in M$ and suppose that $X \in T_pM_1$ and $Y\in T_pM_2.$ I want to show that $R(X,Y,Y,X)=0,$ at the point $p.$ I ...
2
votes
0answers
34 views

Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17) \begin{eqnarray*} ...
3
votes
0answers
150 views

Pullback of Euclidean metric under spherical coordinates

I came across the following problem when I was reading a paper. Let $\Omega=B_2\subset\mathbb{R}^3$, which is the ball of radius 2 centered at origin. Map $F:B_2\backslash \{0\}\to B_2\backslash B_1$ ...
2
votes
2answers
154 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 ...
2
votes
0answers
58 views

Compare three tangent vectors constructed via parallel transport, exponential map and Jacobi vector field respectively

Given a Riemannian manifold $X$, a point $x\in X$ and $u,v\in T_xX$, I wanted to compare the following three vectors in $T_{\exp_x(v)}X$. $u_1=$ The parallel transport of $u$ along the geodesic ...
0
votes
1answer
90 views

Quaternions $\Leftrightarrow $ Rotations -Conceptual question

I have an angular velocity vector analogue defined as(called Darbaoux vector some times in curve) $ \omega(s)=\frac{\mathrm{d}\theta(s) }{\mathrm{d} s}=\delta\theta(s)_x \vec{i}+\delta\theta(s)_y ...
2
votes
1answer
69 views

Getting Ricci Curvature From $g_{ab,cd}$

How does one see that $$c g_{ab,cd}\left(\eta^{ac}\eta^{bd} - \eta^{ab}\eta^{cd}\right)$$ is equal to $$(c/2)\eta^{bc}\eta^{ae}\partial_{a}\left(g_{be,c} + g_{ce,b} - g_{bc,e}\right) - ...
1
vote
0answers
62 views

on special Kähler manifolds

Take Lie group $G$ with some hypotheses (compact, connected, semi-simple); call $T$ its maximal torus, its Lie algebra $\operatorname{Lie}(G)=\mathbf g$, its Cartan subalgebra ...
1
vote
1answer
302 views

Gaussian curvature of one sheet hyperboloid

Q: Consider an one sheet hyperboloid $S$ sitting in $\mathbb{R}^3$ which defined by $x^2+y^2-z^2 =1$. Show that there is a straight line in $S$ through every point of $S$. Also, deduce without any ...
4
votes
0answers
94 views

Are the orbits of a connected Lie group acting on a vector space always embedded manifolds?

Setting: We have a connected Lie group $G$ and a smooth map $G \to GL(V)$, where $V$ is a finite-dimensional vector space. Are the orbits of $G$ on $V$ embedded submanifolds? More precisely, if one ...
1
vote
1answer
41 views

Deriving of the Jacobi bracket and the chain rule

This is from a passage that derives the Jacobi bracket from first principles. I cannot understand how the first equality works. It seems to use the chain rule and I agree with the second term but ...
5
votes
1answer
109 views

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ - I've got the gist, not sure how to write

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ With $A_k(V)$ being the vector space of alternating k-tensors. for $f\in A_k(V)$ for some $v\in V$ we define ...
1
vote
1answer
49 views

A simple metric question

In their article Killing vector fields of standard static spacetimes, Dobarro and Unal derived the following simple identity. Note that if $h:I→R$ is smooth and $Y,Z∈ {\frak{X}}\left(I\right)$, ...
0
votes
0answers
60 views

Rotating Frames on Curve

We are describing a curve with a moving frame. Figure 1 says about the definition of curve Figure 1 Specifications and Proprieties of the curve We can make a rotation 3D Matrix $R(s)_{3 ...
4
votes
1answer
195 views

Canonical isomorphism between vector bundle and dual?

So, we've been asked to show, given a real vector bundle equipped with a metric, that there is a canonical isomorphism from the vector bundle and its dual. Now, there's a theorem that says two vector ...
2
votes
1answer
79 views

Is every umbilic connected surface with 0 curvature cointained in a plane?

Is every umbilic connected surface $S$ with $0$ curvature cointained in a plane? I know that the answer is "yes" if we also suppose that the surface is orientable. The argument is sketched below: ...