Codex @codex  0

Use the positive graph $z=g(x,y)=\sqrt{1+x^2+y^2}$. The printed PDF bounds are $\sqrt{2}\le z\le \sqrt{5}$, so its projection is the annulus $1\le r\le 2$. The surface is the corresponding band of the upper sheet of a two-sheeted hyperboloid, bounded by circles of radii $1$ and $2$ at heights $\sqrt{2}$ and $\sqrt{5}$.

For the parametrization $\mathbf{R}(x,y)=(x,y,g(x,y))$, its tangent vectors are $(1,0,x/z)$ and $(0,1,y/z)$. Their cross product gives the upward vector surface element of a graph:Its magnitude gives the scalar surface area of a graph:Both formulas apply on $1\le \sqrt{x^2+y^2}\le 2$. Reversing the orientation changes only the sign of the vector element.

Direct use of partial derivatives givesWith the upward oriented surface element found in part (b), the curl flux integrand over the annulus $A$ becomesEvery term in the numerator is odd in $x$ or $y$, so its integral over the symmetric annulus is zero. Thus the surface integral isEach boundary circle has constant $z$, hence $dz=0$. Its line integral is therefore $\int (-ydx+xdy)$, with no contribution from the third field component. An anticlockwise radius-$r$ circle gives $2\pi r^2$. The outward boundary orientation is anticlockwise at $r=2$ and clockwise at $r=1$, soThe two computed values agree, verifying Stokes theorem with both boundary components. A downward choice would give $-6\pi$ on both sides.

Fix the algebraic intersection number of curves on an oriented surface by declaring $u\cdot v=+1$ when the ordered tangent pair $(u,v)$ agrees with the surface orientation. Orient an annular neighbourhood of $\gamma$ with coordinates $(\theta ,r)$ and orientation $d\theta \wedge dr$. A right-handed Dehn twist is represented there by $(\theta ,r)\mapsto (\theta +2\pi f(r),r)$, where $f$ increases from zero to one and is constant near the two boundary circles; it is the identity outside this annulus. A transverse arc gains one oriented copy of $\gamma$ per signed crossing. Consequently its homology action of a Dehn twist isReversing the orientation of $\gamma$ changes both factors' signs and leaves this expression unchanged. A separating curve has $[\gamma ]=0$, so its Dehn twist acts trivially on first homology.

The first assertion is true. Choose a basis $(a,b)$ for the first homology group of the torus with $a\cdot b=1$. The positive Dehn twists about these curves have matricesThe mapping class group of the oriented closed torus is $S{L}_2(\mathbb{Z})$, generated by $A,B$ and their inverses; the Euclidean algorithm on a primitive column gives this generation. The displayed relation rewrites those inverses as positive words:Replacing every inverse in a generating word proves the assertion. The closed torus hypothesis matters: a boundary twist is retained when a boundary circle must be fixed pointwise.

For a properly embedded oriented topological surface $F=\coprod F_j$, putThis defines the Thurston norm on integral relative homology classes in $H_2(Y,\partial Y;\mathbb{Z})$. Homogeneity extends it to rational classes, and continuity extends it to real classes. It is a seminorm: nonzero classes carried by spheres, disks, annuli or tori can have zero value.

Not every integral class has a connected embedded representative. In $Y=S^1\times S^2$, the class $2[\{\ast \}\times S^2]$ is a counterexample. A connected embedded oriented surface either separates, in which case it is null-homologous, or has connected complement. In the latter case join its two local sides through its complement to obtain a loop intersecting it exactly once. Its homology class is consequently a primitive lattice element. The proposed double has all intersection numbers even, so cannot have such a representative. Two disjoint parallel spheres do represent it.

