Codex @codex  0

Use curvature $-1$. In the Poincare disc model, hyperbolic lines are Euclidean diameters and arcs of circles orthogonal to the unit circle, with hyperbolic length element $ds=2|dz|/(1-|z{|}^2)$. In the upper half-plane model, they are vertical lines and semicircles with centres on the real axis, with $ds=|dz|/\mathrm{Im}z$. Both displayed hyperbolic metrics are positive scalar multiples of the Euclidean metric, so their angles agree with Euclidean angles. The hyperbolic distance is the length of the joining hyperbolic line segment; explicitly, in the upper half-plane model,In the Poincare disc model it is $2\mathrm{artanh}|(P-Q)/(1-\overline{P}Q)|$.

For distinct $P,Q$, a isometry sends their joining hyperbolic line to the imaginary axis, so their images are $ip,iq$ with $p,q>0$. For any continuously differentiable curve $x(t)+iy(t)$ joining them,Equality in the first inequality requires $x^{\prime }=0$ everywhere, because the nonnegative difference is continuous. Equality in the second requires $y^{\prime }$ to have one sign, allowing zero intervals. Thus equality holds precisely for a monotone reparametrisation of the joining hyperbolic segment. Conversely every such reparametrisation gives equality. For $P=Q$, equality means length zero and the constant curve; monotonicity is understood non-strictly.

Two distinct hyperbolic lines are parallel hyperbolic lines if they are disjoint in the plane and have exactly one common ideal endpoint; they are ultraparallel hyperbolic lines if they are disjoint and have no common ideal endpoint. To prove the common perpendicular of ultraparallel hyperbolic lines theorem, send one line to the imaginary axis. An ultraparallel hyperbolic lines second line can, after reflection if necessary, be written as a semicircle with centre $c>0$ and radius $r$ satisfying $c>r$. A hyperbolic line perpendicular to the imaginary axis must be a semicircle centred at zero, of some radius $R>0$. The Euclidean condition for its orthogonality to the second circle isThis has exactly one positive solution, proving existence and uniqueness. Conversely, if such a common perpendicular exists, the second line cannot be another vertical line, and the same condition forces $|c|>r$, so its endpoints lie strictly on one side of zero and it is ultraparallel hyperbolic lines. This includes exclusion of intersecting lines ($|c|<r$) and parallel hyperbolic lines ($|c|=r$ or another vertical line). The statement concerns distinct lines: a line coincident with itself would have many perpendiculars.

A horocycle in the upper half-plane model is either a Euclidean circle tangent to the real axis from above, with the tangent point as its ideal centre of a horocycle, or a horizontal line $y=h>0$, whose ideal centre of a horocycle is infinity. A isometry sending this centre to infinity sends the horocycle to a horizontal line. The hyperbolic lines meeting that horizontal line orthogonally are exactly the vertical lines; therefore the hyperbolic lines orthogonal to a horocycle are exactly those with its ideal centre as an endpoint.

If two horocycles have distinct horocycle centres, the unique hyperbolic line with those two ideal endpoints meets both orthogonally. If they have the same horocycle centre, send it to infinity: both become horizontal lines and every vertical hyperbolic line meets both orthogonally. HenceIn the other case there are infinitely many; intersection or tangency of the two horocycles does not change this classification.

Choose a star centre $a$ of the open star-shaped set $D$ and define the candidate antiderivative by a straight-segment contour integral:For each fixed $z\in D$ and all sufficiently small $h$, the filled triangle with vertices $a,z,z+h$ lies in $D$. Indeed, the compact segment $[a,z]$ has a neighbourhood of some positive radius contained in the open set $D$, and every point of this triangle lies within $|h|$ of that segment. The zero triangle integral consequently givesBy continuity, the last integral tends to $f(z)$ as $h\to 0$. HenceIn particular, this proves the existence of the antiderivative without incorrectly assuming the star-shaped set is convex.

On a general domain, the conclusion can fail. Take $D=\mathbb{C}\setminus \{0\}$ and $f(z)=1/z$. Every filled triangle contained in $D$ has zero boundary integral by Cauchy integral theorem, but the unit circle has integral $2\pi i$. An antiderivative would make every closed contour integral zero. This is the period obstruction to a holomorphic antiderivative: the local conclusion of Morera's theorem does not remove the global obstruction.

