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)

10
votes
2answers
333 views

Showing that some symplectomorphism isn't Hamiltonian

I have the next symplectomorphism $(x,\xi)\mapsto (x,\xi+1)$ of $T^* S^1$, and I am asked if it's Hamiltonian symplectomorphism, i believe that it's not, though I am not sure how to show it. I know ...
2
votes
1answer
78 views

Literature on Chern-Weil Theory and the Chern-Gauß-Bonnet Theorem

At my university there are plans for a graduate seminar on Chern-Weil Theory and Chern's generalisation of the Gauß-Bonnet Theorem. Unfortunately I am having a though time in finding adequate and ...
10
votes
2answers
158 views

Applications of Geometry to Computer Science

How is differential geometry (or any type of theoretical math) related to computer graphics and/or computer programming? A friend of mine has only a bachelors degree in pure math and got hired by ...
10
votes
2answers
236 views

Non-ellipticity of Yang-Mills equations

Let $D=\text{d}+A$ be a metric connection on a vector bundle with curvature $F=F_D$. How does one prove that the Yang-Mills equations $$ \frac{\partial}{\partial x^i}F_{ij}+[A_i,F_{ij}]=0 $$ from ...
1
vote
0answers
15 views

Gauge covariant derivative on principal bundle over $\mathbb R^d$

I try to understand the physical definition of covariant derivative in gauge theories in terms of the exterior covariant derivative of vector-valued forms defined as the horizontal projection wrt a ...
4
votes
1answer
55 views

why can i differentiate this term-by-term?

What's the best way to justify the following computation: For $A, B$ symmetric real matrices, $$\frac{d}{dt}|_{t=0}e^{A+tB}= \frac{d}{dt}|_{t=0}(1+(A+tB)+\frac{1}{2!}(A+tB)^2+...) = ...
1
vote
1answer
33 views

Question about focal surface

This can be regarded as a continuation of the question about focal surface posted in "Question about Focal surfaces". More precisely, my question is part (b) of Exercise 3.5.9 of do Carmo's book ...
3
votes
1answer
52 views

Looking for proof that $SO(3)$ is a submanifold of $\mathbb R^3$

It seems to be taken for granted in all sources that $SO(3)$ is a submanifold of $\mathbb R^9$. However, the one proof of this that I have been able to find has a step or two that doesn't make alot ...
2
votes
3answers
218 views

Integral of the gaussian curvature on surface.

Let $S \subset \mathbb{R}^3$ be the surface given by $x^4+y^4+z^4=1$, and let $K$ be its gaussian curvature. Then what is $\int_S K$? First of all, I think finding patch seems hard. Should I consider ...
3
votes
1answer
80 views

Symplectomorphism Preserves Cotangent fibrations

Let $M$ be a manifold with local coordinates $x^1,\dots,x^n$ and $T^\ast M$ the cotangent bundle with induced coordinates $x^1,\dots,x^n,\xi_1,\dots,\xi_n$ . Let $\alpha$ be the tautological one form ...
4
votes
0answers
86 views

Consistency of different ways to define the tensor product

It seems my trouble with understanding tensors stems from the following statement: More specifically, the statement: Namely, given $B: V \times W \to U$ and $\xi: U \to \mathbb{R}$, $\xi ...
3
votes
0answers
45 views

How to construct a diffeomorphism with $p_k \mapsto q_k$?

How to prove the following property? I cannot do anything. Let $M$ be a connected paracompact smooth manifold of dimension $m\geq 2$. Let $(p_k), (q_k)_{k\in \mathbb{N}}$ be sequences on $M$ which ...
3
votes
3answers
102 views

Why is $d*F$ equal to $\partial _\mu F^{\mu \nu}$?

Given that $A = A_\nu dx^\nu$ and $F = \partial_{\mu}A_\nu dx^\mu \wedge dx^\nu$ Why does $d*F$ equal to $\partial _\mu F^{\mu \nu}$? How does all the $\frac{1}{2}\varepsilon^{abcd}F_{cd}$ fit into ...
5
votes
0answers
48 views