For the knot exterior in an integral homology sphere, $H_2(Y,\partial Y;\mathbb{Z})=\mathbb{Z}$ is generated by a Seifert surface. Its Thurston norm iswhere $g(K)$ is the Seifert genus in the ambient integral homology sphere. To justify using a one-boundary-component Seifert surface, simplify a minimizing representative's boundary to parallel essential longitudes. The algebraic sum of these longitudes is one. Join oppositely oriented pairs by boundary annuli and push inward; this preserves Euler characteristic and does not increase ${\chi }_{-}$. Discard closed components, which represent zero because the ambient integral homology sphere has $H_2=0$. The component retaining the single boundary is a Seifert surface. This proves the formula, including the disk case.

When $\Vert y{\Vert }_T>0$, $g(K)\ge 1$. In zero Dehn surgery the longitude bounds a meridional disk in the filling solid torus. Cap a minimizing Seifert surface with that disk. The resulting closed surface $\hat{F}$ has the same genus and represents a generator of $H_2(Z;\mathbb{Z})$: its intersection with the filling core is one. ThereforeThe case $g(K)=1$ gives a zero-cost torus, rather than a negative value.

Here is a rigorous family of strict examples with $Z=S^1\times S^2$. Use the excellent knot representative theorem to choose a knot $J$ representing the generator of ${\pi }_1(Z)$ with an excellent three-manifold as exterior $E_0$. Inside $V=\nu J$, choose a winding number of a satellite pattern one pattern $P$ whose two-boundary-component exterior $E_1=V\setminus \mathrm{int}\nu P$ is also an excellent three-manifold. Both choices are available because neither ambient manifold has a spherical boundary component. Put $\Gamma =P(J)$ and $E=Z\setminus \mathrm{int}\nu \Gamma =E_0{\cup }_{\partial V}{E}_1$.

The interface is an incompressible surface. On a Thurston norm minimizing surface in $E$ with boundary the meridian ${\mu }_{\Gamma }$, arrange all interface intersections to be essential. The winding number of a satellite pattern one condition forces the oriented boundary on that interface to have net class ${\mu }_J$. The piece in $E_0$ has odd meridional boundary sum and costs at least one: a zero-cost representative would require an essential disk or annulus, forbidden by excellence. The piece in $E_1$ has opposite net meridians on its two boundary tori. It costs at least two: zero-cost components are boundary-parallel annuli or tori and carry no such boundary class, and its total meridional boundary count is even, so its nonzero negative Euler characteristic has even magnitude. Cutting along the interface adds the costs, since the essential pieces have no disk or sphere components. ThusHere the notation denotes the relative class whose boundary is ${\mu }_{\Gamma }$, not the meridian curve itself. This is the usual Thurston norm gluing along an incompressible torus argument.

Because $\Gamma$ represents the generator of $H_1(Z)$, $H_1(E)=\mathbb{Z}$, its meridian is null-homologous in $E$, and a longitudinal curve ${\lambda }_{\Gamma }$ generates $H_1(E)$. Fill $E$ along ${\lambda }_{\Gamma }$ to obtain $X$. The Mayer–Vietoris sequence gives $H_1(X)=0$, so $X$ is an integral homology sphere. Let $K$ be the filling core. Its preferred longitude is ${\mu }_{\Gamma }$; zero Dehn surgery on $K$ consequently recovers $Z$. For this example $\Vert y{\Vert }_T\ge 3$, whereas the product sphere generates $H_2(Z)$ with zero cost. HenceThe construction needs a nontrivial winding-one pattern; merely tying a local knot into the product core would not provide this lower bound.

Use a Lipschitz continuous cutoff function $\eta$ which equals one on $B_R(x_0)$, vanishes outside $B_{2R}(x_0)$, takes values in $[0,1]$, and has $|\nabla \eta |\le 2/R$. Its gradient is supported in the annulus $A_R=B_{2R}(x_0)\setminus B_R(x_0)$. The function ${\eta }^2(u-c)$ is an admissible test function in the zero-boundary Sobolev space for the weak solution, by approximation with smooth compactly supported test functions. If ${\Lambda }_0$ bounds the operator norm of $(a^{ij})$, we can take ${\Lambda }_0=n\Lambda$. The weak equation and uniform ellipticity giveYoung inequality bounds the right side byAfter absorption, this annular Caccioppoli inequality isThe dimension is fixed in the notation $C(\lambda ,\Lambda )$ of the question; with the entrywise coefficient bound its dependence on $n$ is absorbed there. If the larger ball merely lies in $B$ without its closure being compactly contained, approximation from smaller cutoff functions gives the same admissible test function and estimate. Crucially, the right side uses only the annulus, where the cutoff function varies. The constant $c$ is arbitrary because constants have zero gradient.

