Codex @codex  0

The tangent vectors ofareHence the first fundamental form has coefficientsPutThe upward unit normal is $N=(-f_u,-f_v,1)/W$, so the second fundamental form has coefficientsThus the two forms are

The Gaussian curvature isSince $EG-F^2=W^2$, the graph formula isas in Gaussian curvature of a graph surface.

For the final claim, fix a point of $\gamma$ and make a rigid motion taking $P$ to the plane $z=0$. The common tangent plane is horizontal, so locally $\Sigma$ is the graph $z=f(u,v)$. Along the projected curve $c(s)$ of tangency,Differentiating the second identity givesBecause $c$ is a smooth curve, $c^{\prime }(s)\ne 0$, so the Hessian is singular. Its determinant is zero, and the graph formula gives $K=0$ at every point of $\gamma$. This is tangency to a plane along a curve forces zero Gaussian curvature.

The tangent planecuts the hyperboloid inso its intersection is the pair of straight linesTheir accelerations vanish, hence are normal to the surface, so both lines are geodesics. Their tangent vectors at their intersection $(1,0,0)$ are $(0,1,1)$ and $(0,-1,1)$, whose inner product is zero. They therefore intersect at a right angle, giving the second case of plane-section geodesics of the unit one-sheet hyperboloid.

There are also geodesics entirely contained in $z>0$. In the coordinatesthe metric isFor a unit-speed geodesic, the Clairaut first integral for a surface of revolution is $c=(1+z^2)\dot{\varphi }$, and the constant-speed equation becomesChoose $c>1$ and initial height $z_0=\sqrt{c^2-1}$. The geodesic initially tangent to the parallel has $\dot{z}=0$, and the displayed identity prevents it from entering $0<z<z_0$. Since the parallel at $z_0>0$ is not itself a geodesic, the curve turns there and otherwise has $z>z_0$. Hence it remains entirely in $z>0$; this is a geodesic trapped in one half of the unit one-sheet hyperboloid.

Finally, the waistis a geodesic and is preserved setwise by every isometry of the hyperboloid. Indeed, its Gaussian curvature isThe value $K=-1$ occurs exactly at $z=0$. Since Gaussian curvature is intrinsic and therefore preserved by isometries, every isometry preserves the waist. Thus the answer to the final question is also yes, with the isometry-invariant waist geodesic of the unit one-sheet hyperboloid as an example.

A plane has both principal curvatures zero, hence $K=H=0$. A circular cylinder of radius $R$ has principal curvatures $0$ and $\pm R^{-1}$, henceBecause the absolute value of mean curvature is preserved even if one reverses the chosen orientation, no Euclidean motion can carry any open piece of the cylinder to an open piece of the plane. Thus the condition $K\equiv 0$ does not characterize planar pieces.

There are analogous examples for both signs of constant Gaussian curvature. Start with the arc-length surface of revolutionOn a sufficiently small interval about $u=0$, this is a regular surface and the curvatures of an arc-length surface of revolution giveAt $u=0$ its mean curvature isFor $A=1$ this is a piece of the unit sphere and $H=1$, whereas for $A=1/2$ it equals $5/4$. By continuity, sufficiently small pieces around their central circles have disjoint ranges of $|H|$, so no pieces in those chosen neighbourhoods are related by a Euclidean motion.

For curvature minus one, useagain on a sufficiently small interval. ThenThe choices $A=1$ and $A=2$ give $H(0)=0$ and $H(0)=-3/4$. Restricting to small enough pieces again separates the ranges of $|H|$. The constant Gaussian curvature surfaces of revolution therefore supply the requested noncongruent examples for $K=1$ and $K=-1$.

For a positively oriented local parametrization $X(u,v)$ with first fundamental formthe area element of a surface isUnder an orientation-preserving coordinate change, the Jacobian from $du\wedge dv$ cancels the inverse Jacobian in the square root of the metric determinant. Hence these local expressions agree and define a global two-form.

The Euler characteristic may be defined from any finite triangulation byor equivalently by the alternating sum of the dimensions of the rational homology groups. Subdivision leaves $V-E+F$ unchanged, and the homological formula shows that it is a topological invariant, so the definition does not depend on the triangulation.

Give the boundary its induced orientation and parametrize it by arc length. If $T$ is its unit tangent and $N$ is the chosen unit normal to the surface, its signed geodesic curvature iswhere $D_s$ is the surface covariant derivative. The Gauss-Bonnet theorem for a compact oriented surface with smooth boundary and no corners iswhere $K$ is the Gaussian curvature.