Use integer coefficients. The mapping-torus homology from Mayer–Vietoris works for every continuous map $f:X\to X$, without assuming that the mapping torus is a fiber bundle. Project to the time circle and choose two open arcs, one containing the seam and one away from it. The inverse image $U$ of the seam arc is a mapping cylinder neighborhood with a deformation retraction to its target copy of $X$; the inverse image $V$ of the other arc is a product with a deformation retraction to $X$. Their intersection has two components, each with a deformation retraction to $X$. Label the upper component first. With the convention that the second inclusion in the Mayer–Vietoris sequence has a minus sign, its homology map isIndeed, the upper component includes into the seam neighborhood by the identity, while retracting the lower component across the seam applies $f$. Put $u=a+b$ and $v=b$, and replace target coordinates $(p,q)$ by $(p+q,-q)$. The map becomes $((f_{\ast }-\mathrm{id})v,u)$. Negating $v$ gives a direct sum of $\mathrm{id}-f_{\ast }$ and an isomorphism. Canceling the latter summands in the long exact sequence yieldsIn particular, there is a short exact sequenceNo splitting of this short exact sequence is assumed at this stage.

For the torus, take the coordinate loops $c_1(t)=[(t,0)]$ and $c_2(t)=[(0,t)]$ as the basis of $H_1$. Their lifts to ${\mathbb{R}}^2$ have endpoint displacements $e_1,e_2$. Applying $A$ changes those displacements to its columns, soThis also follows from the identification of the first homology group with the abelianization of the fundamental group. The Künneth theorem gives $H_2(X)=\mathbb{Z}$, with generator the product orientation class. If $\alpha ,\beta$ are the dual degree-one cohomology classes, then $\alpha ⌣\beta$ evaluates to one on this generator, andThus the degree-two homology map is multiplication by $\det A$, as in homology of an integer torus endomorphism. The claim that the torus map is a homeomorphism requires $A$ to be a unimodular matrix, equivalently an integer inverse or $\det A=\pm 1$; nonsingularity over $\mathbb{R}$ alone would only give a covering map of finite degree. The particular matrix here is unimodular.

For this matrix, $\det A=1$ andIts kernel is zero and its Smith normal form is $\mathrm{diag}(1,2)$, so its cokernel is $\mathbb{Z}/2$. The maps $\mathrm{id}-f_{\ast }$ on $H_0$ and $H_2$ are zero. Substituting into the short exact sequences, and splitting the degree-one extension because its quotient $\mathbb{Z}$ is free, gives

The ordinary Poincare duality statement here is for a compact manifold without boundary, of dimension $d$, oriented over the field $F$. Its fundamental class $[M{]}_F$ induces isomorphismsfor every $q$. For a manifold with boundary the appropriate statement is Poincare-Lefschetz duality with relative groups; the ordinary pairing need not be nondegenerate. Over a field, the universal coefficient theorem for cohomology identifies $H^{d-q}(M;F)$ with the full dual of $H_{d-q}(M;F)$. The cap-cup evaluation identity and duality therefore makea perfect pairing. Explicitly, a nonzero $a$ has a nonzero cap product, and a linear functional $b$ on its homology group takes a nonzero value on that product. The same argument in the other variable proves nonsingularity. On the whole graded cohomology, define $B(a,b)$ by taking the degree-$d$ part of $a⌣b$ before evaluation. For a nonzero component $a_q$ choose $b$ homogeneous of degree $d-q$ to pair nontrivially with it. All other components contribute zero in degree $d$. This proves that the Poincare duality pairing is a nondegenerate bilinear form on $H^{\ast }(M;F)$; it need not be symmetric on all degrees.

Put $r=2n+1$, so $r$ is positive and odd, and orient each $S^r\times S^r$ by its product orientation. The Künneth theorem gives integral cohomology $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^2$ in degree $r$, and zero elsewhere. Its two degree-$r$ generators $\alpha ,\beta$ have ${\alpha }^2={\beta }^2=0$, $\alpha \beta$ equal to its top orientation class, and $\beta \alpha =-\alpha \beta$.