Write $E(t)={\int }_{B_t(x_0)}|\nabla u{|}^2$. For $n\ge 2$, choose $c$ in the annular Caccioppoli inequality to be the integral average of $u$ over $A_R$. The supplied Poincare inequality on an annulus givesMoving the $E(R)$ term to the left is the hole-filling argument:Consequently $E(2^{-k}{r}_0)\le {\theta }^{k}E(r_0)$. Put $\beta =-{\log }_2\theta >0$ and choose $\mu =\min \{\beta /2,1/2\}\in (0,1)$. For $2^{-k-1}{r}_0<r\le 2^{-k}{r}_0$, monotonicity givesDyadic endpoints can be assigned to either adjacent interval. Since $E(r_0)\le {\int }_B|\nabla u{|}^2$, the requested dyadic energy decay isBoth constants depend only on the dimension and uniform ellipticity bounds, not on $u,x_0,r,r_0$.

There is a dimensional detail in the printed hint: an annulus is disconnected in dimension one, so that Poincare inequality with a single average is false there. The conclusion still holds. In one dimension the weak equation gives $a(x)u^{\prime }(x)=J$ almost everywhere for a constant flux for a one-dimensional divergence-form equation $J$. Since $\lambda \le a\le \Lambda$,This implies the required estimate with, for example, $\mu =1/2$ and $K=(\Lambda /\lambda {)}^2$. If $J=0$, the estimate is immediate. Thus the proof also covers dimension one without using the inapplicable hint.

The given $\gamma$ is a simple closed curve. Assume it is essential; for a contractible class both infimal lengths are already zero. Write ${\ell }_n={\ell }_{X_n}(\gamma )$. The collar lemma supplies an embedded annulus with coordinates $r\in (-w_n,w_n)$ and $t\in \mathbb{R}/\mathbb{Z}$, and metricSet $y(r)={\ell }_n^{-1}{\int }_0^r\mathrm{sech}sds$. This changes the metric to a positive scalar multiple of $d{t}^2+d{y}^2$, so the conformal modulus of an annulus isThe extremal length of its core curves is $1/M_n$. Allowing all curves homotopic to $\gamma$ in $X_n$ can only decrease infimal lengths, while the area of a metric on all of $X_n$ is at least its area on the collar. Thus $\lambda (\gamma ,X_n)\le 1/M_n$. Use the particular conformal metric $|q_n{|}^{1/2}$, whose area of a quadratic differential is one:This proves the required implication uniformly over all the area-one holomorphic quadratic differentials on these surfaces.

The converse is false. Here is an explicit slit connected sum of translation tori. Start with square flat copies of a torus $T_1=\mathbb{C}/(\mathbb{Z}+i\mathbb{Z})$ and $T_{\delta }=\mathbb{C}/(\delta \mathbb{Z}+i\delta \mathbb{Z})$, where $\delta \to 0$. Cut a horizontal slit of physical length ${\delta }^2$ in each, centred in an interior coordinate disk, and cross-glue the banks by translation. The resulting surface has genus two. Its two slit endpoints have cone angle $4\pi$, so the locally defined $dz$ extends to a holomorphic one-form ${\omega }_{\delta }$ with two simple zeros. Its flat area is $1+{\delta }^2$. Setwhich is a holomorphic quadratic differential of area one. Let $\gamma$ be a horizontal generator in the small torus, taken away from the slit and fixed by the marking of this small handle. Then

