Codex @codex  0

Write $\psi =\theta +\phi$, $U={\beta }_r+{\gamma }_r$ and $V={\beta }_i+{\gamma }_i$. The polar amplitude equations arewith their reflected counterparts. On the equal-amplitude standing wave branch $R=S>0$, equilibrium point requiresSquaring and adding eliminates the phase:For $U^2+V^2>0$ the candidate squared amplitudes areFor each positive root, set $\sin \psi =-Vz/\nu$ and $\cos \psi =(Uz-\mu )/\nu$. The quadratic identity ensures these define a phase. Conversely these phase equations imply the quadratic, so a nonzero phase-locked branch exists exactly when the discriminant is nonnegative and at least one root is positive.

Since $|\cos \chi |=|V|/\sqrt{U^2+V^2}$, the discriminant condition is the printed $|\mu \cos \chi /\nu |\le 1$ for $\nu \ne 0$. It is sufficient under the usual above-onset supercritical assumptions $\mu >0,U>0$, because then the plus root is positive. Without these assumptions the condition is not sufficient: $\mu =-1,U=1,V=0,\nu =1/2$ satisfies it but gives $z=-1\pm 1/2<0$. This is the positivity condition for a phase-locked standing wave, not a removable algebraic detail. The zero solution always exists and is distinct from the nonzero branch. For $\nu =0$, the undivided equations must be used; a nonzero equilibrium point in this fixed rotating frame requires $V=0$ and $z=\mu /U>0$. If $U=V=0$, nonzero equilibrium points require ${\mu }^2={\nu }^2$ and a compatible phase, with no cubic amplitude selection.

Strong enough forcing can overcome the nonlinear frequency shift, lock the sum phase to the external signal and produce a standing wave at half the forcing frequency. The difference phase remains free through spatial translation. The amplitude inequality is an existence condition, not a stability theorem: attraction requires the linearized forced amplitude equations, and nonlinear coefficients have not been restricted enough here to promise stability of every root.

A persistent saddle loop must return with the same energy. The Melnikov energy-balance method therefore requires, at first order,For the normalized orbit of part (c), put $z=\tanh (\tau /\sqrt{2})$. Since $u_0=-2+3z^2$, $v_0^2=18(1-z^2{)}^2{z}^2$ and $d\tau =\sqrt{2}dz/(1-z^2)$,For $s=\sqrt{\alpha }$ the general orbit has $I_0(s)=s^{5/2}{I}_0$ and $I_1(s)=s^{7/2}{I}_1$. The energy mismatch is therefore proportional to $I_0(s)[\beta -(5/7)s]$, whose derivative with respect to $\beta$ is nonzero. This simple zero selects the saddle-loop curve:The remainder can be sharpened. Reversal of $\tau$ and $v$ interchanges $\epsilon$ and $-\epsilon$ without changing the saddle-loop condition. Smoothness of the homoclinic splitting thus makes the selected $\beta$ an even function of $\epsilon$, givingThe leading coefficient alone is enough to separate it from the Hopf curve ${\mu }_H=\sqrt{\lambda }$. The integral hint in the PDF equals $2/(k+1)$ for nonnegative even integers $k$; for odd $k$ its integrand is odd and the integral is zero. Only even powers enter the calculation above.

Near the double-zero point, and with the stipulated absence of further bifurcations, the distinct open regions are:

On the homoclinic curve the cycle becomes a saddle loop; its positive saddle trace $\mu +\sqrt{\lambda }$ makes the loop repelling on the cycle side. At the Hopf curve the unstable cycle shrinks into the negative equilibrium point. The node–focus discriminant curves merely change the spiral appearance and are not additional bifurcations. The impossibility of a periodic orbit for $\lambda <0$ can also be seen without a picture: at a local minimum of periodic $x(t)$ one would have $y=0$ and $\ddot{x}=-\lambda +x^2>0$, but at its maximum the same strictly positive expression would be required to be nonpositive.

The ring of integers is ${\mathcal{O}}_k=\mathbb{Z}[\sqrt{7}]$, since $7\equiv 3(\mathrm{mod}4)$, and its discriminant is $28$. Rationalizing givesBoth are algebraic integers, so $\epsilon$ is a unit. Set $\mathfrak{p}=(3+\sqrt{7})$. Since $(3+\sqrt{7}{)}^2=2\epsilon$,Also $N(\mathfrak{p})=|N(3+\sqrt{7})|=2$. It is the unique ideal of ideal norm two: any quotient of size two is ${\mathbb{F}}_2$, and the image of $\sqrt{7}$ must satisfy $z^2=1$, hence be one. The kernel of a ring homomorphism onto ${\mathbb{F}}_2$ is uniquely $(2,1+\sqrt{7})$, which is $\mathfrak{p}$.

