# Delta Epsilons

Mathematical research and problem solving

## The test case: flat Riemannian manifoldsNovember 12, 2009

Posted by Akhil Mathew in differential geometry, MaBloWriMo.
Tags: curvature tensor, flat manifolds, Riemannian metrics, test case
1 comment so far

Recall that two Riemannian manifolds ${M,N}$ are isometric if there exists a diffeomorphism ${f: M \rightarrow N}$ that preserves the metric on the tangent spaces. The curvature tensor  (associated to the Levi-Civita connection) measures the deviation from flatness, where a manifold is flat if it is locally isometric to a neighborhood of ${\mathbb{R}^n}$.

Theorem 1 (The Test Case) The Riemannian manifold ${M}$ is locally isometric to ${\mathbb{R}^n}$ if and only if the curvature tensor vanishes. (more…)

## Identities for the curvature tensorNovember 11, 2009

Posted by Akhil Mathew in differential geometry, MaBloWriMo.
Tags: Bianchi identity, connections, curvature tensor, eponymy, Riemannian metrics
add a comment

It turns out that the curvature tensor associated to the connection from a Riemannian pseudo-metric ${g}$ has to satisfy certain conditions.  (As usual, we denote by $\nabla$ the Levi-Civita connection associated to $g$, and we assume the ground manifold is smooth.)

First of all, we have skew-symmetry

$\displaystyle R(X,Y)Z = -R(Y,X)Z.$

This is immediate from the definition.

Next, we have another variant of skew-symmetry:

Proposition 1 $\displaystyle g( R(X,Y) Z, W) = -g( R(X,Y) W, Z)$  (more…)

## The fundamental theorem of Riemannian geometry and the Levi-Civita connectionNovember 10, 2009

Posted by Akhil Mathew in differential geometry, MaBloWriMo.
Tags: connections, Levi-Civita connection, Riemannian metrics
8 comments

Ok, now onto the Levi-Civita connection. Fix a manifold ${M}$ with the pseudo-metric ${g}$. This means essentially a metric, except that ${g}$ as a bilinear form on the tangent spaces is still symmetric and nondegenerate but not necessarily positive definite. It is still possible to say that a pseudo-metric is compatible with a given connection.

This is the fundamental theorem of Riemannian geometry:

Theorem 1 There is a unique symmetric connection ${\nabla}$ on ${M}$ compatible with ${g}$. (more…)

## Covariant derivatives and parallelism for tensorsNovember 3, 2009

Posted by Akhil Mathew in differential geometry, MaBloWriMo.
Tags: connections, covariant derivatives, parallelism, Riemannian metrics, tensors
3 comments

Time to continue the story for covariant derivatives and parallelism, and do what I promised yesterday on tensors.

Fix a smooth manifold ${M}$ with a connection ${\nabla}$. Then parallel translation along a curve ${c}$ beginning at ${p}$ and ending at ${q}$ leads to an isomorphism ${\tau_{pq}: T_p(M) \rightarrow T_q(M)}$, which depends smoothly on ${p,q}$. For any ${r,s}$, we get isomorphisms ${\tau^{r,s}_{pq} :T_p(M)^{\otimes r} \otimes T_p(M)^{\vee \otimes s} \rightarrow T_q(M)^{\otimes r} \otimes T_q(M)^{\vee \otimes s} }$ depending smoothly on ${p,q}$. (Of course, given an isomorphism ${f: M \rightarrow N}$ of vector spaces, there is an isomorphism ${M^* \rightarrow N^*}$ sending ${g \rightarrow g \circ f^{-1}}$—the important thing is the inverse.) (more…)

## Riemannian metrics and connectionsOctober 27, 2009

Posted by Akhil Mathew in differential geometry.
Tags: Christoffel symbols, connections, Riemannian metrics
8 comments

Wow.  Blogging is definitely way harder during the academic year.

Ok, so I’m aiming to change things around a bit here and take a break from algebraic number theory to do some differential geometry. I’ll assume basic familiarity with what manifolds are, the tangent bundle and its variants, but generally no more. I eventually want to get to some real theorems, but this post will focus primarily on definitions.

Riemannian Metrics

A Riemannian metric on a smooth manifold ${M}$ is defined as a covariant symmetric 2-tensor ${(\cdot, \cdot)_p, p \in M}$ such that ${(v,v)_p > 0}$ for all ${v \in T_p(M)}$. For convenience, I will write ${(v,w)}$ for ${(v,w)_p}$. In other words, a Riemannian metric is a collection of (positive) inner products on each of the tangent spaces ${T_p(M)}$ such that if ${X,Y}$ are (smooth) vector fields, the function ${(X,Y): M \rightarrow \mathbb{R}}$ defined by taking the inner product at each point, is smooth. There are several ways to get Riemannian metrics: (more…)
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 38, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8868368268013, "perplexity_flag": "head"}