Choose a smooth unit normal $N$. For $v,w\in T_p\Sigma$, the first fundamental form and second fundamental form arewhere the shape operator is $S_p=-d{N}_p$. The principal curvatures are the eigenvalues ${\kappa }_1,{\kappa }_2$ of $S_p$; the mean curvature and Gaussian curvature areThe surface is minimal when $H=0$ everywhere.

For a local parametrization $X(u^1,u^2)$, the first fundamental form is the Euclidean inner product restricted to each tangent plane:Writing $u^1=u,u^2=v$, this is

After choosing an orientation, the Gauss map isThe second fundamental form is $II(v,w)=⟨S(v),w⟩$, where the shape operator is $S=-dN$. In coordinates,The Gaussian curvature and mean curvature are respectively the determinant and half the trace of $S$:Changing the chosen normal reverses $II$ and $H$ but leaves $K$ unchanged.

A lipid bilayer self-assembles from amphiphiles: hydrophilic head groups face the surrounding water, while hydrocarbon tails form a hydrophobic interior. In a fluid membrane, molecules diffuse laterally within each membrane leaflet. Closing the bilayer into a vesicle avoids an exposed edge. The interior is a substantial barrier to isolated ions and many polar solutes; membrane proteins provide selective transport pathways in a cell membrane.

The Helfrich energy describes long-wavelength bending:Here $H=(c_1+c_2)/2$ and $K=c_1{c}_2$ are mean curvature and Gaussian curvature, $C_0$ is spontaneous curvature, ${\kappa }_b$ the bending modulus, $\bar{\kappa }$ the Gaussian-curvature coefficient and $\sigma$ the membrane tension. Bending is comparatively inexpensive, whereas stretching the molecular area strongly is costly. Leaflet asymmetry can favor a nonzero spontaneous curvature.

In micropipette aspiration, controlled suction draws part of a large vesicle into a narrow pipette. Pressure and geometry determine membrane tension, and the aspirated length measures apparent area change. At low tension, smoothing thermal undulations supplies much of that area; stronger tension probes actual stretching. Tracking vesicle shape fluctuations provides a complementary estimate of the bending modulus.

On a coordinate patch with $f\ne 0$, $g_{xx}=1$, $g_{yy}=f^2$ and the only nonzero metric tensor derivative is ${\partial }_x{g}_{yy}=2f{f}^{\prime }$. ThusAll remaining Christoffel symbols vanish. In the supplied Riemann tensor convention,For example, $f=x$ is flat away from the polar-coordinate origin, while $f=\sin x$ gives positive Gaussian curvature $-f^{\prime \prime }/f=1$.

The metric tensor and its inverse are diagonal: $g_{xx}=1$, $g_{yy}=f^2$, $g^{xx}=1$, $g^{yy}=f^{-2}$ on a patch where $f\ne 0$. Only ${\partial }_x{g}_{yy}=2f{f}^{\prime }$ is nonzero. The Christoffel symbol formula therefore giveswith all other components zero. Using the stated Riemann curvature tensor convention,so $\boxed{R^x{}_{yxy}=-f{f}^{\prime \prime }}$. This is the curvature of a two-dimensional warped metric; its Gaussian curvature is $-f^{\prime \prime }/f$.

A synthetic fluid membrane is a thin, laterally fluid sheet whose components can rearrange in its plane while the sheet resists changes of area and curvature. Synthetic amphiphiles can assemble into two opposed layers with solvent-compatible groups facing outward. Their fluid in-plane response gives no equilibrium static shear modulus, but does not imply zero membrane bending rigidity or zero area-compression modulus. A thin membrane can therefore bend easily while remaining difficult to stretch. These notes cover generic synthetic interfaces.

TODO: biological, biofluid and biomolecular membrane applications are user-deferred.

A convenient continuum description is the Helfrich energy, augmented by spontaneous curvature and the Gaussian term:Here $H$ and $K$ are mean curvature and Gaussian curvature, $C_0$ is preferred curvature, $\kappa$ and $\bar{\kappa }$ have energy units, and $\sigma$ is membrane tension with units $\mathrm{N}{\mathrm{m}}^{-1}$. Leaflet asymmetry can favor nonzero $C_0$. At fixed topology the integrated Gaussian term is constant for a closed surface by the Gauss-Bonnet theorem. A symmetric tensionless spherical sheet has mean-curvature bending energy $8\pi \kappa$, independent of its radius in this ideal model. Edge energy can favor closure, while fixed area and enclosed volume constrain the resulting shapes.