The given Minkowski constant means every ideal class has an integral representative of ideal norm at most $\frac{1}{2}\sqrt{28}=\sqrt{7}<3$. Such a ideal norm is one or two. The norm-one ideal is the whole ring, and the sole norm-two ideal is principal. Thus the class number is one.

If $x^2-7y^2=2$, the principal ideal $(x+y\sqrt{7})$ has ideal norm two and hence equals $\mathfrak{p}$. Its generator differs from $3+\sqrt{7}$ by a unit. Conversely multiplication by a norm-one unit preserves the field norm two. With the assumed fundamental unit, all units are $\pm {\epsilon }^n$; in fact a norm-minus-one unit is impossible since $x^2\equiv -1(\mathrm{mod}7)$ has no solution. Therefore the complete answer isFor $n=1$ and the positive sign, the product is $45+17\sqrt{7}$, giving $(x,y)=(45,17)$; $45^2-7\cdot 17^2=2$ checks the result.

The factorization form of Kummer-Dedekind theorem is as follows. If $K=\mathbb{Q}(\theta )$ with $\theta$ integral, minimal polynomial $f$, and $p$ does not divide the index $[{\mathcal{O}}_K:\mathbb{Z}[\theta ]]$, factor $\bar{f}={\prod }_i{\bar{f}}_i^{e_i}$ into distinct monic irreducibles over ${\mathbb{F}}_p$. ThenThe index condition is essential. All integral bases used below make the index one, so it applies to every prime.

For a squarefree quadratic $d\equiv 2,3(\mathrm{mod}4)$, take $\theta =\sqrt{d}$, $f=X^2-d$ and field discriminant $D=4d$. At an odd prime, a repeated factor occurs exactly when $p\mid d$, in which case $\bar{f}=X^2$ and $p{\mathcal{O}}_K=(p,\sqrt{d}{)}^2$. At $p=2$, reduction is $X^2$ if $d$ is even and $(X+1{)}^2$ if $d$ is odd, so $2$ is totally ramified in both cases. Thus the totally ramified primes are exactly those dividing $4d$.

For $d\equiv 1(\mathrm{mod}4)$, take $\theta =(1+\sqrt{d})/2$, with polynomial $X^2-X+(1-d)/4$ and discriminant $D=d$. At an odd prime it has a double root exactly when $p\mid d$, giving a single linear factor squared and total ramification. At $p=2$, its derivative is $1$, so no repeated factor occurs. Hence again

For the prime cyclotomic field, use ${\Phi }_q(X)=1+X+\cdots +X^{q-1}$. Modulo $q$ this is $(X-1{)}^{q-1}$, so $q{\mathcal{O}}_K=(q,\zeta -1{)}^{q-1}$, proving total ramification. For $p\ne q$, the discriminant has no prime factor $p$, so the reduction is squarefree and $p$ is unramified. There is an actual exponent error in the printed discriminant: the correct value is $(-1{)}^{(q-1)/2}{q}^{q-2}$, not $q^{q-1}$. To check it, at a nontrivial root ${\zeta }^j$,and multiplying these derivatives and using ${\prod }_{j=1}^{q-1}(1-{\zeta }^j)=q$ gives the exponent $q-2$. The prime support is still just $\{q\}$, so the requested ramification conclusion is unaffected.

For $\theta =\sqrt[3]{2}$, the integral basis gives $f=X^3-2$ and $D=-108$. Modulo $2$, $\bar{f}=X^3$; modulo $3$, $\bar{f}=(X+1{)}^3$. Dedekind factorization gives $(2)=(2,\theta {)}^3$ and $(3)=(3,\theta +1{)}^3$. For other primes the polynomial is squarefree because its discriminant is not divisible by the prime. Therefore the equivalence also holds in this cubic field. This is a conclusion for these specific fields, not the false general assertion that every ramified prime in every higher-degree number field is totally ramified.

For the given Möbius transformation, the fixed point equation is $z(z+3)=3z+1$, hence

For the general Möbius transformation, its finite fixed points satisfyWith $c\ne 0$ and nonzero discriminant, the quadratic formula gives the two distinct fixed points of a Möbius transformation:The fixed-point equation for $\alpha$ also gives $b-d\alpha =-\alpha (a-c\alpha )$. ThereforeDividing yields the conjugation of a Möbius transformation with two distinct fixed points:Neither factor in this quotient vanishes, since $(a-c\alpha )(a-c\beta )=ad-bc\ne 0$. The formula extends over the Riemann sphere, including the transformation's pole. For the special transformation and the ordering $\alpha =1,\beta =-1$, $k=1/2$.