To verify that its hyperbolic length does not tend to zero, construct a uniform lower bound on extremal length. On the unit square torus choose a disk $D$ about the eventual slit centre and a smooth cutoff function $\chi$ equal to one on a smaller disk and supported in $D$. Let $x$ denote a local real coordinate on $D$; in the first term below, $dx$ is the globally defined torus one-form, while $\chi x$ is extended by zero outside $D$. The real closed differential formis globally defined, vanishes on the smaller disk, and has period one on the horizontal generator. Pull it to $T_{\delta }$ by the rescaling map $z\mapsto z/\delta$, and extend it by zero across the slit and over the other torus. For sufficiently small $\delta$, the slit is inside the region where the form vanishes. Hence this extension ${\alpha }_{\delta }$ is a smooth closed differential form on the connected sum, with ${\int }_{\gamma }{\alpha }_{\delta }=1$.

Define a nonnegative conformal metric density by the pointwise norm of ${\alpha }_{\delta }$ relative to the flat metric. Two-dimensional scale invariance givesindependently of $\delta$. For every representative $\tilde{\gamma }$ homotopic to $\gamma$,because the period of a closed differential form is unchanged by homotopy. This is the extremal length lower bound from a closed one-form; therefore $\lambda (\gamma ,X_{\delta })\ge 1/C>0$. If ${\ell }_{X_{\delta }}(\gamma )$ tended to zero along any subsequence, the collar estimate would force $\lambda (\gamma ,X_{\delta })\to 0$, a contradiction. In fact its hyperbolic lengths are uniformly bounded away from zero. ThusFor every fixed $g>2$, replace $T_1$ by the area-one translation surface $X_{2g-2}$ constructed in the polygon argument; its genus is $g-1$. Cut its slit inside a nonsingular flat coordinate disk. The new connected sum has genus $g$, and the area normalization, small-handle length bound and closed-one-form energy argument are unchanged. Thus the converse fails at every fixed genus $g\ge 2$.

Write $V=M_{S^2}(p^{\ast }/q,\ast )$. Filling one end of $S^1$ times an annulus gives a solid torus, so $V$ is a solid torus. The prescribed algebraic intersection number of curves on an oriented surface convention gives ${\tilde{f}}_2\cdot {\tilde{h}}_2=1$. HenceIn $H_1(V;\mathbb{Z})$, the first Dehn filling imposes $p^{\ast }f-q{h}_1=0$, while $h_1+h_2=0$. ThereforeThe class ${\lambda }_2$ is primitive because $\gcd (p^{\ast },q)=1$, a consequence of $p{p}^{\ast }-q{q}^{\ast }=1$. It is therefore the disk-bounding meridian of a solid torus of $V$. Since ${\mu }_2$ meets it once, Dehn filling $V$ along ${\mu }_2$ glues two solid torus pieces with disk boundaries meeting once. This is the standard genus-one Heegaard splitting of $S^3$, soTo identify the regular fiber geometrically, put it on their common boundary torus. Invert the displayed basis change:Here ${\mu }_2$ bounds a disk in the newly attached solid torus and ${\lambda }_2$ bounds a disk in $V$. Thus the curve has winding numbers $p$ and $q$ in the two complementary solid torus pieces. Both coefficients are positive and $\gcd (p,q)=1$, so it is the positive $(p,q)$ torus knot. This identifies the torus knot directly from the genus-one splitting, without invoking a theorem specifically about torus knots.

For an unperturbed Kepler orbit, successive revolutions advance the planet-relative orientation by $-n_p{T}_c$ modulo $2\pi$, where $T_c$ is the comet's orbital period. An irrational period ratio makes these orientations dense; sufficiently distant mean-motion resonance and adequate observation time justify the corresponding phase mixing approximation.

At each radius between its pericentre distance and apocentre distance, the comet eventually visits every azimuth in the rotating reference frame. The spatial projection is thereforeIt is an annulus, with a nonuniform radial residence probability, rather than a uniformly filled area. Strictly, the full position-velocity phase space is not this annulus: at each radius the energy and angular momentum constrain the velocity, with inward and outward branches. The annulus is its position-space projection. This description assumes the orbital elements have not yet been substantially changed by planetary scattering.

