Intereting Posts

Determinant of $n\times n$ matrix
Roots of a quintic function
Why are topological spaces interesting to study?
Is the curl of every non-conservative vector field nonzero at some point?
Group theory applications along with a solved example
How to quickly identify perfect powers
$\frac{(2n)!}{4^n n!^2} = \frac{(2n-1)!!}{(2n)!!}=\prod_{k=1}^{n}\bigl(1-\frac{1}{2k}\bigr)$
Unpacking the Diagonal Lemma
How to write permutations as product of disjoint cycles and transpositions
Example for non-Riemann integrable functions
Why holomorphic injection on $C^n$must be biholomorphic?
Is there general formula for the exponential of a tridiagonal matrix?
Limit of the sequence $a_{n+1}=\frac{1}{2} (a_n+\sqrt{\frac{a_n^2+b_n^2}{2}})$ – can't recognize the pattern
Galois group of $x^4-2$
Proof that $||fx|| \leq ||f||\cdot||x||$

$\newcommand{\wt}[1]{\widetilde{#1}}$

Hello, I just tried my hand at two exercises from John M Lee’s book *Riemannian Geometry* and I would like to know whether my reasoning is sound or if I did something wrong. This is about exercise *2.3 (a)* and *(c)*.

Let $M^n\subset\widetilde{M}^m$ be an embedded submanifold.

(a) If $f\in C^\infty(M)$, show that $f$ can be extended to a smooth function on a neighborhood of $M$ in $\widetilde{M}$.

- Why do we think of a vector as being the same as a differential operator?
- Does the Riemann tensor encode all information about the second derivatives of the metric?
- Is there any easy way to understand the definition of Gaussian Curvature?
- Why is the Riemann curvature tensor the technical expression of curvature?
- Advanced beginners textbook on Lie theory from a geometric viewpoint
- Notation to work with vector-valued differential forms
(c) Let $\widetilde{X}$ be a vector field on $\widetilde{M}$, i.e. $\widetilde{X}\in\mathfrak{X}(\widetilde{M})$. Show: $\widetilde{X}$ is tangent to $M$ $\iff$ If $f\in C^\infty(\widetilde{M})$ with $f_{|M}=0$, then $(\wt{X}f)_{|M}=0$

Okay, so here’s what I did for *(a)*.

Choose open sets $\wt{U}_\alpha\subset\wt{M}$ s.t. $M\subseteq\bigcup_\alpha \wt{U}_\alpha$ and such that they imply slice coordinates for the sets $U_\alpha=\wt{U}_\alpha\cap M$, and both form open covers of $M$. A note on the slice coordinates (abusing the notation a bit, but this is the way he does it in that particular book): If $\wt{U}_\alpha\leadsto x^1,…,x^m$, then $U_\alpha\leadsto x^1,…,x^n$.

Define $\wt{f}_\alpha\in C^\infty(\wt{U}_\alpha)$ via $\wt{f}_\alpha(x^1,…,x^m)=f(x^1,…,x^n)$ . This definition is obviously independet of the last $m-n$ coordinates.

Choose a partition of unity $p_\alpha$ subordinate to $\wt{U}_\alpha$, and set $F=\sum_\alpha p_\alpha\wt{f}_\alpha$. Then $F\in C^\infty\left(\bigcup_\alpha\wt{U}_\alpha\right)$ is an extension of $f$ in a neighborhood of $M$.

Now, for *(c)*:

We again use the slice coordinates $x^i$ like above. Note first that if $f_{|M=0}$, then $D f_{|\wt{U}_\alpha}=\partial_i f\mathrm{d}x^i_{|\wt{U}_\alpha}$ with $n<i\leq m$, so let $f$ w.l.o.g. vanish on $M$.

$\wt{X}_{|M}$ is tangent to $M$.

$\iff$ In local coordinates of $\wt{U}_\alpha$, $\wt{X}_{|\wt{U}_\alpha}={X^i\partial_i}_{|\wt{U}_\alpha}$ with $X^i(p)=0$ for all $p\in U_\alpha$ and $n<i\leq m$.

$\iff$ $\wt{X}f_{|\wt{U}_\alpha}=0$, since-roughly spoken-there is no matching pair of indices in the $\partial_i$ and $\mathrm{d}x^j$. But this holds for all $\wt{U}_\alpha$, so for every point in $M$.

Personally, I can’t think of any conflicts there, but that’s why I’m asking here: I don’t have too much experience. So – did I make a mistake somewhere, was I sloppy, etc?

Thanks!

- Tensors constructed out of metric other than the Riemann curvature tensor
- implicit equation for “double torus” (genus 2 orientable surface)
- Curvature of geodesic circles on surface with constant curvature
- Derivatives of the commutator of flows (or, what are those higher derivatives doing in my tangent space?!)
- first Chern class of E is first Chern class of det E
- Hypersurface orientable if it admits a smooth normal vector field
- Calculating the differential of the inverse of matrix exp?
- Bijective local isometry to global isometry
- The integral of a closed form along a closed curve is proportional to its winding number
- Distance between two points on the Clifford torus

- Surface integral of normal components summations on a sphere
- Possible fake proof of $1= -1$
- $\log(n)$ is what power of $n$?
- What type of triangle satisfies: $8R^2 = a^2 + b^2 + c^2 $?
- Is there possibly a largest prime number?
- Irrational numbers and Borel Sets
- Eigenvalues of Matrices and Eigenvalue of product of Matrices
- Prove the following series $\sum\limits_{s=0}^\infty \frac{1}{(sn)!}$
- Sum of digits of repunits
- Average of products VS. product of averages
- Relative interior of the sum of two convex sets
- Functions that are their own Fourier transformation
- Show that $\tan 3x =\frac{ \sin x + \sin 3x+ \sin 5x }{\cos x + \cos 3x + \cos 5x}$
- Sequential Criterion for Functional Limits
- If $R{^m}$ is isomorphic to $R{^n}$ as $R$-modules and if $M$ is a maximal ideal of $R$ then how can I show that image of $M{^m}$ is $M{^n}$?