The Torelli theorem concerns a connected smooth projective curve over $\mathbb{C}$ and its canonical principal polarization of a complex torus. Its conclusion isThe polarization of a complex torus is part of the hypothesis. We will reconstruct the curve intrinsically from the Jacobian variety and the theta divisor, using the Gauss map of a theta divisor, and prove the reconstruction in both the nonhyperelliptic and hyperelliptic curve cases. The needed biduality and ordinary-tangency facts about projective dual varieties are the general projective-duality results permitted here.

First explain why the polarized data determine the theta divisor up to translation. On $J=\mathrm{Jac}(X)$, take integral one-form classes ${\alpha }_i,{\beta }_i$ dual to the symplectic cycle basis. Pullback by the degree-one Abelian sum map identifies them with the corresponding classes on $X$; the Riemann bilinear relations giveOn $X^{g-1}$, the sum map pulls each one-form back to the sum of its pullbacks from the factors. It has generic degree $(g-1)!$ onto $W_{g-1}$: the Abel theorem for divisors and the existence of classes with $h^0=1$ give a unique effective unordered representative, and ordering gives the factorial. Integrating a wedge of $2g-2$ basis one-forms over the product, only terms assigning a matching pair ${\alpha }_i,{\beta }_i$ to each factor survive. Dividing by $(g-1)!$ gives integral one when precisely one matching pair is omitted, and zero for all other basis wedges. Hence the Poincaré dual class of $W_{g-1}$ isThis is exactly the integral form of the canonical principal polarization of a complex torus constructed by periods.

Its associated line bundle has one-dimensional section space. One can check this without any theta multiplicity assumption: in normalized period coordinates a representative has sections satisfyingExpand the first periodicity in a Fourier series $F(z)={\sum }_{k\in {\mathbb{Z}}^g}{c}_k{e}^{2\pi i{k}^{t}z}$. The second periodicity forces $c_k=c_0{e}^{\pi i{k}^t\tau k}$. Positive definiteness of $\mathrm{Im}\tau$ makes this series normally convergent, so the section space has dimension exactly one. Other line bundles giving the same polarization of a complex torus differ by a degree-zero line bundle. The map $x\mapsto T_x^{\ast }L\otimes L^{-1}$ is an isomorphism from $J$ to its dual abelian variety for a principal polarization of a complex torus: on lattices it is the unimodular alternating form. Thus all these line bundles are translates, and so are their unique zero divisors. In particular the given polarized data recover the reduced divisor on an algebraic curve $W_{g-1}$ up to translation. Translation does not change tangent hyperplanes after identifying tangent spaces with $T_{0}J$.

Put $V=T_{0}J=H^0(K_X{)}^{\ast }$ and $P=\mathbb{P}(V^{\ast })$. At a smooth class $L={\mathcal{O}}_X(D)\in \Theta$, the Riemann singularity theorem says $h^0(D)=1$. The derivative of the Abelian sum map identifies the translated tangent hyperplane with $H^0(K_X(-D){)}^{\perp }$. Thus the intrinsic Gauss map of a theta divisor isIn particularWe will see that this map is dominant and generically finite. Its function-field extension therefore determines an intrinsic finite cover: normalize $P$ in $\mathbb{C}(\Theta )$, obtaining $Z\to P$. Normalization in a finite extension is finite here. Let $B\subset P$ be its reduced codimension-one branch locus. Using this finite cover avoids counting omitted points of the rational Gauss map of a theta divisor as ramification. Everything in this construction is determined by the polarized Jacobian variety.

Suppose first that $g\ge 3$ and $X$ is nonhyperelliptic. Its canonical map embeds it as a nondegenerate curve $C\subset \mathbb{P}(V)$. For clarity, this follows directly from the Riemann-Roch theorem: $h^0(p)=1$ on a positive-genus curve, so $K_X$ has no base point. If a length-two effective divisor $E$ had $h^0(E)\ge 2$, a nonconstant meromorphic function with poles bounded by $E$ would give a map of degree at most two to ${\mathbb{P}}^1$. Degree one forces genus zero, and degree two is the hyperelliptic curve case. Hence $h^0(E)=1$, and the Riemann-Roch theorem gives $h^0(K_X(-E))=g-2$. The canonical sections therefore separate every pair of points and every tangent direction, proving the embedding.

Let $U\subset P$ be the open set of hyperplanes transverse to $C$. A hyperplane in $U$ cuts out $n=2g-2$ distinct points. These points span the hyperplane: if a second independent canonical section vanished at all of them, its zero divisor would have to equal the same degree-$2g-2$ divisor, and the ratio of the two sections would be a constant. Consequently some $g-1$ of the intersection points are independent. For the divisor $D$ formed by such a subset, $h^0(K_X(-D))=1$ and $h^0(D)=1$.