Integration of bundle-valued differential forms

The literature, at least textbooks, seems to be very scarce on the topic of integrating bundle-valued differential forms. So I wonder where can I read on the topic? I want to see usual theorems, like ...
1
vote
1answer
43 views

Finding a lie group structure on $\mathbb R^n\setminus\{0\}$

I want to find all maps $g: \mathbb R^n\setminus \{0\} \rightarrow GL_n(\mathbb R)$ which satisfy the properties $g$ is differentiable and injective $g(g(a)b) = g(a)g(b)$ for all $a,b\in\mathbb ...
1
vote
1answer
37 views

When do isometries commute with the compatible derivative operator on a semi-Riemannian manifold?

Let $M$ and $\tilde{M}$ be smooth manifolds, each with a metric $g_{ab}$ and $\tilde{g}_{ab}$, assumed here to be smooth symmetric invertible tensor fields, which are non-degenerate but not ...
1
vote
0answers
32 views

A question about the boundary points of manifolds.

A topological $n$-manifold is a second countable Hausdorff space such that every point has a neighbourhood which is homeomorphic to an open ball centred at the origin in $\Bbb{R}^n$. The "centred at ...
2
votes
1answer
27 views

The number of variables that parametrize a particular curve or surface.

It is possible to parametrize a line in $\Bbb{R^n}$ using one variable. For example, $(t,2t)$ is a line in $\Bbb{R^2}$ for $t\in\Bbb{R}$. However, it is also possible to parametrize it using two ...
0
votes
0answers
47 views

Differential forms and minor expansion, question about notation.

There are lectures by Theodore Shifrin on differential forms, and sadly one video ends suddendly where he explains some notation. I try to formulate it in my own words: When k=n, we have ...
3
votes
0answers
27 views

The Taylor expansion of the metric at the origin in geodesic coordinates

It is well known that in geodesic coordinates we have $$ g_{ij}=\delta_{ij}-\frac{1}{3}\sum_{k,l}R_{ijkl}x^{k}x^{l}+O(|x|^{3}) $$ I have been trying to find a rigorous proof of it, but I cannot find a ...
2
votes
0answers
40 views

Equivalent Characterizations of Smoothness

Let $F:M\to N$ be a map of smooth manifolds. Show that the following are equivalent: $F$ is smooth, For each $p\in M$ there exist smooth charts $(U,\varphi)$ containing $p$ and $(V,\psi)$ ...
2
votes
0answers
43 views

Diagonal submanifold is not the boundary of compact manifold

I would like to show that given a smooth compact manifold $M$, the diagonal $\Delta\subset M\times M$ is not the boundary of a compact manifold. I would appreciate a hint to solve this. What is being ...
0
votes
1answer
56 views

Interpretation of $(r,s)$ tensor

A tensor of type $(r,s)$ on a vector space $V$ is a $C$-valued function $T$ on $V×V×...×V×W×W×...×W$ (there are $r$ $V$'s and $s$ $W$'s in which $W$ is the dual space of $V$) which is linear in each ...
3
votes
1answer
84 views

Affine connection on a Lie group.

Let $G$ be a Lie group. For $g \in G$, we can define a diffeomorphism $l_g: G \to G$ by $l_g(x)=gx$, and a bundle map ${l_g}_*:TG \to TG$. Then, I guess that we can obtain the affine connection on $G$ ...
2
votes
2answers
60 views

Ricci Tensor, Curvature and Scalar Curvature computation from definition

I am studying a little of Riemannian geometry and I am having some problem in making the connection between two expressions of Ricci tensor, curvature and scalar curvature. Well, in the book that I am ...
3
votes
0answers
57 views

Example for divisors, line bundles and meromorphic functions on $\mathbb{CP}^2$