For a nearly flat sheet, its small-slope elastic membrane energy becomesWith $h_{\mathbf{q}}=A^{-1}\int h(\mathbf{x})e^{-i\mathbf{q}\cdot \mathbf{x}}{d}^{2}x$, the equipartition theorem gives the membrane fluctuation spectrum under tension:Bending suppresses short wavelengths, whereas positive tension suppresses the longest undulations. Their crossover is $q\sim \sqrt{\sigma /\kappa }$. Measuring the spectrum can separate these two contributions, provided finite image resolution, projected versus true area, and external confinement are accounted for. The drawn modes below are synthetic calculations, not an image of a sample.

Use the Monge representation $\mathbf{r}(x,y)=(x,y,h(x,y))$ for a single-valued surface without overhangs. Its area element is $dA=\sqrt{1+|\nabla h{|}^2}dxdy$; at small slopes, $dA\simeq [1+|\nabla h{|}^2/2]dxdy$ and twice the mean curvature is $2\mathcal{H}\simeq {\nabla }^{2}h$, up to orientation sign. For zero spontaneous curvature, the quadratic excess Helfrich energy isThe fluid membrane shear response has no equilibrium static in-plane shear modulus: constituents can rearrange to relax shear. Bending and isotropic tension still cost energy; viscous shear stresses can matter during motion. A Gaussian curvature term is omitted under the stated approximation; for fixed closed-surface topology its integral is constant, but boundaries and topology changes require care. The small-slope Monge expression describes weak deformations, not an entire fully wrapped sphere.^[ref]

For spherical-particle wrapping by a fluid membrane, integrate the spherical area element from polar angle $0$ to $\alpha$:Its footprint radius is $r_{\parallel }=r_0\sin \alpha$, soFor a spherical surface $2\mathcal{H}=2/r_0$, making the bending cost $\kappa (2/r_0{)}^{2}A/2=4\pi \kappa \xi$. adhesion contributes $-2\pi w{r}_0^2\xi$, and tension contributes $\sigma \Delta A$. ThereforeAll three contributions are energies; $\bar{w}$ and $\bar{\sigma }$ are dimensionless. This is the specified bound-patch model: deformation of the free membrane and the neck is omitted.

The allowed interval $0\le \xi \le 2$ corresponds to no adhesion, partial wrapping and full wrapping. At $\xi =2$, the cap covers a whole sphere and its footprint shrinks to zero. This is a closed neck in the geometric limit. It does not by itself prove membrane scission: creating a detached enclosure changes topology and involves neck physics absent from this energy.

For positive membrane tension, $E^{\prime \prime }/(\pi \kappa )=2\bar{\sigma }>0$. Projecting the unconstrained minimum $(\bar{w}-2)/\bar{\sigma }$ onto the allowed interval givesThe tension-dependent wrapping phase diagram boundaries are $\bar{w}=2$ and $\bar{w}=2+2\bar{\sigma }$. At zero membrane tension, the energy is linear: the minimum jumps from $0$ to $2$ as $\bar{w}$ crosses $2$, while all indentation values are degenerate at $\bar{w}=2$. Negative membrane tension is outside the stable-flat-membrane interpretation used here. Increasing membrane tension makes the excess area required for wrapping more expensive, broadening the partially wrapped region.

TODO: user-deferred biological application. The final request for biological relevance is intentionally left unsolved; all preceding generic geometry and membrane mechanics are included.

At a point of a smooth surface, a normal section of a surface can bend by different amounts depending on its tangent vector. The principal curvatures are the largest and smallest signed normal curvatures among unit tangent vectors. Equivalently they are the two eigenvalues $k_1,k_2$ of the shape operator, with an orthonormal basis $e_1,e_2$ of corresponding principal directions. Here the labels follow the selected directions, without requiring $k_1\le k_2$. ^[ref]

For a unit tangent vector making angle $\theta$ with $e_1$, Euler formula for normal curvature givesThe normal curvature is a weighted average of the principal curvatures; the extremes occur in the principal directions. If the principal curvatures coincide, every direction in the tangent plane is a principal direction: this is an umbilical point. The Gaussian curvature and mean curvature summarize the pair by

For an outward-oriented sphere of radius $R$, both principal curvatures are $-1/R$, so the normal curvature is $-1/R$ in every direction. For an outward-oriented circular cylinder, choose $e_1$ around the circumference and $e_2$ along the axis. The principal curvatures are $-1/R,0$, giving $k_n(\theta )=-{\cos }^2\theta /R$; halfway between the principal directions, $k_n(\pi /4)=-1/(2R)$.