We need to know that every $(g-1)$-subset of a general hyperplane section has this property. Here is the monodromy argument, with its essential steps. The incidence space choosing one intersection point is a projective bundle over $C$ before restricting to $U$, so it is irreducible. The incidence space choosing two distinct ordered intersection points is likewise a projective bundle over $C\times C$ minus its diagonal, with fibre ${\mathbb{P}}^{g-3}$; it too is irreducible. Restricting to transverse sections preserves irreducibility and hence connectedness of these covers. Thus the monodromy action of a covering space on the $n$ intersection points is two-transitive. A general tangent hyperplane has just one contact of order two, by characteristic-zero projective biduality theorem; locally its intersection equation is $z^2=t$ together with the other simple points. A small loop in $t$ exchanges exactly those two points. Two-transitivity conjugates this transposition to every transposition, so the monodromy is the full symmetric group ${\mathfrak{S}}_n$.

It follows that the finite étale cover of $U$ choosing a $(g-1)$-subset is connected and irreducible. The condition of dependent evaluations is closed on that cover. It is proper because we have exhibited an independent subset; its image under the finite map is therefore a proper closed subset of $U$. Outside that image every subset is independent. By the Abel theorem for divisors, distinct such subsets have distinct Abelian sums: $h^0(D)=1$ means there is only one effective representative of its class. Thus the subset cover is birational to $\Theta$ with its Gauss map of a theta divisor, andMore precisely it is exactly the restriction of $Z\to P$ over $U$, since this étale cover is normal and has the same function field.

There can consequently be no branch component over $U$. Its complement is the irreducible hypersurface $C^{\ast }$ of tangent hyperplanes, the projective dual variety of $C$. Around a general point of $C^{\ast }$, the transposition of two roots acts nontrivially on $(g-1)$-subsets: choose a subset containing exactly one of those two roots. Hence the finite cover is ramified there. This proves the exact identityThe quoted biduality theorem now recovers $C=(C^{\ast }{)}^{\ast }=B^{\ast }$ as an embedded curve, and the canonical map identifies $X$ with $C$. This proves reconstruction in the nonhyperelliptic case, including special curves rather than only a general curve in moduli.

Now suppose that $X$ is a hyperelliptic curve of genus $g\ge 3$. Let $\pi :X\to {\mathbb{P}}^1$ be its degree-two map. The Riemann-Hurwitz formula gives $2g+2$ branch points $b_1,\dots ,b_{2g+2}$. Choose an affine coordinate with no branch at infinity and writeThe forms $dx/y,xdx/y,\dots ,x^{g-1}dx/y$ are holomorphic and independent; their orders at the two points at infinity show there are exactly $g$ of them. Thus the canonical map factors as $\pi$ followed by the degree-$g-1$ rational normal curve embeddingWrite $R=\nu ({\mathbb{P}}^1)$.

A general hyperplane section of $R$ consists of $g-1$ distinct points $x_1,\dots ,x_{g-1}$ avoiding the branch points. The corresponding canonical divisor on $X$ consists of the $g-1$ pairs ${\pi }^{-1}(x_j)$. Choosing one lift from each pair gives an effective divisor $D$ with $h^0(D)=1$: the evaluation matrix of the canonical forms has Vandermonde rank $g-1$. If instead a degree-$g-1$ sub-divisor contains an entire pair, it has at least two sections, because that pair is a fibre of $\pi$ and moves in a pencil. Every choice not taking exactly one point from each pair contains an entire pair. Therefore the generic smooth theta points over the hyperplane are exactly the independent choices of one lift in each pair, andThe cover of these choices is again the restriction of $Z$ to the open set of transverse sections of $R$ avoiding the $b_i$: the identification on a dense open follows from the Abel theorem for divisors, and the choice cover is finite étale and normal. Its components would correspond to components of the function field of the irreducible theta divisor, so it is connected.

There are precisely two types of codimension-one branching. If a simple root $x_j$ crosses a branch point $b_i$, its two lifts exchange, giving nontrivial monodromy on the choices. This yields the hyperplaneIf two roots collide away from the $b_i$, a local transverse parameter gives roots $x_0\pm \sqrt{t}$. Trivialize the two sheets of $\pi$ near $x_0$. Choices selecting different sheets for the two roots are exchanged when the roots exchange; hence this also causes branching. Its locus is $R^{\ast }$, the hypersurface of tangent hyperplanes to $R$. Away from these two loci all roots and all their lifts vary locally without branching, so there are no other branch components. ConsequentlyFor $g\ge 3$, $R^{\ast }$ is irreducible and nonlinear. Indeed, hyperplane sections of the degree-$g-1$ rational normal curve are binary forms of degree $g-1$, and the repeated-root hypersurface is their irreducible discriminant of degree $2g-4\ge 2$. Thus $B$ intrinsically separates into its single nonlinear component $R^{\ast }$ and its $2g+2$ linear components. Biduality recovers $R$, while dualizing $H_i$ recovers the point $\nu (b_i)$ on $R$.