For a connected sum of oriented manifolds, excision and the long exact sequence for deleting a ball show that deleting a ball removes the top homology class and leaves all lower positive homology groups unchanged. The boundary sphere represents zero in the punctured manifold: it is the boundary of its relative fundamental chain. In the Mayer–Vietoris sequence for the two punctured pieces joined along the separating sphere, the orientation class of the connected sum maps onto that sphere's class. The intermediate positive groups are consequently the direct sums of the groups of the two original manifolds. This also covers $r=1$, where the sphere is a circle and the boundary-class observation is necessary in the middle degree. Iterating and applying the universal coefficient theorem for cohomology givesHere $g\ge 1$; under the conventional extension $W_0=S^{2r}$ the same formula holds with a zero middle group.

Let $\omega$ be the top cohomological orientation class. The connected-sum pinch map to the wedge of the $g$ sphere products gives degree-one projections to each summand. Pull back the two factor classes from summand $i$ to obtain ${\alpha }_i,{\beta }_i$. Their product is $\omega$, since the projection has degree one. Classes from different wedge summands have zero positive-degree cup products, and graded commutativity of the cup product supplies the reversed sign. Thus the full cohomology ring of a connected sum of odd-dimensional sphere products is the graded free abelian group just displayed with multiplicationThe unit is $1$, and $\omega$ times any positive-degree class is zero by dimension. This describes all products, including ${\omega }^2=0$.

The smooth involution is a diffeomorphism, since it is its own inverse. Its fixed set is closed; discreteness and compactness therefore make it finite. The supplied positivity of $\det (I-D{f}_x)$ makes every fixed point nondegenerate with local index $+1$. The Lefschetz-Hopf fixed-point theorem then givesIndeed the degree-zero and top-degree traces are both one, because the manifold is connected and $f$ preserves its orientation; the middle degree is odd.

On $V=H^r(W_g;\mathbb{R})$, the form $\Omega (a,b)=⟨a⌣b,[W_g]⟩$ is a nondegenerate alternating bilinear form by Poincare duality and the oddness of $r$. Thus it is a symplectic vector space of dimension $2g$. Naturality and orientation preservation show that $T$ preserves $\Omega$, and $T^2=I$. For the eigenspaces of a symplectic involution, write $V=V_{+}\oplus V_{-}$: the polynomial $(t-1)(t+1)$ has distinct roots over $\mathbb{R}$. If $v_{+}\in V_{+}$ and $v_{-}\in V_{-}$, then $\Omega (v_{+},v_{-})=\Omega (T{v}_{+},T{v}_{-})=-\Omega (v_{+},v_{-})$, so the two vector subspaces are orthogonal. Each restricted form is nondegenerate, since a vector annihilating its own vector subspace also annihilates the other and hence all of $V$. Their dimensions are therefore even, say $\dim V_{+}=2a$, $\dim V_{-}=2b$, with $a+b=g$. ConsequentlyThis proves the fixed-point congruence for an involution on an odd-sphere connected sum:

The real projective plane has fundamental group $C_2=⟨a\mid a^2=1⟩$, while the circle has fundamental group $\mathbb{Z}=⟨b⟩$. Apply the Seifert-van Kampen theorem to open neighborhoods of the two wedge summands whose overlap is contractible. This givesChanging the basepoint within this path-connected space gives an isomorphic group.

No, it cannot deformation retract onto a graph. Each sphere contributes a degree-$2$ homology class independent of the other two. Attaching circles at points introduces only vertices and edges, soFor example, the cellular chain complex obtained by giving each sphere one $2$-cell and a tree of arcs has three zero-boundary $2$-cells and no $3$-cells. Every graph has zero degree-$2$ homology. A deformation retraction would induce a homotopy equivalence and an isomorphism on homology, which is impossible. An ordinary retraction has no such requirement.

Yes, it retracts onto a graph. On each of the three spheres, choose an arc joining the two marked points. A sphere retracts onto this arc: identify it with the vertical meridian parameterized by the height coordinate, and send every point of a given height to the meridian point at that height. This map is continuous and fixes the meridian. Apply these three retractions and fix the lifted circles pointwise; the maps agree at all attachment points. The resulting connected graph has six vertices and nine edges, so its fundamental group is free of rank $\boxed{9-6+1=4}$.

The kernel is a normal subgroup of index $6$, so the corresponding connected covering space is regular with six sheets labeled by $S_3$. Write $a=(12)$, $b=(123)$ and use right multiplication for path lifting. Above the real projective plane, right multiplication by $a$ pairs the labels, giving three copies of its two-sheeted covering space $S^2$. Each sphere has two marked antipodal points corresponding to its pair $\{b^i,b^{i}a\}$, $i=0,1,2$. Above the circle, right multiplication by $b$ gives two cycles of length three. Attach their six marked points to the identically labeled points of these three spheres.