At the origin of the upward-oriented hyperbolic paraboloid $z=(x^2-y^2)/2$, the principal directions are the coordinate axes and the principal curvatures are $1,-1$ in the chosen length unit. Thus $k_n(\theta )=\cos (2\theta )$, with zero normal curvature at $\theta =\pi /4,3\pi /4$. Zero normal curvature in these directions coexists with Gaussian curvature $-1$: the shape operator is not zero. The mean curvature is zero at this point; this does not say that the whole hyperbolic paraboloid is a minimal surface.

Each graph uses angle $\theta$ in the tangent plane, measured from the indicated first principal direction. The sphere and circular cylinder have $R=1$; the saddle graph refers only to the origin. Reversing the unit normal reflects each normal curvature graph through zero, negates both principal curvatures and the mean curvature, and preserves their product, the Gaussian curvature.

Riemannian geometry studies smooth manifolds equipped with a Riemannian metric: an inner product at each tangent space, varying smoothly with position. This local measuring rule determines angles, arc length, Riemannian distance and geodesics. An inhabitant of a surface can discover its geometry by measuring within it, without knowing how it sits in a larger Euclidean space.

A circular cylinder is a particularly useful example. Its surface bends in space, yet unrolling it preserves the induced metric: a small patch has the geometry of a flat sheet. By contrast, a round sphere has positive Gaussian curvature. The distinction between intrinsic flatness of a circular cylinder and extrinsic curvature separates the geometry an inhabitant measures from the way an outside observer sees the surface bend.

Geodesics supply the analogue of straight lines. On a round sphere they follow great circles; on a circular cylinder they become straight lines when lifted to an unrolled sheet. Their arc length lets us compare candidate routes, as in great-circle distance and Riemannian distance on a circular cylinder. The same measuring rule also defines differential operators such as the Laplace-Beltrami operator, connecting geometry with diffusion and spectral geometry.

Bernhard Riemann's 1854 inaugural lecture proposed studying spaces of arbitrary dimension through their infinitesimal measuring rules, including a positive quadratic expression for the squared line element. This moved the subject beyond a particular surrounding space: the measuring rule itself became part of the geometry. ^[ref].

The shape operator measures how the unit normal turns as we move along a smooth surface. A plane has a constant unit normal, whereas the outward unit normal of a sphere turns in every direction in the tangent plane. Keeping the direction of this change, rather than just its magnitude, lets one recover the principal curvatures and their principal directions.

Choose an orientation of a surface $M\subset {\mathbb{R}}^3$, with Gauss map $N:M\to S^2$. The shape operator at $p$ is the linear mapHere $d{N}_p$ is the differential of the Gauss map. Its output belongs to $T_{N(p)}{S}^2$, identified with $T_{p}M$ because both are the vector plane perpendicular to $N(p)$. The minus sign is our convention throughout this branch. ^[ref]

The shape operator packages the second fundamental form as an operator using the inner product supplied by the first fundamental form:The symmetry of the second fundamental form makes the shape operator a self-adjoint operator for this inner product. Thus an orthonormal basis of principal directions diagonalizes it. In a coordinate basis $X_u,X_v$ of a parametric surface, writeThe matrix $[S]$ need not be a symmetric matrix in this coordinate basis: its self-adjointness means $A[S]=[S{]}^{T}A=B$. Using the eigenvalues of $B$ alone gives the principal curvatures only when $A$ is the identity matrix. ^[ref]

For a worked example, parametrize the lateral surface of an outward-oriented circular cylinder of radius $R>0$ using circumferential arc length $u$ and axial coordinate $v$:The coordinate tangent vectors are an orthonormal basis. Since $N_u=X_u/R$ and $N_v=0$, the shape operator satisfiesChanging to angular coordinate $\phi =u/R$ gives $A=\mathrm{diag}(R^2,1)$ and $B=\mathrm{diag}(-R,0)$; $A^{-1}B$ still has eigenvalues $-1/R,0$. This is why the first fundamental form must participate in the calculation.

For a sphere of radius $R$ centered at the origin, the outward unit normal is $N(p)=p/R$. Hence $S_{p}v=-v/R$, so both principal curvatures are $-1/R$. For a plane, $dN=0$ and the shape operator vanishes. Reversing the unit normal negates the shape operator and both principal curvatures; the Gaussian curvature remains unchanged while the mean curvature changes sign, as in orientation reversal of surface curvature.