I have been studying divisors using Griffiths/Harris (chapter 1.1) as well as Huybrechts (chapter 2.3). However, I cannot seem to find any very easy worked examples - i.e. $\mathbb{CP}^1$ or ...
0
votes
1answer
97 views

Example of Something That's Not A Manifold

Two examples of non-manifolds that I know are the cross and the cone. Also the sphere with a hair isn't a topological manifold. But what's an example of a topological space $X$ such that $X$ is not a ...
6
votes
3answers
246 views

Why are differential forms more important than symmetric tensors?

In differential geometry, differential forms are totally anti-symmetric tensors and play an important role. I am led to wonder why do we not study totally symmetric tensors as much as forms. What ...
2
votes
1answer
48 views

Is $\mathbb{R}P^n$ “two-sided” in $\mathbb{R}P^{n+1}$

i.e. Does $\mathbb{R}P^n$ have a tubular neighborhood $N$ such that $N-\mathbb{R}P^n$ is disconnected. My guess is yes, but don't know how to show it convincingly ( or maybe only for $n$ odd, I'm ...
2
votes
1answer
63 views

Riemannian metric and geodesic completeness

For all $p \in \mathbb{R} \smallsetminus \lbrace 0,1 \rbrace$, let $\displaystyle M(p)=\frac{1}{p^{2}(p-1)^{2}}$. Then, let $g_{p} \, : \, (u,v) \, \longmapsto \, uM(p)v$. I am not sure about the ...
0
votes
0answers
34 views

Equivalent descriptions of “flat space with non Euclidean metric” and “curved space with (local) Euclidean metric”: the case of Minkowski space.

FIRST: I start with the guiding idea: 1. we have the surface of a paraboloid (z = x2 + y2); its metric, in an infinitesimal neighbourhood of one of its points is (we can choose it) EUCLIDEAN; now, ...
2
votes
1answer
46 views

Differentiation of scalar fields using tensor notation

I'm learning tensor calculus to understand differential geometry. Please verify if I've understood how to employ Einstein's sum convention and index notation correctly. Suppose that $\varphi := ...
1
vote
3answers
303 views

Extending geodesics to vector fields