The upper circle follows $e\to b\to b^2\to e$; the lower follows $a\to ab\to a{b}^2\to a$. The point paired with $b^i$ is $b^{i}a=a{b}^{-i}$, explaining the reversed lower labeling in the figure. On each summand these are genuine covering maps, and the attachment matches the six lifts of the wedge point. A small neighborhood of that point lifts to six disjoint copies of its neighborhood in the wedge. This verifies the covering space locally, and the action of $a,b$ is transitive, so it is connected. Its stabilizer is $\ker \varphi$, identifying this kernel cover of a real projective plane wedged with a circle.

For a regular parameter $t$, the curvature and torsion of a space curve areThe torsion of a space curve requires $\kappa \ne 0$. Reparameterize by arc length $s$ and set $T={\alpha }_s$, $N=T_s/\kappa$, $B=T\times N$. Differentiating the pairwise inner products of this orthonormal Frenet frame shows that its derivative matrix is skew symmetric. Since $T_s=\kappa N$, defining $\tau =N_s\cdot B$ gives the Frenet-Serret formulasThe fundamental theorem of regular space curves says that prescribed smooth $\kappa >0$ and smooth $\tau$ on an interval determine a unit-speed curve uniquely up to an orientation-preserving Euclidean rigid motion. Solve this frame's linear differential equation with an initial oriented orthonormal frame, then integrate ${\alpha }_s=T$; uniqueness proves the assertion.

Under the intended convention that the shared parameter $s$ is arc length, equality on an open interval gives equal position and equal Frenet frames at one point. Equal $\kappa ,\tau$ give identical differential equations, so uniqueness gives $\boxed{\tilde{\alpha }=\alpha \text{ on }I}$. The printed “regular smooth” hypothesis alone does not establish this convention. Without common arc length, an orientation-preserving smooth change of speed that is the identity on $J$ but not elsewhere reparameterizes a circle into a counterexample: both curves have $\kappa =1$, $\tau =0$ and agree on $J$, but differ elsewhere as parameterized curves.

For an oriented surface with unit normal $n$, define normal curvature ${\kappa }_n=T_s\cdot n$ and geodesic curvature ${\kappa }_g=T_s\cdot (n\times T)$. ThusA unit-speed curve is a geodesic exactly when ${\kappa }_g=0$. If also ${\kappa }_n\equiv 0$, then $T_s=0$, so it is a straight line. A vertical ruling of a circular cylinder is such a geodesic, although the cylinder contains no open piece of a plane. A nonconstant regular straight line cannot be a simple closed curve. Hence no planar patch is required, and such a geodesic cannot be simple and closed.

Finally let the principal curvatures be ${\kappa }_1,{\kappa }_2$. If the Gaussian curvature $K={\kappa }_1{\kappa }_2\ge 0$, they have the same sign or one vanishes. Euler formula for normal curvature makes ${\kappa }_n$ a weighted average of them. For a geodesic, $\kappa =|{\kappa }_n|$, soA horizontal circle on a cylinder of radius $R$ is a geodesic with $\kappa =1/R$, $K=0$, $|H|=1/(2R)$, attaining equality.

For $k=1$, put $r=\sin \chi$. The spatial metric tensor becomesThe global closed spatial slice is a 3-sphere with $0\le \chi \le \pi$; the original $r$ chart covers only a hemisphere, so two charts are needed. A circle at fixed $\chi$ in an equatorial angular plane has circumference $\boxed{2\pi a\sin \chi }$. The full spatial volume isIntegrating a single $r\in [0,1]$ chart without its second copy would give only half this volume.

Use singular homology with integer coefficients. The Künneth theorem for triangulable spaces gives a split short exact sequence with tensor terms ${⨁}_{i+j=k}{H}_i(X)\otimes H_j(Y)$ and torsion terms ${⨁}_{i+j=k-1}{\mathrm{Tor}}_1(H_i(X),H_j(Y))$. When one factor's homology groups are free abelian, the torsion terms vanish and the tensor map is an isomorphism.

The circle has $H_0(S^1)=H_1(S^1)=\mathbb{Z}$ and all other groups zero. Inductively, the homology groups of a torus are free, andPascal's identity givesGeometrically the generators correspond to choosing $k$ of the $n$ circle factors and taking their product, consistent with the cellular model having one $k$-cell for each such subset and cancelling opposite boundary faces.