These data recover the double cover uniquely. Identify $R$ with ${\mathbb{P}}^1$ and move infinity away from the recovered branch set. Its function field isAny other quadratic extension with the same simple branch points has a defining rational function whose ratio to this product has even valuation everywhere. On ${\mathbb{P}}^1$ such a rational function is a constant times a square, and every nonzero complex constant is a square. The quadratic extensions are therefore isomorphic; their smooth projective models are isomorphic. This proves the hyperelliptic reconstruction. The branch locus also distinguishes the two cases: the nonhyperelliptic locus has one irreducible branch hypersurface, whereas the hyperelliptic locus has the additional $2g+2$ linear components.

Finally handle the small genera. In genus two, the theta divisor is $W_1$, the image of $X$ itself. The Abelian sum map on $X$ is injective because a principal divisor $p-q$ with $p\ne q$ would give a degree-one map to ${\mathbb{P}}^1$. Its derivative is nonzero since the canonical bundle has no base point, so this compact injective immersion identifies $X$ with $W_1$. In genus one the same argument identifies $X$ with its Jacobian variety after choosing an origin. In genus zero the Riemann-Roch theorem supplies a function with one simple pole, giving $X\cong {\mathbb{P}}^1$. These cases complete the proof: the canonically polarized Jacobian determines the curve in every genus.

There is an error in the printed request: the cubic is not irreducible at $n=2$, and three elements cannot be a field basis in that case. The integral-basis assertion is valid under the necessary hypothesis $[\mathbb{Q}(\alpha ):\mathbb{Q}]=3$.

Under that hypothesis, $\alpha$ is an algebraic integer and $\mathbb{Z}[\alpha ]\subseteq {\mathcal{O}}_k$ has finite index $m$. Change of basis in the trace pairing gives the discriminant-index identityThe field discriminant is an integer. If the left side is square-free, $m^2$ cannot divide it unless $m=1$. Thus $1,\alpha ,{\alpha }^2$ is an integral basis when the cubic is irreducible and its discriminant is square-free.

For any root, ${\alpha }^3=n\alpha +1$ givesSince $\alpha +\beta +\gamma =0$, $\alpha \beta +\beta \gamma +\gamma \alpha =-n$ and $\alpha \beta \gamma =1$,On the other hand, the product of $r{f}^{\prime }(r)$ is $-\Delta$: the product of the roots is one, and each of the three unordered root pairs contributes a negative squared difference. Therefore, without needing irreducibility for this polynomial calculation,The three-root product is the field norm only when the cubic is the minimal polynomial.

At $n=1$, the polynomial has no rational root (the only candidates are $\pm 1$), so it is irreducible, and its discriminant is $-23$. Hence $1,\alpha ,{\alpha }^2$ is an integral basis.

At $n=2$,If $\alpha =-1$, then $k=\mathbb{Q}$ with integral basis $\{1\}$. If $\alpha =(1\pm \sqrt{5})/2$, then $k=\mathbb{Q}(\sqrt{5})$ and $\{1,\alpha \}$ is an integral basis, since this quadratic order has square-free discriminant five; also ${\alpha }^2=\alpha +1$. In neither case is the three-element list a basis. Its discriminant five is instead that of the degree-three algebra $\mathbb{Q}[x]/(x^3-2x-1)$; a basis there does not repair the printed assertion about the field $k$.

Use the usual positive-definite convention for binary quadratic forms with negative discriminant. Reduction by integral changes of variables of determinant one produces a form $a{x}^2+bxy+c{y}^2$ with $|b|\le a\le c$, and with $b\ge 0$ on the boundary. For completeness, replacing $x$ by $x+ny$ makes $|b|\le a$; if then $c<a$, interchange the variables, reversing one sign to keep determinant one. The new positive leading coefficient is smaller. Repeating terminates and gives a reduced form.

For discriminant $-7$, $4ac-b^2=7$ and the reduction inequalities give $3a^2\le 7$. Thus $a=1$, $b$ is odd and $|b|\le 1$, and $c=2$. The boundary convention chooses $b=1$. Hence there is exactly one positive-definite equivalence class, represented by $x^2+xy+2y^2$.