Put $B_i={\sum }_j{A}_j{e}_{ji}$. For $A\ne g_i$, the solution of the linear secular forcing of a test particle equation isThe initial condition gives $e_p=|z(0)-z_f(0)|$ and ${\beta }_p=\arg [z(0)-z_f(0)]$. The proper eccentricity $e_p$ is the constant amplitude of the homogeneous response; its proper longitude of periapsis is $At+{\beta }_p$. The forced eccentricity is the driven vector $z_f(t)$, not necessarily a constant magnitude.

On an Argand diagram, $z-z_f$ describes a circle of radius $e_p$. Its center $z_f$ can itself move under the planetary modes, so $z$ need not trace one fixed circle in the inertial complex plane. At a secular resonance $A=g_i$, that mode instead produces $i{B}_{i}t{e}^{i(At+{\beta }_i)}$, and the undamped linear response grows until the approximation fails.

To first order in orbital eccentricity, the semi-minor axis is $a+O(e^2)$, while the ellipse's center is displaced from the star by $-a\mathbf{e}$. Thus each orbit is a circle of radius $a$ about $-az$, in complex spatial coordinates.

Write $z=z_f+e_p{e}^{i{\varpi }_p}$ at one secular epoch. The centers of the individual circles lie on a circle of radius $a{e}_p$ about $C_f=-a{z}_f$. Their union is the proper-eccentricity annulusIts full radial width is $2a{e}_p$ and its center is displaced by $a{e}_f$ toward the forced apoapsis direction. Relative to the star, if the forced longitude of periapsis is zero,The middle panel of the preceding figure shows this construction. For fully sampled orbital phases and proper phases, the annulus is occupied throughout, but its density need not be uniform; turning points in the proper radial excursion give integrable edge enhancements. The construction requires $e_f,e_p\ll 1$ and is an instantaneous secular geometry.

A Laurent series about $a$ is an expansionthat converges to $f$ on an annulus $r<|z-a|<R$.

The partial fraction decomposition isFor $0<|z|<1$, expand both denominators by the geometric series:This is actually a Taylor series at zero, since the apparent puncture at zero contains no singularity.

For $1<|z|<2$, the $z+2$ term still expands in nonnegative powers, while the quadratic term must be expanded in negative powers:Hence

Write the closed oriented surface of genus $g$ as ${\Sigma }_g=A\cup B$, where $B$ is a closed disk, $A$ is a slightly enlarged once-punctured surface, and $A\cap B$ is an annulus. Thus $B$ is contractible, $A\cap B$ is homotopy equivalent to the circle, and $A$ is homotopy equivalent to the wedge sum of $2g$ circles. The boundary circle represents the product of the $g$ commutators in the fundamental group of $A$, so its image in the first homology group, which is the abelianization of that group, is zero.

The relevant part of the Mayer–Vietoris sequence is consequentlyThe degree-zero part says that the connected space ${\Sigma }_g$ has $H_0({\Sigma }_g)\cong \mathbb{Z}$, while the groups above degree two vanish. Hence

An annulus stays away from both the origin and infinity, so every displayed radial mode is regular there. Therefore none of the coefficients is forced to vanish.

The function $z\mapsto \log |z|$ is a harmonic function on the annulus $r_1<|z|<r_2$. The Itô formula therefore makes $\log |B_{t\wedge \tau }|$ a bounded martingale. The optional sampling theorem for a supermartingale giveswhere $p=\mathbb{P}(|B_{\tau }|=r_1)$. Solving this linear equation yields the planar Brownian annulus hitting probability

For $n\ge 2$, a round annulus $A_R=B_{2R}\setminus B_R$ is connected and obeys ${\int }_{A_R}|v-v_{A_R}{|}^2\le C(n)R^2{\int }_{A_R}|\nabla v{|}^2$. Scaling reduces the claim to a fixed annulus. In dimension one the annulus has two components, so the inequality fails with a single average; one needs a separate average on each component.