The exponent $\Phi (t)=\frac{i}{2}(t-t^{-1})$ has saddles $t=\pm i$, with $\Phi (-i)=1$ and $\Phi (i)=-1$. Since the integrand is analytic off the origin, deform the contour to the unit circle and rotate $t=-i{e}^{i\theta }$. This gives the exact representationThe dominant saddle at $\theta =0$ is a steepest-descent direction for the method of steepest descent: $\cos \theta =1-{\theta }^2/2+{\theta }^4/24-\cdots$. Set $\theta =s/\sqrt{x}$ and expand the analytic amplitude against $e^{-s^2/2}$. Integrating its Gaussian moments gives the leading factor $e^x/\sqrt{2\pi x}$; the rest of the contour is exponentially smaller than this dominant contribution outside any fixed neighbourhood of the maximum.

To obtain every coefficient efficiently, the integral satisfies $x^2{I}_0^{\prime \prime }+x{I}_0^{\prime }-x^2{I}_0=0$, by differentiating and integrating the derivative of $\sin \theta e^{x\cos \theta }$. Substitute $I_0=e^x{x}^{-1/2}\sum a_n{x}^{-n}/\sqrt{2\pi }$ to get $a_0=1$ and $a_n=(2n-1{)}^2{a}_{n-1}/(8n)$. Therefore the full asymptotic expansion isHere $(-1)!!=1$. For each fixed truncation at $n=N$, the relative remainder is $O(x^{-N-1})$ as $x\to +\infty$. The infinite series is generally divergent, and this all-orders expansion does not purport to resolve exponentially small saddle contributions or their Stokes phenomenon.

Use the paper's Fubini-Study form normalization ${\tilde{\omega }}_{FS}=\frac{i}{2}\partial \overline{\partial }\log (1+|z{|}^2)$, the Hamiltonian vector field convention ${\iota }_{X_H}\omega =dH$, and the Lie algebra generator whose circle action is $e^{i\theta }$. Write $D=|z_0{|}^2+|z_1{|}^2+|z_2{|}^2$. The normalized moment map for the torus action isThe moment map image is the filled triangleIndeed, the three quantities $|z_j{|}^2/D$ are nonnegative and add to one, and any such triple is realized by choosing their square roots as homogeneous coordinates.

For the diagonal circle action, a point in the fixed-point set satisfies $[z_0,t{z}_1,t{z}_2]=[z_0,z_1,z_2]$ for every $t\in S^1$. If $z_0\ne 0$, the projective scaling must be one, forcing $z_1=z_2=0$. If $z_0=0$, all coordinates are scaled together. ThereforeBy part (b), the diagonal moment map isThe factor $1/2$ follows from the specified Fubini-Study form, not the integral normalization in the linked general article. For example, in one affine complex coordinate $w=r{e}^{i\theta }$ the symplectic form is $r(1+r^2{)}^{-2}dr\wedge d\theta$, whose interior product of a differential form with ${\partial }_{\theta }$ is $-r(1+r^2{)}^{-2}dr=d[-r^2/(2(1+r^2))]$. Choosing the generator $e^{2\pi it}$ rescales all moment maps by $2\pi$; reversing the defining sign reverses their signs. The negative level in parts (d) and (e) uses the convention displayed here.

On $N={\mu }^{-1}(-1/4)$, the diagonal fundamental vector field $X$ is nonzero, since the fixed-point set lies at moment map values $0$ and $-1/2$. The nondegenerate bilinear form ${\omega }_p$ and $d\mu ={\iota }_X\omega$ imply $d\mu \ne 0$, so $-1/4$ is a regular value. By the regular level set theorem, $N$ is a three-dimensional embedded submanifold of the four-dimensional Complex projective plane.

At $p\in N$, set $W=T_{p}N=\ker d{\mu }_p$. Then $\omega (X,v)=0$ for every $v\in W$, so $X\in W^{\omega }$, the symplectic orthogonal complement. This complement is one-dimensional and $d\mu (X)=\omega (X,X)=0$, givingThus the level set is a coisotropic submanifold, neither an isotropic submanifold nor a Lagrangian submanifold. Indeed an isotropic subspace of a symplectic vector space in dimension four has dimension at most two, whereas $\dim N=3$. Its characteristic line field is generated by the diagonal circle action.