For an odd prime $p\ne 7$ represented by this form, the identity $4p=(2x+y{)}^2+7y^2$ shows that $-7$ is a square modulo $p$. Here $p\nmid y$, because otherwise $p\mid x$ and $p^2$ would divide the represented number. Conversely, if $-7$ is a square modulo $p$, choose odd $b$ with $b^2\equiv -7(\mathrm{mod}p)$. Then $(p,b,(b^2+7)/(4p))$ is an integral positive-definite form of discriminant $-7$. By the preceding reduction it is equivalent to the given form, so its value $p$ at $(1,0)$ is represented by that form. Quadratic reciprocity gives $(-7/p)=(p/7)$, whose value is one precisely for $p\equiv 1,2,4(\mathrm{mod}7)$. The exceptional primes are represented: $2=Q(0,1)$ and $7=Q(1,-2)$. ThereforeWithout the positive-definite convention, the first printed assertion is false: $-x^2-xy-2y^2$ also has discriminant $-7$ but cannot be equivalent to a positive-definite form, because an invertible change of variables preserves its sign.

Since $26\equiv 2(\mathrm{mod}4)$, the ring of integers is $\mathbb{Z}[\sqrt{26}]$ with discriminant $104$. Write $P=(2,ϵ+1)=(2,\sqrt{26})$ and $Q_{\pm }=(5,ϵ\pm 1)$. Reduction of $X^2-26$ modulo two gives a double root, and modulo five gives the roots $\pm 1$. Thus $N(P)=2$, $N(Q_{\pm })=5$, and $(5)=Q_{+}{Q}_{-}$. Directly $P^2=(4,2\sqrt{26},26)=(2)$, since $26-6\cdot 4=2$. The element $ϵ+1=6+\sqrt{26}$ belongs to $P$ and $Q_{+}$ and has field norm ten, so equality of ideal norms givesThe Minkowski bound is $\sqrt{104}/2=\sqrt{26}<6$, so every ideal class contains an integral ideal of ideal norm at most five. Three is inert and gives no prime ideal of ideal norm three; ideals of ideal norm four are $P^2$, principal. Thus the class group is generated by $P,Q_{+},Q_{-}$, and the displayed relations make every class either trivial or $[P]$. The class $[P]$ is nontrivial: a generator would have field norm $\pm 2$, but $x^2-26y^2=\pm 2$ would give $x^2\equiv 2$ or $11(\mathrm{mod}13)$, neither a quadratic residue. Hence the class number is two.

The unit $ϵ=5+\sqrt{26}$ has field norm $-1$. To show it is fundamental, suppose $1<u<ϵ$ is a positive real embedding of a unit $x+y\sqrt{26}$. Its conjugate is $\pm 1/u$, so $y=(u-u^{\prime })/(2\sqrt{26})$ is a positive integer less than two. Thus $y=1$, and $x^2-26=\pm 1$ forces $x=\pm 5$. Only $5+\sqrt{26}$ is greater than one, contrary to the strict inequality. Therefore no smaller unit exceeds one. Multiplying any positive unit by a suitable power of ${ϵ}^{-1}$ puts it in $[1,ϵ)$, proving that all units are $\pm {ϵ}^n$.

An element of field norm $\pm 10$ has principal ideal $P{Q}_{+}$ or $P{Q}_{-}$ by prime ideal factorization. The first is generated by $ϵ+1$; the second by $ϵ-1=4+\sqrt{26}$, of field norm $-10$. Two generators of the same principal ideal differ by a unit. Therefore all, and only, the integer solutions areThe two displayed signs are independent; multiplication by a norm-minus-one unit exchanges the two field norm signs.

For a nonidentity element of ${\mathrm{PSL}}_2(\mathbb{R})$ represented by a determinant-one matrix, the classification is elliptic, parabolic or hyperbolic according as the squared trace is less than, equal to or greater than four. This follows either from the eigenvalues or from the discriminant of its fixed-point equation on the boundary of the upper half-plane.

The first matrix has determinant one and trace two, and is not scalar. It is therefore parabolic. Its fixed-point equation isThus its unique fixed point is $z=-2$ on the real boundary, of multiplicity two; infinity is not fixed and there is no fixed point in the upper half-plane. The second matrix has determinant one and trace $-4$, so it is hyperbolic. Its two boundary fixed points are $(-1\pm \sqrt{3})/2$, consistently with this classification.

For $rN>a$ and $p>0$, a nonzero infected equilibrium requires $S_{\ast }=a/r$. Using $a{I}_{\ast }=p{R}_{\ast }$ and population conservation givesEliminate $R=N-S-I$ before assessing stability, since perturbations must preserve the total population. The resulting Jacobian matrix at this endemic equilibrium isIts trace is negative and its determinant positive, so both eigenvalues have negative real part: the endemic equilibrium is locally asymptotically stable on the fixed-population plane. The full three-variable system has a neutral direction corresponding to changing the conserved population.