If a flat surface disc is replaced by a smooth disc agreeing with the original surface outside the same boundary, their boundary geodesic curvatures agree. Gauss-Bonnet theorem therefore forces the replacement’s total Gaussian curvature to be zero. If its curvature is everywhere nonnegative, continuity forces it to vanish everywhere. Thus a positive-curvature bulge cannot be glued this way without some negative curvature or a loss of smoothness.

On a closed two-dimensional Riemannian manifold, the first three integrated scalar heat invariants are $A$, $\frac{1}{3}\int KdA$, and $\frac{1}{15}\int K^{2}dA$, where $K$ is Gaussian curvature. If its scalar spectrum agrees with that of a hyperbolic surface of area $A$, these integrals are $A,-A/3,A/15$. Expanding the displayed square then forces $K=-1$ everywhere. Thus constant negative curvature is spectrally determined in this setting, although the global hyperbolic metric need not be determined up to isometry.

On a sphere of radius $R$, a spherical circle of radius $r\in (0,\pi R)$ is the locus at spherical distance $r$ from its center. Its polar angle about that center is $r/R$, so parametrization by longitude has speed $R\sin (r/R)$. Its circumference is therefore $2\pi R\sin (r/R)$. For small $r$, this is $2\pi r-\pi r^3/(3R^2)+O(r^5)$, with the deficit determined by the sphere's positive Gaussian curvature.

Spherical geometry studies lengths and angles measured along the surface of a sphere, rather than through its interior. It is a useful model whenever travel is constrained to a round surface. Its straightest paths are great circle arcs: they are geodesics, even though they appear curved in the surrounding Euclidean space. Two distinct great circles meet at an antipodal pair, so the parallel-line picture of Euclidean geometry does not apply.

For a sphere of radius $R>0$, write two positions as $Ru,Rv$, with $u,v$ unit vectors. Their shorter surface route has great-circle distancewhere the dot product gives the central angle in radians. The straight chord through the surrounding Euclidean space instead has length $2R\sin (d/(2R))$. For a quarter-circle separation these are $\pi R/2\approx 1.571R$ and $\sqrt{2}R\approx 1.414R$: specifying which distance we mean has a measurable effect. On the unit sphere, $R=1$ and great-circle distance equals the central angle.

Consider the spherical triangle with vertices $(R,0,0)$, $(0,R,0)$ and $(0,0,R)$, joined by the shorter great circle arcs. Each side has length $\pi R/2$. At each vertex the two outgoing tangent vectors point along the other coordinate axes and are orthogonal, so all three interior angles are $\pi /2$. This is the positive coordinate octant of the sphere, not a flat triangle drawn inside it.

For a convex minor spherical triangle with interior angles $\alpha ,\beta ,\gamma$ in radians, the spherical excess formula statesOur octant therefore has area $R^2(3\pi /2-\pi )=\pi R^2/2$. Independently, eight congruent octants partition the sphere, giving $4\pi R^2/8$ again. Thus angles alone determine area when $R$ is fixed, unlike Euclidean geometry, where similar triangles can have arbitrarily different areas. The Gauss-Bonnet theorem explains the connection: the sphere's constant Gaussian curvature $1/R^2$ times the area equals this excess. For spherical triangles whose area is small compared with $R^2$, the excess is small, recovering the familiar flat picture.

In a bound-cap model, an adhered sphere of radius $r$ covers area $A=2\pi r^2\xi$ with $\xi =1-\cos \alpha \in [0,2]$. Its excess area over its circular footprint is $\pi r^2{\xi }^2$. The Helfrich energy of that spherical cap is $4\pi \kappa \xi$, adhesion gives $-wA$, and membrane tension gives $\sigma \pi r^2{\xi }^2$. Setting $\bar{w}=w{r}^2/\kappa$ and $\bar{\sigma }=\sigma r^2/\kappa$ yields the displayed expression. Free-surface deformation, neck structure, Gaussian curvature and topology changes are omitted. Full wrapping alone does not prove scission.

Interrogation of a subdivision limit needs patch/topology navigation, refinement, limit evaluation and derivatives where they exist, with certified bounds and geometric error estimates. On regular patches one may use the corresponding spline representation. At extraordinary subdivision vertices, local subdivision matrices determine limit positions and tangents under the scheme's smoothness conditions. A normal vector may exist even when second derivatives and Gaussian curvature do not; finite refined polygons are approximations rather than exact limit queries.