Let $c$ be a geodesic on a Manifold $M$. Some books define $c$ to be a Geodesic iff $\nabla_{c'}c'=0$. Therefore for every $c(t)$ the Geodesic must be extendable into a smooth vector field on an open ...
4
votes
0answers
57 views

Differential forms and determinants

2-forms are defined as $du^{j} \wedge du^{k}(v,w) = v^{j}w^{k}-v^{k}w^{j} = \begin{vmatrix} du^{j}(v) & du^{j}(w) \\ du^{k}(v) & du^{k}(w) \end{vmatrix}$ But what if I have two concret ...
4
votes
2answers
138 views

Definition of the principal symbol of a differential operator on a real vector bundle.

I'm trying to understand the construction of the dirac operator on a manifold, but actually I guess that doesn't really matter for the question at stake. I'm interested in understanding a definition ...
25
votes
0answers
695 views

Computing the Chern-Simons invariant of SO(3)

I am an undergraduate learning about gauge theory and I have been tasked with working through the two examples given on pages 65 and 66 of "Characteristic forms and geometric invariants" by Chern and ...
1
vote
0answers
38 views

Manifold has uncountable many smooth stuctures if it has one

This is the Problem 1-6 of John Lee's Introduction to smooth manifold: Let $M$ be a nonempty topological manifold of dimension $n\geq1$. If $M$ has a smooth structure, show that it has uncountably ...
1
vote
1answer
23 views

Inverse Image of a Regular Value an Orientable Submanifold

Let $f:M^n \rightarrow \mathbb{R}$ be a smooth map, and let $c\in N$ be a regular value. When is $f^{-1}(c)$ an orientable manifold? Note: I know by regular value thm, $f^{-1}(c)$ is a smooth $n-1$ ...
4
votes
1answer
152 views

Vector calculus and Frenet-Serret equations

I have shown the first two equality and I am working on the showing the 1st equals the 3rd. \begin{alignat*}{4} \frac{1}{\rho}\hat{\mathbf{{n}}} &= \frac{d\hat{\mathbf{{u}}}}{ds} &{}= ...
2
votes
1answer
39 views

Vanishing pushforward implies smooth function is locally constant?

I'm trying to prove that if the pushforward $dF$ of a smooth map $F\colon M\to N$ between smooth manifolds is zero, then $F$ is constant on each component. It will be enough to show $F$ is locally ...
0
votes
1answer
32 views

Orthonormal basis for a tangent plane

Given a manifold $M$ described by the graph of an arbitrary smooth function $f:U \subset \mathbb{R}^2 \to \mathbb{R}^3$, I would like to construct an orthonormal basis for its tangent plane $T_pM$ at ...
6
votes
1answer
675 views

Want to learn differential geometry and want the sheaf perspective

I would like to learn some differential geometry: basically manifolds, differentiable manifolds, smooth manifolds, De Rham cohomology and everything else that is pretty much part of a course in ...
0
votes
0answers
36 views

Paraboloid Curvature calculation methods

If we have a paraboloid generated as a surface of revolution of the 2d function $f(x)=ax^2+b$, the equation of the 3d graph is $f(x,y)=ax^2 + ay^2+b$. The gaussian curvature of a 3d graph $f(x,y)$ is ...
2
votes
3answers
247 views

Holomorphic functions on a complex compact manifold are only constants

Is there a simple proof that every holomorphic function $M\to\mathbb{C}$ on a compact complex manifold $M$ is constant?
0
votes
1answer
32 views

Estimate for boundary points and exterior normal vector of bounded domain of class $C^2$

Consider a bounded open set $\Omega\subset\mathbb{R}^d$, s.t. the boundary set $\partial \Omega$ is a manifold of class $C^2$. Let $x,x_0\in\partial\Omega$ be boundary points and $\nu_x$ the exterior ...
3
votes
0answers
32 views

Doubt with smooth extensions

Let $(x,y)\in\mathbb R^2$ and $M$ a manifold defined by $M=\left\{ (x,y)\in\mathbb R^2\, |\, y^2+x=0 \right\}$. Let $\pi$ be a projection $\pi(x,y)=(x)$. Let $\phi:\mathbb R\to\mathbb R$ be a ...
1
vote
1answer
41 views

Levi Civita connection along principal curvature directions

Let $(M,g)$ be a surface that can be immersed into $\mathbb{R}^3$. Denote by $\nabla$ the associated Levi Civita connection. Further, let $X_1,X_2$ be the directions of principal curvature which are ...
2
votes
1answer
75 views

relative sign in Hodge star of tensor product

Let $V$ be a vector space of arbitrary (finite) dimension and let $(V, \langle \ ,\ \rangle, I) = (W_1, \langle\ ,\ \rangle_1, I_1) \oplus (W_2, \langle\ ,\ \rangle_2, I_2)$ be a direct sum ...
1
vote
0answers
44 views

Parallel Transport of Geodesic Velocity Vectors

Given a Riemannian manifold $M$ with Riemannian metric $g_{x}:T_{x}M\times T_{x}M\rightarrow\mathbb{R}$ and distance $d:M\times M\rightarrow\mathbb{R}$ determined by length of minimizing geodesics, ...
3
votes
1answer
60 views

What's the Differential of this Map $f:S^3\rightarrow \mathbb{R}$

$f:S^3 \rightarrow \mathbb{R}$ is defined as $f(x,y,z,w)=x+zw$, where $S^3= \{(x,y,z,w) | x^2 +y^2 +z^2 +w^2 =1\}$ I tried using a stereographic chart but that got ugly. The function is so simple I ...