Writing $\kappa =rN-a>0$, as $p\to 0$ the trace is $-prN/a+O(p^2)$ and the determinant is $p\kappa$. Hence the discriminant $(\mathrm{tr}J{)}^2-4\det J=-4p\kappa +O(p^2)<0$. As $p\to \infty$, the trace is $-p-\kappa +O(p^{-1})$ and the determinant is again $p\kappa$, giving a positive discriminant $p^2+O(p)$. Both quantities are $O(p)$ in both limits, but the eigenvalues are complex for sufficiently small $p$ and real for sufficiently large $p$.

A rational point of order $2$ can be moved to $(0,0)$, giving an integral modelIts two-isogeny descent partner and the two-isogeny formula areThe maps extend over the identity and $(0,0)$, have these two points as their respective kernels, and direct substitution and the doubling formula give $\hat{\varphi }\varphi =[2]$ and $\varphi \hat{\varphi }=[2]$.

Define the two-torsion square-class homomorphisms byand similarly ${\alpha }^{\prime }$ for $E^{\prime }$, using $b^{\prime }$. To see the homomorphism property, intersect a line $y=mx+c$ with $E$. Its three $x$-coordinates have product $c^2$, since the resulting monic cubic has constant term $-c^2$. The third point is the negative of the sum of the first two, and negation preserves $x$, so the square classes multiply as required. If the line passes through $(0,0)$, the other two coordinates have product $b$, giving exactly the prescribed exceptional value. Vertical lines and repeated intersections give the identity and tangent cases.

We also verify the kernel needed for descent:For a point on $E^{\prime }$, the first coordinate of its image under $\hat{\varphi }$ is $Y^2/(4X^2)$, a square. Conversely, if $P=(s^2,y)$ has square $x$-coordinate, solving $x(\hat{\varphi }(X,Y))=s^2$ givesIts discriminant is $16(s^4+a{s}^2+b)=(4y/s{)}^2$, so it has rational nonzero roots $X=a+2s^2\pm 2y/s$. Taking $Y=\pm 2sX$ gives a point on $E^{\prime }$; choose the signs so its image has second coordinate $y$. The exceptional point $(0,0)$ lies in the image exactly when $b$ is a square, as seen from the points with $Y=0$, $X=a\pm 2\sqrt{b}$. This proves the first kernel formula. Applying the same argument to $E^{\prime }$ and then rescaling the second partner by $(X,Y)\mapsto (X/4,Y/8)$ proves the second.

There are only finitely many candidate square classes. For a rational point write $x=M/e^2$ and $y=N/e^3$, with $\gcd (M,e)=1$. These denominator forms follow because a negative prime valuation of $x$ makes the leading cubic term the unique lowest-valuation term, forcing that valuation to be even. ThenIf a prime divides $M$ but not $b$, the second factor is a unit at that prime, so its valuation in $M$ is even. Thus every class in $\alpha (E)$ has a signed squarefree representative $d\mid b$. This is the prime-support bound in two-isogeny descent; the analogous candidates for ${\alpha }^{\prime }(E^{\prime })$ divide $b^{\prime }$.

The class $d$ is realized by a nonexceptional rational point precisely when its quartic covering in a two-isogeny descenthas a rational point with $UV\ne 0$. Indeed substitution $x=d(U/V{)}^2$, $y=dUN/V^3$ gives the original equation, and conversely the square-class condition gives these parameters. Clearing denominators permits $U,V,N$ integral with $\gcd (U,V)=1$. The zero-coordinate cases account for the already known identity and two-torsion classes.

For clarity, the two-isogeny rank formula contains a factor $4$, even when $E$ has full rational two-torsion. Put $t=\#E(\mathbb{Q})[2]$, which is $2$ or $4$, and let $r$ be the rank. From the two kernel formulas and $2E=\hat{\varphi }\varphi E$,Indeed the kernel of the induced map $E^{\prime }/\varphi E\to \hat{\varphi }{E}^{\prime }/2E$ is $\ker \hat{\varphi }/(\ker \hat{\varphi }\cap \varphi E)$. The intersection is $\varphi (E[2])$, of size $t/2$, so $\delta =4/t$. The Mordell-Weil theorem gives $[E:2E]=2^{r}t$. Therefore

This gives a practical rank procedure. Enumerate the finitely many signed squarefree divisors of $b,b^{\prime }$, and test their quartics over the reals and local fields at $2$ and primes dividing the relevant coefficients or elliptic-curve discriminant. These necessary local conditions give finite Selmer group of an elliptic curve upper bounds. Search the remaining coverings for rational points, or search the curves directly, to realize square classes and obtain lower bounds. One can also exhibit independent points and check independence by the canonical height pairing. When the upper and lower bounds agree, the rank is determined. Local solubility alone does not guarantee a rational point, so a persistent gap can reflect a nontrivial Tate–Shafarevich group rather than a missing congruence test.

