Suppose $M$ and $N$ are orientable manifolds, $f: M \to N$ is a smooth embedding and $g$ is a Riemannian metric on $N$. When $M$ has codimension $1$ and $\vec{n}$ is a prefered unit normal section of $f$, the second fundamental form of $f$ with respect to $\vec{n}$ can be regarded as a section $II: M \to T^*M \otimes T^*M$ defined by $II_p(X,Y) = g_p(\nabla_X Y, \vec{n}_p)$. It is a quadratic form on each tangent space, and, when it is additionally positive definte, it defines a Riemannian metric on $M$. I wonder if there is a nice geometric illustration of the resulting metric on $M$ in this case. In particular, in how far does it differ from the pullback-metric $f^*(g)$ ?
2026-04-03 07:36:45.1775201805
Second fundamental form and metrics
860 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in DIFFERENTIAL-GEOMETRY
- Smooth Principal Bundle from continuous transition functions?
- Compute Thom and Euler class
- Holonomy bundle is a covering space
- Alternative definition for characteristic foliation of a surface
- Studying regular space curves when restricted to two differentiable functions
- What kind of curvature does a cylinder have?
- A new type of curvature multivector for surfaces?
- Regular surfaces with boundary and $C^1$ domains
- Show that two isometries induce the same linear mapping
- geodesic of infinite length without self-intersections
Related Questions in RIEMANNIAN-GEOMETRY
- What is the correct formula for the Ricci curvature of a warped manifold?
- How to show that extension of linear connection commutes with contraction.
- geodesic of infinite length without self-intersections
- Levi-Civita-connection of an embedded submanifold is induced by the orthogonal projection of the Levi-Civita-connection of the original manifold
- Geodesically convex neighborhoods
- The induced Riemannian metric is not smooth on the diagonal
- Intrinsic vs. Extrinsic notions of Harmonic maps.
- Equivalence of different "balls" in Riemannian manifold.
- Why is the index of a harmonic map finite?
- A closed manifold of negative Ricci curvature has no conformal vector fields
Related Questions in SURFACES
- Surface by revolution
- A new type of curvature multivector for surfaces?
- Regular surfaces with boundary and $C^1$ domains
- Hyperplane line bundle really defined by some hyperplane
- 2D closed surface such that there's always a straight line to a point?
- parametrized surface are isometric if all corresponding curves have same length
- Klein bottle and torus in mod $p$ homology
- How can I prove that the restricted parametrization of a surface in $\mathbb{R}^{3}$ ia a diffeomorphism?
- A diffeomorphism between a cylinder and a one-sheeted hyperboloid
- Involution of the 3 and 4-holed torus and its effects on some knots and links
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
There is no nice geometric illustration of the "resulting metric". One sees an immediate problem with homogeneity. Let $N$ be in fact $\mathbb{R}^n$. And compare the embedding $f_1, f_2$ of $M$ such that $f_2$ is obtained by scaling $f_1$ up by a factor of 2. The pullback metrics satisfy
$$ 4 (f_1)^*(g) = (f_2)^*(g) $$
as we expect, since the image under $f_2$ is twice as big and $g$ measures the infinitesimal square distance.
The second fundamental form for the $f_1$ embedding however is only twice that of the second embedding, instead of 1/4. So the scaling of the "metric" is counter to our geometric intuition and you cannot really then draw a good geometric illustration for it.
For your second question, the only reasonable answer is "very far". Try for yourself a few test cases. Observe that the hyperplane in Euclidean space is totally geodesic (has vanishing second fundamental form). This represents in some sense the limit of how bad things can be. So now take $\mathbb{S}^n\subseteq \mathbb{R}^{n+1}$, and scale it up and down as discussed in the previous section. You easily see that the difference between the two can be made as big as possible.