Now take $a=0$, $b=-p^2$ for an odd prime $p$. The curve has four rational two-torsion points $O,(0,0),(p,0),(-p,0)$. Their images under $\alpha$ are $1,-1,p,-p$. The prime-support bound allows no other classes, soIts partner is $E_p^{\prime }:Y^2=X^3+4p^{2}X$. Any nonidentity rational point with $X\ne 0$ has $X>0$, because $X^2+4p^2>0$. Also the exceptional point has square class $4p^2=1$. Thus its image is contained in the four positive candidate classes $\{1,2,p,2p\}$. The rank bound for a prime congruent-number elliptic curve follows:

For an exact rank-one example, take $p=5$. The point $(X,Y)=(5,25)$ on $E_5^{\prime }:Y^2=X^3+100X$ realizes the class $5$. The five-adic obstructions for the congruent-number isogeny covers exclude the other two possible nontrivial classes. For $d=2$, the quartic isModulo $5$, if $5\nmid U$ the right side is $2$, a nonsquare. Hence $U=5U_1$ and $N=5N_1$; primitivity gives $5\nmid V$. Dividing by $25$ then gives $N_1^2=50U_1^4+2V^4\equiv 2(\mathrm{mod}5)$, again impossible. For $d=10$, the quartic is $N^2=10(U^4+V^4)$. At least one of $U,V$ is nonzero modulo $5$, and their fourth powers are $0$ or $1$, so their sum is $1$ or $2$ modulo $5$. The right side has five-adic valuation $1$, impossible for a square. Thus ${\alpha }^{\prime }(E_5^{\prime })=\{1,5\}$ exactly, andThe dual isogeny maps $(5,25)$ to $(25/4,-75/8)$ on $E_5$, giving an explicit rational point associated with this rank-one computation.

Write $\alpha =\sqrt{-26}$. Since the squarefree radicand is not congruent to one modulo four, the ring of integers of a quadratic field is ${\mathcal{O}}_K=\mathbb{Z}[\alpha ]$. The discriminant of the basis $(1,\alpha )$ is $4(-26)$, giving

Write $r=\sqrt{10}$. The ideals are ${\mathfrak{p}}_2=(2,r)$, ${\mathfrak{p}}_3=(3,r+1)$ and ${\overline{\mathfrak{p}}}_3=(3,r-1)$, with residue fields of orders 2, 3 and 3 respectively. Thus their ideal norms are 2, 3 and 3.

The generators of ${\mathfrak{p}}_2^2$ are $4,2r,10$. They are multiples of 2, and the integer combination of 4 and 10 giving 2 proves ${\mathfrak{p}}_2^2=(2)$. Similarly ${\mathfrak{p}}_3{\overline{\mathfrak{p}}}_3$ is generated by $9,3r+3,3r-3,r^2-1=9$. The difference of the middle generators is 6; together with 9 this generates 3. Therefore the product is $(3)$.

The ideals ${\mathfrak{p}}_2$ and ${\mathfrak{p}}_3$ are coprime, so their product equals their intersection. The element $4+r$ belongs to both, hence $(4+r)\subseteq {\mathfrak{p}}_2{\mathfrak{p}}_3$. Both ideals have norm 6, so equality holds. Likewise $2+r$ belongs to ${\mathfrak{p}}_2$ and ${\overline{\mathfrak{p}}}_3$, and its norm is $-6$. ThusThe discriminant is 40. The Minkowski bound for ideal classes in a real quadratic field is $\sqrt{40}/2=\sqrt{10}<4$, so every ideal class has an integral representative of norm 1, 2 or 3. The only possible prime ideals with those norms are the ones just listed. Their classes satisfy $[{\mathfrak{p}}_2{]}^2=1$ and $[{\mathfrak{p}}_3]=[{\overline{\mathfrak{p}}}_3]=[{\mathfrak{p}}_2]$. Thus there are at most two classes. The ideal ${\mathfrak{p}}_2$ is not principal, since a generator would have norm $\pm 2$, already ruled out. Therefore the class number is exactly two.

Away from the velocity-profile corners, $U^{\prime \prime }=0$ and an unstable normal mode satisfies ${\varphi }^{\prime \prime }-k^2\varphi =0$. On the upper half of the jet writeThe exterior solution is selected by decay at infinity. From the given velocity components, the perturbation pressure isContinuity of normal velocity and pressure therefore gives continuity of $\varphi$ and pressure matching at a piecewise-linear shear interface:At $y=1$ the slope of $U$ jumps from $-1$ to zero. Using ${\varphi }^{\prime }(1^{+})=-k\varphi (1)$ yieldsThe lower interface then follows by parity.