Goldfeld's analytic density conjecture and the 2-converse for elliptic curves
Abstract
We prove Goldfeld's analytic density conjecture: for every elliptic curve E over ℚ, the quadratic twists of E with analytic rank zero and one each have density 1/2 among signed squarefree twist parameters ordered by absolute value. We also prove the low-corank 2-converse: if the -Selmer corank of E is zero or one, then it equals the analytic and Mordell–Weil ranks, and the Tate–Shafarevich group is finite.
Introduction
Let be an elliptic curve over . Write
The Selmer group uses the local Kummer conditions at every place. Its corank includes both the Mordell–Weil rank and any divisible 2-primary contribution from the Tate–Shafarevich group. Modularity supplies the analytic continuation and functional equation of [7].
Theorem 1.1 (The 2-converse). For every elliptic curve with ,
There is no restriction on reduction type, complex multiplication, rational torsion, or rational isogenies. The hypothesis concerns the full 2-power Selmer corank; a Mordell–Weil rank bound alone does not give it.
For a nonzero squarefree integer , let denote the quadratic twist of , and set
Thus positive and negative parameters are counted together and ordered by absolute value. A residue class can fix the sign of the functional equation; the half-density statement below concerns the full set .
Theorem 1.2 (Goldfeld’s analytic density conjecture). For every elliptic curve and each ,
Consequently the twists of analytic rank at least two have density zero. For a density-one set of signed squarefree parameters , the analytic and Mordell–Weil ranks of agree and its whole Tate–Shafarevich group is finite.
The theorem follows by combining the pointwise 2-converse with Smith’s distribution of full 2-power Selmer coranks [69], Theorem 1.1. Section 14 gives the deduction, including the passage from integer to squarefree parameters. The main work of this paper is the pointwise converse.
Consequences and companion results
The converse has a finite-descent consequence. Put
Corollary 1.3 (A finite Selmer criterion). If , then
Thus a finite 2-descent can certify the analytic rank and the vanishing of the entire 2-primary Tate–Shafarevich group in these two cases. The proof uses the alternating Cassels–Tate pairing to pass from to the full Selmer corank, and is given in Section 14.
The density theorem resolves the frequency assertion for analytic ranks zero and one. The mean analytic-rank assertion requires additional control: a set of density zero can still contribute to the rank-weighted average. The separate companion OpenAI [56] proves the required analytic tail estimate and, together with Theorem 1.2, obtains mean analytic rank in the same signed squarefree ordering.
A subsequent companion [55] extends the pointwise converse to every prime : full -power Selmer corank forces analytic and Mordell–Weil ranks and finiteness of the whole Tate–Shafarevich group. Its proof uses the 2-converse and analytic twist densities established here.
The rank and finiteness assertions are distinct from the Birch–Swinnerton–Dyer leading-coefficient formula. The pointwise two-primary formula of OpenAI [57], combined with the Selmer-corank densities in the proof of Theorem 1.2, gives the exact two-primary formula on a density-one set of signed squarefree twists. Their common analytic and Mordell–Weil ranks are zero and one with density each. This consequence is OpenAI [57]; its leading-coefficient assertion concerns the valuation at 2.
Goldfeld’s conjecture and analytic nonvanishing
Birch and Swinnerton-Dyer’s comparisons of rational points with central -values led to the conjectural equality of algebraic and analytic rank [3]. The conjecture also predicts finiteness of and a formula for the leading coefficient [72]. Goldfeld’s original 1979 formulation asks for the mean analytic order in a family parametrized by quadratic-field discriminants [30]. The density formulation predicts that analytic ranks zero and one each occur half the time. Our counting convention throughout is the signed squarefree set .
The analytic study of quadratic twists produced both nonzero central values and simple central zeros. Bump–Friedberg–Hoffstein and Murty–Murty supplied auxiliary twists with the nonvanishing needed in Heegner-point arguments; Iwaniec and Perelli–Pomykała developed quantitative estimates for central derivatives [8, 35, 51, 59]. Ono–Skinner obtained a lower bound of order for the number of nonvanishing central values among twists by fundamental discriminants with [54]. More recently, Kumar–Mallesham–Sharma–Singh sharpened derivative nonvanishing estimates through second moments, and Kriz–Nordentoft improved central-value lower bounds for curves with no rational two-torsion [44] [43]. These quantitative results yield many twists without by themselves giving a positive proportion for every fixed curve.
Positive proportions were obtained in special families. James proved analytic-rank-zero proportions for particular curves, and Vatsal proved positive proportions of both analytic ranks zero and one for [36] [75]. Kriz–Li proved both positive proportions for every rational elliptic curve admitting a rational 3-isogeny [42]. In the congruent-number family, Tian’s Heegner-point work gives rank one and odd-order Tate–Shafarevich group in specified subfamilies [73]. Genus-period and genus-point congruences, followed by Selmer statistics, give further analytic density results [67, 74]. These arguments connect coefficient congruences and arithmetic statistics with analytic nonvanishing, a connection also central to the present proof.
The statistical input used here has its own progression. Smith first established higher 2-power Selmer distributions for curves with full rational two-torsion and no rational cyclic subgroup of order four [68]. His subsequent work treated the irreducible residual case and further rational two-isogeny cases [70, 71]. The unrestricted theorem gives full Selmer coranks zero and one with density each for every rational elliptic curve [69]. Its analytic corollary assumes Birch–Swinnerton–Dyer [69]. We use the Selmer theorem itself and supply the pointwise analytic implication through
Theorem 1.1.
The Selmer converse problem
Gross–Zagier and Kolyvagin established the forward implication: analytic rank at most one gives equality with the Mordell–Weil rank and finiteness of the whole Tate–Shafarevich group [31, 40]; see also the combined formulation in Skinner [65], §1. The Gross–Zagier formula relates a central derivative to the height of a Heegner point, and Kolyvagin’s derived classes control the Selmer group. A converse must produce analytic nonvanishing from Selmer information.
Cyclotomic Iwasawa theory gave rank-zero converses at good ordinary odd primes in the work of Skinner–Urban, under residual irreducibility and ramification hypotheses [66]. Skinner and Wei Zhang proved rank-one converse criteria through Heegner points and derived classes, under their respective reduction, residual-image and local hypotheses [65, 82]. Burungale–Castella–Skinner subsequently removed the auxiliary ramification conditions in the good ordinary, residually irreducible case for [13], Theorem 1.2.2 and the discussion following Remark 1.2.3. At good supersingular primes , Castella–Wan obtained the rank-one Selmer-corank implication for semistable curves [17], Theorem A.
Reducible residual representations call for a different Iwasawa-theoretic comparison. Castella–Grossi–Lee–Skinner proved the corank-zero and corank-one converses at good ordinary Eisenstein primes , with local isogeny character neither trivial nor cyclotomic [18], Theorem E. Keller–Yin treated potentially good ordinary reduction at odd Eisenstein primes without that character exclusion [39], Theorem B. These results enlarge the allowed residual representations while retaining conditions on the prime and its reduction type.
The CM theory includes substantial results at the prime two. Burungale–Tian proved the rank-one converse at good ordinary primes [11]; Burungale–Castella–Skinner–Tian included the small ordinary primes under an additional conductor hypothesis [10], Theorem A. Ressler and Yu obtained the small-prime good-ordinary result without that conductor condition; see Yu’s Theorem 1 and the attribution in Burungale–Castella–Skinner–Tian, Remark C [10, 81]. Burungale–Skinner’s combined ordinary formulation includes , and their good supersingular CM theorem also permits under an additional surjectivity condition on Selmer localization at [9], Theorems A.3 and A.1.
In corank zero, Burungale–Tian’s theorem covers every rational CM elliptic curve at every prime, without a reduction restriction [12], Theorem 1.1. Combined with Smith’s unrestricted distribution, it therefore already gives the analytic-rank-zero half for every CM twist family. Their Theorem 1.2 gives rank zero for almost all positive squarefree in the congruent-number family . Kriz’s preprint states a converse for curves with CM by the full ring of integers at the unique ramified prime of the CM field, and derives analytic densities for restricted CM families, including congruent-number curves [41], Theorems 1.1 and 10.17. Its dyadic pointwise statement concerns the CM fields and . Together with Smith’s distribution theorem, the stated dyadic converse would yield both half-density conclusions for quadratic twists of every curve with CM by either of these maximal orders. Theorem 1.1 treats the full 2-power Selmer corank for every rational elliptic curve, in both ranks zero and one.
Proof strategy
Fix the curve under consideration. We construct finite binary families of twists
{#eq:1} where is a finite set of distinct good odd primes and the are linear forms. The parameter at is 1. The families have the same local twisting classes at every fixed bad place. Their nonzero vertices have analytic order zero or one, according to the corank of the fixed curve. A scalar determinant coordinate attached to the relevant class and Selmer complex has a nonzero central specialization there, with uniformly bounded 2-adic valuation. Bounded integral interpolation then recovers nonvanishing at the missing vertex 0.
At corank zero, the interpolated class is a Beilinson–Kato class and its central specialization detects [38]. At corank one, it is a Heegner class over an imaginary quadratic field , whose height detects
An analytically nonvanishing companion makes the Selmer corank over equal to one. The argument retains integral Kummer conditions at 2 and every bad prime. The rational Iwasawa input is used in its stated scope; the uniform integral estimates at 2 are proved in Sections 13 and 12. The Heegner construction is related to Howard’s Kolyvagin-system framework [34]; the integral bounds required here are established with the local conditions and uniformity stated in this paper.
The finite families are built from modular coefficients. Waldspurger’s formula supplies the even-sign coefficients [77]. In odd sign, reductions of genus Heegner sums give weighted ternary theta coefficients at increasing finite precisions. A uniform lower bound allows a least normalized valuation to be selected. In the even case this is a minimum among the coefficients of one form. In the odd case it is a minimum over bounded-weight sequences as the precision increases; each finite collection of tests is then realized at a sufficiently high actual precision. A test attaining the minimum detects the required analytic order and gives a uniform upper bound. Weight-two Hecke traces turn these coefficient tests into contraction and deletion rules for finite configurations of primes.
There are two exhaustive residual cases. If is reducible, its invariant line is a rational point of order two. Graphs encode prescribed quadratic residue symbols between auxiliary primes. The resulting finite construction makes two separate coefficient tests nonzero together at every nonzero binary vertex. The odd argument fixes one companion field before the dimension grows. In this branch, the even construction first supplies the lower bound needed to normalize the odd coefficient test. If is irreducible, local Selmer equations give matrices over . Subtracting a correction determined by finitely many local types makes these matrices symmetric; their nullities still give a lower bound on the Selmer dimension up to a fixed cost. Removing one selected prime or pair of primes, or retaining it with either of two allowed local choices, gives three configurations. Their coefficient tests satisfy the same sum-zero relation as the corresponding matrix determinants. This relation does not identify the coefficient test with the determinant. We group the configurations into blocks and arrange that the matrix entries between distinct blocks vanish. A nonzero coefficient test bounds the matrix kernel, and hence the number of singular blocks in the finite configuration. Fixing a configuration with a maximal number of such blocks lets us arrange nonzero tests at every nonzero binary vertex. An additional alternating-matrix construction supplies a companion with uniformly bounded prime count and Selmer length.
Two parts of the argument have uses beyond this assembly. The interpolation algebra clears denominators through a bounded complex, so the required congruence precision is independent of the number of new primes. The graph construction treats the coefficient tests as polynomials in prescribed residue symbols and makes separately nonzero tests nonzero together. Its proof retains squared variables until after multiplying their highest-degree parts. Neither construction presupposes the desired nonvanishing at the base.
Organization. Section 2 records the rank implications and local conventions. Section 3 states the two arithmetic transfer criteria, the lower bounds needed to normalize coefficients, and auxiliary nonvanishing with prescribed local conditions. Sections 4 and 5 turn analytic nonvanishing into coefficient tests and prime-substitution identities. Section 6 develops the graph construction used in the rational-torsion converse of Section 7. Section 8 supplies the Selmer matrices for the irreducible converse in Section 9. The remaining main-text sections prove the arithmetic inputs: Section 10 establishes auxiliary nonvanishing, Section 11 develops the common finite-complex and binary transfer arguments, and Sections 12 and 13 construct the cyclotomic and Heegner determinant coordinates and prove their integral bounds. Finally, Section 14 assembles the unrestricted result and its density and finite-descent consequences.
Selmer ranks and local conventions
We first record the arithmetic implications used to pass between curves and to interpret the final analytic nonvanishing. They apply to every elliptic curve over .
Throughout, we use Mordell–Weil finite generation and the positive definiteness of the canonical height modulo torsion over number fields [49], Chapter IV, finite-basis theorem, Theorem 4.7, Remark 4.12, and Theorem 6.1].
Lemma 2.1 (Ranks and the forward implication). For an elliptic curve there is an exact sequence
In particular
If , then , the whole group is finite, and .
Proof. The finite Kummer exact sequences are
Their direct limit gives the displayed sequence; taking coranks gives the identity. The last assertion is the Gross–Zagier–Kolyvagin forward theorem [31, 40]; see also its unrestricted formulation in Skinner [65], §1.
Lemma 2.2 (Parity and change of curve). For every elliptic curve with root number ,
A rational isogeny preserves , and . For a quadratic field ,
Proof. The parity statement is the case of Dokchitser and Dokchitser [25], Theorem 1.4, equivalently Theorem 4.19]. At this is Monsky’s theorem [50]. Isogenies and their duals induce maps respecting every local Kummer condition; their composites are multiplication by their fixed degree. After rationalization these maps preserve ranks and coranks. Their -functions agree by isogeny invariance.
Restriction to and the two conjugation projections and give maps between and the sum of the Selmer groups of and over , with composites multiplication by . They respect local Kummer images, so rationalization gives the corank identity. An integral direct sum is not needed. □
Lemma 2.3 (The residual alternatives). The representation is reducible over if and only if . In that case it is an extension of two trivial -representations. Otherwise its image is or in . Quadratic twisting leaves this representation unchanged.
Proof. An invariant line over has a unique nonzero vector, which must be fixed. Conversely a rational point of order two spans an invariant line. Both that line and the one-dimensional quotient are trivial, since . The irreducible subgroups of are and . Finally a quadratic character reduces to modulo $2. □
The distinction here is irreducibility over , rather than absolute irreducibility: the cyclic cubic case is included. In the rational-torsion case we may first replace the curve by a rationally isogenous one with full rational two-torsion, if such a curve exists. Otherwise, for any chosen rational two-isogeny , both and are quadratic. Lemma 2.2 justifies this choice before any constructions.
Finite lengths and twisting data
All valuations above are normalized by , with . For a finite -module , its length is . The corank of a cofinitely generated discrete -module is the rank of its Pontryagin dual. Its quotient by the maximal divisible subgroup is finite. This finite quotient must be distinguished from finiteness of the original group.
A fixed support is a finite set of primes containing and all primes of bad reduction; it is enlarged explicitly when necessary. Write for the conductor of . A local filter specifies a real sign and unit squareclasses at for a variable odd fundamental discriminant prime to . The empty discriminant denotes the untwisted curve. We also write for twisting by a rational squareclass. For an odd prime , the signed prime discriminant is . Products of distinct are odd fundamental discriminants, with the empty product interpreted as .
For an odd fundamental discriminant prime to , the coprime-twist root-number formula is
[61] Section 11. Thus matching unit squareclasses at the primes dividing and opposite real signs give opposite functional signs: the values of agree, whereas . This verifies the sign condition when choosing the auxiliary partners below.
Put and . Frobenius is arithmetic, and at a good prime. For prime to , set
The residual identity, a transposition and a rotation of order three have , respectively. We call these split, simple and root primes; their weights are $1,1/2,0. Only types present in the residual image are used. Quadratic residue symbols written additively take the values , corresponding to .
Whenever its group is finite, write
This includes every twist already proved to have analytic rank zero or one. It also includes a base of Selmer corank zero, since its full 2-primary Selmer group is then finite. We make no whole-Sha finiteness assertion at such a base until analytic nonvanishing has been established.
Let be a positive real period and let be the positive magnitude of a nonzero anti-invariant period. Put
Valuations refer to this algebraic period-normalized value at a chosen place above 2. Changes of the fixed period, modular parametrization or isogeny affect valuations by bounded constants. All parametrizations send the cusp to the origin. Replacing (2) by the central value divided by a Néron real period of changes a finite valuation by : the differential changes by the usual twisting factor, and there are only finitely many twisting classes at 2.
Every uniform bound below specifies its fixed data. Constants may depend on the curve, a chosen fixed twist and finite local preparation; they may not depend on the subsequent cube dimension or the number of new primes. At finite precision, the sizes of primes realizing a specified configuration may depend on that entire configuration. A limiting construction will only be used through its finite realizations.
Lemma 2.4 (Finite descent and corank). Let be the quotient of by its maximal divisible subgroup. Then
Thus implies and .
Proof. The finite Kummer sequence at gives . The divisible subgroup is a direct sum of copies of and splits as an abstract abelian subgroup. Its 2-torsion dimension is its corank. Lemma 2.1 therefore gives the displayed identity. The Cassels–Tate pairing on is perfect. For an elliptic curve, the rational divisor defining its principal polarization makes the pairing alternating [46]. A finite abelian 2-group with such a pairing is an orthogonal sum of pairs of cyclic groups of equal order: choose an element of maximal order, pair it with an element detecting that order, split off their nondegenerate plane, and continue. Hence its 2-rank is even. A finite 2-group with zero 2-rank is zero, proving the last assertion. □
Arithmetic estimates for finite twist families
The pointwise converse will follow by placing the given curve at the zero vertex of a large finite family of twists. We arrange analytic nonvanishing at every other vertex, together with an upper bound on a normalized valuation. The estimates in this section explain which normalization is needed and what must be uniform as the family grows. Their proofs occupy Sections 11, 12 and 13.
Fix of conductor and retain the local weights , finite Sha lengths , and period-normalized values of Section 2. In particular is defined at a corank-zero base and at every twist already known to have analytic rank zero or one. All valuations satisfy .
A binary family has the form
where the new primes are distinct and prime to , and each is linear. The old factors of remain at every vertex; no new factor is present at zero. We will hold the required local squareclasses fixed while grows. Both the set of primes and their sizes may depend on .
Here is the common transfer mechanism. For families satisfying the hypotheses of the transfer theorems below, the arithmetic proofs attach power series
to the vertices, using a common family of cochain models and compatible trivializations of the determinant lines. The differences of these coordinates therefore have a fixed meaning. Their constant terms detect the central value in rank zero or a Heegner point in rank one. If the analytic nonvanishing sought at the base fails, then . The nonzero vertices instead satisfy with independent of . The denominator analysis proves that, for every fixed integer and sufficiently large , some satisfies
Taking contradicts these two assertions. The work is to obtain this congruence with a dimension threshold independent of the number of new primes. Section 11 does so after the new local blocks have been eliminated from the Selmer complex: a clearing factor for the remaining bounded complex makes finitely many coefficient congruences sufficient. Only that clearing factor needs a uniform pole bound; the numerator may involve the whole prime set.
Transfer of a central value
For a twist with nonzero central value, put
The subtraction records the local contributions of the ramified primes and the finite Selmer contribution. In the cyclotomic proof, Kato’s class and the invariant line at the real place form the determinant coordinate . Its central valuation differs from by a fixed bounded amount. Thus an upper bound on is exactly the arithmetic input to the preceding contradiction.
Theorem 3.1 (Cyclotomic missing vertex). There is a constant , depending only on , with the following property. Fix an odd fundamental discriminant , prime to , with . Suppose that for arbitrarily large there is a family
where consists of distinct primes outside , , and every has the same sign and the same local squareclasses at . Assume that a constant , independent of , satisfies
If is irreducible, assume also that some , independent of , satisfies
Then and
The necessary dimension may depend on , its finite Selmer group, and the bound in (5); does not.
The final constant bounds the specialization error. The finite Selmer group of the base and, in the irreducible case, the bound on affect how large a cube is needed, but not this transferred error. We shall construct the nonzero vertices so that ; since , this supplies the hypothesis on .
Transfer of a Heegner point
In corank one the coordinate comes from a Heegner point. The family must also carry a companion twist whose central value is nonzero. We first specify the two Heegner constructions whose indices enter the estimates.
Let , where is an odd fundamental discriminant and every prime dividing splits in . We omit the two fields with extra units and, if has complex multiplication, its CM field. Fix a nonzero modular parametrization , translated so that the cusp maps to the origin, and compatible orientations of the Heegner points , where is the ring class field of conductor . The Manin–Drinfeld theorem makes the images of cusp differences torsion [26]. Since the modular curve and parametrization are fixed, one integer kills all these images and removes cuspidal ambiguities.
If is a primitive ring class character of conductor , write for the character sum of . Equivalently, twist over and trace to . If this latter group has rank one, is the valuation of its index on the free rank-one lattice. Passing between this lattice and the rank-one lattice of the contributing curve among and changes the index by a bounded amount: restriction and addition or subtraction of conjugates have composites multiplication by .
We use two choices of data:
genus data: , , , , fixed;
ring data: , , .
The character in genus data is unramified. In ring data, restriction at each has conductor exponent one: this follows by pulling the quadratic character back under the local norm. Thus these are the asserted primitive ring class conductors.
Proposition 3.2 (Comparison of the two Heegner constructions). For either set of data,
with a fixed nonzero constant determined by the parametrization and height conventions. In particular, a simple zero of the product gives total Mordell–Weil rank one and finite Shafarevich–Tate groups.
Suppose has analytic rank one, and use genus data with a fixed partner of analytic rank zero and ring data with a possibly varying , where . Then
Here the two points are formed in their respective quadratic fields. If instead has analytic rank one and , genus data give
The genus construction varies the quadratic field while holding fixed. It is the construction detected by the odd coefficients below. Interpolation instead uses the ring construction: within one binary family the field is common to every vertex. Equation (7) converts a genus-index estimate and an even central-value estimate into the ring-index estimate needed for transfer. The field may change when a new family is chosen.
Theorem 3.3 (Heegner interpolation). Fix and an initial discriminant . Consider families , , obtained from by adjoining new prime factors with linear activation functions on . No old factor is removed; the signed factor belonging to an odd prime is . Suppose the local twisting classes at are constant. For each family let define an imaginary field satisfying the standing Heegner conditions, with for every . Each new prime must either split in or satisfy .
Assume that the following bounds are fixed independently of :
(i) a bound for ;
(ii) a bound for the length of the finite quotient of by its divisible subgroup;
(iii) a constant .
Assume this base Selmer group has corank one. Suppose, for every , the product has a simple zero and
Then, for sufficiently large , the base product has a simple zero. The dimension threshold depends only on the fixed base and the displayed bounds, not on the number or sizes of the new primes. The field may vary with the family.
In these ring data, the relevant normalized quantity is
We use the theorem to prove nonvanishing at the base. In our applications, the genus-index and even central-value estimates will give at every nonzero vertex. Subtracting the nonnegative Sha lengths supplies the required upper bound.
The finite-quotient condition allows two uses of the theorem. The rational-two-torsion argument fixes before increasing . The irreducible argument lets vary and verifies the following criterion.
Lemma 3.4. The finite-quotient bound in (3.3) holds if belongs to a fixed finite collection. It also holds if is fixed with Selmer corank one, the curves have analytic rank zero with bounded , and is bounded.
Lower bounds and the coefficient constructions
The transfer criteria ask for upper bounds at a well-chosen set of twists. To find those twists, we first need lower bounds on all the normalized coefficients under consideration. In even sign a least normalized valuation can then be selected, and a coefficient attaining it gives both analytic nonvanishing and an upper bound with a constant independent of the prime support. In odd sign the coefficients come at increasing finite precision: the minimum is defined through bounded-weight sequences, and each use is realized on a finite collection of indices.
For the even coefficient construction, Section 4 relates twice a coefficient valuation to up to a fixed constant. For the odd construction it relates the coefficient valuation to the genus index. The following three lower estimates supply the normalizations, with different roles in the two residual cases.
When is reducible, the cyclotomic argument supplies the even lower estimate directly. By Lemma 2.3, the representation is then an extension of two trivial modules.
Theorem 3.5 (Cyclotomic lower bound). Suppose that is an extension of two trivial -modules. There is a constant such that every odd fundamental discriminant prime to with satisfies
The constant is independent of the number and sizes of the primes that divide .
When is irreducible, the genus construction supplies the lower estimate for either sign. With an analytic-rank-zero fixed partner, it bounds the odd genus index. With an analytic-rank-one fixed partner, (8) turns it into the even central-value bound.
Theorem 3.6 (Genus bound). In genus data, suppose the product in (6) has a simple zero and is irreducible. Then, uniformly in ,
In proving the uniform estimate, one may omit the finitely many for which meets nontrivially.
The remaining case is the odd coefficient construction with rational two-torsion. Here the genus estimate just stated is unavailable. We use instead the following ring estimate, whose residual representation is unrestricted.
Theorem 3.7 (Ring bound). In ring data, suppose the product in (6) has a simple zero, every splits in , and , where counts distinct prime factors. Then
There is no irreducibility assumption on .
The passage from this ring estimate to an odd genus estimate is part of Proposition 7.7. The even coefficient construction first provides, for each already rank-one twist in the positive filter, a companion parameter satisfying the ring-bound hypotheses: it is negative, odd fundamental, coprime to , a local square at every prime of , and defines a nonexceptional imaginary field. Its prime count is bounded, and the companion obeys and
Substitute this upper bound into (7) and the ring lower bound. Since and is bounded, the result is
Only then is the odd coefficient system normalized in the reducible branch. Thus the lower-bound dependencies are
irreducible genus bound even and odd coefficient bounds,
reducible cyclotomic bound even coefficients, then bounded companions,
ring bound and those companions reducible odd coefficient bound.
The reducible odd normalization is therefore available after the even companion construction. The all-split hypothesis belongs to the ring lower bound used here. The Heegner transfer criterion retains its stated alternative for new primes with .
Auxiliary twists in prescribed local classes
The coefficient constructions also require an auxiliary twist with specified local classes. For even sign the number of its prime factors must remain bounded as the local conditions vary. The following nonvanishing result supplies both kinds of partner; its proof is given in Section 10.
Proposition 3.8 (Auxiliary nonvanishing). Let have conductor , and let be a finite set of primes containing the prime divisors of . Prescribe a real sign and a unit squareclass for each . Suppose that these data are realized by an odd fundamental discriminant, and that twists in this filter have root number . For every finite set of primes there are odd fundamental discriminants of arbitrarily large absolute value such that
Moreover:
(i) If , they can be chosen with and .
(ii) If , they can be chosen with , so the central zero is simple.
The bound five in (i) is independent of , , and the prescribed classes. In either case, every prime factor of can be required to exceed any previously fixed bound.
Coefficients that detect analytic rank
The interpolation theorems require nonvanishing with a uniform valuation bound at the nonzero vertices of a cube. We encode both requirements in one binary coefficient: it is one when a modular coefficient has the least normalized valuation. Waldspurger’s formula supplies the even-sign coefficients; reduction of genus Heegner sums supplies the odd-sign coefficients at finite precision. We prove their modular and arithmetic properties separately before choosing this normalization.
Filters and prime weights
Fix and a finite set containing the primes of and the ramification set of . Additional fixed primes may be included. A filter consists of a sign and unit squareclasses at the primes in , imposed on positive squarefree integers prime to , so that
is an odd fundamental discriminant and the functional sign of is constant. Multiplication by squares of units preserves the local conditions. We impose these conditions on all Fourier indices, not only on squarefree ones. Projections onto the required unit squareclasses are finite combinations of quadratic coefficient twists and coprimality projections; they enlarge the level only at .
For , the action on has the following three types:
| type | weight | |
| split | ||
| simple | an element of order | |
| root | an element of order |
Table 1.
Thus . The fractional part of is constant on a filter: it is determined by the quadratic discriminant character of the residual representation. For an arbitrary squarefree set of primes we use the same additive weight. Signs are encoded by , so that .
We use the ordinary theta multiplier cubed in weight . A finite idele unit character and its Dirichlet character are related by the reciprocal convention: if a finite Schwartz function obeys , its scalar classical character on the lower-right entry is associated to . All valuations satisfy .
The even coefficient system
Proposition 4.1 (Even coefficients). Fix a nonempty filter with even functional sign. There are a holomorphic weight- cusp form
of level supported on , after enlarging exponents at those primes, and finite-order characters of -power order, with quadratic, having the following properties.
(i) The coefficients vanish off the filter and, for ,
As usual a coefficient with a nonintegral index is zero.
(ii) After normalizing at one nonzero squarefree index, every squarefree coefficient in the filter is a rational number times a root of unity of -power order. For a fixed nonzero squarefree index ,
whenever .
Equivalently, there is a constant , independent of , such that
In particular if and only if .
(iii) After the fixed auxiliary exclusions described below, there is a constant such that, at every nonzero squarefree coefficient,
The constants depend on the fixed curve, filter and auxiliary choices, and not on or its number of prime factors.
Proof. We first choose the packet member and its local characters. We then establish the rationality up to phase needed for valuation comparisons, apply the coefficient-square formula, and deduce the uniform lower bound from the interpolation estimates.
Use the Shimura packet attached to the integral-weight newform of . In the classical convention its positive Fourier index tests the twist by , hence the curve . The packet and Fourier coefficient results of Waldspurger [76, 77] apply to the cuspidal packet orthogonal to unary theta series. Their local uniqueness and global multiplicity assertions are summarized in [78], Sections 3.1 and 5.1. A nonzero central value in the filter exists by Proposition 3.8. It selects a globally occurring packet member with nonzero Fourier functional at that index. At good odd primes choose spherical vectors; at infinity choose the holomorphic vector of weight .
We explain the choices at a prime of . Let be a nonzero local Fourier functional and start with a vector on which it is nonzero. Average upper-unipotent translates against the inverse additive character of frequency . If the averaging compact subgroup is sufficiently large, its translate by a unit scale can contribute only when is sufficiently close to 1. The surviving scales are consequently small neighborhoods of 1 and . Local constancy then permits projection onto a unit character which matches the forced action of , without killing the Fourier value: the contributions of the two neighborhoods add. Such a character may be chosen to have 2-power order. Indeed only its parity is prescribed, and the 2-primary quotient of the unit group realizes either possible parity. Upper averaging at integral frequency gives period one, and lower-unipotent invariance holds at sufficiently large depth. These vectors therefore give a classical form at a level supported on . The parity conditions combine correctly by automorphy. The subsequent squareclass projections preserve its character. Write that character as .
In the theta-multiplier convention the good eigenvalues of the packet are times those of . Set . Then is quadratic and the weight- Hecke formula gives (4.1).
We need more than algebraicity of the coefficients. After normalization at one squarefree index, their nonzero squarefree valuations must be integers, so that a strict valuation inequality gains a full factor of 2, even when the character field is ramified. We prove this by showing that every such coefficient is rational up to a phase of 2-power order. At the fixed level, the weight- cusp space with character has a basis over the field of character values, and coefficient conjugation changes to its conjugate [64], Section 2, Lemma 4(3)–(4), pp. 658–659. The good Hecke equations and the vanishing of coefficients off the filter are linear equations over . In a finite-dimensional space, finitely many of these equations cut out their full common kernel. The constructed complex vector has a nonzero coefficient at a squarefree index of the filter, so this coefficient functional is nonzero on some algebraic vector in that kernel. Choose such a vector. It remains orthogonal to unary theta series: at good primes their eigenvalues have absolute value , whereas the prescribed eigenvalues have absolute value at most by Hasse’s bound [60], Section 2, Lemma 2.1, and Corollary 5.2.
We use Waldspurger [77], Corollary 2, pp. 483–484 to compare Fourier coefficients. Its hypothesis (H1) holds for every nonzero classical eigenspace used here, by Proposition 2 of that paper. The final paragraph of the corollary’s proof removes (H2) when the indices lie in the same local squareclass at every level prime. Our filters retain this condition at 2 as well as at the odd primes.
Let be an automorphism of acting by an odd power on the 2-power characters, and put . The coefficient conjugate and coefficient twist have exactly the same character and good Hecke system, since
They may be compared at a common level supported on , in the same good Hecke eigenspace , and both have a nonzero -coefficient. Let denote the th Fourier-coefficient functional. Waldspurger’s corollary applies to every and gives
where is independent of . If , then . Otherwise choose with and factor the identity as
The polynomial ring on is an integral domain, so one factor vanishes identically. Thus the two coefficient functionals are proportional on the whole space, including oldvectors and linear combinations. In particular the two forms have the same ratio of their - and -coefficients.
It follows, for , that
The local squareclass conditions imply for a value in the group of values of . Consequently for every , so . This proves the phase assertion.
With our characters and period normalization, its identity of coefficient squares is
Here has valuation zero; the factor in the classical central-value comparison is incorporated in . The local unit squareclasses at agree; at a good prime the spherical squarefree factor is one at both valuations zero and one [77]. There is consequently no extra product over the prime factors of . Taking valuations gives Equation (12), hence Equation (13). The same identity, compared with the nonzero coefficient at , gives the asserted equivalence of vanishing. The corresponding rational-square statement for central values is Vignéras’s rationality theorem, recalled in Waldspurger [78]. If is an extension of trivial modules, combine Equation (13) with Theorem 3.5. If is irreducible, choose a fixed odd fundamental discriminant of opposite infinite sign, of analytic rank one, whose local characters agree with those of at . Proposition 3.8 supplies such a choice. Exclude its prime factors from the filter and choose its support to avoid the finitely many exceptional genus fields. The reverse genus comparison in Proposition 3.2 and Theorem 3.6 give the same lower bound. These are fixed exclusions and constants, proving Equation (14) in both cases. ∲襪
Odd coefficients from reduction of Heegner traces
The odd construction combines reduction of Heegner points with the ternary quadratic forms attached to definite quaternion orders. We use Deuring’s reduction correspondence in the oriented form of Cornut–Jetchev, together with the Eichler-order and ternary-form description of Jetchev–Kane [21, 24, 37]. The weights below retain the genus character and the local orientations, so that the resulting Fourier coefficients recover the reduced genus sum at finite precision.
Fix now a nonempty filter of odd functional sign. Choose an odd fundamental of opposite infinite sign, with , whose local characters agree with those of at . Exclude its primes. We may choose and include in its support a prime outside the exceptional imaginary quadratic discriminants. Thus all genus fields below have only the units and avoid the CM field of . Write
The point is the character sum of the conductor-one Heegner point for . We fix the modular parametrization with , so the constants in its Hecke and Atkin–Lehner relations are torsion. At a simple zero of , its free line is that of , up to the fixed-degree identifications in Proposition 3.2. Below, the product derivative means the derivative at of .
Proposition 4.2 (Odd coefficients under a genus-index bound). Assume that a constant satisfies
for every in the filter with a simple zero. There are arbitrarily large precisions , good odd primes outside the fixed support, and holomorphic weight-3/2 forms , of level supported on , with the following properties.
(i) The additional filter at is
where is the action of a complex conjugation. In particular .
(ii) After a fixed harmless decrease in the working precision, the forms satisfy Equation (4.1) modulo that precision, with characters of 2-power order and quadratic ratio. Their squarefree coefficients have the form of a 2-power phase times an integer modulo .
(iii) If a coefficient is visible, meaning , then has a simple zero and
For every admissible the coefficient lower bound is
when the product derivative is nonzero; if it is zero, the coefficient is zero modulo . Here are independent of .
(iv) A fixed squarefree witness in the original filter is admissible at every chosen and has bounded as .
For irreducible , the hypothesis is Theorem 3.6. For rational two-torsion, the positive filters used in the pointwise argument have this bound by Proposition 7.7, using only the even source. An arbitrary twist is first absorbed into the fixed curve, so only these positive filters are needed there.
Proof. The proof has three stages. A reduction map detects one fixed nonzero genus point at arbitrarily high precisions. Weighted theta series then supply holomorphic forms with the required Hecke recurrence. Finally, an exact comparison with genus sums transfers point divisibility and the assumed lower bound to their squarefree coefficients.
The reduction map and a detecting sequence. Choose a nonzero integral row with . Under Equation (17), finite-field Kummer theory gives
The last identification is evaluation at arithmetic Frobenius squared. Put . This map has Frobenius sign .
Choose in the original filter with a simple zero, using Proposition 3.8. A fixed multiple of its genus point is a nonzero point on the rational curve . Its division cocycle has open translation image on the kernel of the Tate action, even after fixed finite auxiliary fields have been adjoined. Here is the relevant argument. The translation image is a Galois-stable -submodule of the Tate module. Its rational span is nonzero: otherwise the point’s Kummer class would factor through the Tate image; that image has a central nonidentity scalar, which kills its rational first cohomology, contradicting Kummer injectivity. The rational Tate representation is irreducible by Serre [62], since . This includes curves with geometric complex multiplication, whose nonreal endomorphisms are not defined over . The scalar Lie-algebra assertion of Bogomolov [5], followed by local logarithm and exponential, supplies the required nonidentity scalar. The nonzero stable span is therefore the whole Tate module. The translation image consequently contains a full lattice. Passing to a finite-index subgroup preserves this fact.
Take an element acting as on and as complex conjugation on the fixed quadratic character fields, and modify it by such a translation. On the twisted module for , its action is ; at its square the cocycle includes . Projection by is twice the corresponding nonzero row. We can therefore arrange nonzero detection with a fixed finite valuation. Chebotarev, applied at successive finite precisions to this fixed compatible Galois element and its division data, supplies arbitrarily large primes satisfying Equation (17), also with , and the asserted bounded detection. A congruence on the target curve’s Frobenius is all that is required. The supersingular objects used next are points of the modular curve, not an additional reduction hypothesis on .
Supersingular values and local weights. Let be the quaternion algebra ramified at and infinity, and let be an Eichler order of level . Supersingular pairs on are parametrized by
They are defined over . The reduction and Eichler order descriptions apply to arbitrary prime to ; see [37], Sections 1.1–1.2 and 2.5. For a representative write and let be the reduced modular-parametrization value followed by . The cusp differences have torsion image by Drinfeld [26], Section 1. Multiply the parametrization once by a fixed integer killing the cuspidal constants in its Hecke and Atkin–Lehner relations and the bounded-degree torsion occurring in genus sums. This choice is independent of .
The resulting has good Brandt eigenvalues , level Atkin–Lehner eigenvalues for , and eigenvalue for the right uniformizer at . These identities hold modulo . Choose integer representatives of its values when making an ordinary characteristic-zero theta series.
On , the trace-zero subspace, use the positive definite quadratic form . Our aim is to make the squarefree coefficient equal, modulo and up to a phase of -power order, to a fixed integer multiple of
We will identify its terms with optimal embeddings of . Their local orientations give several copies of the genus sum. The weights must make those copies contribute equally, while their unit-scaling law must give a scalar modular character. The weighted trace calculation below will determine the exact multiplier.
Define a finite compactly supported, locally constant weight as follows; a value not satisfying a listed condition is zero.
(a) Away from , require order integrality and put .
(b) At , require to be integral and to be a split fundamental unit squareclass. At , require the split fundamental unit type and its order embedding. The cyclic Eichler level line selects one of the two eigenroots of ; weight it by a -power unit character with
If , use the selected summand of , whose eigenvalues and differ by the odd unit . Scaling by an odd sends this operator to and preserves that summand; its selected root for is . Thus the weight changes by , even when the two eigenvalue parities interchange. If , impose only the stated integrality restriction.
(c) At require integral with determinant of valuation one. Its reduction is nonzero nilpotent. On that orbit use the sign which transforms by under conjugation by . This sign exists because the stabilizer of a nonzero nilpotent has the form and determinant . Scaling by a unit changes this sign by .
(d) At require integral unit norm and the unramified quadratic type. Choose a basis of the trace-zero line in and weight the nonzero residue on that line by its Legendre symbol relative to the basis.
All these conditions may be imposed at finite depth. They are stable under unit scaling. Right order-unit conjugation changes by the inverse of , exactly canceling the norm character below. At , order units commute on the residue field, while a uniformizer negates its trace-zero line. Since , the latter weight changes by .
Write for the finite unit-scaling character, so that . Define the classical Dirichlet character by
The associated finite idele character restricts to on the ramified unit groups, in accordance with our reciprocal convention. Both characters are even. Indeed their value on is
by the even functional sign of . The characters have -power order.
Transformation and good Hecke relation. Choose a fixed positive integer divisible by the orders of all unit groups which occur. Such a choice is uniform: a unit group of a rational definite quaternion order has bounded order. Form
The norm character is trivial on rational , since its rational reduced norms are positive. The right transformation just checked makes Equation (20) independent of the representatives.
For scalar modularity, apply the Weil representation of to and the Gaussian at infinity [80]. At a finite prime, with the additive character of conductor , the local formulas are [58], Section 4.3, pp. 1965–1966
Here , , and is the Weyl element. Integral fixes , since is integral on its support. Choose a lattice of translation invariance for ; its dual contains the support of . For sufficiently large , the form is integral on that dual lattice. Thus fixes , and conjugation by proves invariance under sufficiently deep lower unipotents. This argument also works at and at arbitrary finite character depth.
Compare with the threefold ordinary-theta reference line, using the same additive character and lifts. In a presentation , the quadratic form is . The ratio of its diagonal Weil factor to the reference factor is
This calculation holds also over . The remaining local diagonal scalar is therefore . Upper unipotents, diagonal units, and sufficiently deep lower unipotents generate the required local subgroup: explicitly, for a unit,
Choose the depths also to serve the ordinary-theta reference line and the character conductors. The central ambiguity of the metaplectic lifts cancels in the comparison, since both representations have the same odd central action. At the chosen depth, is congruent to modulo the character conductor, so the local right eigenvalue is . Classical restriction uses the inverse finite component and consequently gives the character . Conjugation by preserves and commutes with the Weil action, so all summands have this same level and scalar character. At good odd primes the lattice is spherical. The Gaussian gives weight , and positive definiteness gives holomorphy at every cusp. Thus is a classical form of level supported on .
At a prime , the neighbor relation has Hecke eigenvalue
The factor comes from the reduced norm of a Brandt neighbor and from scaling at the other primes.
The multiplicities can be read directly in a matrix order. Put . If is primitive and is divisible by , its nonzero nilpotent reduction has a unique invariant line; in a basis adapted to that line the other off-diagonal entry is divisible by , so exactly one neighbor makes integral. If is integral, its reduction has invariant lines, except that a zero reduction has a further lines. These are precisely the middle and last terms of the weight-3/2 Hecke recurrence. The factors are the orbit-stabilizer factors making the Brandt transfer valid. Since the eigenrelation for holds modulo , so does this relation for .
Put . The weights force to be divisible by . Before the final filter projections, the series with coefficients is the same weighted theta sum for . Its ternary determinant changes by , whose squareclass is ; hence the scalar character acquires . Substitution of in the good-prime recurrence leaves unchanged. Now apply the filter projections. Extraction of these multiples changes the character to , while is the good eigenvalue character. Their quotient is quadratic. The neighbor relation therefore becomes (4.1). Every operation has level supported on .
The weighted trace identity. The form and its recurrence are now constructed. We next identify a squarefree coefficient with the reduction of the original genus sum, keeping the orientation multiplicities and unit stabilizers explicit.
For a squarefree in the filter, put . An counted in (20) is exactly an optimal embedding of the full order into , by sending to . At 2 the generator is , which is why the integrality condition above is necessary. At a split level prime there are two choices of cyclic level orientation, and at there are two choices of unramified quadratic orientation. There is one local orbit at the remaining primes. The split-level assertion follows by decomposing a stable lattice into its two idempotent summands: a cyclic quotient of order forces all of that quotient into one summand. The division-prime assertion follows from the two reduced-norm parity cosets. At primes outside , stable lattices are the fractional ideals of the quadratic order, giving the single local orbit.
Fix one orientation tuple and a rational embedding . The corresponding global optimal-embedding orbits are parametrized by . Explicitly, once one adelic representative is fixed, the representatives are with ; changing by or gives exactly the same class. Because commutes with , the Schwartz factor is constant along this class-group orbit. Its remaining relative weight is
the unramified genus character. This computation establishes the weighted identity, rather than merely an unweighted correspondence.
For completeness the stabilizer factor is also exact. Each orbit of embeddings in a given has elements. Thus its contribution after division by is one half of the corresponding class-group term. These are oriented embeddings, not conjugate pairs: and have opposite orientations at and cannot be conjugate by an order unit, whose residue conjugation on is trivial. CM reduction at the inert prime identifies these terms with the reductions of the Heegner points and commutes with ideal action; the cyclic subgroup carries the selected level orientation. Fixing the residue-field identification at retains its orientation in the reduction-to-embedding correspondence of Deuring [24]; see [21], arXiv version 1, Theorem 3.1, Corollary 3.2, and Section 3.6, Remark 1 and [37], Sections 2.4–2.6 and 4.1]. The former remark explains that forgetting this identification identifies conjugate embeddings. Here both orientations remain in the theta sum.
Choose the initial orientation to agree with the Heegner point defining . The constant weight on its orbit is a phase , since all its local weights are units. Changing orientation at multiplies the Schwartz factor by , and multiplies the norm-character-weighted parametrization value by the same sign. At both signs are , since . Hence every one of the orientation tuples contributes the same term. With the fixed multiplier already incorporated into , the comparison is consequently
The initial basis at and initial orientation affect only . Formula (4.11) specifies the normalization using a character sum, with no class-number denominator. All rational multipliers are fixed independently of and .
If the product derivative is zero, Gross–Zagier makes torsion. The fixed multiplier kills it: genus sums and their twist comparisons are defined over biquadratic fields. The torsion of a fixed elliptic curve in degree at most four is uniformly bounded, as one sees by reducing its prime-to-residue-characteristic torsion at two fixed good primes of distinct residue characteristic; the residue degrees are at most four. Thus the coefficient is zero at the stated precision. If the derivative is nonzero, write the point against the free twist line. Division by on that line implies the same divisibility after reduction and , up to the fixed-degree comparison and the fixed multiplier. Conversely, a visible image bounds above by its visible valuation plus a fixed constant. Equation (4.11) proves Equations (18) and (19), using Equation (16). Gross–Zagier–Kolyvagin then gives the simple zero and finite Sha when the coefficient is visible. The detecting construction for supplies the final assertion. Fixed denominators or multipliers only reduce by a fixed amount; reindexing the precisions gives the formulation stated.
The least normalized depth
We now minimize the coefficient valuation after subtracting the prime weight . This normalization is fixed before any prime array is chosen. Attainment of the minimum will detect analytic rank and bound the finite Selmer contribution; for the odd source this is interpreted through the bounded-weight sequences and finite realizations below.
For the even source, first rescale so that at one nonzero squarefree index. Its nonzero squarefree valuations are then integers by Proposition 4.1. Set
with off the filter. The minimum exists: the lower bound is uniform, visible valuations are integers after normalization, the fractional part of the weight is fixed, and a nonzero witness exists.
For the odd source fix a nonprincipal ultrafilter on its sequence of precisions. Consider all sequences of admissible indices for which is bounded and is visible on an ultrafilter-large set. For each such sequence, its normalized depth has a lower bound in a discrete set. Let be the least depth attainable on an ultrafilter-large set. This least depth exists and is attained: the uniform lower bound bounds it below, discreteness gives a least value, and the fixed witness bounds the possible minimum above. For a bounded-weight admissible sequence , define
and set otherwise. We suppress the sequence notation when discussing finite configurations; each application uses their simultaneous finite realizations, as proved below.
For the odd source, a least weight supporting a unit symbol is minimized among the same bounded-weight sequences that attain depth . After restricting to an ultrafilter-large set, the weight of such a sequence may be held constant, since it lies in a bounded subset of . The set of these constant weights is nonempty and has a least element . If unit symbols of weight below occurred on an ultrafilter-large set of stages, choosing one such index at each stage would contradict the definition of .
Lemma 4.3 (Uniformity at a fixed weight bound). For every fixed , on an ultrafilter-large set of sufficiently high precisions,
for every admissible index with , with valuations truncated at the working precision. Any finite list of stabilized symbol assertions of bounded weight is realized simultaneously at such precisions. The definition allows arbitrarily many weight-zero root factors.
Proof. If the first assertion failed on an ultrafilter-large set, choose a violating at each of those levels. Their weights are bounded by and their normalized depths lie in a fixed bounded discrete range. After selecting one depth on an ultrafilter-large set, they contradict the definition of . For a finite collection of stabilized bits, intersect their ultrafilter-large realization sets. A bound on weight, rather than on the number or size of primes, is all that this argument uses. At weights beyond the chosen bound, the truncated lower estimate of Proposition (12) still supplies any prescribed bounded-depth divisibility test once the weight is sufficiently large. No claim of one finite level valid for all unbounded weights is made.
Proposition 4.4 (Detection by a unit symbol). For either coefficient source, implies the prescribed analytic order: zero in the even case and one in the odd case. At every such index,
The constants are fixed after choosing the original curve, filter, coefficient normalization and genus partner. For the odd source they are independent of the detecting prime and the working precision, and of the number and size of active primes. Statements about its symbols are used through finite realizations as in Lemma 4.3.
Proof. In the even case substitute into Equations (13) and (14). In the odd case use a precision greater than the finitely many tested depths and apply Equations (18) and (19). The constant is fixed and the comparison constants are uniform, proving the first inequalities and the bound on . At these indices the analytic order is established, so Gross–Zagier–Kolyvagin gives the same algebraic rank and finite Sha [31, 40]. The exact sequence for 2-Selmer then bounds its dimension by that rank, the fixed bound on rational 2-torsion, and the 2-primary length of Sha. This proves the final assertion without making any finiteness assumption at an index where the analytic order has not yet been detected.
Trace identities and prime substitutions
We now turn the least-depth coefficients into rules for replacing, contracting, and deleting primes. The input is a coefficient system from Section 4, with fixed support , characters , expansion , minimum depth , and symbol , extended by zero off its filter. The coefficient lower bounds and the rational leading units proved there are essential hypotheses. A unit symbol has the analytic interpretation of Proposition 4.4.
Put . A prime outside is called split, simple, or a root according as its action on is the identity, a transposition, or an element of order three; its weight is respectively , , or . The same terminology will be used for Galois elements, according to their image in . A nonroot is an element of either of the first two types. A finite set of primes and its squarefree product will occasionally be denoted by the same letter. Thus means deletion of from , not deletion of a prime power from an arbitrary integer.
An oriented Frobenius label in an extension of means a rational arithmetic Frobenius lift in , with a chosen place and its residual image in retained. At a simple prime this is the lift of the transposition, not only the Frobenius of the residue-degree-two place of .
For the odd source, fix the finite operator patterns, their weight bounds, and all integer divisions required by the intended tests before choosing an actual stage. The primes realizing those patterns may depend on the stage. The lemma below distinguishes the sharp estimate on a prescribed bounded range of squarefree weights from integrality at every Fourier index. Both are needed to form the integral weight-two trace lattice. At a chosen stage the detecting prime belongs to , and the level, coefficient field, and characteristic-zero lift are fixed. Recurrences hold modulo the working precision before division.
Normalized coefficient operators
Let be a finite set of nonroot primes outside . Write
and define
The factors commute. We say that has matching parity if is integral, and opposite parity otherwise. Equivalently, has, or does not have, the fractional part prescribed by the filter. Consequently or , respectively.
These operations increase the level at a newly introduced only to exponent one. In fact, changes the character by and raises the level by , while on that raised level . We denote the resulting character of by . At a good prime the coefficient recurrence remains
For the odd source, Equation (5.2) is read modulo when is the working recurrence precision before normalization. As usual, a coefficient with nonintegral index is zero. The equality of the good eigenvalue before and after can also be seen directly: its new middle character contains , which cancels the factor arising from the change of coefficient index.
Lemma 5.1 (Coefficient bound and first shell). Write an index prime to uniquely as
and put .
For the even source, has integral coefficients and satisfies the following assertions at every index. For the odd source, fix bounds on and on the squarefree weights to be tested, and fix an integer . There is a larger cutoff and an ultrafilter-large set of arbitrarily high stages at which is integral at every index, the assertions below hold whenever , and
These choices are uniform over prime realizations with the prescribed weight bounds. The coefficient is zero unless belongs to the filter. Within the range just specified, it satisfies
At a split prime , the factor contributed by the difference operator, after removing its character phase and one factor of , is
This is independent of the exponent of in . At a simple prime , (27) holds for the first shell, that is, when .
Proof. The good-prime recurrence of Section 4 expresses every relevant coefficient in terms of the squarefree coefficient . After removing the factor , the multipliers for powers are determined by
If , the Legendre symbol in is zero. The recurrences at different primes commute and their multipliers multiply.
For the difference operator contributes , with . Here , so is even. Modulo 2 the sequence alternates between 1 and 0, and every such difference is odd. For we have ; now and are odd and every is odd. The difference is therefore even.
For the more precise assertion at a split prime put and . Since is rational over , . If , the recurrence gives
Every is even, whence . Directly,
Thus for every . For a simple prime this last formula is still the defining calculation at , which is all that will be required.
Put . Whenever the sharp squarefree bound is available, the factors just computed give at least one further factor of for each . Hence
For an allowed squarefree class this expression is integral, since is integral. Its only possible negative value before this parity condition is imposed is , so it is nonnegative. For the even source the sharp bound holds at every squarefree index, which proves all-index integrality and the displayed estimate.
For the odd source, let bound . Every prime in is a nonroot, so and the normalizing exponents are bounded. Proposition 4.2 gives a constant such that at every admissible squarefree index
This includes the case of zero product derivative, when the coefficient vanishes modulo $2^M$. Choose above the prescribed tested weights and so large that for all permitted . By Lemma 4.3, on an ultrafilter-large set of stages the sharp squarefree bound holds simultaneously for every with . Take an arbitrarily high stage in this set, with precision exceeding all the fixed normalizations, the first-shell tests, and , and such that for every permitted $U.
The recurrences and operator identities for this source hold modulo the working precision. Their multipliers are integral, so iteration through any square exponent leaves errors in the same precision ideal. After dividing by , the possible error has valuation at least . Thus the sharp calculation above is valid throughout the bounded range. Outside that range the same calculation with the coarse squarefree bound gives
This proves integrality at every index of the actual form, while asserting the sharp estimate only on the specified bounded range. There is no restriction on the number of weight-zero root factors. Coefficients excluded by the filter are zero. Every removed phase is a value of , hence a unit reducing to at the chosen prime above .
At equality, the normalized leading coefficient is times the displayed shell factors. In particular it is zero when . For the odd source this assertion is used for the finite stabilized symbol evaluations realized at the chosen stage. All omitted-prime comparisons use the same source and minimum .
In later coefficientwise divisions, choose to cover the largest additional division and the desired final divisibility. If a least-weight argument also requires all lower-weight symbols to vanish, that condition holds simultaneously on an ultrafilter-large set: a failure would select a bounded-weight sequence contradicting the stabilized minimum. Intersect that set with the one in the lemma. The bounded range then supplies the sharp calculation and any required zero symbols; the coefficients beyond the cutoff already have all the necessary factors of . Consequently all coefficientwise divisions and vanishings used below hold on actual integral forms at one chosen stage for each finite collection of tests. No stage is required to work for every unbounded configuration.
Removing unary coefficients
The coefficient bound identifies the terms that can survive at the lowest valuation. For matching in the rational-torsion case, these lie on finitely many square classes. Subtracting the corresponding unary theta series will permit one further integral division by 2.
Suppose first that . There are then no root primes. For matching , define
where is chosen so that is odd. For opposite , set . Except where a further division is explicitly made in Lemma 5.9, in the irreducible case we also set .
Lemma 5.2. The form in Equation (28) is integral. Each is a weight-3/2 unary theta form with character
whose new level primes are the primes of , each to exponent one. Its character differs from by a quadratic character.
Proof. In matching parity the right side of Equation (26) can be zero only if and consists of split primes. At these indices Equation (27), together with the odd squared-index multipliers at primes outside , gives
The coefficient of at has precisely this residue: the common phase is retained on both sides, while is an odd integer. Thus this is divisibility by 2, not merely by in a ramified coefficient ring. Different squarefree have disjoint such supports. The numerator in Equation (28) is consequently divisible by 2 coefficientwise.
Put , and let be its primitive inducing character, of conductor supported on . The unary theta transformation [60] gives
Removing the terms with applies , where . Thus
Writing , every term in this product has theta parameter for some . The same transformation formula places all terms at level , with character on the units of that level. This is the displayed character . Since is prime to , each fresh prime in still occurs in the level to exponent one. Finally is quadratic, as is , proving the last assertion.
Weight-two traces
We next express coefficient tests as traces of Galois representations. The trace identities will give relations among the tests; the level-prime identity will compare a test with the one obtained by omitting a prime.
Multiply the integral half-integral-weight form under consideration by
This produces a weight-two modular form with the same reduced expansion. Choose a finite extension of containing all coefficient fields and character values needed at the fixed level, and denote its ring of integers and maximal ideal by and .
The characteristic-zero decomposition by the Hecke operators away from the level supplies commuting operators
by taking the traces and determinants of the corresponding two-dimensional Galois representations. For cuspidal systems these are the weight-two representations of Deligne; for Eisenstein systems they are the sums of the two defining characters. At a good arithmetic Frobenius, is the ordinary weight-two , and the determinant is the cyclotomic character times the diamond character. We use the existence and good-prime compatibility of these representations in their characteristic-zero form [23], §3, (3.9)–(3.12), and Theorem 4.9, and local-global compatibility [15], Theorem (A), §0.7. We take the contragredients of the cohomological representations in these references, so arithmetic Frobenius has trace and determinant times the diamond eigenvalue.
Here is a precise integral framework for the reductions that follow. Take the finite-dimensional sum of these characteristic-zero systems, retaining their multiplicity spaces, that contains the vector under consideration and its diamond transforms. Its integral Fourier lattice is finite over : finitely many coefficients already give an injective map of this space, and the lattice embeds in the corresponding finite free -module. Good Hecke operators preserve integral expansions. Diamonds do so as well. For the subtracted vector this last claim follows from the formula
each parenthesis is zero or twice a unit. The same observation applies after multiplying by .
Traces at arbitrary Galois elements are limits of good Frobenius traces on this finite lattice. Indeed, continuity gives a common finite quotient at any prescribed accuracy, and Chebotarev gives a good prime in each required conjugacy class. Its size is unrestricted, and it may avoid any specified finite list of indices and primes. This proves integrality of all the traces and determinants used below, not only of the good Hecke operators with which the construction began.
Let be the resulting commutative operator algebra on the reduced orbit of the vector. Equality means equality of every Fourier coefficient after any further indicated operator products. We retain this algebra, including its possible nilpotents.
Lemma 5.3 (Trace identities and fresh-prime tests). In this reduced operator algebra,
A coefficient of a product of traces can be tested by replacing its arguments with Frobenius elements at distinct fresh primes avoiding the coefficient index. If the index is and those primes are , the test is the reduced coefficient at . Determinants may be applied first.
Proof. For a weight-two form , the good-prime formula is
When the second term is absent. Choosing the successive test primes distinct and avoiding proves the coefficient assertion. Chebotarev and continuity, on the finite lattice just described, allow these choices for arbitrary trace arguments at any required accuracy.
All the diamond characters are of 2-power order. On a form with one character its determinant therefore reduces to the identity. For a subtracted vector the displayed diamond formula leaves, in addition, only unary contributions . A fresh trace kills each such contribution modulo : its coefficient test has index with , and cannot have the squarefree part . The same argument applies after any further tests. This proves .
For two invertible 2-by-2 matrices the characteristic-zero identity is
Apply it to every characteristic-zero system and use the determinant identity just proved. Finally, before reduction.
The bounds of Lemma 5.1 are particularly well suited to these tests: an added prime contributes its nonnegative weight, and additional root primes contribute no weight. A zero established by one of these bounds consequently remains zero after all the further tests used here. In the moving-precision case all the preceding constructions are made at the actual fixed level of the chosen stage. The required divisibility is uniform at the specified weight cutoff; continuity is used only in a finite-dimensional space at that stage.
The only level-prime identity we need is the following. We distinguish the weight-two operator from the earlier half-integral-weight notation, although both extract -multiples in their respective Fourier expansions.
Lemma 5.4 (Inertia and a level operator). For , choose a place over , an inertia element on which the ramified quadratic character is , and a corresponding arithmetic Frobenius lift . On the characteristic-zero space under consideration, before reduction, one has
The identity commutes with further good traces. After reduction it therefore evaluates a difference at coefficient 1 by the corresponding difference at coefficient .
Proof. At the summands in question are either old from a level omitting , or have conductor exponent one and primitive ramified quadratic diamond character. For the former the representation is unramified, so both trace differences are zero, irrespective of the action of on the old multiplicity space.
For the latter, local-global compatibility identifies the local representation with a principal series with one unramified and one ramified character; its monodromy is zero. In a basis of these two lines write
The level eigenvalue is , the Frobenius eigenvalue on the unramified line, and . If the lower-right entry of is , the two trace differences are and , respectively. Both sides of (29) are . The Eisenstein calculation is the identical calculation on its pair of characters. Copies old at other primes do not change it.
These are all the possibilities: the new level has exponent one at , with ramified quadratic determinant, so the Steinberg case with unramified determinant does not enter. A unary summand with is old from a level omitting ; with it has the same ramified quadratic local character. Thus the preceding classification also covers (28).
Finally apply (5.6) to remove the determinant from the right side after reduction. Taking coefficient 1 on the left is taking coefficient before .
Rules when there is rational two-torsion
We now apply the common trace identities to the rational-torsion case. The coefficient bounds first restrict the Galois data on which a symbol can depend. The level-prime identity then determines how the symbol changes when one of those data is varied.
An elementary extension of a number field means a compositum of quadratic extensions. Whenever a ramification support is specified, only extensions unramified outside that support are included. For finite support the resulting elementary extension is finite. Labels below are Frobenius specifications in these extensions, with a chosen place when an orientation over is needed. They always include the fixed rational local conditions that specify the filter.
Proposition 5.5 (Rational trace and contraction rules). Suppose .
(i) For matching , on the subtracted vector ,
The trace on split elements factors through the elementary extension of supported on . For opposite , on , every product of two traces is zero, and traces factor through the rational elementary extension supported there.
(ii) If has the parity of the filter, its symbol is read at coefficient 1 by on for split , and on for simple .
(iii) Fix and put . Replacing by changes the symbol, additively in , by
if and are not both simple. The label of is required only away from the omitted primes and carries their product labels. The replacement uses the original source with level support : the whole rational prime is omitted, including both places over it if splits in . If both endpoints are simple, the change is zero.
(iv) A split vertex with trivial label relative to the level with that vertex omitted has symbol zero.
Proof. For matching , two fresh tests, one of them split, add weight at least to (26). The allowed valuation is integral, so the numerator has valuation at least 2. After the division in (28) it still vanishes modulo ; fresh tests kill its unary terms. For opposite , two nonroot tests add weight at least 1, leaving at least after subtracting , and hence at least 1 at an allowed coefficient. This proves the two product vanishings on the entire reduced orbit.
The trace identities show why these vanishings give the stated elementary quotients. If is split, apply the identity to to obtain . The subgroup generated by squares in has elementary quotient, since a group of exponent two is abelian. In the opposite case the same calculation applies to every . Ramification outside the level is absent from the characteristic-zero representations and remains absent in the quotient.
For a split , its added weight is 1: at coefficient the division by 2 in places the coefficient exactly at the normalized detection depth. There is no unary term at that index. For simple , already gives that depth on . The character phases reduce to 1, proving (ii).
For (iii), apply Lemma 5.4 at coefficient 1, so that its left side is a coefficient- test. Replace its trace arguments by fresh primes with Frobenius and . Put . For , set and let be one in matching parity and zero otherwise. After a fresh trace kills the unary terms, the shell multiplier relative to the omitted-source test is
The exponent is zero for split , and also for simple with matching . It is one for simple with opposite , precisely the simple–simple case. This checks all integer divisions in the contraction rule. For simple only the first shell is used. The change is already included in that shell calculation; all remaining phases reduce to one.
In the first three cases the shell is therefore . Both fresh Frobenius elements have the same image in the omitted source: that source is built from the original modular form, the same , , , and the operators at , so it is unramified at the entire rational prime . Inertia at either place over acts trivially on its symbol. The ramified quadratic coordinate of reverses the Legendre sign in , whose additive change is one. The difference of the two shell values is consequently , proving Equation (30).
If both primes are simple, their residual images are the same transposition, so is split. The shell now has positive valuation after normalization and contributes zero. Finally (iv) is (ii) with in the relevant elementary quotient.
The contraction rules control changes in existing vertices. The next calculation gives a way to add two simple vertices while preserving the symbol.
Proposition 5.6 (Insertion of a pair of simple primes). Suppose and has matching parity. Let a rational elementary label, relative to and all existing split vertices, be realized by a simple prime with
Inserting two fresh simple primes with this same label leaves unchanged. Their mutual simple-edge label, and their labels against other simple vertices, do not affect this assertion.
Proof. First test on matching . The weight-two Hecke formula at coefficient 1 gives, after reduction,
Only the unary term can contribute at 1 or . Write , , and . Substituting Equation (5.2) and the two characters in Equation (28), the preceding expression is the reduction of
For the parenthesis divided by 2 is modulo 2. For it is . In either case it equals modulo 2. Since reduces to , this proves that the squared trace has coefficient .
By Lemma 5.3, replace the two copies of this trace by distinct fresh primes realizing the same operator tests. Their product coefficient reads the symbol with the two primes inserted. To pass to any other pair with the labels in the statement, vary one prime at a time. After omitting that simple prime the opposite-parity test of Proposition 5.5 depends only on rational elementary labels. Its changes against other simple primes are zero by the simple–simple case of the same proposition. Thus only the fixed support and existing split labels need be matched. Fresh intermediate primes can match both old and new finite specifications, so that no collision of vertices is required. The assumed odd value of completes the proof.
An elementary character on root elements
Assume now that is irreducible. Its image is either cyclic of order three or . The reduced trace algebra need not be a field: the order-two units below can have nontrivial nilpotent parts. We therefore retain the algebra, rather than replacing it by its residue field.
Lemma 5.7 (Root character). On matching one has for every nonroot . On opposite one has for split and for two simple elements. In either parity,
The traces factor through an extension of by an elementary kernel over . Moreover, there is a multiplicative character into the reduced trace algebra, unramified outside , such that
In particular factors through a rational elementary extension with that ramification support.
Proof. The trace vanishings follow from (26). In matching parity, one nonroot test adds at least and hence gives an integral valuation at least 1. In opposite parity, either a split test or two simple tests add at least 1, again leaving positive integral valuation after the loss .
For a root test, use the same fresh prime twice, avoiding the coefficient index, rather than two distinct primes. The weight-two Hecke formula and (5.2) give the identity operator modulo : is odd, and the middle quadratic-character term cancels the diamond term modulo 2. This proves by continuity for every root . For completeness, it suffices to check indices prime to the chosen ; each particular index permits such a choice of with the prescribed finite trace data.
Since split traces vanish in both parities, for . Thus the traces factor through the quotient by the squares of . At any fixed accuracy the trace action is on a finite lattice modulo , so we may work in a finite quotient
with elementary abelian. Choose an order-three lift of a rotation. Such a lift exists because the inverse image of the order-three subgroup is an extension by a finite 2-group. The trace identity with the identity element gives . Applying it to gives ; the left side is 1. Hence
For set
The equality follows from and the trace identity with . Conjugacy invariance by an element implies that is unchanged on multiplying its argument by . It therefore factors through the coinvariants . Also it is invariant under conjugation by . The trace product now gives
The last equality uses the coinvariant invariance just proved; the split term is zero. Since is a root, .
For cyclic residual image, this already extends to by setting . For , choose a transposition lift normalizing . It can be obtained from any transposition lift by conjugating its order-three complement by an element of . Thus and . Conjugacy of traces shows that on is invariant under . In both parities we have , either because each factor is zero or by the two-simple product rule. Its trace identity reads
Therefore the extension defined by respects the relation for , as well as conjugation and the relations in . It is the required multiplicative order-two character, and agrees with the trace on both root cosets. At the fixed stage, choose one common finite quotient through which the traces and residual representation factor, and pull back the character constructed there. No canonical choice across quotients is needed. Unramifiedness outside the level is preserved.
Irreducible deletion rules and minimal labels
The root character replaces products of root traces by a single multiplicative value. We now combine that fact with the level-prime identity to compute changes at nonroot vertices. The last lemma applies these rules at the least weight where a symbol is nonzero.
The total root label is the product of the rational elementary labels of all root primes being used. It includes the fixed-support conditions and the rational quadratic labels against the active nonroot vertices. Its discriminant coordinate is trivial in the quadratic quotient of ; for cyclic residual image there is no such coordinate.
Proposition 5.8 (Irreducible substitution rules). Suppose is irreducible.
(i) On matching , coefficient 1 of a product of root traces reads on the union of and those roots. It depends on the roots only through their total rational elementary label relative to . Any finite collection of roots, including the empty collection, may be replaced in this test by one virtual root with that label.
(ii) Changing the Legendre bit of that root against a split vertex has additive derivative equal to deletion of , with its rational labels away from transferred to the total root label. Changing the root bit against a simple vertex has derivative zero. (iii) To vary a simple vertex , omit it and use opposite , retaining the other root probes. At another simple vertex , choose Frobenius lifts and for and . If their transposition images are different, the derivative under deletes both and and transfers their rational labels to the root total. If their transposition images are equal, the derivative is zero.
(iv) In the test in (iii), variation at a split is given by the first-shell factors times symbols of merged configurations whose weight is one less. It consequently vanishes whenever all symbols of that lower weight vanish.
All these assertions preserve every specified label at the other vertices, and use the chosen place for inertia and Frobenius.
Proof. Root primes have weight zero. Thus the fresh-prime tests at coefficient 1 of matching are precisely the normalized coefficients defining . Lemma 5.7 makes the product of root traces equal to the value of on their total elementary label. A rotation survives every compatible elementary specification: an elementary quotient cannot eliminate the order-three subgroup, and in the case the only compatibility condition is its trivial image in the quadratic quotient. Chebotarev therefore supplies the claimed single virtual root, even for the empty total label.
For (ii), apply Lemma 5.4 with a root. If is split then is a root. The coefficient with has zero cost in (26); its first shell is times the symbol with deleted. The latter is unramified at and is the same in the two tests, while changes by 1. Multiplication of Frobenius labels by is exactly the transfer of the deleted vertex’s rational labels to the root. If is simple, is simple, and its weight plus the contributed by puts the shell above the testing depth. The derivative is then zero.
For (iii), . When the two transpositions differ, is a rotation, and the contribution from the simple prime in exactly cancels . The shell again equals times the omitted- symbol, now with both simple vertices removed and their product represented by a root. The Legendre flip proves the asserted derivative. For equal transpositions their product is split; its additional weight 1 forces the shell to vanish.
Finally, if is split and simple, then is simple. The -shell is at the first-shell depth and is expressed by (27) with and the retained root probes. Its nonroot weight is
This is one less than the original weight. In particular both shell terms vanish when symbols of that weight vanish. The comparison omitting is unramified there. Root probes can be matched on the rational elementary support throughout, which proves the final label assertion as well. □
At the least nonzero weight, every lower-weight term in the preceding rules vanishes. This removes the dependence on internal edge labels; the remaining assertion keeps both the fixed-support labels and the total root label.
Lemma 5.9 (Transfer at the least nonzero weight). Suppose is irreducible, and let be the least weight of an index on the filter with nonzero symbol. At weight , the dependence on each nonroot vertex is only through its oriented rational Frobenius lift in the Galois group over of the maximal elementary extension of unramified outside , together with the requirement on the total root label. In particular, replacing the nonroot vertices by fresh vertices with those same fixed-support labels preserves the symbol, irrespective of their internal edge labels, provided the root total is matched. The assertion allows simultaneous changes using disjoint intermediate configurations. Proof. Every symbol of weight less than is zero. For a simple vertex, Proposition 5.8 therefore makes its inertia derivatives at every other active nonroot vertex zero: different transpositions give a lower-weight deletion, equal transpositions give zero directly, and a split vertex gives a lower-weight merged configuration. Its labels against root vertices are immaterial by the simple case of the root derivative rule. These statements hold for conjugates of inertia too, because the Frobenius and inertia calculation is made at a chosen place and may be conjugated. Starting with the elementary extension over supported on , killing the inertia at the active vertices leaves exactly fixed-support elementary labels. This proves the assertion for a simple vertex.
For a split vertex , let be the other nonroot vertices, so and still has matching parity. We first claim that is divisible by integrally. In (26), an entry of cost zero has consisting only of roots and consisting only of split primes. Its underlying squarefree class has weight
Its symbol is zero. The shell formula at every split prime, valid at all exponents, therefore adds one more factor of to the normalized coefficient. All other allowed entries already have positive integral cost. This proves the claim, including at arbitrarily large coefficient indices.
Use now . Two split traces give zero on : their added weight in (26) still leaves one factor of after this division. The trace restricted to split elements consequently factors through the elementary kernel over , by the same square-invariance argument as before. Coefficient with the new split trace and the retained root probes reads the symbol at weight .
Apply Lemma 5.4 at to this divided vector. The element has the type of , because is split. Its -shell is times a symbol of weight , whether is split or simple; for a simple only the first shell is used. For a simple the normalization can be checked directly: and the new simple probe contribute to (26). Writing , the divided shell is
The omitted set has opposite parity, but its ceiling normalization is still . Thus this is exactly its unit-symbol test, with no fractional loss. Both compared values are zero. Every such inertia derivative therefore vanishes, leaving only the fixed-support elementary label.
No character on this further divided vector is needed. Use actual matched root probes in both tests. At weight , their changes against a split vertex are already zero by the split root-deletion rule, because its deletion has weight . They can therefore be matched while the nonroot vertex is moved. Moving vertices successively, using fresh intermediate copies when necessary, proves the joint assertion without imposing old internal edge labels.
For a moving coefficient system, minimality is used on a fixed bounded weight range. A failure of the required lower-weight vanishing on an ultrafilter-large set of stages would give a bounded-weight sequence contradicting the stabilized minimum. Choose the actual stage as in Lemma 5.1, with the additional division by included among its fixed division bounds. Its coarse estimate controls all larger weights, and its integral square-index recurrence controls every shell. Thus the preceding coefficientwise arguments apply to the actual forms at that stage. The argument does not require to be integral.
Summary and finite realization
We collect the rules in the form used to construct finite prime arrays. The analytic meaning of a nonzero symbol is unchanged; this section has established which substitutions preserve it or compute its change.
Theorem 5.10 (Symbol rules). For either coefficient source of Propositions 4.1 and 4.2, assume its stated coefficient lower bound and use its normalized symbol and filter. Then the following rules hold for finite configurations of primes outside the level support.
(i) With rational two-torsion, the elementary-label factorizations, contraction except in the simple–simple case, and isolation by a trivial split label are those of Proposition 5.5. A pair of identical simple labels realized with odd can be inserted without changing the symbol, as in Proposition 5.6.
(ii) With irreducible , all root probes combine into one total rational elementary label. A root-bit derivative at a split vertex deletes that vertex, while at a simple vertex it is zero. The derivative between two simple vertices deletes both when their transposition images are different, and is zero when they are equal. The remaining simple–split shell has weight one less. These are the rules of Proposition 5.8.
(iii) At the least weight supporting a nonzero symbol in the irreducible case, each nonroot may be moved with only its fixed-support elementary Frobenius label prescribed; internal edges impose no further condition on the value, subject to matching the total root label. This is Lemma 5.9.
The analytic and finite-Selmer consequences of a nonzero symbol remain those of Proposition 4.4. In the odd source the rules mean finite tests at arbitrarily high stages chosen in the ultrafilter-large sets of the prescribed stabilization.
Proof. The preceding propositions prove the assertions. For one application, put the finitely many Galois modules and operator tests in a common finite quotient at the required precision. Chebotarev then gives simultaneously fresh Frobenius representatives. The omitted source is unramified at the whole omitted prime, whereas its ramified rational quadratic coordinate is exactly the Legendre flip in the shell formula. These are therefore substitutions with all other labels held fixed.
The arithmetic compatibility of an entire array is addressed in the following sections. The present assertions concern each finite array; in the odd case choose a sufficiently high actual stage in the required ultrafilter-large intersection. Arbitrarily many weight-zero roots cause no additional depth loss, because the coefficient bound is uniform at a fixed weight and their traces combine through one total elementary label.
Prime graphs and simultaneous unit coefficients
The coefficient symbols will now be regarded as functions of finitely many quadratic residue bits. We first identify the arithmetic data that those bits record and explain how the trace calculation becomes a finite difference. This gives polynomials whose derivatives contract prime labels. We then adjoin auxiliary vertices so that one or two nonzero coefficient polynomials take the value at every nonzero address of a binary cube.
The two-polynomial case is needed for the odd converse: the odd symbol tests , while an even symbol tests a quadratic companion . Separate nonzero polynomials need not have a common unit evaluation; for example, and do not. The auxiliary vertices change the polynomials by controlled contraction operators. The arithmetic input is the rational contraction and isolation rules of Theorem 5.10, including omission of an entire rational prime. The same argument applies to any coefficient test with these rules, such as the restricted even test constructed in Section 7.5.
Encoding quadratic residue symbols by graphs has a precedent in the congruent-number problem: Feng–Xiong express descent conditions through prime graphs and the ranks of their binary Laplacians [27]. Here the graphs record coefficient-symbol rules, and their oriented contractions produce simultaneous unit values.
Prime labels and their realization
Let be or a quadratic field. The applications use when this field is quadratic, and also an auxiliary quadratic field when is rational. Fix a finite set of rational primes containing 2 and the ramification support of the fixed data. Enlarge so that prime ideals above it generate the class group of , and let include these places and the infinite places. Set
The valuation sequence expresses this as an extension of the squareclasses of -units by a subgroup of the 2-torsion of the -class group; in particular, it is finite-dimensional over [47]. Write .
A split vertex is a rational prime split in , with an orientation when is quadratic. Choose a generator whose divisor outside is ; this is possible by the class-group condition. Use its conjugate for the other orientation. Then
For , use the generator . In the quadratic case an inert rational prime is a simple vertex, with rational generator . A split vertex has its fixed Frobenius label on ; a simple vertex has rational fixed-support labels. A type may also specify local squareclasses, support valuation parities, real signs, and finite ray conditions on its generator. Prescribed types must be compatible and individually realizable. A filter fixes the total rational labels and sign of the signed-prime product, where .
Write quadratic residue symbols additively in . Between two split vertices in the quadratic case there are two independent forward bits: the residues of and at the chosen place of the other vertex. Hilbert reciprocity and the types determine the reverse bits. Their sum, with the fixed correction in (32), gives the rational norm bit. If an endpoint is simple, or if , there is one rational forward bit. Vertices, types, and these bits form an arithmetic graph; there is no self-residue datum.
For the coefficient symbols, the vertices are the prime factors of the Fourier index. Their types fix the support and elementary Frobenius conditions, while the edge bits record the remaining quadratic residue tests. Varying an edge leaves those types and the total filter unchanged. The next calculation explains the resulting contraction rule.
For the standard rational-two-torsion symbol of Proposition 5.5, take split primes and let contain but not , with matching parity. Write and . By Proposition 5.5,
Changing one residue bit from to replaces by , where is the corresponding inertia element. The level identity (5.7) moves the difference to the coefficient at . Its two first-shell values are
The omitted source is unramified at the whole prime , so its value is the same in the two terms. Their sum is . Thus, if is the changed edge bit,
Here is a fresh prime carrying the product labels of and ; it replaces two vertices by one. Its integer value is not the product .
In the quadratic field, the two choices of oriented bit correspond to using or as a product template, up to the choice of output orientation. The template adds the support labels and the external residue bits in the indicated orientations. There is no internal residue attached to the new vertex. Omitting removes both places above that rational prime from the source, so a second difference in the other oriented bit gives zero. Split–simple contraction has the same interpretation with rational product data; a simple–simple difference is zero.
To use these formulas on arbitrary arrays of bits, we must know that the arrays and the product templates have prime representatives, and that different representatives give the same symbol. The following lemma supplies both facts.
Lemma 6.1 (Finite realization and product labels). Fix finitely many old vertices and individually realizable new types. Every choice of independent forward bits is realized by distinct fresh primes, avoiding any given finite set. Further fixed local tests may be included in .
A split cluster may be represented by the product of its oriented generators, with conjugations prescribed along a contraction tree; its support types and external bits are the corresponding sums. A cluster containing one simple vertex has the corresponding rational product data. These products may be replaced by fresh prime representatives. For a symbol satisfying the omitted-vertex dependence of Theorem 5.10, the graph data determine its value, and these replacements preserve the contracted symbol.
Proof. The displayed generators account for every relevant radical. Let be a finite set of new rational primes and the places above them. From a squareclass with even valuations outside subtract the generators at the primes of where its valuation is odd. The remainder lies in . At an inert prime its rational generator has valuation one at the unique place of . Thus the fixed labels and residue bits determine every elementary Frobenius test with this ramification support.
For a new split vertex, start with a template of its type, at a prime ideal away from the old vertices. Weak approximation gives sufficiently close to at , positive at the specified real places, and with residues at the old prime ideals chosen so that has the prescribed quadratic residues. Use a ray modulus containing deep enough powers of , all old prime ideals, and the real places. A prime ideal in the ray class of satisfies
Then has the desired divisor and type. The prime ideals in this ray class have positive Dirichlet density [48], Chapter V, Theorem 2.5]. For , the sum of over prime ideals of residue degree greater than one is at most , which stays bounded as . The corresponding sum over the ray class diverges. Hence that class contains infinitely many degree-one primes. Outside the fixed ramification support these give split rational primes, and finite exclusions remove finitely many choices.
At an old inert prime, prescribe instead the norm of the residue in . Its norm onto is surjective. For a new simple vertex all conditions are rational congruences, including the inert class in ; the Chinese remainder theorem and Dirichlet’s theorem apply. Successive selection realizes the whole graph. Reciprocity determines reverse bits, since the support Hilbert symbols are fixed and only the two endpoint residues remain. Taking norms gives (32), with no extra independent condition.
The same construction applies to a product template. It preserves its support data and its residues at every remaining vertex; no internal residue is imposed on the replacement. For a simple cluster use rational congruences for the norm labels. To check the rational filter in a split cluster, write and for its replacement. The multiplier is a square unit at and positive at real places. Consequently
have the same signed rational -unit : its valuations and sign agree. Thus is locally square at the rational support. The condition at also identifies with in the fixed tests. This verifies preservation of the norm correction.
Finally, compare two disjoint realizations of the same graph. Insert fresh bridge vertices with matching bits to both realizations and replace vertices one at a time. The omitted-vertex Frobenius tests agree by the radical description above, so the symbol values agree. A preliminary bridge removes any overlap. This proves both graph dependence and invariance under the product replacements.
Consequently, fixing the vertex types gives a well-defined function of the independent forward edge bits; choose any prime realization of the graph and evaluate its coefficient symbol. Lemma 6.1 makes the result independent of that choice. We will write its unique multilinear polynomial as . Equation (6.2) says that a derivative of evaluates the contracted graph.
A split vertex is primary if its generator is a square unit at every finite place of and positive at every real place. The principal ray class realizes such types. Reciprocity makes their fixed radical labels trivial, and their signed rational contributions are squares in the fixed tests. Including stationary vertex primes in those tests makes primary incidences to them neutral. Including the support of a quadratic discriminant ensures that every primary prime splits in .
Two symbols may use different fixed-support tests or read only rational norm labels from this same graph. We call these compatible projections when they forget fixed-label coordinates or take norm data, preserve primary vertices, and commute with the omitted-vertex product substitution. In the norm projection either oriented-bit toggle changes the rational bit once. Thus one physical edge difference induces the specified difference for each symbol; it need not give the same polynomial for both symbols.
Definition 6.2 (Witnesses and permitted partitions). A witness is a finite graph with symbol . A graph is partitionable if it admits a partition into nonempty clusters, each containing at most one simple vertex, and oriented contraction trees whose contracted graph is a witness. The contraction trees are part of the data; this definition makes no assertion about a Selmer group.
For a two-isogenous curve with quadratic field , a simple vertex is good if it is inert in both and . A donor is split in and inert in . Attaching a donor turns a simple vertex split in into a good one. These are conditions on finite labels; their supply will be established in the arithmetic application.
Forests as finite-difference operators
For an edge bit , put . Every function on a finite binary cube has a unique multilinear polynomial over ; is its formal derivative. Differences therefore commute and satisfy .
Lemma 6.3 (Oriented forests). Assume the contraction, isolation, and omitted-prime assertions of Theorem 5.10. Differentiation along a tree contracts it, adding product labels and external incidences; the result is zero if the tree contains two simple vertices. A collection of edge variables containing a cycle has zero derivative, including when its orientations are incompatible. The two oriented variables on one pair form a cycle of length two.
Proof. The one-edge rule is the symbol contraction identity, with product replacement supplied by Lemma 6.1. Induction contracts a tree: split–split mergers remain split, split–simple mergers remain simple, and merging two simple components gives zero. A root orientation determines all relative orientations along the tree. Its product template uses support types and external bits, not the differentiated internal bits.
For the two variables on a split pair , differentiate first in one inertia bit over . The resulting symbol omits the entire rational prime , so its elementary extension is unramified at both places over . The derivative in the other oriented bit is zero. Repeated use of the same variable gives zero by .
For a longer cycle, contract a spanning path. The closing edge becomes internal to one cluster and changes neither its support label nor an incidence to a remaining vertex. The omitted-endpoint argument just given therefore kills its derivative. Conjugating the product only changes its orientation; it does not restore the omitted endpoint or create a self-residue.
For example, after contracting aligned edge , the two bits from its product to vertex are and , up to fixed type corrections. An aligned edge differentiates . The closing edge differentiates either again, giving zero, or , giving the omitted-endpoint zero. Every longer cycle reduces to these cases. Further differences commute with this zero derivative.
Call the original vertices terminals; any stationary external vertices retain their types and incidences. Fix their vertex types and a realizable baseline graph. Write for the independent toggles of the terminal–terminal bits, and let be the terminal symbol. A network adjoins primary vertices and specified incidences involving them. It adds no terminal–terminal edge: the original bits remain parameters. All unspecified primary incidences are neutral. Within each network fix a consistent orientation at each terminal. Different networks may use different alignments.
Write for the bits on the added incidences, and let be the symbol of the enlarged graph. We shall express as a finite-difference operator applied to . The differences in first contract the added graph; the forest rule then expresses each surviving term as differences in the original variables .
For example, join one primary vertex to two permitted terminals , in a fixed alignment. Expanding in its two added incidences gives four terms. The term with no difference is zero because is isolated. Each one-edge difference contracts onto one terminal and leaves the original symbol , so these two terms cancel in . The two-edge tree contracts the terminal pair and gives . Thus this path acts exactly as the terminal difference . The path has two added edges, but its operator has contraction degree one. In general, a component meeting terminals has terminal contraction degree .
The lowest two operator degrees can be read from a matrix. Index the internal primary vertices by , let be their internal edge bits, and let be the incidence column from them to terminal . The grounded Laplacian is the symmetric matrix over with
Equivalently,
Thus prescribed off-diagonal entries and terminal columns realize a given symmetric precisely when this row-sum identity holds. For the one-primary-vertex path above, and .
The coefficients below are instances over of the all-minors matrix-tree theorem [19], §1, eq:2; we include the incidence-matrix proof needed here.
Lemma 6.4 (Network expansion). A network satisfies , where is a sum of terminal finite-difference operators indexed by forests. In each surviving forest term, every component containing an internal primary vertex meets a terminal. A component meeting terminals has contraction degree ; a component containing two simple terminals acts as zero. Networks with disjoint internal vertices and no edges between them multiply as operators on the same . In particular, degree greater than annihilates it.
For the grounded Laplacian and terminal columns defined above, the constant and the pair-contraction coefficients are
The latter multiplies the terminal difference in the selected alignment; a prohibited pair multiplies the zero operator.
Proof. For the set of added incidences, keep the terminal variables fixed and expand in the variables :
Lemma 6.3 removes cycles. A component meeting no terminal contracts to an isolated primary vertex, so isolation removes it, including an untouched primary vertex. In a surviving component the primary labels and external primary bits are trivial. Its contracted label and external incidences are thus exactly those obtained by contracting its terminals in the original graph. A terminal tree with the same relative orientations gives that operator, of degree .
Expanding two disjoint networks gives composition: product labels agree in either order, and any resulting cycle vanishes. Polynomial differentiation then proves the degree bound. This reasoning also verifies compatibility with projections at every degree. Norms commute with oriented products, primary norm corrections are neutral, and either oriented toggle induces its rational toggle on the original terminal polynomial. Repeated projected differences or prohibited simple mergers give zero. Forgetting fixed-label coordinates commutes with the same products.
For the coefficients, write the Laplacian of the added network as , where each incidence column has ones at its edge endpoints. Let and be the internal and terminal sets. Cauchy–Binet for counts edge sets whose incidence matrix becomes invertible after deleting the terminal rows. They are exactly forests with one terminal in each component: cycles give dependent columns, a component with no deleted row gives dependent rows, and a tree with one row deleted is invertible by leaf removal. These are the degree-zero terms.
Apply Cauchy–Binet instead to row set and column set . Each component must contain one root from each of and . Thus lie together and every other terminal lies in its own component. The corresponding minor is
The corner is zero because there is no added terminal–terminal edge. Signs disappear in characteristic two, and the adjugate identity remains valid when is singular.
Selecting one address
An address is , where . A vertex with activation is present when . Fix a nonzero target and an edge bit joining terminals active there. Either all terminals are always present, or all have nonzero linear activations with at least one terminal for each nonzero linear form. For one symbol we need a derivative as the leading term at and a constant term elsewhere. For two symbols we must also account for a derivative allocated to just one factor; the second network includes a binary parameter for this purpose. We construct these two networks by prescribing their constant and degree-one terms; the final degree count will remove every higher term.
Choose a dual basis with for every . Indeed, start with and add it to a basis of the annihilator of . Make groups of three primary vertices, with all three vertices in group activated by . The physical coordinate vectors index these actual vertices. In each three-dimensional coordinate space choose a computational basis with . Prescribe a symmetric form by making the orthonormal and orthogonal to all , and using on the remaining coordinates
Convert this form to its matrix in the physical vertex coordinates, which we also denote by . Write for the restriction to the physical coordinates in groups .
The column represents the covector dual to . Since the coordinate changes do not mix groups, is supported on group ; it is independent of . Attach this incidence column to a terminal of activation , or to any fixed terminal in the stationary case. When the active groups are , the sum of these anchor columns is
since . Use the off-diagonal physical entries of as the internal edge bits. Equation (33) then gives the prescribed diagonal as well: the anchors make the actual grounded Laplacian equal to at every address, even after groups have disappeared.
Also attach the same column to . If their moving activations differ, attach it to a terminal of activation as well. The additional column sum is always zero:
The third terminal is absent at . Equal activations, or two stationary terminals, require only the first two columns. Coincident terminal roles mean addition of columns. Hence these attachments preserve the grounding at every restriction.
Write for a sum of contraction operators of degrees at least . This denotes a filtration, not a numerical estimate. Figure 1 depicts the group-level cycle and path used in the two programs when .

Figure 1. The off-diagonal patterns of for the two programs when . The vertices represent groups, not the individual primary vertices of the network. A proper group restriction breaks the cycle; the path from 1 to 4 survives only when every group is present.
Lemma 6.5 (Two address programs). With these activations and grounding, there are the following networks:
A singular program such that
Two nonsingular programs on the same sites, indexed by , such that
All new sites have nonzero activation and are absent at 0. Unspecified incidences, including those to stationary external vertices, may remain neutral.
Proof. For the first program, take , with the cyclic permutation matrix, and let be diagonal with exactly one nonzero entry. Every proper principal restriction of is a union of directed paths, hence nilpotent. Thus and are invertible for proper , including the empty restriction, whose determinant is 1.
On all groups, and are spanned by . A radical vector of has ; summing gives , since . Hence has radical generated by
Its adjugate is : it is nonzero of rank one, symmetry identifies its factors with the kernel, and the only nonzero scalar in is 1.
Take dual to , so . All anchors annihilate . At the only terminal columns pairing nontrivially with are therefore those of . Formula (6.4) gives constant zero and precisely in degree one. Every other address has a proper group subset and constant 1, since the activation forms form a basis. For , and give the same radical.
For the second program take , where is the consecutive lower shift, and . Every group restriction of is invertible, and
Again take dual to . On groups , the change in is , interpreted as zero if an endpoint is absent. The expansion shows that this is 1 exactly when the entire path survives, namely at . Pairings with anchors do not change, since and are independent of . At the target the balancing terminal is absent, leaving only the changed pair . All determinants are 1. Lemma 6.4 proves the assertion, also for the single-vertex path .
Simultaneous units on a punctured cube
The preceding programs control only two degrees of their operators. To make this sufficient, at each address we spend exactly the degree of a chosen top monomial. Any additional contraction then vanishes. For two symbols, the same accounting uses the ordinary product of their top homogeneous parts. The multiplication is performed before imposing the Boolean relation , so one occurrence of in each factor remains two contraction requirements.
Theorem 6.6 (Address lemma). Assume the contraction, isolation, and whole-prime omission rules of Proposition 5.5, or the same rules for another symbol, together with the realization freedoms of Lemma 6.1. Let and consider either of the following terminal arrangements:
One symbol on a nonempty set of always active terminals, whose polynomial in the independent pair bits is nonzero.
One or two symbols on terminals with nonzero linear activations, including a terminal for every nonzero linear form. At each , each symbol separately is a nonzero polynomial in the active bits. The symbols may have stationary external data and may read compatible projections of a common graph.
At every , assume that the active terminal data and the stationary external data obey each required filter. Then finitely many primary auxiliaries with nonzero linear activations, and one realizable assignment of graph bits, make all the symbols 1 at every . No auxiliary is present at 0. All may satisfy fixed splitting and neutral-incidence conditions included in their primary type.
A nonzero evaluation or a nonzero iterated edge difference suffices for the polynomial hypothesis. In particular, a partition as in Definition 6.2 suffices in the stationary case.
Proof. Fix a common realizable baseline for the terminal bits and regard their toggles as variables; omit variables invisible to a symbol. A nonzero iterated difference implies a nonzero polynomial, while every nonzero polynomial has a top monomial with coefficient 1. By Lemma 6.3, this also proves the assertion about partitions.
For one symbol, let have degree at and choose a monomial of degree with coefficient 1. For each of its variables attach a separate singular program targeted at , all with disjoint internal vertices. At address , its own programs have zero constant, so they consume at least contraction degrees. Any extra degree from any program kills . Only the selected degree-one terms of these programs and the constants of the others survive, giving the chosen coefficient 1. A nonzero constant polynomial needs no program. Stationary anchors give the same argument for always active terminals. For two symbols, write their polynomials at as , of degrees . Multiply their top homogeneous parts in the ordinary ring , before imposing Boolean relations. This ring is a domain, so choose a coefficient at a monomial
For each exponent two add one singular program targeted at ; for each exponent one add one nonsingular program, with its own parameter . Keep all internal sets disjoint. Let
We show that , which implies that one choice makes every factor 1.
Expand the operators by contraction degree. At its target a singular program has zero constant in both factors, so it consumes at least one degree in each. A nonsingular program has constant 1 independent of its parameter. Summing that parameter cancels a term using only its constants everywhere; a surviving term must consume at least one degree somewhere for that program. The total of these minimum costs is
A nonzero term cannot consume more, since some factor would then be differentiated beyond its degree. Every surviving term therefore uses each minimum cost exactly.
Thus a singular program contributes precisely in each factor at its target and constants elsewhere. A nonsingular program contributes degree one in exactly one factor. Summing its parameter kills that contribution away from its target and gives at the target; every other occurrence contributes the common constant 1. In particular, no higher forest coefficient remains.
At one address put for , and write . The surviving allocation sum is
Wrong-degree coefficients are zero. Since the total degree is and no factor exceeds its degree, each factor receives its full degree; its derivative is exactly the displayed coefficient, independent of the baseline. Allocations at distinct addresses are independent, so their product is 1. This covers constant factors too. For instance, if both top forms are , their ordinary product is : a singular program differentiates each once. Boolean reduction would lose that allocation.
Choose parameters with and realize the resulting finite graph by Lemma 6.1. Primary types preserve the filters and the stipulated neutral incidences and splitting conditions. Nonzero linear activations ensure that no new vertex appears at 0. □
For a stabilized symbol this is a finite construction at each dimension. First choose , the terminal data, and all networks; their weights and coefficient tests then have a finite bound. Select an actual stage where the numerical bounds and the finitely many stabilized symbol evaluations hold for that range. The required precision may grow with . The unit-valuation constant, however, is the constant of the coefficient construction and must be independent of ; the forest argument supplies no additional uniformity assertion.
The converse with rational two-torsion
We prove the pointwise converse for curves with . The finite graph construction supplies binary families with a unit coefficient at every nonzero address. Cyclotomic interpolation settles the even case. For the odd case we first establish the missing lower bound for the moving coefficient system, then keep one nonvanishing quadratic companion fixed throughout the interpolation.
Fix such a curve . We use the prime weights , normalized values , and finite -primary Shafarevich–Tate lengths from the preceding sections. The corank is a different quantity: a corank-zero base has finite before analytic nonvanishing is known. All new primes are odd primes of good reduction. A filter fixes the real sign and the local unit squareclasses at a finite support containing , and may exclude any further fixed finite set.
For a signed parameter , write for the symbol at the positive index on its chosen filter. We will use two bounds attached to a unit coefficient:
Here is the genus Heegner sum with a fixed analytic-rank-zero partner , and is its free-line index valuation. The first bound is available from the even coefficient construction and Theorem 3.5. We use the second only after Proposition 7.7 has supplied the arithmetic lower bound required to normalize the odd system. The contraction and isolation identities are those of Theorem 5.10; their finite graph consequences were proved in Section 6.
Write for the ring-class index over . Theorem 3.7 states that, if is an odd fundamental discriminant with , has at most prime factors, is square at , and defines a nonexceptional imaginary field, and the twists have analytic orders one and zero, then
All coefficient and interpolation constants depend on the fixed curve, its parametrization, and fixed local data. A bound on may enter ; the sizes of its primes do not. The finite networks, required coefficient precision, and prime sizes may depend on the binary dimension. The unit bounds in Equations eq:7.1 and eq:7.2 may not.
By Lemma 2.2, an isogeny preserves analytic rank and Selmer corank. If the isogeny class contains a curve with full rational two-torsion, we use that curve. Otherwise choose a rational two-isogeny and write , ; both fields are quadratic. A prime split in is called split, and one inert in is called simple. Their weights are respectively and . A simple prime is good if it is also inert in . At such a prime
Indeed there is exactly one nonzero rational two-torsion point in the reduction. If the group order were divisible by four, its two-primary subgroup would contain a rational point of order four. Its image under the two-isogeny would supply an rational two-torsion point different from the dual kernel, contradicting inertness in . Thus the good-twin rule applies. When , every simple prime is good.
Seeds and finite supplies
The word “label” below means an individually realizable fixed-support elementary Frobenius label, with orientations when required. It does not include a self-residue of a prime generator. All contractions and comparisons are those of Theorem 5.10 and Lemma 6.3.
Lemma 7.1 (Minimum seeds). 1. In an all-split alphabet, suppose a unit symbol has a nonempty witness. At the least positive vertex count of such a witness, all mutual edge bits are immaterial. The symbol is determined by the individual fixed-support labels. This remains true if the empty configuration is a unit, provided no contraction to the empty configuration is used.
In the quadratic case, suppose the symbol has a nonzero witness, the alphabet is closed under the allowed contractions, and it contains the good twin operations. There are and such that for every of the permitted simple parity, the minimum split count of a unit with simple vertices is . At these counts all edge bits are immaterial. A chosen minimum seed may be padded by arbitrarily many good twin pairs.
The assertions also hold for a stabilized moving odd symbol, with every particular finite list of uses made at a sufficiently advanced stage.
Proof. For the first assertion, a derivative in an edge of an -vertex graph is a symbol on vertices. If , this graph remains nonempty and has value zero by minimality. If , there is no edge. The omitted-vertex description then leaves exactly the fixed-support labels.
For the second assertion let be the minimum split count at simple count , with value when no witness exists. Once a finite value occurs, good-twin insertion gives . A nonincreasing sequence of nonnegative integers stabilizes. Choose in that range. A derivative of an edge with a split endpoint reduces the split count and preserves the simple count; it is therefore zero at the minimum. A simple–simple derivative is zero by the symbol rule. Twin insertion gives the last assertion.
For the moving system, take the minimum and the nonincreasing sequence in the stabilized profile. Each comparison just used involves bounded vertex counts. A failure on an ultrafilter-large set of stages at any one such bound would produce a bounded-weight sequence contradicting that minimum. Thus any fixed finite collection holds on an ultrafilter-large intersection of stages, from which an arbitrarily high stage may be chosen. No assertion about every sufficiently high stage, or about all unbounded counts at one stage, is needed.
Recall that a list is partitionable when a permitted contraction forest has a unit symbol as its output. Its terminal polynomial is then nonzero, since the indicated iterated finite difference is nonzero.
Lemma 7.2 (Finite label reserves). Fix a minimum seed and a finite label alphabet.
In the all-split rational alphabet, a list with the same total label as the seed and sufficiently many copies of its labels is partitionable.
In the quadratic alphabet, retain split anchors with the seed labels. Suppose there are sufficiently many simple vertices of the required parity and sufficiently many split reserves of each realizable rational shift. If , also suppose
Here depends only on the anchors and the reserves. Then all other split vertices can be attached to simple vertices so that the result is the minimum seed and good twin pairs. The twins may match a prescribed finite enrichment of the rational labels. The base simple labels may be specified on any projection on which the required total agrees.
All reserve requirements depend only on the finite alphabets, seed, and projection. They do not depend on the original list length.
Proof. In the first case retain the first seed labels and merge all other vertices to the last cluster. Sufficient copies ensure that this cluster is nonempty. Its label is forced by the total, hence is the last seed label. Lemma 7.1 makes its unknown edges immaterial.
For the second case, the rational labels of split attachments form the subgroup with trivial -coordinate. They act transitively on the simple coset, so every prescribed change of a simple label has a realizable split shift. Reserve sufficiently many representatives of every such shift. Remove these reserves and the anchors from the donor pool. If , (39), with exceeding the number removed, leaves a distinct donor for each bad simple vertex. Attach these donors; every simple vertex is now good. If , this operation was unnecessary.
Pair equal enriched good labels. By withholding a bounded number of pairs, leave between and unpaired vertices, with the correct parity; depends only on the number of enriched labels. Use reserved shifts to turn the excess unpaired vertices into good pairs and to set the first base positions to the desired seed labels. The seed labels themselves need not all be good. Attach every remaining nonanchor split vertex to the last base position. Its projected label is forced by the total, the anchors, the other base positions, and the twin pairs. It is the required last seed label. Each cluster contains one simple vertex, so every contraction is permitted. Only a bounded number of reserve shifts was used.
When incidences to a retained split anchor are needed only to remove twins, they can be prescribed after the contracted labels are fixed, by the independent terminal-edge realization. Fixed stationary vertices instead enter the finite label enrichment from the outset. These two uses do not increase the number of label types with the original list length.
Lemma 7.3 (Neutral packets). For any of the finite reserve problems above with prescribed rational total zero, one can choose a finite packet of terminal labels with rational total zero such that every nonempty union of copies of the packet has the required supplies. In the quadratic case with , its donor surplus may be made arbitrarily large. Compatible fixed splitting conditions may be included whenever the needed individual labels and shifts remain realizable.
Proof. Choose ample copies of every required label, including anchors and shifts. When the quadratic fields are distinct, add enough donors to exceed all the losses from the other labels and the prescribed reserve margin. When , every simple vertex is already good. Duplicate every full label in the resulting list. Duplication gives total zero in every rational elementary coordinate and preserves any strict donor surplus. Choose the margins so that after reserving the finitely many anchors in any one packet, the union of any positive number of packets still meets the reserve requirements. All labels are realized by distinct fresh primes; duplication never means repeating an actual prime factor.
The even converse and its uniform estimate
Proposition 7.4 (Even original base). If , then .
Proof. Parity gives even functional sign. Fix an even symbol on the filter of 1, including all auxiliary class-group tests. If its value at 1 is a unit, analytic nonvanishing is already detected. Otherwise use a nonempty minimum seed in the full-torsion case, or a stabilized quadratic seed in the other case.
For each , assign a neutral packet from Lemma 7.3 to every nonzero linear form on , and activate its primes by that form. At every nonzero address at least one packet is active; their union satisfies the reserve problem and has a nonzero terminal polynomial. At zero no terminal is active. The single-symbol case of Theorem 6.6 adds primary auxiliaries and makes the symbol a unit at every nonzero address. All local classes remain those of 1. Equation (7.1) gives the uniform bound at all nonzero vertices. Theorem 3.1, applied at the original corank-zero base, now gives .
Proposition 7.5 (Partitionable even estimate). Fix an even unit symbol on a prescribed filter. For every partitionable parameter on its filter with ,
The constant depends only on the symbol and fixed local data.
Proof. If the parameter has no prime factors, the only contraction is the identity, so partitionability means that the empty symbol itself is a unit. Equation (7.1) then proves the assertion directly. Otherwise the stationary terminal set is nonempty. Keep the prime factors of stationary. The iterated edge difference along the defining contraction forest is 1, so their terminal polynomial is nonzero. The stationary one-symbol case of Theorem 6.6 gives arbitrarily large binary cubes based at , with only primary new primes, whose other addresses have unit symbol. Equation (7.1) and give the uniform upper bound required by the cyclotomic transfer. The base corank is zero, so Theorem 3.1 gives (7.6). A base-dependent dimension threshold does not affect the asserted constant.
The lower bound needed for odd coefficients
The even estimate also supplies the arithmetic hypothesis of Proposition 4.2. For an already analytic-rank-one parameter , we choose a companion with boundedly many prime factors and estimate the central value at . Comparing the ring and genus Heegner sums then bounds from below. The companion in this argument may vary with ; the odd coefficient system has not yet been normalized.
To compare the two fixed isogenous curves , add subscripts to . At a parameter already known to have analytic rank zero, both twists have finite Tate–Shafarevich groups by the forward theorem. Cassels's isogeny formula for the arithmetic BSD quotient [16], as explained in Tate [72], [Theorem 2.1 and the following discussion], gives
Indeed, at an active odd good prime the component-group valuation is for the corresponding curve, so the active Tamagawa valuations sum to twice its weight. At the fixed support only finitely many local twisting classes occur. Differential, period, and torsion ratios are bounded by the fixed isogeny and its reverse, and the rank-zero regulator is 1. These account for the bounded error in (7.7). The isogeny identity applies to the known finite groups and does not assume the BSD value formula.
The two twists have the same -function. Their fixed normalizing periods therefore give , uniformly in . Combining this with (41) shows that changes by a uniformly bounded amount. Consequently (40) transfers in either direction with one constant, even when the choice between the two fixed isogeny orientations depends on .
Lemma 7.6 (A bounded companion for a varying odd parameter). Fix a positive odd-sign filter and a negative genus partner with , chosen using Proposition 3.8 and then excluded from the variable parameters. There are constants such that every on this filter of analytic order one admits a negative odd fundamental discriminant for which
, is a square at every place of , and is nonexceptional;
;
and
Proof. Choose the class-group support and all other fixed label tests before varying . Prepare an even negative-index symbol for each possible total type at this support, and for both isogeny orientations if needed. There are finitely many such preparations. The positive index has nonzero total rational type: its negative-discriminant parity is already nontrivial among the tests at 2. Thus in the full-torsion case a unit seed has positive count. In the quadratic case use the stabilized seed of Lemma 7.1.
When , interchanging the isogeny orientation interchanges the two counts in (39). Select the orientation with initial balance at least zero. The existing donors can then pay for arbitrarily many existing bad simples. They do not have to be supplied by new primes.
Let be the absolute prime-count bound in Proposition 3.8. Insert in a finite dummy supply that meets the anchors, minimum simple count, and reserve requirements for every one of the finitely many prepared symbols. When the quadratic fields are distinct, add donor slack paying for every reserved loss, the new dummy bad simples, and a further possible loss of from the later rough factor. Add a fresh ramified prime if needed to exclude the exceptional imaginary fields. The number of dummy primes is bounded independently of . Their labels and initial incidences may be chosen by Lemma 6.1.
Absorb and the dummy product into the curve. Apply Proposition 3.8 to complete by a squarefree factor coprime to all primes already used. Prescribe its sign and its local unit classes so that the final is an odd negative fundamental discriminant, is a square at , and has the required original local classes at . These conditions are reduced congruences at the level of the absorbed curve. Additional fixed primes may be excluded. The lemma makes the central value at nonzero with at most new factors. Its size threshold may depend on and all these congruences; does not.
No particular resulting unit class at the auxiliary class-group support was assumed in advance: dummy supplies were prepared for every possible total there. For the actual total, Lemma 7.2 makes partitionable. Analytic nonvanishing gives Selmer corank zero by the forward theorem. Proposition 7.5 therefore gives (42), with the isogeny comparison above if the other orientation was used. The finite preparation and the bound on dummy and rough factors give independent of .
Proposition 3.2 compares the genus sum with the ring-class sum over :
whenever the two twists have analytic orders one and zero. The error is uniform in for fixed , and uniform in , when is bounded and the prescribed local classes are retained. Thus the same comparison applies to the bounded companions just constructed.
Proposition 7.7 (Uniform lower bound for the odd detector). Every analytically rank-one in the fixed positive filter satisfies
In particular uniformly in and its prime count.
Proof. Choose by Lemma 7.6. Combine (7.3), (7.9), and (7.8). Since the factors are coprime, , and . Hence
Only even symbols and independently nonvanishing companions were used. Thus this proof precedes, and does not assume, the odd minimum-depth normalization.
A fixed companion for the odd converse
Suppose the functional sign is odd. By Proposition 7.7, the odd coefficient system can now be normalized on the positive filter of 1. Fix its old support and genus partner . Its moving detecting prime has not become an extra fixed support requirement.
Choose a separate even symbol for negative discriminants square at , excluding the fixed odd support, the relevant torsion ramification, and the exceptional imaginary fields. Choose a unit of that symbol. Then . Fix this and for the rest of the construction, before choosing any cube dimension. Its fresh ramification makes it independent of the old fixed label extensions. At sufficiently advanced stages avoids . The intrinsic odd label tests continue to omit the primes of . When the odd symbol already detects the base, the converse follows directly. We henceforth consider the remaining case, in which the odd symbol has the nonempty seed described above.
For the moving odd source, fix its stabilized minimum depth and seed profiles before constructing packets. A bounded-weight seed has boundedly many vertices here, since every prime has weight at least . For each fixed field used in the labels, permitting ramification above the one moving prime adds only boundedly many dimensions to its elementary squareclass space. Identify these spaces compatibly with their fixed projections and stabilize the finitely many seed and label profiles. The reserve bounds of Lemma 7.2 are uniform over these profiles, so the packet constructions below have a fixed size. They are finite tables of labels; their prime representatives will be chosen at an actual coefficient stage after the networks and their weight bounds have been specified.
Our remaining task is to construct, for every binary dimension, a family in which the odd test at and an even test at are simultaneously units away from the zero address. Every new prime will split in this single field . For quadratic , the good-twin rule makes the unit at a nonzero even test on additional prime configurations. With full rational two-torsion, the restriction to -split primes can instead leave only the empty configuration at the original minimum depth. The next construction supplies a nonempty witness in exactly that case; its extra division changes the valuation estimate by a fixed constant.
A nonempty witness with full rational two-torsion
Lemma 7.8 (Recurrence congruences). Let be odd, , and let
If , then is even and
If , put ; then is odd for every . Finally, for , if then for every .
Proof. Modulo 2 the recurrence is . Its initial values prove the parity assertions. For , the recurrence for is the same. Directly, when . Thus is constant modulo 2. The last assertion follows by substituting the sequence in the recurrence and checking its first two terms.
Lemma 7.9 (Nonempty -split witness). Suppose is rational. Choose a negative unit of a fixed even symbol for , prime to all previous fixed support and to the ramification support of . Put , chosen nonexceptional. Let contain , the primes of , and primes generating the class group of . On the positive filter of 1 square at , there is an even unit test on nonempty products of primes split in with these properties:
it has a nonempty witness;
it satisfies the oriented split contraction and primary-isolation rules over , for contractions with nonempty output;
a unit at implies
The proof uses Lemmas 5.3 and 5.4 to construct a further divided coefficient test.
Proof. Let be the coefficients of the original negative-index form for . Since attains its least normalized depth, whenever lies on its filter. Use the ordinary even coefficient form for , normalized by , on the positive filter of 1 square at . The two exact comparisons in (12) give
Indeed, the period and the factor cancel in the old ratio, and the new period cancels in the new ratio. Enlarging only restricts the allowed , so the original minimum still gives
at every allowed squarefree .
If equality holds at a nonempty product of -split primes, use the usual even bit, projected from oriented -labels to rational labels. It has all the required properties by Theorem 5.10. We therefore assume for the rest of the proof that equality never occurs there. By the rational-phase assertion in Proposition 4.1, normalization by makes each nonzero squarefree coefficient a rational number times a root of unity. Its valuation is an integer, not just an element of the possibly ramified coefficient field’s discrete value group. Thus strict inequality implies
for every nonempty allowed all--split .
Write for the form. Its characters satisfy ; since the scalar character is even, is odd. For a set of -split primes put
All expansions retain the prescribed support sieves. The ordinary divided form is
Here denotes its coefficient at the squarefree index .
The mod-8 consequence. We first prove
for every allowed good split in .
Put and apply its trace at a Frobenius lift , testing coefficient . The terms and have the same character, whose -part is primitive quadratic. Thus they have no -old constituent. On their conductor-one ramified principal-series constituents the identity is
The remaining term is unraised, and obeys the ordinary good-prime coefficient identity. Consequently
Replace the trace by a fresh split prime with the same finite data, including every support-unit test. At each rational quadratic character unramified outside , a Frobenius lift at has the character value of . Hence the matched has the same value, and has value . Equivalently, has the same unit squareclasses as at all places of , so their product is square at all of them, including . Since , the new prime is also split in . Its coefficient on the left tests ; by (47) it is zero modulo the maximal ideal after the two divisions. To check the determinant term, let be the determinant scalars on the raised and unraised character spaces. Then
The character difference is integral. Also modulo the maximal ideal, since , whereas because and is nonsquare. Thus after reduction. This cancellation uses the two character spaces together.
On the right, the indices and in have underlying squarefree index ; they involve only . The unary term has no coefficient at either nonsquare index. Thus no other squarefree coefficient contributes there. For , the phase-free square coefficients are , , . Hence the remaining coefficient is, up to a unit,
This quotient is rational. Its vanishing in the residue field therefore gives a positive integral -adic valuation, so it is divisible by 2. Full rational two-torsion makes even, so is odd; this proves (48). No individual total filter condition on was needed: its matched prime makes lie on the filter, and the square-index terms on the right come from 1.
One further division by 2. Define
We verify integrality at every coefficient. Write a test index uniquely as , where and is squarefree and disjoint from . The underlying squarefree coefficient is at . Removing the unit phases, a prime of contributes an odd factor with , and a prime of contributes with . Thus
by (46), with one additional unit of valuation when is nonempty and all its primes split in .
If and all primes of split in , the last inequality is at least . If contains an inert prime, then contains at least two: the total rational -character is trivial on the filter, and all primes of split. Then (50) is again at least 2. No unary term has this squarefree part. This proves divisibility by 4 for .
Suppose and . Then is nonempty and all split, so is even. This cancellation can be checked without dividing by a leading multiplier, which may be zero. Factor from both shell coefficients the common phase and the scalar , whose valuation is at least 1 by (47). The remaining factors are the odd differences at , the integral divided differences at , and the ordinary square-index factors outside . By Lemma 7.8, their product is congruent modulo 2 to the product of their leading values, even when one of those values is zero modulo 2. Since is odd, multiplication by preserves this congruence. The common scalar supplies the second factor 2. Retaining the phase therefore gives
This is exactly the cancellation with .
Finally let , so . At a prime outside the recurrence gives . At a prime of , (48) gives , and hence
Multiplying these congruences, again retaining the phases, gives . This proves integrality in the last case and establishes (49). Diamonds preserve this lattice: when , is even and the quadratic character difference supplies another factor 2; when , the characters agree exactly.
The new symbol and its witness. Multiply (49) by ordinary theta and use the integral trace operators. Two fresh traces in give zero after reduction at every coefficient. To see this, start with an arbitrary test index and choose the two fresh primes outside that index and the level. The filter imposes ; since is all split, the number of inert factors in is either zero or at least two. The fresh traces replace by , with both split. In the first case the valuation after division by 4 is at least . In the second case it is at least . The unary terms disappear under these fresh tests. Additional fresh traces only improve these estimates, so vanishing holds on the entire reduced trace orbit. The trace identity therefore gives
on this reduced trace orbit. Thus the tests factor through the elementary extension of unramified off the level.
A single fresh -split trace at coefficient reads the bit
for a nonempty all-split configuration. The contraction rule follows from the same integral local identity as in Lemma 5.4. For completeness its first shell, with and a fresh trace , has underlying configuration , which is still nonempty, and its reduction is
Changing the oriented inertia bit changes once. The omitted-prime identity gives the product label and removes the entire rational prime from the new ramification support. Consequently its repeated contraction has precisely the forest interpretation of Lemma 6.3. An omitted-vertex label equal to the identity has trace zero, which is primary isolation. No contraction to the empty configuration has occurred.
It remains to prove that this deeper test has a witness. Fresh ramification gives . By Chebotarev there is a good prime inert in and trivial on the original . Then
On , whose coefficient at is zero, test at coefficient , where . The square coefficient and matching unary character give, up to a unit,
The determinant term at coefficient cancels. In characteristic two, , so a single trace in is nonzero. A fresh prime realizing this finite trace test is split in . Moreover is trivial on every rational quadratic character, so the prime lies on the required total rational filter. It is a nonempty witness for (51). Finally the exact coefficient ratio gives (45), with the additional depth at most one.
Lemma 7.10 (Orientation correction). Let be imaginary quadratic, let contain and its ramification support, and let be the elementary label space over unramified off . Complex conjugation acts on by . If the rational total of an oriented prime configuration is zero on every rational quadratic character unramified off , then its oriented total belongs to . A reserved supply containing every label allows its orientations to be flipped to realize any prescribed change in .
Proof. Complex conjugation has order two outside , so . A -invariant quadratic character of extends by giving value zero. At a rational prime outside , inertia lies in and the character is trivial there; thus its extension remains unramified outside . The assumed total therefore annihilates .
For a finite vector space with involution, the annihilator of is . This proves the first assertion. Flipping a vertex of label changes its oriented label from to , and hence changes the total by . Reserve one representative for every preimage needed to express the desired element of the image. Their independent flips give the second assertion. These flips preserve every rational norm label.
Common packets and rank-one interpolation
Proposition 7.11 (Families with a fixed companion). With the fixed odd coefficient system and companion chosen in Section 7.4, suppose the odd symbol at is zero. There is a constant with the following property. For every there are distinct primes outside and the fixed supports of both coefficient tests, with nonzero linear activations, such that their signed products , , satisfy . Every is positive and has the fixed local classes of , and every new prime splits in . The primes also avoid the detecting prime of the actual odd coefficient stage. In particular for every . For every ,
and
The constant and the discriminant are independent of .
Proof. We construct common terminal packets, individually split in , such that the odd terminal polynomial and an even terminal polynomial testing are separately nonzero at each nonzero address.
First suppose are quadratic. Keep the original even symbol evaluated on , treating the vertices of as stationary external data. Enrich the rational labels of the -vertices by the primes of . Their total there and at the even support is required to be zero. Let be the resulting rational elementary label space, including the , and coordinates and all relations among these characters. The allowed simple labels form the affine set , in additive notation. The difference of any two of its elements belongs to , precisely the realizable rational labels of the permitted split attachments. Translation by this subgroup is therefore transitive. The fields are unramified outside the old support, whereas has a fresh ramified prime; thus is independent of their compositum. When , this realizes both the good-simple pattern and the donor pattern in their three coordinates. When , all simple labels are good.
For the old odd projection, take a normal closure of its finite label extension, including the moving prime at any stage realizing the stabilized profile. It is unramified outside the old support and . Once avoids , a prime ramified in remains outside that set. Hence has trivial intersection with this normal closure, and every old odd label can be realized together with splitting in . This applies also to oriented split anchors over . The added stationary coordinates may have relations, but they are already included in ; they do not impose extra requirements on the omitted odd projection.
Use packets with the required simple supply and reserves in this kernel, and with sufficiently large donor slack when . For the even test, take no split anchors. Correct all bad simples to good ones, pair equal enriched labels, and retain a nonempty good base pair. Use reserves to match the pair and the remaining good pairs, and attach every leftover split vertex to the last base position. Its label is forced by total zero. The output is a collection of good twin pairs, each matching also at every split vertex of . Twin insertion into the unit at proves that this output has even symbol one. Thus the even terminal polynomial is nonzero.
For the odd test, project away the newly added tests at . The same packets contain enough split anchors, simple vertices and reserve shifts to contract to the stabilized odd seed and good pairs, by Lemma 7.2. Its total on that projection is the prescribed zero total. Incidences between the retained anchors and the good pairs can be set after contraction, by independent edge choices. The odd polynomial is therefore nonzero as well. This odd test does not include the stationary vertices of .
Now suppose the curve has full rational two-torsion. Use the even test of Lemma 7.9, with -oriented labels on its support , and let be a minimum nonempty witness. Its oriented total lies in , by Lemma 7.10. Choose packets containing ample copies of every needed even label, all odd seed labels on their rational projection, and orientation-shifting reserves. In the common compositum, restriction to the even label extension is surjective, so each even label has a lift. Each intrinsic odd label also has a lift fixing : fresh ramification gives , and the moving odd prime avoids . Extending these elements to the common compositum gives the required lifts. Take sufficiently many lifts for each projection separately, without prescribing their other projection. Duplicate each full label, so the packet has rational total zero.
For the even contraction, retain anchors with labels . After reserving these anchors, use orientation flips to make the total equal to ; this is possible by Lemma 7.10. Merge all remaining vertices into the last cluster. Its label is . The cluster is nonempty, and the minimum nonempty count makes the output a unit independently of its mutual edges. For the odd contraction, use its rational projection. Every odd seed label lifts to a -split prime because was freshly ramified outside its intrinsic support. Retain all but the last odd seed label and merge the remainder. Total zero gives the last label, so this is also a unit. Orientation correction is conjugation over , which preserves every rational quadratic label, including those at the moving odd prime. Adding to the common support has not added it to the intrinsic odd projection.
In both cases put a sufficient common packet at every nonzero linear form on . Each nonzero address has two separately nonzero terminal polynomials. Theorem 6.6 supplies primary auxiliaries split in (and in the quadratic case), neutral at the stationary primes of , and makes both symbols one at every nonzero address. The auxiliary generators are primary at every support coordinate used by either projection. Thus the odd and even graph identities remain identities on the same common terminal polynomial data. All active products are positive and square at the fixed tests, and all their primes split in .
For each fixed , the terminal tables and networks now give a finite list of coefficient tests and a maximum weight. Choose the working precision after these bounds are fixed. Finer ray neighborhoods affect prime realization but do not enlarge the elementary label alphabet. Lemma 4.3 and Theorem 5.10 realize the required divisibilities and symbol identities on an ultrafilter-large intersection of stages. At an arbitrarily high actual stage in that intersection, realize the finite graphs by distinct primes. The unit-depth constants and the companion were fixed before was chosen, and therefore remain uniform in these realizations.
At each nonzero address the odd unit detects analytic rank one and gives . The even unit detects and gives , or the bound (7.11) in the full-torsion case. The fixed quantity is absorbed into . These are the asserted estimates.
Proposition 7.12 (Odd original base). If , then .
Proof. Parity gives odd functional sign. Proposition 7.7 therefore permits the odd normalization used above. If its symbol at 1 is a unit, it already gives . Otherwise apply Proposition 7.11 for arbitrarily large . At every nonzero address its estimates and Proposition 3.2, with the fixed , give
The finite Sha lengths there are nonnegative. Hence , as required for Heegner interpolation.
At address zero, gives by Lemma 2.1. Lemma 2.2 gives
Since is fixed, the finite quotient of this base Selmer group has a fixed length. Theorem 3.3 makes have a simple zero. Its second factor is nonzero at 1, so .
Theorem 7.13 (The rational-two-torsion converse). Let satisfy and , with the local Kummer conditions at every place. Then
There is no restriction on the rational isogeny configuration, complex multiplication, or reduction at 2 or at the bad primes.
Proof. The initial isogeny choice preserves both quantities and covers both rational two-torsion configurations. Proposition 7.4 proves the corank-zero case. In the corank-one case, Proposition 7.7 supplies the coefficient normalization, and Proposition 7.12 proves analytic rank one using a companion fixed before the binary dimension grows.
Selmer matrices and three-state relations
Assume that is irreducible, and write and . The symbol rules will be useful because a unit symbol bounds the 2-Selmer dimension. We now express local Selmer conditions by a binary matrix and make that bound constrain the number of singular blocks. The second half of the section develops the elementary matrix operations needed to apply this constraint.
Write the Weil pairing additively, and choose a basis of in which its matrix is
Fix a finite set containing 2, 3, the bad primes, all auxiliary exclusions, and rational primes whose prime ideals generate the class groups of every subfield of . Local specifications at will also include the archimedean places. The detecting prime for an odd coefficient system is kept separate: all generators below have valuation zero there. This separation keeps the set of support types finite as varies. We shall apply the construction to a fixed curve, after absorbing any initial quadratic twist into .
Global classes and local equations
At a split prime , choose a place of and put . At a simple prime, choose a place with Frobenius a specified transposition and put . Set
Thus has dimension two or one, respectively. The chosen place lies above a degree-one prime of . By the choice of , there is whose divisor away from is . For define
Here is the quadratic Kummer character; its product with is a cocycle because fixes .
The inertia coordinate of at is , and all its other inertia coordinates outside vanish. Indeed, local restriction–corestriction has exactly one ramified summand, at the degree-one place where has valuation one. These coordinates therefore make the classes for distinct independent. A root prime has and contributes no coordinates.
Let be a twist containing the active nonroot primes in its discriminant. At a good odd prime ramified in , inertia identifies the local Kummer condition with . To see surjectivity, halve a Frobenius-fixed two-torsion point over the maximal unramified extension. The ramified twisting involution negates its half, so the resulting Kummer inertia is that two-torsion point. The Kummer condition has dimension by local duality, giving the asserted isomorphism.
Fix arithmetic Frobenius lifts . A second local coordinate is unramified evaluation at , modulo Frobenius coboundaries. Let be this coordinate for the Kummer lift of inertia . It is determined by and the local twisting squareclass. Define the block matrix by
Thus is exactly the collection of active-prime Selmer equations for . Changing the unramified unit part of the twist adds to a split diagonal block. On a simple line it changes nothing, since the Weil pairing restricts to zero on a one-dimensional space.
Record in the type the subgroup and the squareclasses of at the places over , including signatures. Only finitely many types occur. Finer generator neighborhoods will be used to reproduce self entries, but they are not part of this type alphabet and do not enter its codimension cost. Global reciprocity gives
where is the sum of the local cup pairings at . Indeed, at an active prime decompose each class into its Kummer lift and its unramified difference. Both planes are isotropic, and the cross pairing is unramified evaluation paired with inertia. The terms at and give the left side; the sum over all places is zero. Elsewhere outside the classes are unramified, so the local pairing vanishes. This includes , where the generators have unit valuation. The same calculation shows that is alternating.
Prescribing the matrix entries
We next prove that the off-diagonal entries and the rational Legendre bits can be varied independently. The latter bits will control split diagonals without disturbing the other blocks. The class-field inputs are ray-class reciprocity, the Hilbert product formula, and Chebotarev [53]; see also Milne [48].
Lemma 8.1 (Realization of finite matrix prescriptions). Fix finitely many individually admissible oriented prime templates, including generator neighborhoods at , any additional finite places, and oriented Frobenius on and fixed quadratic-radical extensions unramified outside that support. At arbitrarily fresh primes these templates admit the following simultaneous prescriptions.
Between distinct vertices, one direction of the double-coset residue bits is free and reciprocity determines the reverse direction. The available matrix blocks are all binary matrices for two split vertices in the case, and in the case, with the rotation algebra identified with . For split–simple vertices the full vector space is available, and for simple–simple vertices the scalar entry is available.
The rational Legendre bit between the absolute primes is independent of the matrix block, subject to rational reciprocity in the reverse direction.
Repeating a template fixes its simple self entry and its split self block modulo a scalar multiple of . A sufficiently primary split template with trivial -Frobenius has self block in .
Here primary means sufficiently close to at the finite places of and totally positive at the real places. New cross-bit prescriptions are made outside the support. All assertions concern finite configurations; an additional moving prime may be included among the prescribed places.
Proof. Off-diagonal entries. Restriction–corestriction in (52) gives, for distinct vertices,
The bit is the quadratic residue of at the oriented -place in . Indeed, pair local transfer with the -invariant vector ; the orbit length is precisely the residue degree in the norm calculation. In this intermediate field, each of and has its off-support divisor at a single prime: its oriented Frobenius generates the subgroup fixing the generator. Hilbert reciprocity therefore relates to , with correction only at .
For a new vertex the independent forward bits are residue conditions at distinct primes of its own field . Move an initial template away from the old primes and choose a degree-one prime in the ray class whose quotient generator has the prescribed neighborhoods at , real signs, and nonzero residues at those old primes. Multiplying the template generator by this quotient gives the required new generator. These conditions also preserve the admissible fixed Frobenius data: changes by local units at old primes are trivial on the intersection with extensions unramified outside the fixed support. Chebotarev thus imposes the ray and fixed-label conditions simultaneously. Prime ideals of degree greater than one over have density zero among prime ideals of , so requiring degree one loses no admissible class. The same argument permits additional finite support, including . Reverse bits are then determined by reciprocity. Rational norm bits at already chosen root primes may be imposed as additional residue conditions in the ray modulus: finite-field norm maps are surjective, and these primes contribute no matrix coordinates.
Matrix span and the norm bit. The norm to writes the rational absolute-prime Legendre bit as the sum of the double-coset bits, plus a fixed support-unit correction. For two split vertices the matrices in (8.4) are . They span for and for . A nontrivial rotation satisfies : changing these three bits fixes the matrix and changes their sum. For split–simple vertices, the three nonzero vectors or dual vectors likewise span the full space and have the same odd relation. For two simple vertices, the matching double coset has zero pairing and the other has nonzero pairing. The first bit changes the norm bit alone. This proves (i) and (ii).
Self entries. The nonidentity double cosets in self-transfer are unramified at the oriented prime. The identity term is a scalar times the pairing and is therefore zero on a simple line. At a split vertex the two rotation terms have fixed sum by reciprocity; changing both alters the block only by a scalar multiple of . Every other term has an involution representative exchanging the oriented place with another one. For a simple vertex this includes a transposition other than representing the nonmatching self double coset.
Work in and put
The distinct divisors of and ensure . If is the place below the oriented prime, the residue symbol of there is : has valuation one and is a unit with the required residue. Outside , is a unit. When is a unit, both and vanish. When has positive valuation, put . The identity
shows that has residue squareclass ; the two symbols are again equal. At , . Reciprocity applied to both symbols gives, in additive notation,
At finite support places the right side is locally constant in a sufficiently small neighborhood of the template. At a real place where is complex, and are positive. At a split real place, opposite signs of and make the two terms cancel; equal signs determine their sum. Thus signatures suffice, without archimedean size restrictions. For a primary template, is a square at the finite support places and has the squareclass of . The support sum becomes , since the terms outside vanish. The involution terms are therefore zero. Together with the local Kummer lift determined by , this proves (iii).
Symmetrization and the Selmer bound
The realization lemma supplies the allowable matrix blocks. We now remove their fixed-support reciprocity defect and compare the resulting kernels with actual Selmer classes. The fixed support types, stationary environment and additional local conditions will account for the loss in dimension.
Choose a matrix rule in the available block spans such that
For distinct types, choose either direction using Equation (54). For equal types, the right side is alternating. It is a matrix plus its transpose in the full span; in the rotation span use after multiplication by . On a simple line it is zero. Choose when one type is primary and trivial at , since then its support pairings vanish. Define, on every pair including the diagonal,
The matrix is symmetric. Lemma 8.1 allows zero cross- entries between prescribed blocks independently of their internal entries.
A stationary environment consists of the fixed coordinates outside the variable blocks; its dimension is the number of those coordinates.
Proposition 8.2 (Nullity forces Selmer dimension). Fix the curve, support types, a bound for the number of additional constrained places, and a bound for the dimension of a stationary environment. Partition a finite configuration into blocks with zero cross- entries, and denote their matrices by . There is a constant depending only on these fixed data such that
At a unit coefficient symbol the sum of nullities, and hence the number of singular blocks, is therefore uniformly bounded. The bound works for both coefficient sources and is independent of the moving prime .
Proof. On , impose
using the fixed orientation and basis to identify coordinates of the same type. These equations have codimension at most . They kill the correction in every row, since that correction is
Thus at all block positions. Set the environment coordinates to zero and impose its row conditions, losing at most its dimension. The Selmer conditions at and the additional constrained places have bounded total codimension in local . At every remaining good place the classes satisfy the unramified Kummer condition; at a root prime local cohomology is zero. Their sums are therefore Selmer classes, and independent inertia coordinates make the map injective. This proves (56).
At a unit symbol, Proposition 4.4 bounds the Selmer dimension, giving the remaining assertions. The type constraints use only the fixed ; a condition at the single moving prime contributes a uniformly bounded local dimension.
Three states on two coordinates
We have obtained two kinds of information from an arithmetic prime configuration: its coefficient symbol and a matrix whose nullity bounds its Selmer dimension from below. To compare configurations, we now vary exactly two coordinates at a time. Both the symbol and the determinant obey one common three-state relation. They remain different functions; the relation gives linearity, not their equality. The bounded number of singular blocks at a unit symbol will be the additional input used in the next section.
A site consists of either one split vertex or an ordered pair of simple vertices, and always supplies two matrix coordinates. At a split site use the three states
absent, present with diagonal , present with diagonal .
The rational Legendre bit of the aggregate root selects the two present diagonals. At a simple-pair site use absence of both vertices and two present variants differing in their nonmatching cross bit. Replace the second prime by a prime with the same template, self data, norm data, and outside cross bits. Its matching bit with the first prime must also change to keep the rational norm bit fixed; that bit has zero matrix contribution. Thus the two present matrices again differ by the symmetric toggle on their coordinate pair. Require all alternatives to agree against alternatives at other sites. These are finite simultaneous prescriptions allowed by Lemma 8.1.
In comparing states, keep fixed the total parameter label at the fixed support: the product of the labels of the active sites and the aggregate roots. The aggregate-root label itself changes when a site is deleted, absorbing the deleted labels.
Lemma 8.3 (The site relations). Fix the total parameter label at the fixed support and the diagonal choices at the other present sites. In each state choose aggregate roots restoring this label, compatibly with an order-three residual Frobenius, and preserving those diagonals. For either coefficient symbol, its three values at one site sum to zero. The same holds for , with empty determinant one. Consequently both functions extend linearly to the tensor product of one copy of per site, whose three nonzero vectors represent the three states. These factors encode evaluations, not vectors of .
Proof. For a split site this is the root-deletion rule of Theorem 5.10. Deletion transfers the removed vertex’s rational labels to the aggregate root. Signed prime discriminants preserve the unit twist, and hence the diagonal, at every remaining prime.
For a simple-pair site, omit the varied second prime from its opposite-parity trace test. In an extension of by an elementary kernel, two lifts of its transposition are conjugate by the kernel exactly when their difference lies in the image of . Dually, this means agreement on the -fixed radical squareclasses. Besides fixed-support radicals, these are generated by products of the orbit generators over -orbits: their off-support divisors are independent and conjugation permutes them. Singleton orbits test matching bits. A two-element orbit has product in ; its symbol at the varying degree-one prime is, by the residue norm, the symbol of one factor in , namely the nonmatching bit.
The variants agree on support radicals and the orbit tests for every other vertex. At the first prime they change both matching and nonmatching bits. Modulo the image of , their difference is therefore the product of inertia in the matching transposition orientation and inertia in the other orientation. Apply these substitutions successively. The matching-orientation derivative is zero; the different-transposition derivative deletes the pair by Theorem 5.10. Multiplication by inertia leaves the residual transposition unchanged. The intermediate Frobenius test is realized by Chebotarev; it need not be a site variant. The resulting root has rotation image and transfers the pair’s rational labels to the aggregate. Labels elsewhere are unchanged. At simple vertices root probes are immaterial; at split vertices the common rational labels preserve the diagonals. Matched actual probes, or their aggregate, are available because their discriminant character is trivial. This proves the symbol relation.
For the determinant, reverse every permutation cycle of length at least three. The resulting terms cancel in characteristic two, leaving only involutions. Toggling the symmetric entries changes exactly the terms containing , whose sum is the determinant with coordinates deleted. This includes the split -shift. Finally, the three-state relation in each factor is precisely linearity on its three nonzero binary vectors. □
Lemma 8.4 (Binary tensor span). Let , where each has dimension two over , and let . The nonzero pure tensors annihilated by span . Thus if pure tensors satisfy , then is plus a sum of pure zeros of .
Proof. It suffices to show that a functional vanishing on the pure zeros of is either or . Induct on , the case being immediate. Slice at the three nonzero vectors of the last factor, numbering so that and . If , then because the smaller pure tensors span. Otherwise induction gives for a binary scalar . If all three are nonzero, are independent, so the sum identities force all to agree. If one vanishes, the other two, and their , agree. All three cannot vanish. Hence or . □
Take and let be the all-absent state. Every invertible state is the empty state plus a sum of singular pure states. Moreover, on any selected set of active sites, some choice of pair toggles makes invertible: the iterated determinant difference over all selected pairs is the empty determinant, one. These facts turn the Selmer nullity bound into a constraint on symbol evaluations.
Making one address singular
The final construction singles out one nonzero vector of a binary cube. Every position is activated by a linear form, as required for interpolation; auxiliary split sites repair the matrix at all other nonzero vectors.
Lemma 8.5 (A block address program). Let be the singular matrix of a finite site state, and let be a sum of its pair toggles such that is invertible. For and , one can add finitely many primary split sites, each activated by a linear form, so that:
all sites present in the original state have activation , with ;
no site is active at zero, and at precisely the original state remains;
the matrix is invertible at every other nonzero address;
the active auxiliary matrix is always invertible, and its Schur complement contributes exactly when the original sites are active and .
All entries use the freedoms of Lemma 8.1.
Proof. Choose a basis for the forms annihilating and complete it by . Then exactly at . For each required toggle and each nonzero , choose a basis of forms all equal to one at . Such a basis is obtained from a form with by adding to a basis of the annihilator of . Its unique simultaneous all-one solution is .
Construct a path with steps, using two new split positions at each step, both activated by the corresponding basis form. In scalar block notation, where a scalar denotes that scalar times , put
The near and far endpoints are steps and . The matrix has one nonzero diagonal entry at the far endpoint. Restrict both sides to active steps, retaining only the original consecutive edges. The restricted is triangular with diagonal one, so is invertible, with scalar inverse
Couple the addressed coordinate pair by to the first side at the near endpoint. Such a pairing is available also for two simple lines. Solving propagates one to the far endpoint exactly when every step is active; a missing step interrupts the consecutive shift. The Schur contribution is consequently on a complete path and zero otherwise, including when the near endpoint is absent.
For each nonzero , exactly one path, the one indexed by , is complete. Their direct sum supplies the toggle when and supplies zero when . Repeat for each toggle in , with zero mutual cross- entries. The actual matrices are the scalar matrices tensored with , so the same inverse calculation gives the asserted binary Schur complements. All blocks lie in the permitted spans, and primary diagonals are or .
At the auxiliary sites are absent and , leaving . At any other nonzero address with , eliminating the auxiliary sites leaves . If , only the invertible auxiliary matrix remains. Every activation is linear and vanishes at zero.
The converse when is irreducible
The local matrices now supply the families needed for interpolation. We shall arrange that a coefficient symbol is a unit at every nonzero vertex of a binary cube, with all added primes absent at zero. The key observation is that a unit evaluation has only boundedly many singular matrix blocks. A maximal list of such blocks will therefore force all the required unit evaluations. In the odd case, a second construction supplies simultaneous nonvanishing for an auxiliary even symbol.
Theorem 9.1 (The irreducible converse). Let be an elliptic curve for which is irreducible as a -module. If
then .
The curve is fixed throughout. Every constant may depend on it and on the finite choices specified below, all made before the cube dimension grows. The result applies pointwise to any quadratic twist by taking that twist as the initial curve.
Finite evaluation tables and ordered profiles
A block is a finite set of the three-state sites of Section 8, together with their prescribed matrix entries. A state chooses one of the three alternatives at each site. Its evaluated matrix deletes the coordinates of absent sites and applies the toggles of the chosen active alternatives. The empty state has determinant . We call a state singular when .
The matrix and the coefficient symbol give different information about such a state. The raw matrix records the active-prime Selmer equations; is the symmetric matrix obtained after the fixed-support correction. The symbol still depends on the arithmetic realization, even when those matrix entries have been prescribed. What links them is Proposition 8.2: a symbol value permits only boundedly many singular blocks. We shall first stabilize the remaining arithmetic dependence and then use this bound.
Fix a normalized coefficient symbol on the filter of the parameter . For the odd source retain its condition at the moving detecting prime . Consider an actual finite array of blocks, numbered in increasing order, with between different blocks. For chosen indices and states , write
for its coefficient-symbol value. Each table entry uses its own aggregate-root probe, which restores the total support label of and gives the chosen diagonals at active split sites. Root substitution makes its value independent of the probe with these data. The calibration below will realize all entries used by a cube with one common set of linearly activated root primes. The total label, rather than the aggregate root’s own label, is fixed: deleting a site transfers that site’s labels to the root. The substitution rules therefore preserve this value when an unused site or an empty block is deleted. In particular, the empty table entry is .
There are two independent indices in these tables. Inside each block, site slots specify where a state and its addressing paths can be put. The indices specify ordered copies of the whole block. We will use a common countable library of site slots in every copy, closed under the finite addressing constructions of Lemma 8.5. A state in this library uses only finitely many sites, with every other site absent. A word is an ordered finite list of states from this library, with empty states omitted. An ordered profile assigns a value to each such word, consistently with the three-state relations in each block. The next lemma constructs one by stabilizing finite tables: its value depends on the ordered states, but not on which increasing list of block indices carries them. It asserts no invariance under permuting the states.
Lemma 9.2 (A finitely realizable ordered profile). For the fixed symbol , there is a countable library of site slots in each block and an ordered profile with the following properties.
(i) Every prescribed finite part is realized by an array of distinct primes with the data of Lemma 8.1. For the odd symbol, it is realized at arbitrarily advanced stages of the prescribed precision stabilization.
(ii) A word evaluation depends on the states and on their order, and not on the particular distinct block indices used to place them. The tensor relations hold separately in all of its blocks.
(iii) The site library contains a transferred minimal-weight unit witness and the primary split sites needed for every finite collection of requests in Lemma 8.5.
(iv) For a constant independent of the finite array, a unit evaluation contains at most singular blocks.
Couplings to finitely many fixed primes, kept outside the address symbol, may be prescribed in advance. In the even case, all primes may also satisfy a bound on independent of the finite array.
We first derive the consequence of this lemma. Its proof follows the saturation argument and explains how the ordered values retain finite arithmetic realizations, including for the moving odd source.
Lemma 9.3 (Saturation of a punctured cube). For the profile in Lemma 9.2, either the empty word has value , or there is a fixed finite word of singular blocks with value such that, for every sufficiently large , an addressed family has symbol at every nonzero point of and has all sites absent at zero. Every such finite cube is arithmetically realizable.
Proof. In the tensor space of a block, every nonsingular state is the empty state plus a sum of singular states, by Lemma 8.4. Expand the transferred unit witness this way. Some word consisting entirely of singular blocks, possibly the empty word, has value .
The lengths of all such words are bounded by Lemma 9.2(iv). Choose one of maximal length . If , the empty word has value . Otherwise fix one particular maximizing word
Each uses finitely many slots. These slots, and thus their total number, are fixed before grows. A bound on the number of blocks alone would not give this conclusion.
For each , place a copy of in its original block order. Address its th block to using Lemma 8.5. At the state is exactly , with every path site absent. At every other nonzero address the evaluated block is nonsingular, and at zero it is empty. All these finitely many programs are available in the recursive slot list. At a nonzero address , expand every block outside the copy designated for as empty plus singular states. Choosing the empty state in every such block leaves in its original order, hence gives 1. Every other term contains its singular blocks and at least one additional singular block, so maximality forces its value to be zero. This includes alternatives involving path slots: maximality was taken over the whole slot profile. Multilinearity therefore gives 1 at . All evaluations use one finite restriction of the profile, which is realizable by Lemma 9.2.
Proof of Lemma 9.2. The witness and available slots. Begin with the nonroot positions of a minimal-weight unit witness. The minimum-transfer rule in Theorem 5.10 moves them to fresh primes while retaining their fixed-support Frobenius labels. Neither prescribed internal couplings nor couplings to stationary primes change this transfer: the latter primes are outside the coefficient index. The total simple parity is even, so pair its simple positions into sites. Fix admissible generator templates, including support squareclasses and self types, for this pattern.
At each finite stage place a fresh copy of the pattern in every block to be colored. First apply Lemma 5.9 with matched actual root probes. The nonroot support labels are unchanged, so retaining the aggregate root’s support label restores the same total parameter label. Adjust only its bits at active vertices to give the prescribed diagonals. By Proposition 5.8(ii), a split root-bit derivative deletes weight one and vanishes below the minimal weight, while a simple root-bit derivative is zero. Thus every singleton witness still has value 1, even after all internal and cross-block entries have been prescribed. For the odd symbol, make the transfer at the actual coefficient level and retain the witness’s labels at the detecting prime. Thus the witness entry of every singleton color is 1 before taking homogeneous restrictions.
We now enlarge the site library inside each block. For every finite list of earlier site slots and every finite list of addressing requests on it, allocate fresh primary split site slots realizing all those requests. Programs used together receive distinct path slots. Set every undesignated coupling to earlier slots equal to zero in . This gives a countable formal list, since there are countably many finite requests. Any finite set of requested slots, together with its finitely many predecessors, is realizable by Lemma 8.1. The two simple-pair variants have identical outside bits and the prescribed internal toggle; the aggregate root supplies the split diagonal alternatives. Corresponding types have the same reciprocity correction , so a forward entry gives the required reverse entry as well. In every alternative impose between blocks.
Order-invariant evaluations. Fix the first sites of the common library. There are finitely many states on these sites, and their matrix entries have been prescribed. For each , color an increasing -tuple of block indices by the finite table of values on these states. There are finitely many colors. Apply finite Ramsey successively for these finitely many arities. Starting with sufficiently many blocks gives a homogeneous list of any prescribed finite length.
Let the lengths, arities, and slot cutoffs tend to infinity. At each fixed cutoff there are only finitely many possible color vectors. Successive subsequences and a diagonal subsequence make every finite vector constant. These compatible values define the ordered profile. Every finite restriction occurs in an original finite array. The tensor identities, deletion rules, and unit witness survive because each involves only such a restriction.
For the odd symbol, carry out this construction along its fixed nonprincipal ultrafilter of coefficient precisions. The witness has bounded weight, so its fixed- generator squareclasses and binary self data have only finitely many possibilities; first stabilize these data. Finer ray-neighborhood depths are realization data and need not stabilize. Impose the extra labels at at each actual level. For every fixed weight bound, Lemma 4.3 gives an ultrafilter-large set on which all required lower bounds and smaller-weight vanishing assertions hold. Otherwise one could choose a violating index of that bounded weight at each failing level, contradicting the definitions of the least depth or the least witness weight. More explicitly, let be an ultrafilter-large set on which the witness, cutoff lower bounds, and minimal-weight vanishing assertions needed for the th finite coloring hold. Choose precisions in , and apply finite Ramsey there. Stabilize the finitely many colors and take the diagonal construction above. The extracted subsequence need not itself be ultrafilter-large: every finite restriction occurs at arbitrarily high precisions, which is the required conclusion. We assert no single level valid at all weight bounds, and choose no infinite array of primes.
The bound on singular blocks. Proposition 8.2 and the uniform unit-symbol bound in Proposition 4.4 bound the sum of the block nullities. Each singular block contributes at least one. The type alphabet and its correction cost depend on the fixed support . The moving place and any bounded stationary environment contribute only the bounded additional local cost allowed in Proposition 8.2; they do not enlarge that alphabet as the array grows. This proves (iv) in every finite realization, and therefore in the profile.
For the final even-symbol assertion, choose fixed templates at sufficient 2-adic precision for the witness and its simple variants, and a fixed sufficiently primary template for the path sites. Refine each rational residue class to a finite precision determining a finite value of . Only finitely many templates occur. Cross-bit conditions at new odd primes do not change these residues. The same argument will apply to the root primes used below.
Local calibration and the even case
The preceding argument determines the symbol values. We next realize all its local twist classes simultaneously, while keeping each prime’s activation linear in the cube coordinates.
Lemma 9.4 (Calibration by root primes). The cubes in Lemma 9.3 admit realizations by signed squarefree parameters
where each is linear. The prescribed local classes and diagonal choices hold at every assignment. Moreover, may be required to be a local square at any prescribed finite set of stationary primes. Calibration adds only root primes, whose invariant dimension is zero. In the even case, all added primes may satisfy a bound on independent of $b.
Proof. The address and path programs already give a linear activation form for each nonroot prime. Both primes of a simple site have the same form, so their total simple parity vanishes coefficient by coefficient. For each coordinate , add a fresh root prime , active when . Choose its rational radical label at the support to cancel the coefficient of in the total nonroot label. The paired-simple condition makes the residual discriminant obstruction to a rotation label zero. Lemma 8.1 and root substitution in Theorem 5.10 therefore allow these choices.
The same roots supply the diagonal choices. At a nonroot split prime , the unit twist from the other nonroot primes is a linear function of . A desired constant diagonal bit on the active set of is represented by that constant times . The correction needed is therefore linear, say . Give the Legendre bit at . These bits are independently prescribable for the different ; simple positions need no diagonal correction. At each stationary prime, choose the root bits to cancel the existing unit twist coefficient by coefficient. To check compatibility, let be the compositum of the rational quadratic fields recording these finite tests. The fresh-prime radical classes are independent of the support classes by their valuations. Moreover, for ; for it is at most the residual discriminant field. Thus agreement on the already matched discriminant coordinate is the only additional condition for a rotation in . Chebotarev supplies the required roots.
Using signed prime discriminants gives the prescribed quadratic characters at every place, including infinity and 2. At each , the nonroot states and their internal data are those of its table entry. The product of the active root primes has the support label and the bits at active split primes of the aggregate-root probe in the corresponding table entry. Its bits at simple primes do not change the symbol. Root substitution in Theorem 5.10 therefore identifies with that profile value. The same comparison includes , where the root collection is empty and all added primes are absent. Finally, root support labels lie in a fixed finite set, so fixed rational 2-adic residue refinements determine . The extra conditions, ramified at fresh odd primes, are compatible with these refinements as in Lemma 9.2.
Proof of Theorem 9.1 when . By Lemma 2.2, the functional equation has sign . We use the even coefficient source on the filter of 1. To obtain its lower bound, choose an auxiliary twist of analytic rank one, with opposite infinity sign and matching local classes at , by nonvanishing in these fixed local classes (Proposition 3.8). Exclude its prime support and the exceptional quadratic fields as in Proposition 4.1. The reverse genus comparison and Theorem 3.6 give the lower bound required there. Fix this partner, the exclusions, and the normalized even symbol before choosing the profile or cube dimension.
If the empty word is a unit, Proposition 4.4 gives . Otherwise Lemmas 9.3 and 9.4 give arbitrarily large cubes with unit symbol at all . At each such point,
where depends only on the fixed normalized symbol. The local classes are fixed and the added-prime valuations are bounded independently of . These are precisely the remaining hypotheses of Theorem 3.1, which yields .
A bounded companion for the odd cube
Assume . Parity gives functional sign , so the address symbol is odd and its filter is the filter of 1. Choose its fixed genus partner of analytic rank zero, with opposite infinity sign and matching classes at , by Proposition 3.8. The irreducible genus bound supplies the coefficient lower estimate. Choose also an even symbol on a fixed filter of negative odd fundamental discriminants for which splits in . It has no condition at the moving prime . Its complementary genus partner has analytic rank one and is chosen by the same nonvanishing proposition. Fix these partners, all excluded prime supports and exceptional fields, and both coefficient normalizations.
If , unit-symbol detection already gives the desired analytic rank. Otherwise the following construction supplies every arithmetic hypothesis needed for varying-field Heegner interpolation.
Proposition 9.5 (An odd cube with a bounded even companion). For the fixed symbols , just chosen, suppose . There is a constant such that, for every sufficiently large , one can find an odd negative fundamental discriminant and a finite family
with the following properties.
(i) The primes are distinct good odd primes outside the fixed exclusions; , and every has the local squareclasses of $1 at the fixed support and at infinity. Each is coprime to . The field satisfies the standing Heegner conditions.
(ii) The prime support of has cardinality at most . At every nonroot prime , the parameter is a local square. At every nonroot prime , every is a local square.
(iii) The simultaneous symbol values are
Consequently has analytic rank zero and .
For the odd source, these assertions mean simultaneous actual tests at arbitrarily high admissible precisions after and its finite set of tests have been fixed. The constant is independent of , that precision, and all moving primes. The parameter may vary with the finite realization.
The construction uses the even symbol twice: at to control the base Selmer group over , and at to make the product have a simple zero at every nonzero vertex. We first condition by a fixed singular prefix. Only after this conditioning will its later values become determinants.
Lemma 9.6 (A determinant-conditioned prefix). For the fixed even symbol , there are a finite list of singular blocks and an environment consisting of at most one simple vertex with the following property. Fix these vertices and their split diagonal entries. Let be any further block of tensor sites whose alternatives all have to every block of . Choose aggregate root data preserving the prefix diagonals and the fixed total label. Then
The left side includes the fixed environment. Its couplings need only be compatible with the tensor alternatives.
Proof. If the filter of has odd simple parity, retain one simple vertex of a unit witness as the environment; otherwise take the environment empty. The remaining simple positions have even parity, so pair them into sites and put all variable positions of the witness in one block. Allow aggregate roots with the prescribed total class throughout.
Consider all actual finite configurations with this environment and a list of singular blocks, with between blocks, at which . This collection, allowing an empty list, is nonempty. Indeed, if the witness block is nonsingular, expand it as empty plus singular states by Lemma 8.4; some resulting term has value 1. Proposition 8.2 bounds the lengths of these lists, since the environment has fixed dimension cost. Choose an actual maximizing list and fix all its primes, singular matrices, and diagonal choices. Only this one finite list is retained; no bound on the sizes of arbitrary maximizing blocks is asserted.
For a proposed further block, fixing the prefix and environment gives a multilinear symbol functional . It vanishes on every singular pure state , for otherwise appending contradicts maximality. Also , because its aggregate root preserves the total label and the prefix diagonal data of the maximizing evaluation. Singular pure states span the kernel of the determinant functional by Lemma 8.4, and the empty state has determinant 1. Hence , proving (9.1). Maximality here is over actual singular states. It requires no alternative choice for any fixed prefix prime against a later prime.
The number of surviving copies
Fix a nonempty maximal singular unit word in an odd profile, as in Lemma 9.3. Write
where is a sum of site toggles making invertible. The matrix is invertible and is alternating. Their common coordinate space has even dimension, fixed with the word.
Lemma 9.7 (Address copies with even total activation). For every , the address construction for may be chosen so that its symbol is 1 at every nonzero and all sites are absent at zero. At a nonzero , eliminating its invertible path sites leaves the designated copy of and an odd number of copies of . The different copies have zero mutual -entries.
Proof. For every choose a linear form with
To obtain these forms, begin with arbitrary choices satisfying the first condition. Allowed changes at a form its annihilator. The annihilators of two distinct nonzero addresses are distinct hyperplanes and span the entire dual space. Changes at those two addresses can therefore cancel the initial sum.
Activate all word sites in the copy designated for by , and use a basis of the annihilator of for its path coordinates in Lemma 8.5. The saturation proof is unchanged. At a nonzero , the designated copy leaves . Each other active copy leaves , and a copy with leaves only invertible paths. Equation (59) says that the total number of active copies is even. The designated copy is active, so an odd number of other copies remain.
A bounded interface
We will couple every surviving copy to the same fixed collection of split sites. When two -copies are eliminated, their contributions to that collection cancel in characteristic two. Thus the calculation reduces to one -copy, one -copy, and the fixed collection. The following lemma chooses its couplings; its dimension depends on and not on the number of addresses.
Lemma 9.8 (Alternating interface repair). *Let be an even-dimensional vector space over , let be symmetric and invertible on , and let be alternating. There are at most linear maps such that, on writing and , the matrix
is invertible. If has the rotation-field structure occurring in the cyclic cubic case, the maps may be chosen -linear from to the field line .
Proof. Start with , and write for projection to the second coordinate. For every , this projection is injective on : if belongs to the kernel, then , so . The update adds the alternating form to . We show how to choose an update reducing every nonzero kernel.
If , choose of rank 2 on . Take a complement of and modify its basis vectors by kernel vectors so that vanishes on the new complement. The restriction of to that complement remains nondegenerate. The update is zero there and in its cross pairings, and has rank 2 on . Hence it decreases the nullity by exactly 2.
Suppose instead that is one-dimensional. Let denote the diagonal vector. Since for every binary symmetric matrix, annihilates the kernel and lies in the image of . Choose with . We shall use
To prove it, restrict to a nondegenerate complement of the radical, with invertible symmetric matrix and diagonal vector . The left side is . Off-diagonal terms cancel in pairs, leaving . Applying the same cancellation to identifies this with modulo 2, proving Equation (60).
Since the ambient dimension is even and the kernel has dimension one, . The alternating matrices and have zero diagonal, so is supported on the second coordinates. Consequently and are binary-independent: otherwise the former would be zero or equal to the latter, forcing . Choose sending them to independent vectors of .
Let belong to the kernel after this update. Self-pairing gives . Pairing the updated equation with gives
Pairing with gives the same equation with in place of , since . Their independent images force . The updated equation then reduces to , so is a multiple of . As , this multiple is zero. The update has made invertible.
Both choices of remain possible under the field-linear restriction. Two binary-independent vectors are either field-independent, in which case a field-linear map can send them to any binary basis of , or satisfy with . In the latter case any field-linear map nonzero on gives binary-independent images. These maps are allowed by the rotation-field or diagonal spans, and the preceding argument applies to the underlying binary forms.
Finally, injectivity of bounds every kernel dimension by . Each update strictly decreases it, so at most maps are required.
Proof of Proposition 9.5. Choose the prefix and possible one-coordinate environment from Lemma 9.6 and fix all their primes. Build the odd address profile disjoint from them, with to every prefix block. The alternatives at a simple pair have identical compatible outside bits against the environment. Include these stationary primes among the local-square conditions in Lemma 9.4.
Since , Lemma 9.3 supplies a nonempty maximal singular unit word . Fix it once. It determines , , , before is chosen.
Choose the maps of Lemma 9.8 for this fixed pair . Let be the direct sum of one standard -block for each map, and let be the matrix obtained by stacking the maps . Then
For a given , use Lemma 9.7 to obtain the address programs and then calibrate their support labels and diagonals by root primes.
Lemma 8.1 realizes these couplings by a fixed number of primary split interface positions, with the field-linear restriction when required.
Only now, for each actual finite address array, construct the auxiliary parameter . Its support consists of the stationary prefix, its possible environment, fresh primes for the fixed number of interface positions, and one fresh root prime. Prescribe between the interface and the prefix blocks. In the matrix of the further block, couple the interface by zero to the path sites and by the same matrix to the word coordinates of every address copy. Keep all other bits of the simple variants identical.
Require to be a local square at every interface prime for every . This is compatible with the matrix entries: the rational norm bits against address primes are independently prescribable, so their coefficients against the activation forms can be made zero. Include the already chosen address root primes in these conditions; they need only rational norm bits. Treat them as additional residue places in Lemma 8.1. The independent matrix and norm prescriptions concern the nonroot primes, and the further norm conditions occur at disjoint root primes. Their quadratic radicals, ramified at those fresh primes, create no relation with the preceding extensions, which are unramified there. Root calibration has already made a local square at the prefix and environment primes.
Choose the last root prime of to satisfy four requirements: restore the fixed total support class; make negative and split at ; make a local square at every nonroot address prime; and give the prescribed diagonals at the prefix and interface. These are simultaneous finite rational radical conditions. Their residual discriminant coordinate is compatible with a rotation, because the environment accounts for any odd simple parity of the filter and the remaining variable simple positions are paired. The arithmetic realization lemma therefore supplies the prime. All new primes can be taken fresh, so is squarefree, coprime to every , and avoids the excluded fields. Address root primes need no splitting condition, since their invariant dimension is zero.
These choices preserve all matrices needed for the two symbols. At every actual assignment, the address matrices for equal those for , since the extra twist by is a local unit square at every nonroot address prime. The prefix and interface matrices also stay fixed as varies. In the tensor evaluations used in Equation (9.1), aggregate roots preserve these same diagonal choices.
At zero, the further block is just the interface and has invertible matrix . Equation (9.1) therefore gives
At a nonzero address, eliminate the invertible paths. There remains one copy of and an odd number of copies of , each coupled to the interface by . Eliminate the -copies in pairs: each pair has invertible matrix and contributes $GN^{-1}G^{t}+GN^{-1}G^{t}=0 to the interface. Retain the one unpaired copy. Eliminating the interface then reduces invertibility of the further block to invertibility of
The substitution transforms this matrix by congruence to
which is invertible by Lemma 9.8. A second application of (9.1) yields
The odd symbol is also 1 by saturation. The support of consists of the fixed prefix and environment, at most interface primes, and one root prime. Its cardinality is bounded independently of . The symbol gives analytic rank zero and a uniform bound for by Proposition 4.4.
For each fixed finite profile restriction, first fix its weight bound and the finite list of symbol and operator comparisons. Choose a sufficiently high actual odd-source level, and realize the address array there as above. Keeping all these address primes fixed, place the required Galois data in a common finite quotient and choose only the fresh interface primes and final root prime of to meet the remaining matrix and norm prescriptions. All the unit-symbol tests then hold at once. All constants were fixed with the symbols, prefix and word. This proves the proposition.
Completion of the odd case
Completion of the proof of Theorem 9.1. Apply Proposition 9.5. It gives and bounded independently of , with of analytic rank zero. For , Lemma 3.4 gives
and bounds the length of its finite quotient by the divisible part uniformly in . Its hypotheses hold because is the fixed corank-one curve, the other twist has rank zero with bounded , and is bounded. This step does not assume finiteness of the Tate–Shafarevich group of .
For , the two unit symbols give analytic rank one for and analytic rank zero for . Their coefficient comparisons also give uniform bounds
Here is the fixed genus partner of the odd symbol. The genus point is formed over , so the point varies with while remains fixed. Coprimality gives . Proposition 3.2 first yields . Since is uniformly bounded, this becomes
Subtracting the nonnegative finite lengths gives the uniform upper bound in Theorem 3.3.
We have also imposed every other hypothesis of that theorem: is imaginary and split at ; each is coprime to ; ; signed prime discriminants are activated by linear forms; the local classes at are fixed; and each added prime either splits in or is a root prime with . For each fixed finite cube, take a sufficiently high precision from its realization set so that all its unit-symbol tests hold at once. The constants depend only on the already fixed normalized symbols, prefix, and word, not on .
The varying-field uniformity in Theorem 3.3 therefore applies to these cubes of arbitrarily large dimension. It gives a simple zero at for . The second factor is nonzero by (9.5), so has a simple zero. This proves the remaining case .
Proof of auxiliary nonvanishing
We prove Proposition 3.8. The even-sign assertion follows from [33] after one preliminary twist. For the odd-sign assertion we retain the prescribed local conditions throughout a derivative first-moment calculation.
Proof of Proposition 3.8(i). An odd fundamental discriminant is squarefree and congruent to modulo , so is represented by modulo . For odd , choose a nonzero residue representing . The Chinese remainder theorem and Dirichlet’s theorem give a prime satisfying
Then is an odd fundamental discriminant in the prescribed filter. Put and let be its conductor. Thus .
The theorem of Hoffstein–Luo [33] gives infinitely many odd fundamental discriminants such that
and at every prime in the fixed finite set consisting of and the prime divisors of . The twisting formula for the root number gives
so . For odd the condition says that is a unit square in . At , odd fundamentality and give , which has the same meaning. Since , the product is squarefree and congruent to modulo . It retains the prescribed sign and squareclasses and avoids . Finally,
Distinct choices of give distinct .
An odd-sign witness in a fixed progression
We retain the modulus of the local conditions throughout the first-moment calculation. Iwaniec’s derivative moment [35], Theorem on p. 367 and Sections 6–10, treats the negative-discriminant split family. The following argument allows any fixed admissible progression. It makes no uniformity assertion as that progression varies.
Lemma 10.1 (Odd first moment). Let be the weight-two newform of an elliptic curve of conductor , with its -function normalized to have center . Fix divisible by 8 and , a reduced class (mod ), and with (mod 4). Suppose the twists with squarefree and (mod ) have root number . For every nonnegative, nonzero , there are , , and an absolute such that
Consequently this progression contains arbitrarily large whose twists have a simple central zero.
Proof. Write , so , where is the divisor function, and put . In estimates below, constants may depend on the fixed data in the Lemma; all unspecified power exponents are absolute. The proof separates two issues: preserving the fixed progression while removing the squarefree condition, and controlling the frequencies after Poisson summation. The zero frequency will give a positive main term of order ; the other frequencies and the discarded square divisors must together have a power-saving bound. We keep the modulus fixed throughout these steps. Set
The conductor of the twist is . Its odd functional equation gives
Indeed, shift the defining completed integral across its double pole and use the functional equation. The central value is zero, so the derivative of the completion contributes no additional term. Use the right side of Equation (63) to define also for nonsquarefree (mod ).
Large square divisors. We first record the precise large-sieve input. For every and fixed ,
To justify this consequence of the quadratic large sieve, its form in [32], Theorem 1 is
Quadratic reciprocity permits either orientation of the symbol after separating classes modulo 4. In a Dirichlet polynomial with coefficients , write , squarefree. For each , restricts to ; discard that restriction only after taking absolute squares. Since , Minkowski’s inequality bounds the square root of the moment by
The powers of primes dividing contribute convergent geometric sums. On a dyadic interval , the approximate functional equation has length , apart from rapidly decreasing tails. The main sum’s additional factor improves partial summation. The dual sum loses at most in coefficients, but its functional-equation multiplier contributes , up to a fixed power of . Thus it incurs no positive power of . Mellin inversion separates the smooth conductor weights; the gamma factors give integrable decay in the Mellin variables. Applying Equation (65) with sufficiently small , and summing dyadic intervals, proves Equation (64).
Expand and retain , where . The omitted contribution is
Here are the details for the nonsquarefree terms. Write with squarefree. An omitted term has , with at most choices of . Also is fundamental, , and
On a Mellin line , the series defining therefore uses
The product is . By Cauchy’s inequality and Equation (64), the sum of the absolute -values over is . The remaining Mellin factors are bounded by times a rapidly decreasing function of . Choose and sufficiently small in terms of . Absorbing the divisor count and these small powers gives , as claimed. The double pole in the kernel is harmless on this fixed positive line.
Poisson summation. For put and . Let be the sum of over with , without a squarefree restriction. Writing with and , put and
where . Poisson summation gives
where and . For clarity, the Chinese remainder theorem evaluates the finite sum as
Multiplication by yields Equation (66); this factor vanishes when .
The zero frequency. The Gauss sum is zero unless is a square, when it is . Define
Mellin inversion expresses the zero-frequency contribution as
At a good prime, let and . The identity
shows that is the symmetric-square Euler factor at times a polynomial . The correction product converges absolutely near . To omit a prime dividing , omit its correction factor and insert an inverse symmetric-square Euler polynomial; this introduces no poles at zeros of . These omitted factors cost at most on that strip. The finite Euler product is holomorphic there. Symmetric-square continuation, its functional equation, and polynomial strip bounds now allow the shift to , with error
where is the residue of the integrand in (67), including its factor . For this analytic input see [29]; in the CM case the untwisted symmetric square is a product of nontrivial Dirichlet and Hecke-character -functions, so the same continuation holds near 1.
The sum of the residues, with extended to infinity, has coefficient function
The product is interpreted by its symmetric-square factorization and an absolutely convergent correction. It is holomorphic near zero. Moreover . Indeed
All the fixed local factors in are positive, and by the Rankin–Selberg residue formula. The remaining correction factors are positive and form a convergent product. The full residue is therefore
Extending the residue sum costs : its terms contain , and this product, as well as its differentiated version, is . The resulting tail also justifies differentiating the residue sum.
The nonzero frequencies. The zero frequency has now supplied the positive main term. We next bound the remaining frequencies uniformly in the square divisor by a fixed power of , so that summation over the retained square divisors will preserve a power saving in . We prove the bound
For odd , set or according as or (mod ), and . Quadratic reciprocity makes multiplicative in . As , the phase is a function on . Expand it in Dirichlet characters (mod ); every expansion coefficient has absolute value at most one. For , consider
At , its local factor is , where is a Dirichlet character. Multiplication by the inverse Euler factor leaves
These factors converge absolutely for .
The exceptional primes cause only a fixed power loss. For an odd prime , put . Direct summation over residue lifts gives
For even this is the Ramanujan sum. For odd , the sum of the lifts vanishes unless , and the primitive quadratic Gauss sum then gives the formula. Thus the local sum is a polynomial; on its absolute value is at most . The inverse Euler polynomial is also bounded absolutely. Primes dividing remove the local sum altogether. Passing to the primitive character underlying introduces only such inverse Euler polynomials. Hence
where is holomorphic for and bounded on by . Indeed the exceptional-prime cost is at most , and the other corrections have summable errors there. The conductor of is at most . The twisted cusp-form -function is entire; its functional equation and polynomial strip bounds therefore give
The exponents are absolute because the degree and weight are fixed.
It remains to sum these bounds without losing the power saving. The kernel and integration by parts in give, for fixed and every ,
The logarithm accounts for the double pole when tends to zero. On the actual sums . For a fixed small , insert smooth cutoffs and . The discarded part is negligible: use and
to obtain a polynomial absolute majorant in for (66). More explicitly, its absolute value is , uniformly for : the -sums contribute , and the remaining sums converge. For , absorb the positive logarithm into an arbitrarily small power of in this calculation. On either discarded tail, increasing in (10.12) supplies an arbitrarily large factor . The retained nonzero-frequency range satisfies
Partition the -sum into smooth segments . By (10.12), the finitely many derivative norms needed for Mellin inversion of the segment’s weight are , uniformly in . Mellin inversion uses . Shift its contour to ; the factorization above shows that no pole is crossed. Equation (10.11) and the vertical decay of the weight’s Mellin transform give
Here includes the dyadic and cutoff factors and both arguments of the original weight; their logarithmic derivatives are controlled by (10.12). The sum over is bounded since
Equation (10.13) bounds the dyadic sum of by , even if its formal lower endpoint is below one. Also
Multiplying these estimates by from (66) proves . Choose absolutely small enough that . This proves (69).
Conclusion. Sum the zero- and nonzero-frequency errors over , with . Together with the large-square and residue tails, the total error is
after enlarging . Choose an absolute with , put , and choose the tail exponent . Both errors are for an absolute . Equation (68) proves (10.1). Its leading coefficient is positive, so some derivative is nonzero in every sufficiently large dyadic interval. The odd functional equation already forces the central value to vanish, proving the final assertion.
Proof of Proposition 3.8(ii). Choose divisible by and by all primes in . The prescribed squareclasses and sign determine a reduced class with , by the Chinese remainder theorem. At a prime in , choose any nonzero residue. Then every positive squarefree gives an odd fundamental discriminant in the prescribed filter and prime to every member of . Lemma 10.1 supplies arbitrarily large such with .
Transfer on a binary cube
Both analytic arguments will produce one determinant coordinate at each vertex of a binary cube. The following algebra transfers a bounded valuation at every nonzero vertex to the zero vertex. Its essential feature is that the required dimension depends on a bounded number of coefficients, even when the family involves arbitrarily many primes.
Put and . Let and . Index the sign homomorphisms by , with the augmentation. For an element or matrix over , a subscript denotes evaluation at this character. The proofs first control Laurent coefficients, then clear determinant denominators, and finally use the parity of the number of solutions of low-degree equations on the cube.
Lemma 11.1 (Laurent expansions). For ,
Thus an element of has a unique expansion with and as . Its -valuation is .
Proof. If , write , with and . Modulo its inverse is a geometric expansion of length in . It is a Laurent series with finite negative support. Conversely every Laurent series with finite negative support lies in the localization of modulo , since is invertible there. Taking inverse limits proves the expansion statement. Reduction modulo successive powers of proves the valuation formula.
Lemma 11.2 (A uniform pole bound for Schur elimination). Let be square matrices over with nonzero residual determinants and . Put . If with a matrix over , then is invertible over . Modulo , every entry of has no powers below , independently of and of the matrix sizes. The same bound holds for a Schur complement when have entries in .
In particular, suppose a block over augments to . It is invertible over , and the assertion applies uniformly at all sign evaluations. If the lower off-diagonal block augments to zero, the Schur complement augments to the old block .
Proof. Write , where , , and . Put
Every entry of has pole at most . We have , with every entry of having pole at most . Consequently
The th summand has pole at most . The number of summands in a matrix product does not increase a valuation or pole bound. Multiplication by power-series matrices likewise introduces no negative powers. This proves the first assertion.
The ring is local with maximal ideal generated by and the augmentation ideal of . The residual determinant of the proposed block is that of , a unit over , so the block is invertible. Each sign evaluation differs from augmentation by a matrix divisible by with entries in . Apply the first assertion to it. The final assertion is the Schur formula with .
A bounded clearing factor
Lemma 11.3 (A bounded clearing factor). Let be a based bounded complex of finite free -modules, of total graded rank at most , whose augmentation is a complex over . Suppose that the rational specialization of at has one of the following cohomology patterns:
dimension one in degrees one and two, and zero elsewhere;
dimension two in degree one, and zero elsewhere.
Suppose that the total torsion length in the integral specialized cohomology is at most .
In case (i), take an integral degree-one cycle and a closed functional , and suppose each character constituent over the fraction field of is either acyclic or has pattern (i). Let be the determinant tensor of their cohomology classes, with value zero in the acyclic case. In case (ii), take two cycles whose denominator exponents sum to at most , suppose each constituent has pattern (ii), and let be their wedge determinant coordinate. One may multiply these coordinates by any one element .
Then there are with at every character, such that is times a polynomial of bounded degree in the differential entries of , the degree depending only on . Moreover
If, at every fixed precision, the entries of have a uniform bound on negative Laurent support, then so do the . No such assertion is required for , for the cycles, or for .
Proof. Over , put the specialized complex into a sum of free cohomology terms and one-dimensional two-term complexes with differentials , by elementary-divisor decomposition. The sum of the positive is at most . Lift the constant integral basis changes to . Cancel the same pivot positions formally, retaining their pivot numerators as denominators. The number of operations is bounded by . Each pivot and basis change is rational in the differential entries. Let be a product of sufficiently high powers of the successive pivot numerators so that every denominator in these changes and in the determinant comparison divides . Its degree is bounded in terms of ; its specialization is nonzero with valuation bounded in terms of . Increase the powers once more if needed to give all final expressions the same denominator.
Over , case (i) leaves a complex in degrees one and two. Let be the projected cycle and closed functional. Their determinant tensor, including the cancelled-pivot determinant factor, is a rational expression in . If a field constituent has , the cycle identity gives , so the same expression yields the stipulated zero coordinate. In case (ii) the remaining complex is and its coordinate is the determinant of the two projected cycles times the pivot determinant factor. In either case, after denominator clearing, for every constituent on which we have
Set and . This gives on those constituents. Where a pivot numerator first vanishes, , and both sides of the cleared identity are zero. Thus the identity holds on every character. Since involves only the bounded number of differential entries in the pivot calculation, its degree, augmentation valuation and pole bounds are as asserted. The factor has been placed in , never in .
The preceding lemmas isolate the denominator problem: after eliminating new blocks, the clearing factor uses a complex of bounded size. The remaining task is to match finitely many coefficients at zero and at some nonzero vertex. The next lemma gives that match once the cube has sufficiently many coordinates.
Lemma 11.4 (Finite coefficient congruences). Let each be one specified Laurent coefficient of the evaluation of an element of . If
there is such that for every .
Proof. For one coefficient write
The last divisibility follows by expanding each sign as a product of . The th binary digit of is ; this holds on nonnegative integers by binary expansion and then on by continuity. In the ring of functions on the binary cube with coefficients in ,
The nonconstant factor indexed by starts at degree at least in . A term contributing to , for , therefore has Boolean degree at most
The zeroth digit is constant. The congruences in the statement are thus equations over of total degree at most , all vanishing at zero. For completeness, the number of their common zeros is even: modulo two it is the sum over the cube of the product of over all defining equations . Every monomial has degree below , hence omits a variable and sums to zero. This is the Chevalley–Warning argument [20, 79]. The zero solution therefore has a nonzero companion.
We now apply these coefficient congruences to the cleared identity . Only the bounded negative support of is prescribed; for we will match its constant coefficient alone. This distinction keeps the required number of congruences independent of the numerator’s other coefficients.
Lemma 11.5 (Transfer through a bounded clearing factor). Let and let satisfy at each character. Suppose and . Fix , and suppose every has no powers below . If
some satisfies
Consequently, when and each have bounds independent of the family, a uniform upper bound at all nonzero vertices forces for all sufficiently large . The base value itself is allowed to vary with the family.
Proof. Apply Lemma 11.4 to the coefficients of in degrees and to the constant coefficient of . At the supplied nonzero solution, every negative coefficient of is divisible by , and its constant coefficient is congruent to . Therefore its constant coefficient has valuation , and . Since , the identity gives ; the same bound holds for . By Lemma 11.1, all their coefficients are in . Both have zero negative coefficients because they lie in .
The convergent constant-term convolution gives
Combine these identities with the imposed coefficient congruences and divide by . This proves Equation (11.2). For the consequence, choose one integer , where bounds , and then take above Equation (11.1). If the base valuation exceeded , the transferred nonzero valuation would also exceed , a contradiction. The pivot valuation affects the required precision and dimension, but not the transferred upper bound.
Finite cochain models
The arithmetic applications also need finite free complexes that retain maps to the original cochains. The following algebraic construction provides these models and transports their comparison diagrams. It applies before any determinant coordinate is chosen.
Lemma 11.6 (Finite Artin models). Let be an Artin local ring, and let be a complex of flat -modules. Suppose is finite dimensional and supported in . There is a bounded finite free complex , with
and a strong deformation retraction
Thus maps to the original complex, as well as maps between finite models, are available. Any fixed finite collection of chain maps, homotopies, triangles, and perfect pairings can be transported to these models.
Proof. Flat modules over an Artin local ring are free, including modules of infinite rank. Here is a useful version of the argument. Lift a basis of to a flat module , and map the corresponding free module to . Its cokernel is zero because is nilpotent. Flatness shows that the kernel has zero reduction, and nilpotence again makes the kernel zero.
Split the residual complex as its cohomology, with zero differential, plus contractible two-term disks. Lift all the graded bases. These lifts are graded isomorphisms: an inverse modulo lifts to an inverse by a finite geometric series. Let be the lifted disk differential and write . All coefficients of belong to . For the disk contraction , arrange and . The operators and have finite geometric inverses. The homological perturbation lemma gives explicit contraction maps; we record the formulas to retain their compatibility with the arithmetic diagrams [22], Sections 2.2–2.4 and 3.2. The perturbation identities give the differential
on the lifted residual cohomology, and give
Substitution, using , proves the asserted contraction identities. These calculations are valid for infinite disk sums: each operator is a module homomorphism and every geometric series terminates at the nilpotence exponent of .
Transport a map as , retaining the contraction homotopies for compositions. A quasi-isomorphism between bounded free complexes has a contractible cone and a homotopy inverse. This transports finite diagrams, including triangles and perfect dualities.
Cyclotomic interpolation at analytic rank zero
The cyclotomic argument transfers a nonzero central value across a binary family. Its input is a uniform upper bound for the normalized valuations at every nonzero vertex. Its output is nonvanishing at a corank-zero base. The class used here is Kato’s zeta class, and the additional variable is the real cyclotomic -extension of .
Retain and put . The local weights, finite Sha lengths and period normalization are those of Section 2, and is defined in (3). We prove Theorems 3.5 and 3.1 with their stated distinction between the uniform specialization error and the dimension threshold for a fixed base.
For a two-dimensional representation over , reducibility is equivalent to being an extension of trivial modules. These are therefore the two exhaustive residual cases. The proof has three stages: construct a class in a fixed integral lattice, identify its central determinant, and apply the binary congruences. Residual reducibility makes the cyclotomic complex free after localization at ; the irreducible case instead uses the bounded clearing factor of Lemma 11.3.
The positive cyclotomic complex
At the coefficient prime 2, the real place must be included in the cochain construction. The positive complex defined below removes the real cochains and retains their connecting invariant line. We will combine this fixed line with the zeta class to form the determinant whose central value detects nonvanishing at a corank-zero base.
Put
where a generator of corresponds to . The completion is 2-adic. An element of has a finite negative Laurent part modulo every , but need not have a value at . Every central evaluation below is made on a rational Iwasawa class or on an element of before extending coefficients to .
For a family in (4), let have characters indexed by , and let be its universal quadratic character: evaluation at is . Put
with the fixed twist , the universal twist , and the inverse cyclotomic action. One may replace by the actual image of and subsequently extend scalars. In a family in Theorem 3.1, a nonzero character trivial on that image already gives the conclusion directly.
Let be the set of primes dividing . For , write for its inertia element, so . Use continuous cochains with their completed coefficient topology, and set
The real complex here uses ordinary cochains in nonnegative degrees. There are no imposed local conditions at the finite places. We write for the unmodified complex. Throughout this section, ordinary global cohomology means this unmodified cohomology; it imposes no ordinary-reduction hypothesis at .
Lemma 12.1. The complex in Equation (71) is perfect over and computes derived coefficient specializations. There is a class whose rational span is the real-place summand. Its integral index in that summand depends only on and the fixed real sign.
Proof. Here are the finiteness and coefficient issues in the use of global cochains. For a finite coefficient quotient of , continuous cochains are filtered unions of finite products of free coefficient modules. Refinement of finite partitions makes these modules flat; over an Artin local coefficient ring they are free. For finite residual coefficients, global cohomology is finite in each degree, and restriction to the real places is an isomorphism in degrees greater than two, by the real-place clause of global duality [52] §5.7.1.7. Thus the residual fiber has bounded amplitude and finite-dimensional cohomology. The same amplitude bound holds for every finite coefficient module, by a composition series and the cohomology long exact sequence.
This gives a bounded finite free model as follows. Over the residue field split off the acyclic disks, leaving its finitely many cohomology spaces. Lift each invertible disk differential over an Artin coefficient quotient and cancel it. Invertibility of a lifted inverse follows from nilpotence of the maximal ideal. Equivalently one can perform this on a free resolution; a minimal free model cannot have an additional term whose reduction has zero cohomology, because its residual differential is zero. Hence the remaining ranks are the finite residual ranks and are bounded independently of the coefficient quotient. Minimal models identified by a homotopy equivalence over an Artin local ring are isomorphic. Lifting their changes of basis therefore makes these models compatible along . Taking the inverse limit gives a bounded finite free model over . The cochain construction with finite free coefficients and the same cancellation also proves derived base change. This is a fixed- argument; it does not assert uniform bounds on the number of generators as varies.
All the characters of the family have the same real sign, so the action at the real place is the fixed action on extended to . Choose a nonzero vector in its integral invariant line. Its connecting image in the fiber is . There are no global invariant vectors in the rational elliptic representation, and consequently this connecting map is injective rationally. The choice and its index are fixed. Notice also that is killed by ; thus twice any ordinary cohomology class lifts to the positive complex. The real-place global duality input is its corrected form at [52] §§5.7.1–5.7.5; the invariant line and the lifting assertion follow from the long exact sequence of this ordinary-real cone. Complete real Tate cochains, used in the duality formulation, become acyclic after inverting and would not retain this invariant line.
Fixed-form zeta classes and the integral coefficient map
To control denominators as the tame support grows, we construct every class in the cohomological lattice of one fixed modular form. Let be the fixed weight-two form of , and choose its fixed integral cohomological lattice, with the Tate twist making its rational representation . Kato’s classes (8.1.2)–(8.1.3), for a fixed symbol , exist for arbitrary and any containing the prime factors of . The trace in Section 8.9 is a homomorphism into the lattice
Section 8.11 then projects to the lattice of the fixed form. Proposition 8.12 supplies its norm relations. These assertions hold at the coefficient prime 2 [38], Sections 5.1, 8.1, 8.9–8.12. In particular, the auxiliary modular-curve level used to define a trace does not become the level of the projected newform.
Choose an isomorphism of the resulting fixed rational representation with . A single power sends its integral lattice into . Choose fixed symbols with nonzero projections on the required period lines; their existence and the construction with both signs are made explicit in [38], Sections 13.6 and 13.9. Taking a fixed linear combination, if needed, costs another fixed denominator.
The following integral coefficient map encodes the binary family. Choose , which is odd and divisible by the conductors of all the tame characters in the family, including . At a sufficiently large cyclotomic level write and let be its quotient in the real cyclotomic tower. Shapiro identifies the cohomology of the cyclotomic field with global cohomology with induced group-ring coefficients. Push the class along the ring homomorphism
Use inverse actions on both sides if this is required by the chosen Shapiro convention. This is a homomorphism of integral coefficient modules and acts on actual cohomology classes. It requires neither division by nor surjectivity of a cohomological specialization map. The prime 2 belongs to the fixed omitted support, so Proposition 8.12 gives exact norm compatibility as increases. The pushed classes therefore give an integral smoothed Iwasawa class with coefficients in , up to the single fixed power .
We have placed all character constituents in the lattice of the same modular form. The next normalization issue is smoothing: its removal must be harmless both after localization at (2) and at the central value . These are distinct requirements, checked next.
We next remove smoothing. In weight two and with , its factors are
This is the specialization of [38], Theorem 6.6 and (4.2.4). Choose a fixed , increasing it to accommodate the finitely many fixed symbol levels. The Chinese remainder theorem permits , prime to , such that
Their tame actions in (72) are trivial. If acts in as , then . Modulo the maximal ideal of its smoothing factor is
It is therefore a unit in . Its central value is , of valuation exactly . The same statements hold for and for inverse-translate conventions. Thus unsmoothing introduces neither a 2-adic denominator at nor a growing central denominator. The integers vary with ; the congruences fix the needed valuations, not their exact cyclotomic group elements.
Denote the resulting rational ordinary class by . Kato [38] applies to , . In the character constituent , its central reciprocity formula reads
when the value is nonzero, and a zero central value gives a zero dual exponential. The omitted primes dividing are included in the error. To check the normalization, the character sum in (72) is the unnormalized sum, as in Kato’s trace. Its tame quadratic Gauss sum supplies up to a root of unity. Tame conductors and their Gauss sums are 2-adic units. The period vector is the fixed symbol vector of . More explicitly, in the required sign line write the period represented by as . The nonzero scalar is fixed: the character-sum formula of [38] uses this same for every tame character. The tame character enters through its -value and Gauss sum, not through a newly chosen period vector. The comparison with the minimal differential of at 2 has bounded valuation, because there are only finitely many local twisting classes there. At a good unused prime the omitted factor is
at a good ramified prime the local -factor is 1. These account for every varying factor in (73).
Rational divisibility and the local Euler corrections
We now exclude poles of the zeta determinant away from (2) and account for every omitted Euler factor. Write . Theorem 12.5(3) of [38] is a height-one divisibility over ; its possible local correction comes from the arithmetic place 2. It need not be supported at the Iwasawa ideal . The global groups there use outside that prime. The stronger integral assertion of Theorem 12.5(4) is not used. For a non-CM elliptic curve the characteristic-zero image condition is supplied by the open image theorem, independently of the residual image. For CM the required rational statement at every prime, including 2, is supplied by [12]. Neither statement asserts uniform integrality in a quadratic group ring. The rational cohomology statements, including Kato [38], Theorem 12.4, give rank one in degree one and torsion in degree two, with no other positive cohomological rank. The real-place modification adds its invariant line. Hence every generic character constituent of the positive complex has rank two in degree one and no other positive rank.
Fix a character constituent and write . Let be the rational Iwasawa complex in Kato’s formulation and the rational full global complex. At an odd prime put
The localization triangle has local cone
in degrees one and two. Here denotes the scalar cyclotomic Frobenius in the chosen convention. Its exponent is nonzero. Consequently is a nonzero element of , and the map in (74) is injective. This remains true after localization at a height-one prime dividing : localization does not mean reduction modulo that prime. Thus
The long exact sequence gives
In particular, the length of is at most the length of plus the sum of the local lengths. No assertion that vanishes is required here.
At a good unused prime, , so, on including the quadratic Frobenius sign in ,
At a good active prime, inertia acts by on . Its rational inertia cohomology is zero, so and .
At fixed bad primes the general expression is in (74). Replacing it indiscriminately by would be incorrect. For example, at split multiplicative reduction,
and the correct determinant is , with nonzero central value. The incorrect replacement would give . In general follows from local duality and the Weil pairing: , since elliptic torsion over a local field is finite. The fixed bad-prime corrections therefore have nonzero central values for every reduction type.
Let denote a generator of the rational Kato zeta line in its real cyclotomic component. The rational comparison with the fixed-form class constructed above is made only after taking the character constituent. Both global Iwasawa modules have rank one. Their reciprocity laws at cyclotomic finite-order characters agree up to the omitted Euler factors, a nonzero constant, and a group-like unit. This follows by coprime Gauss-sum factorization and the fixed period comparison; restricting conductor exponents to either fixed parity removes any factor . Infinitely many of these tests have nonzero central value by cyclotomic nonvanishing, as used in [38], Theorem 13.5(2). After clearing the finitely many denominators of the scalar ratio, the difference is a power series vanishing at infinitely many finite-order characters. Weierstrass preparation forces that difference to be zero. This proves the generic comparison without identifying the integral lattices of varying twisted newforms. Its nonzero scalar in may depend on and need not have a uniformly bounded 2-valuation: every such scalar is a unit of and does not affect height-one divisibility over . The uniform integral and central bounds instead concern the actual fixed-form class and the fixed period vector in (73).
Equations (75)–(76) now show exactly how the imprimitive factors enter divisibility. At any height-one of , enlarging the global complex increases its degree-two length by at most , whereas multiplying the rank-one zeta generator by adds exactly that quantity to its index. To cover Kato’s coefficient-prime correction, multiply the class also by a fixed element divisible over by the characteristic ideal of the relevant local . It may be chosen with . Indeed derived local control gives
so the characteristic ideal has no factor . Local twisting classes at 2 are fixed, and one element covers their finite set.
Likewise any additional fixed Euler factors in the rational comparison can be cleared by a fixed product with nonzero central value, using the actual blocks (74). Denote the total fixed multiplier by . Multiplying by it only changes the fixed constants in (73) and the integrality bound. For the corrected class, still written , we have at every height-one of
There is an integral convention check for the varying unused primes. In , both and are units: their reductions are nonzero polynomials evaluated at the nonconstant cyclotomic Frobenius. The identity
shows that their ratio is 1 modulo 2. If is the universal inertia element, then
is integral. At an active character it is 1; at an unused character it is . Its unused central value is 1, since there. Thus inverse Frobenius conventions can be reconciled before character evaluation, without a denominator for each prime. Products of these units have the same property. The resulting rational character coordinates have the Euler convention in (12.8).
Lemma 12.2 (Fixed-lattice zeta class). For every binary family and its ramification set , the corrected class satisfies the central reciprocity formula (73) and the rational divisibility (12.8). For some depending only on ,
The same exponent works for all , binary families, and fixed factors with the specified local classes. Here the displayed cohomology is derived scalar extension of the Iwasawa complex.
Proof. The integral coefficient map uses the fixed-form lattice and no character averages. Unsmoothing and every varying-prime convention correction are units over . The multiplier is fixed. The preceding construction therefore gives the displayed assertion with a fixed exponent, as well as the two stated comparison formulas.
The determinant and its central specialization
The zeta class now has two controls: rational divisibility will exclude poles of its determinant coordinate away from (2), and the fixed lattice bounds the class’s integral denominator at (2). We next identify its determinant coordinate at . This is the step that converts those cohomological controls into a statement about .
Choose a basis of the invertible -module ; is local, so such a basis exists. Lift to rational positive cohomology and take its wedge with . The factor is fixed, and two lifts differ by a real-place class, which does not change this wedge. Let be its generic determinant coordinate, including the fixed multiplier above. The real-place summand introduces no height-one torsion over . Thus (12.8) says that has no pole at any height-one prime of except possibly . Since is normal,
The two cycles have a common denominator bounded by a fixed power after extension to . This follows from Lemma 12.2 and the factor needed for the lift.
Proposition 12.3 (Central determinant formula). There is a constant , depending only on the fixed curve and local classes, with the following property. Suppose . If , then ; if , then
The rational positive complex at has cohomology only in degree one, of dimension two, so these are specializations of the same determinant.
Proof. Abbreviate and . Use the integral Kummer subgroup
at every finite place. For it is all of . One way to see this integrally is the inverse-limit Kummer exact sequence: its quotient is , which is zero because local Tate duality identifies the 2-primary local Weil–Châtelet group with the dual of the finite 2-completion of the local point group. At the quotient
is a free rank-one -module. The same Kummer sequence and local Tate duality identify it with the -dual of the free part of .
The dual exponential identifies with the one-dimensional de Rham target. To specify its integral comparison, put
and choose a minimal differential . The Bloch–Kato exponential agrees with the Kummer image of the classical elliptic exponential, which is the inverse of the formal logarithm on a sufficiently small open subgroup. This comparison holds for every reduction type [4], Definition 3.10 and Example 3.11. The dual exponential is the adjoint of that exponential under local Tate duality [2], §II and Proposition II.5. Extend the formal logarithm to the rationalized local point group and write . The integral identification then gives
using the Weil-pairing identification of the de Rham target with . Thus the relative lattice valuation is fixed by the local curve and differential. Since only finitely many local twist classes occur, these valuations are uniformly bounded.
The assumption on the Selmer corank implies that the compact finite Selmer group is torsion and that the discrete finite Selmer group has length . Rational Poitou–Tate consequently identifies ordinary global with the singular line at 2, and gives ordinary global rationally. Adding the real invariant line gives the claimed dimension two in degree one. This equals the generic rank, so derived base change of the perfect complex specializes its determinant without a change of rational cohomological rank.
Here is the integral length calculation. Let be the image of the free part of global in , and put . The compact/discrete Poitou–Tate sequence for the mutually orthogonal Kummer conditions contains
with the usual real Tate-cohomology terms inserted. Those terms are killed by 2 and have dimensions bounded by the fixed dimension of . Taking lengths and using local duality gives
This sequence follows from integral Poitou–Tate duality with the finite Kummer conditions and the real Tate-cohomology correction [52]. The free real invariant line is already accounted for by ; only the bounded real torsion terms enter the error above. No unramified condition replaces the Kummer condition at a bad prime. Global torsion is bounded by its injection into , whose order is bounded by the fixed local twisting classes. The finite terms at 2 and at fixed bad primes are bounded for the same reason. Passing between ordinary and positive cohomology changes only these bounded real and global torsion terms.
Suppose first that the central value is nonzero. The coordinate of in the free global line has valuation
For the inverse determinant, torsion in degree two subtracts its length and torsion in degree one adds its length. This sign can be checked on the complex in degrees one and two: its inverse determinant lattice maps to in the rational determinant. A vector’s coordinate thus loses . Using (79), the two appearances of cancel, leaving
At an active good prime, quadratic inertia acts by on the Tate module. Its invariants on are therefore exactly , and taking Frobenius invariants gives length . At an unused good prime, reduction identifies the local 2-primary torsion with , of length . These unused terms cancel exactly those in (73). The active terms, including the primes of , sum to . All other terms have already been bounded independently of the growing support. This proves (78).
If the central value is zero, reciprocity makes the dual exponential zero. The rational ordinary specialization then satisfies the finite condition at 2, and it satisfies the finite conditions elsewhere automatically. It lies in the rational finite Selmer group, which is zero. Its wedge with the real-place class is therefore zero. The constant-rank determinant specialization proves .
Residual freeness and the lower bound
The central formula expresses through the determinant valuation. When the residual representation is an extension of trivial modules, we can bound that valuation directly: the positive complex becomes a free rank-two module in degree one after extension to . The fixed-lattice class then supplies the lower bound without any loss from a growing ramification support.
Lemma 12.4 (Residual concentration). If is an extension of two trivial -modules, then there is an isomorphism in the derived category
Proof. The ring is local, with residue field obtained by setting and every . Thus the quadratic characters disappear. Since has a filtration with trivial factors, it is enough first to compute the positive residual complex for the trivial representation.
Let be the real cyclotomic layer of degree . The number of finite primes of above a fixed is bounded with : at there is total ramification, and the Frobenius of each fixed odd prime has nonzero image in . The -ranks of the class groups of are also bounded. Let be the inverse limit, under norm maps, of their -primary class groups. The unique prime above is totally ramified in this tower, so class-field-theoretic control gives
[63] Proposition 3.2.11 and Remark 3.2.12. Ferrero–Washington gives for this abelian tower [28]. The Iwasawa structure theorem then makes finitely generated over , so all its coinvariants have uniformly bounded -rank. Passing to the quotient -class groups preserves this upper bound.
The signature map of units in is surjective. For , let be a primitive th root and put . If and , then is the minimal polynomial of and . Hence . Its signature vector has odd augmentation. The embeddings form a regular set for the cyclic -group , whose group algebra over is local. A vector with odd augmentation is a unit in this group algebra, so its translates span every signature. For the assertion follows from the unit .
The signature calculation supplies the real-place surjectivity needed for the positive complex. The class-group and support terms are bounded along the tower. We can therefore identify the one cohomological degree whose dimension grows with the layer degree, and then recover the rank after inverting .
Kummer theory now determines the cohomological growth. Writing for the number of finite support places and for the -rank of the -class group, one has
The real degree-one restriction is surjective by the signature result. In degree two, the Kummer sequence has class-group term of dimension and Brauer term. The Brauer invariants at the real and finite support places have their single sum relation. Since a finite support place above is present, restriction of the Brauer term to the real places is surjective and has kernel of dimension . Thus the degree-two kernel of restriction to infinity is bounded. Restriction is an isomorphism in higher degrees by global duality. The degree-zero restriction is injective. The cohomology of the positive fiber is therefore bounded in every degree except one; its degree-one dimension is .
Apply Lemma 12.1 modulo 2. Derived specialization to the th layer is specialization modulo . For a perfect complex over , the universal-coefficient exact sequence shows that a rank- cohomology module contributes to these dimensions; the torsion terms contribute only . It follows that after inverting the trivial-constituent fiber has dimension one in degree one and vanishes in every other degree. Extensions preserve this concentration, so the fiber for has dimension two in degree one. A minimal finite free complex over the local ring has zero residual differentials. The concentration just proved forces all its terms except the rank-two term in degree one to vanish. No denominator is introduced by this exact freeness statement.
Proof of Theorem 3.5. Apply Lemma 12.4 to the single discriminant . The fixed-lattice construction and the free complex give with depending only on . (77) also gives . Since , it follows that . Analytic rank zero supplies Selmer corank zero by the forward theorem of Gross–Zagier–Kolyvagin. Proposition 12.3 now gives . All constants come from the fixed form, the fixed real period line, or the finitely many local twisting classes at .
Transfer to the base
It remains to prove the missing-vertex theorem. Residual freeness gives a single integral family in the reducible case. In the irreducible case we instead need a bounded clearing factor after eliminating the new local blocks. The bound on enters precisely here: the next lemma controls the negative Laurent powers in those inverse blocks at each fixed precision.
Lemma 12.5. Suppose that is an added prime and . At augmentation , the inverse singular Frobenius block contributed by has, modulo each fixed , negative Laurent support bounded in terms of and . This bound is independent of .
Proof. Identify with using a fixed generator. If is the image of arithmetic Frobenius at , then
when the generator is ; changing the generator multiplies by a unit. In particular . The singular quotient is represented by a block of bounded size whose determinant is the Euler polynomial in (76). Modulo , with , it is
If , its constant coefficient is . If , it is , whose -order is . Thus the inverse determinant has uniformly bounded pole order modulo . Lift its inverse modulo by a geometric expansion of length at most . Each term contains only a bounded number of inverse residual factors, and all numerators have nonnegative powers of . The adjugate formula gives the same bound for every entry of the inverse block.
Proof of Theorem 3.1. At every nonzero vertex, analytic rank zero gives by the forward rank-zero theorem. Thus Proposition 12.3 applies at every vertex. First assume is an extension of trivial modules. Lemma 12.4 and the fixed-lattice construction give . Moreover, the character coordinates of are in .
Fourier inversion, performed rationally, shows ; intersecting coefficientwise with gives
The coefficients at therefore obey the bounded-degree Boolean congruences of Lemma 11.4. For any fixed precision and sufficiently large , there is a nonzero for which agrees with to that precision. The fixed multiplier in (80) affects the required precision but has no dependence on .
Now suppose is irreducible. At augmentation, represent the positive complex as the old complex, with ramification set excluding , extended by the direct sum of singular blocks at the new primes. The differential is upper triangular with the old complex as subcomplex. The finite-model argument of Lemma 11.6 lifts this model over : stabilize the finite free models and lift their graded changes of basis. These lifts are invertible because the augmentation ideal lies in the Jacobson radical. Cancel all additional lifted unit disks before retaining the old-plus-singular grading; their augmented cross terms are zero, so the remaining augmentation is exactly the prescribed block model. Thus no stabilization disk enlarges the old complex. Lemma 11.2 then applies to this block model. All the new blocks are invertible over : modulo its maximal ideal their Frobenius determinants are nonzero in . Schur elimination leaves a complex of bounded size. Its augmentation is the fixed old complex, and its entries have bounded negative Laurent support modulo each fixed . Under the determinant-line identification, write
where is the coordinate on this bounded complex and is the determinant factor of the eliminated blocks. No uniform Laurent bound on is needed.
The pole bound remains uniform as primes are added. At augmentation the inverse new block is a direct sum of the inverses in Lemma 12.5. At any character its perturbation has entries divisible by 2 and no negative powers of . Modulo , the inverse uses a geometric series of length at most , independently of the number of blocks. Each product therefore uses a bounded number of inverse entries. Sums of an arbitrary number of such terms cannot decrease the nonarchimedean valuation or the common lower Laurent bound. This is the required bound for Schur elimination.
At the old positive complex has rational cohomology only in degree one, of dimension two, by Proposition 12.3 at . Its finite torsion and all old local data are fixed. Choose boundary pivots there, leaving those two free coordinates. Their sizes and valuations may depend on but not on . Apply the determinant clearing argument of Lemma 11.3 to the wedge of the two bounded-integral cycles on the remaining complex. Its allowance for an arbitrary factor puts the eliminated-block factor into the numerator alone. It yields
For each fixed , the negative Laurent support of mod is bounded independently of and . The clearing factor is a polynomial of bounded degree in the remaining bounded-size matrix, with the pivot denominators cleared by adjugates. Neither the eliminated-block unit, the zeta class nor is required to have a uniform bound on its negative Laurent support.
Equation (77) ensures that every has no negative -powers. Thus all hypotheses of Lemma 11.5 hold for Equation (81). In particular, for each fixed precision and sufficiently large , some nonzero satisfies the corresponding central congruence between and . The dependence on enters the required precision and dimension, through , and not the eventual valuation comparison.
In either residual case let bound the absolute error in (78). The nonzero vertices have . If , the central coordinate at zero is zero, and a congruence of precision larger than is impossible. Hence the central value is nonzero. If , then , giving the same contradiction. This proves (3.5) with . Only the specialization error determines this final loss; all pivot and pole bounds determine how large a cube is needed.
Heegner points and transfer
We prove the Heegner comparison, the genus and ring bounds, and the interpolation criterion stated in Section 3. The point and its paired functional define one determinant coordinate. Its central value measures the point index after the Selmer and local contributions have been subtracted. Local switches then control its divisors. An outer limit supplies the uniform ring bound when residual irreducibility is unavailable; a universal binary family supplies interpolation.
Height and base Selmer comparisons
Retain the genus and ring data, character sums , and lattice indices of Section 3. We first justify the two comparisons used there.
Proof of Proposition 3.2. The explicit Gross–Zagier formula for ring classes [14], Theorem 1.1, pp. 2524–2525 applies. Automorphic induction of the quadratic character gives the product in (6). Discriminant and conductor are prime to , and the classical split Heegner hypothesis holds; consequently the shared-prime corrections in the general formula are absent. The unit-index convention is constant in the fields retained here. With a character sum, solving the formula for the height gives exactly , as in (6). The forward Gross–Zagier–Kolyvagin theorem gives the rank and finiteness assertion [31, 40].
For (7), both free points are compared with the free line on . Its regulator cancels from the ratio of their heights, since absolute canonical height is unchanged by twist identification. This height invariance follows from the canonical-height limit and the degree formula for heights under morphisms [49], Chapter IV, Lemmas 4.1 and 4.5–4.6, and Remark 4.12. The remaining variable factor is ; its infinity sign is that of . Period and lattice changes have bounded 2-valuation. If the rank-one line is instead that of the fixed curve , its regulator is fixed and the same calculation gives (8).
Proof of Lemma 3.4. Restriction, twisting, and addition or subtraction of conjugates give maps in both directions between the Selmer group over and
whose composites are multiplication by 2. They induce isogenies on divisible subgroups. On the finite quotients the kernel of either induced map is killed by 2: subtract an element of the divisible subgroup to lift a divisible image, and then use the composite. The generator dimensions are uniformly bounded. Indeed the mod-2 Selmer group over is bounded by Kummer cohomology over ; this is a quadratic extension of a fixed field with a bounded number of ramified primes. Kummer theory bounds the generator number of the corresponding pro-2 group over the fixed field, and the index-two subgroup bound preserves a uniform bound. The fixed local support includes that of . The finite quotient on the displayed product is bounded by hypothesis; therefore its counterpart over has bounded length as well. For a finite collection of fields, finiteness of each quotient is enough.
Integral models and ring-class deformation
The determinant argument uses characters of increasing conductor. We construct their cochain limits together with maps to the original cochains. These maps will let us detect limiting Selmer classes by Galois evaluation and choose local switches. Later we retain the same maps through the outer limit needed for the ring bound.
Write and . For a quadratic squareclass , put . The imaginary quadratic field satisfies the split Heegner hypothesis at . We omit the two fields with extra units and, when has complex multiplication, its CM field. A quadratic character comes from a quadratic twist over . We use
The same constructions work over and , where is a fixed finite elementary abelian -group and the additional character has values in . Statements uniform in the number of generators of will be identified separately; finite-diagram compactness by itself is a statement for fixed .
Finite models with their cochain maps
The general finite-model construction is Lemma 11.6. We apply it to the following arithmetic cochains and retain its actual contractions throughout.
For a profinite group and a finite free coefficient module over an Artin local ring , continuous inhomogeneous cochains are flat: locally constant functions are the filtered union of the modules of functions on finite clopen partitions, and these modules are finite free. Their reduction is the cochain complex with reduced coefficients. The same observations apply to restrictions, mapping cones, and local conditions given by finite free complexes. In the applications below the groups are Galois groups of totally imaginary number fields or nonarchimedean local fields. Their -cohomological dimension and the usual finiteness theorems give the bounded residual cohomology required in Lemma 11.6.
For an inner limit, the quadratic field , the active conductor support, the finite group , and the number of derivative primes are fixed. The residual representation is : all the scalar characters and group-like coefficients become trivial in the residue field. Put . The number of places of in the permitted set is bounded even when its auxiliary primes move. Kummer theory bounds by the -units modulo squares and ; their dimensions are bounded by the unit rank, , and the fixed class-group dimension. Hochschild–Serre for the fixed group then bounds the residual global for . The global Euler characteristic bounds , and is already bounded. Local cohomology and the specified local conditions have bounded residual dimensions, since the local degrees of are at most two and the number of places is bounded. Thus the target Selmer cones over have uniformly bounded finite-model ranks in this inner limit. This bound may depend on the fixed active support; the stronger outer bound is proved in Lemma 13.15. No rank bound is asserted for cochains over the growing ring-class fields, or for the induced modules in their Shapiro descriptions.
Lemma 13.1 (Limits of finite diagrams). Suppose diagrams of bounded finite free complexes over , or over , have a common bounded cohomological degree interval and bounded ranks in every degree. Include the chain homotopies and inverses for every asserted identity or equivalence. Along a cofinal subsequence, or a nonprincipal ultrafilter, their matrices converge to the same diagram of perfect complexes over or .
Moreover, the contractions into the original cochains may be retained for the evaluation construction in Lemma 13.7. Adding finitely many new objects or maps does not require changing already chosen models for the old objects. Finite-stage arithmetic operations with unbounded source complexes are permitted when only finitely many of their outputs, and the witnesses to their identities, are retained in the bounded target complexes.
Proof. There are finitely many possible graded ranks. Fix them on an ultrafilter-large set. At a fixed precision , all matrix entries belong to the finite ring (or ), so have unique ultrafilter limits. These limits are compatible as varies. Matrix identities, including the homotopy-inverse identities, are finite polynomial identities and pass to the limit. New models and maps may be mapped to old models by their already fixed contractions. Passing to any slower cofinal precision has the same old limits. For the all-sequence evaluation statements below, fix this ultrafilter once and for all, and keep the original contraction at every stage. Later arithmetic diagrams must extend these same stages. Restriction to an ultrafilter-large set and passage to slower cofinal coefficient precision preserve every old evaluation on every old group sequence. Thus later operations use the same stage diagrams and ultrafilter, preserving the arithmetic maps already constructed.
Here is the last assertion in cochain terms. Let be an original target cochain complex, with contraction onto its bounded finite model . Perform transfer and scalar weighting at stage before applying this contraction. A resulting cycle gives , and
Thus its relation to the original arithmetic cocycle is retained by the original contraction. If an identity in the target is , retain the vectors ; the corresponding identity is still exact. For identities involving maps between target complexes, use the transported maps and their contraction homotopies, so that the same assertion includes the required boundary corrections. Local lifts, closed degree-two functionals, and witnesses to specialization, duality and switch identities are treated in the same way. They are finitely many vectors or matrices of bounded size. Their entries, as well as the differentials, therefore have simultaneous limits. Neither a free model of the arithmetic source nor the entire transfer map from that source is included in the limiting diagram. Any precision lost in a finite-stage calculation is accounted for before retaining these vectors; passing to the same slower cofinal precision for the whole diagram preserves all its identities.
The finite models now retain both the original cochains and their comparison maps. We next specify the local conditions on those cochains. The point is to retain the actual Kummer images at every place dividing ; the determinant comparisons will use their integral orthogonality, not just the rational Selmer ranks.
Integral local conditions and duality
Lemma 13.2 (Integral Kummer local condition). Let be a finite extension of a nonarchimedean local field of characteristic zero, and let be any elliptic curve. Put . There is a perfect local condition
For every , derived reduction has
Its map in degree zero is the isomorphism onto , and its map in degree one is the finite Kummer injection. The condition is its own exact orthogonal complement under local Tate duality, for every reduction type and with no hypothesis on .
Proof. The local analytic description of shows that is a finitely generated -module. Its torsion is the finite group . Consequently has a free resolution of length at most one. Also , since has bounded exponent. The integral Kummer injection into therefore defines the displayed morphism using the truncation in degrees at most one of .
Tensor the free resolution of with . Its two cohomology groups are and . The inverse limits of the ordinary Kummer sequences identify their maps as asserted.
For orthogonality, compose cup product and the Weil pairing with the local invariant map. A morphism
is determined by its homomorphism : the possible is in degree one and gives no extra degree-zero morphism to this target. The indicated homomorphism vanishes, because the finite Kummer image annihilates itself at every level by local Tate duality. Choose a nullhomotopy in free models. The induced morphism
is a quasi-isomorphism. This can be checked after reduction modulo : degree one is the perfect pairing of the finite Kummer quotient with the Kummer image, and degree two is dual to . Its perfect cone is therefore zero by derived Nakayama. This proves exact orthogonality and also its compatibility with derived reduction. This is precisely the finite-module duality input of [52].
Where the scalar deformation is trivial, extend this local condition by derived scalar extension to or . At an unramified good prime use the inflated residue-field complex
Its quotient in full local cochains is the singular local complex. The full local condition is the identity on local cochains, and its orthogonal strict condition is zero. At a derivative prime the conditions used later are the following specified truncations instead. In its split local model write
where the differential is zero, is dual to , and the finite and transverse planes are each isotropic. Put
Then and each plane condition is its own orthogonal complement. Every displayed condition maps isomorphically onto local and injectively into local . Thus they satisfy precisely the detection hypotheses used below. Their finite arithmetic realization and the isotropic-plane nullhomotopies are part of the derivative construction; these truncated conditions are not identified with the full local condition.
For a finite permitted set the Selmer complex is, by definition,
At take the Kummer conditions just constructed. Restriction and localization triangles are the triangles of this cone. The finite rings and are Frobenius coefficient rings; alternatively the duality maps may be checked after reduction to their residue field. Exact local orthogonality and global duality therefore give
with the appropriate dual representation. This application uses the orthogonality hypotheses of [52]; the theorem is not being used to assert the existence of a varying-prime limit. Complex places contribute zero Tate complexes. If the character is inverted by the nontrivial automorphism of , conjugate transport followed by the Weil pairing identifies the two representations over the same scalar ring. All maps and nullhomotopies in this paragraph are finite diagrams to which Lemma 13.1 applies.
The moving conductor character
The conductor character must preserve the local conditions at while making the new local terms invertible after reduction modulo and inversion of . The following proposition supplies those local values. Its separate bounds on Tate Frobenius control the contribution of the moving prime when we later specialize to .
Proposition 13.3 (Ring-class characters with prescribed local values). Fix finitely many split primes of above odd rational primes, outside , and orient one prime in each conjugate pair. There are distinct split rational primes avoiding all the fixed data and characters
such that is surjective on the inertia quotient at , is zero at the primes above , and has odd value at each prescribed oriented prime. We can require in and
The constant is independent of the list and of .
Proof. We give the compatibility argument before imposing the Tate condition. Choose prime ideals with pairwise disjoint conjugate pairs, including the oriented prescribed primes and the primes above , and enough additional split prime ideals to generate . Such additional ideals may avoid any fixed finite set. Put weight at a prescribed odd prime and at every additional prime and every prime above . The conjugate weight is . Let
choose a basis of , and choose with . Work first over and adjoin -th roots of the finitely many . Prescribe on these roots the multipliers
The minus sign fixes the choice of connecting map in the ring-class sequence and could be reversed throughout. These prescriptions respect every Kummer relation. Indeed, if
take its valuation at a prime above each of nonzero weight. These odd primes are unramified in . Thus divides for each such , proving the required compatibility of (13.4). Primes over 2 have weight zero and impose no division by a ramification index. Units impose no additional weighted relation. Kummer duality supplies the prescribed automorphism of the radical extension over .
At a rational prime split in a sufficiently large finite cyclotomic subfield, the power-residue character of is surjective onto . The split ring-class exact sequence is
The excluded extra-unit fields are the only source of a unit correction. The first group is with a principal relation measured by at the oriented prime over . Consequently (13.4) says exactly that its primitive power-residue character extends to the class group with the specified values . More explicitly, the inertia group and the chosen ideal classes present the ring-class group, and the basis of lists its additional relations. We have imposed those relations on the inertia character itself; we have not divided by a class-group order to extend a previously fixed character. Thus this construction introduces no denominator, even when the class number has a large 2-part. The class group and the number of prescribed primes change the finite Chebotarev extension, but not the integrality of the character. Since the ring-class extension is unramified at , value zero on Frobenius means that the resulting local character is trivial there. Conjugation acts by inversion.
We now show that imposing these finitely many radical conditions cannot force either forbidden Tate trace. In the non-CM case the image of is an open subgroup of , by the fixed-prime open-image theorem and the cyclotomic determinant identity [62]: the image is the intersection of the open image of with the determinant-one subgroup. Its index in the corresponding fixed- image changes by at most two when changes. Its commutator subgroup contains a fixed open subgroup of . One may see uniformity by starting with a principal congruence subgroup in the fixed image: every index-two subgroup contains its squares, and the commutators of the resulting fixed congruence subgroup are open. Because the radical extension over is abelian, these commutators act trivially on it. Hence every permitted Tate coset contains a translate of .
For completeness, in the CM case let be the CM field. The image over contains a fixed open subgroup of the norm-one Cartan; the index changes by a bounded factor, as . Choose with . This is possible uniformly: the cyclotomic image of has index at most four in , so contains fourth powers. On the radical Galois group, conjugation by is raising to 625, because all the radicands lie in . On the Tate image over , conjugation is trivial. Therefore
fixes every prescribed radical and acts on as . Raising to the fixed nonzero power 624 carries an open subgroup of the one-dimensional norm-one Cartan onto an open subgroup. This proves the required uniform kernel statement also in the CM case. The open Cartan image used here is the CM part of the usual -adic image theorem [62], Chapter IV, §2.2, Remark, p. IV-13.
On a coset of an open subgroup of , trace is not identically 2 or . The same holds on a coset of an open norm-one Cartan subgroup; on the other Cartan-normalizer component trace is zero. The relevant determinant-one sets are compact and have finitely many cosets modulo the fixed open subgroup. Choose in each coset an element whose trace is neither forbidden value. The largest of the finitely many resulting valuations is a constant depending only on .
Finally restrict the prescribed radical automorphism and such a Tate lift to a finite Galois extension, including as many roots of unity as required. Chebotarev gives infinitely many rational primes with this Frobenius class; choose the place over the prime to realize the chosen representative. They split in and have arbitrarily high prescribed congruence to 1. Since , a congruence precision larger than the fixed trace bound gives all of (13.3). All these conditions concern a finite extension at each stage.
Choose large enough that has order dividing in , and put . For example is sufficient. Orient the inertia generator to act by ; the prescribed split Frobenius exponents remain odd in the limit. Use global cochains unramified outside , , the active conductor primes and the derivative primes already retained. At use the Kummer conditions above and elsewhere outside the conductors use the unramified condition. Reduction modulo , with the unramified condition restored at , gives the ordinary fixed-field complex; retain its comparison map at every finite stage.
Lemma 13.4 (Acyclic relaxed local complexes). For a primitive character constituent, let denote the limiting Selmer complex with full conditions at and at its active good conductor primes, and the prescribed Kummer, unramified or derivative conditions elsewhere. The limiting full local complexes are acyclic over every height-one residue field of of characteristic zero. At (2), with residue field , the -complex is acyclic, as are the complexes at active split primes with odd prescribed Frobenius exponent of the deformation character and at active primes with . At each of these acyclic relaxed places, the full and orthogonal strict conditions agree on the indicated test. If every relaxed place is acyclic at that test and the remaining local conditions are self-dual, global duality makes the Selmer complex self-dual. The Selmer complex has no global invariants on these tests.
Proof. Use tame inertia and unramified Frobenius, or the Hochschild–Serre complex for these two procyclic directions. At , inertia minus one is multiplication by times a unit. It is invertible on all the indicated fields except the characteristic-zero fiber . There, , and the two remaining Frobenius differentials have nonzero determinant by (13.3), including either sign of the quadratic twist. The bound also ensures that the integral local torsion at this central fiber has bounded length.
At an active odd conductor prime, inertia of the quadratic character acts by . Its differential is thus and is invertible in characteristic zero. In characteristic two the quadratic character disappears. At a split prime the Frobenius action is , where and has odd . Its coefficient of is one, so is nonconstant. No nonzero polynomial over the finite constant field vanishes at . Thus both Frobenius complexes, with operators and , are invertible over ; here in the residue field. No irreducibility assumption is used.
If , the rational residual Frobenius has order three. At a split place the operator is again , invertible whether is nonconstant or . At an inert place the ring-class Frobenius is trivial, since the ideal is principal, and the Tate Frobenius is , which also has no eigenvalue one. These observations give the additional assertion.
The orthogonal full and strict conditions agree at each place where full local cochains are acyclic. When this holds at every relaxed place and the remaining local conditions are self-dual, (82) gives global self-duality. Global invariants in characteristic two are excluded by the nontrivial -inertia scalar. In characteristic zero the same argument works unless the scalar is trivial; in that case over is absolutely irreducible. For non-CM curves this follows from the open image, and for CM curves from the open Cartan and its nontrivial normalizer component, since is not the CM field. Lemma 13.7 below realizes these actions on the limiting complex as well. On the self-dual tests, duality pairs degrees one and two.
The Heegner determinant and its central value
The point index is not itself the quantity transferred across a growing family. Each new conductor prime changes the local Selmer terms as well as the point. We combine these changes in a determinant coordinate. Its central valuation will be twice the point index, less the finite Selmer length and the conductor contribution. This formula reduces the index estimates to lower bounds for the determinant coordinate.
Retain a primitive genus or ring instance from Section 3, with point over . Use the conductor characters just constructed, taking , and the representations . Retain the same auxiliary primes and the same fixed inner ultrafilter, now denoted .
The Selmer complex is a coefficientwise limit of the corresponding finite free cochain models along . It has the integral Kummer condition at , the full condition at and the active good conductor primes, and the unramified condition at all other permitted finite places. Here the full condition means that no restriction is imposed on local cochains. Section 13.2 and Lemma 13.4 constructed the local models, their duality maps, and the comparison at . We use these concrete complexes and maps; cohomologically equivalent complexes without the comparison maps would not suffice for the later prime choices. Over , the modified full local complexes are acyclic, so the full conditions agree with their orthogonal strict conditions. Global duality, followed by conjugate transport and the Weil pairing, therefore gives a perfect pairing
Here conjugation in inverts the ring-class character. These are the pairing and identification supplied by (82) and Lemma 13.4.
Fix the single integer multiplier of Lemma 13.12. It depends on the curve, parametrization and fixed local types, and clears descent and local Kummer ambiguities for the complete conductor. In particular its valuation does not grow with the number of primes. The following construction and formulas include that multiplier throughout.
At each finite stage transfer the Kummer class of from to with the specified scalar coefficients, using . Complete the finite coset sum before contracting its target cocycle and local Kummer lifts into the models over . The resulting cycles , with their contraction witnesses, give by Lemma 13.1. Local Kummer conditions at are preserved because is trivial there. At the center of the th finite model, the norm relation has the factor
where denotes the Kummer class in the central comparison and is a unit; the equality is taken modulo the finite coefficient precision. Since is defined over , its values at the conjugate Frobenius elements agree; explicitly, . To retain the central identity at the cochain level, let be the reduction of a fixed finite model of the ordinary Kummer complex over , and let be its comparison map to the relaxed central complex. Choose a cycle representing . The finite norm relation gives a boundary witness in the target model such that
Retain , and the target contraction homotopies on the same stages and at the same coefficient precision as . Retain these units in the same ultrafilter as all the comparison maps. Then has bounded valuation by Equation (83), and is a unit. Thus , with . The special complex differs from the ordinary Kummer complex only by the active-prime relaxed quotients and the limit of the singular quotient at the single moving prime , the latter of bounded length. Inflation from the complexes omitting gives this comparison. All modified local complexes are rationally acyclic at the center, so pairings agree there as well.
If the product has a simple zero, its rational special fiber has one-dimensional cohomology in degrees one and two, and specializes nontrivially by Gross–Zagier. The generic dimensions are at most these special dimensions. Moreover, the long exact sequence for multiplication by shows that , since the special vanishes. A torsion class that disappeared over the generic field would be killed by a power of after localization at ; hence the nonzero special class cannot disappear. Thus the generic ranks are one in degrees one and two, spans , and the rational rank is constant at . If only base Selmer corank one is known, the same dimension bound gives generic ranks at most one; a zero generic point is allowed.
Definition 13.5. Choose an integral basis of . In generic rank one, the element formed by in and the functional on determines a scalar in that basis. Put if or the generic rank is zero. Integral changes of determinant basis multiply by a unit.
In the simple-zero case, constancy of the rational cohomology rank at makes regular in the local ring . Its value is therefore already defined. This specialization takes place at ; the stronger assertion will follow from the divisor estimates below.
The determinant has a simple integral interpretation. On a rank-one free Selmer line, the point and its paired functional each contribute the point’s index. Torsion in degree two subtracts its length from the coordinate in the inverse determinant lattice. For example, the complex in degrees one and two has inverse determinant lattice mapping to in the rational determinant. The coordinate of a fixed rational tensor therefore loses in valuation. The next lemma carries out this calculation with the actual local Kummer conditions. It also compares the Selmer length over with those of the two rational twists.
Lemma 13.6 (Central determinant valuation). For a simple-zero instance,
Furthermore,
The constants include the one fixed class multiplier and the bounded local contribution at the moving prime .
Proof. The ordinary integral Kummer complex over is self-dual. Its is the compact Selmer module, and the torsion in has the length of the finite quotient of the discrete Selmer group by its divisible subgroup. This follows by derived base change to : the local complexes give exactly the discrete Kummer conditions. In the present simple-zero case that finite quotient is . Duality pairs the free parts in degrees one and two perfectly. Torsion in degrees one and three costs a bounded amount, by global torsion and duality. The uniform torsion bound here comes from a fixed nonidentity Tate scalar acting trivially on every ring-class field in the construction: its scalar minus one annihilates that torsion. Lemma 13.8 constructs this scalar, and the descent argument of Lemma 13.12 uses the same bound.
At an active odd conductor place inertia acts by minus identity. All integral is Kummer, and the relaxed quotient contributes only in degree two. Its length is , by local duality and the fixed 2-torsion. At the moving prime the contribution is bounded by (83). The generic pairings specialize to the ordinary Kummer pairing because the modified local complexes are rationally acyclic at the center. Thus the free determinant tensor has valuation twice the point index, whereas torsion in degree two contributes negative length to the inverse determinant. Together with (85), this proves (86). The specialization is at constant rational cohomology rank, so no specialization torsion is being substituted for the point.
For (87), apply the isogeny invariance of the BSD quotient to quadratic Weil restriction and [72] (Theorem 2.1 and the preceding discussion). All the groups in this comparison are finite apart from the known rank-one lattices; no BSD equality is assumed. The forward and reverse isogenies have composites multiplication by 2. Consequently the rank-one lattice indices, height ratios, torsion ratios and period ratios contribute bounded 2-powers. For periods, the pullback indices of Néron differentials at 2 are bounded by those composites; real kernels and component ratios are bounded as well.
The remaining terms are the Tamagawa numbers. A ramified quadratic twist of good reduction at an odd prime has type and component number one plus the number of roots of its reduced auxiliary cubic [1] (Theorem 4.1, tbl:4 and proof, Case 3). To identify this number, write a good integral model as , retaining the quadratic term, and the twisting parameter as . The auxiliary cubic is ; it is separable and its roots correspond to the nonzero rational two-torsion points. Thus the component number is and its 2-valuation is . This argument also applies in residue characteristic 3. Its connected reduction is unipotent. Some inertia element acts by on the twisted 2-adic representation, so its local 2-primary torsion is precisely its Frobenius-fixed 2-torsion. Over an unramified extension the same formula holds with the Frobenius of the enlarged residue field. At unramified or split places, Weil-restriction component numbers are the products over . At a prime outside , the curve over has good reduction and its Weil restriction has connected special fiber. Indeed, Weil restriction of its Néron model is the Néron model of the restriction of the curve [6]. Its special fiber has the original connected elliptic fiber as quotient, with connected vector-group layers from ramification. Exactly one rational twist has the ramified component factor. At a conductor prime , the two rational twists give a combined valuation , and the corresponding contribution over is . All places above have bounded local contributions. These are precisely the terms of Equation (87).
In a simple-zero genus instance, the fixed partner absorbs the terms involving , while and . The displayed formulas therefore identify
In a simple-zero ring instance with , the discriminant term is bounded and the conductor term is , giving
The ring identity also applies to the interpolation families in which an added nonsplit prime has ; such a prime contributes no weight. The all-split hypothesis is needed for the uniform ring lower bound. These formulas explain both the lower-bound statements and the normalization in Heegner interpolation. To prove the lower bounds, we must show that has no negative divisor away from and has a uniformly bounded negative divisor at in the stated cases. We will construct integral local switches that preserve its determinant valuation, and use inner detection to choose switches lowering excess Selmer rank. The uniform ring estimate will require an additional characteristic-zero limit; the universal binary family will instead require a bounded clearing factor after the new local blocks have been removed.
The main intermediate estimate is
To construct the switches used in these estimates, we first retain enough Galois evaluation data to select their derivative primes.
Evaluation and the exact kernel
The determinant estimates require switches that detect the excess Selmer dimension at a height-one test. To choose switching primes, we must still detect a nonzero limiting Selmer class by Galois evaluation. The next two lemmas first retain that detection under coefficient specialization, then restrict it to sequences acting trivially on the full Tate module, all ring-class fields, and the quadratic characters in use.
Lemma 13.7 (Evaluation on arbitrary Galois sequences). Fix and a sequence of finite cochain constructions above. Keep the contraction maps into the original global cochains. Let and , with simultaneous complex conjugation . Thus has index two in ; the larger unrestricted product of rational Galois groups is not used for induction. The matrix limit defines a coefficient action of on . For every field receiving a map from , there is a natural injection
where the right side denotes abstract crossed-homomorphism classes. Here may be the global complex or a Selmer complex whose local conditions contain all local degree-zero invariants and inject into local . The same statement holds for the induced representation of .
The evaluation maps and their degree-two cochain identities exist for every group sequence and commute with coefficient extension.
Proof. Let be a finite model and let be its chosen map to the original global cochains, using the projection from the Selmer cone when appropriate. For every and define matrices
by evaluating in degrees zero, one, and two. Their source ranks are fixed and their entries belong to . Thus each has a coefficientwise ultrafilter limit, for every choice of . The same fixed ultrafilter defines these limits for all . Likewise is a representation. The original cochain identities imply
All identities pass to the limit because their matrix expressions have finitely many terms. A cycle consequently gives the crossed homomorphism , and a boundary gives a coboundary.
We prove injectivity in a way that also controls base change. At each finite stage let be the residual field. Choose a space of representatives for residual . Evaluate pairs , where is in this space and , by . The intersection of the kernels of all these evaluations consists precisely of pairs with an invariant. Since the vector space is finite dimensional, a list of at most elements already has this intersection. For these elements evaluation is a chain map
in degrees zero and one, inducing an isomorphism on residual and an injection on residual . For Selmer complexes this uses the exact sequence of (13.1): the indicated local degree-zero isomorphisms give and residually.
Retain these matrices and their chosen group-element sequences. The residual global and local complexes, and the local conditions, have no negative cohomology. The cone definition therefore gives for . Put . The long exact sequence gives for ; its groups in degrees and vanish because the detecting map is an isomorphism on and injective on . Any contributes in degree two of this cone, so causes no negative-degree obstruction. Successively cancel the unit differential blocks of . This gives a homotopy-equivalent bounded free complex starting in degree one. For any -algebra , its ordinary tensor product computes and still starts in degree one; no flatness is needed. Thus the long exact sequence makes injective. A crossed cocycle that is a coboundary on all of is in particular a coboundary on the detecting list, proving the desired injection. For induction the same proof has coefficient rank four and the detecting bound is
Lemma 13.8 (The exact common kernel). *In the notation of Lemma 13.7, let be the group of sequences each of whose entries acts trivially on the full Tate module, on all ring-class fields of , and on the quadratic characters in use. Restriction from the crossed classes in that Lemma to is injective at every characteristic-zero test. It is also injective at the residual test. The characteristic-zero annihilator needed for this assertion can be chosen with a fixed finite -valuation depending only on , also as varies.
Proof. The Tate image contains an open subgroup of scalar homotheties, both in the CM and non-CM cases. Choose once and for all with Tate action , where and . Its square belongs to every quadratic subgroup. Put
The generalized dihedral property of every ring-class extension implies that is ring-class trivial. It is also trivial on every quadratic character, and its Tate action is the fixed scalar . For every sequence in , its commutator with the constant sequence is in the exact group , since its Tate commutator and all its abelian character images are trivial. Thus is central in and acts on the coefficients by .
Here the elementary central-scalar argument suffices. If a crossed cocycle is defined on a group with such a central element, comparison of and gives
In characteristic zero this makes a coboundary. Inflation–restriction then gives injectivity on . The valuation of is fixed.
In characteristic two choose, at each stage, inertia at mapping onto the chosen generator of . Its Tate action is trivial and its ring-class images commute, so the resulting sequence is central in and acts on by . Its scalar minus one is invertible in .
For the induced representation , first restrict to . There , and this inertia sequence acts on the summands by and . Hence . Inflation–restriction for the index-two inclusion gives an injection , even in characteristic two. Apply the central-scalar calculation separately to the two summands to obtain injection on restriction to . The same argument works in characteristic zero with the fixed scalar . Throughout, is defined by exact actions at every stage.
Lemma 13.9 (Irreducibility on the characteristic-zero tests). On an inner characteristic-zero test where , the four-dimensional representation induced from is absolutely irreducible. If on an inner test, it splits as two inequivalent absolutely irreducible quadratic twists.
Proof. The two induced summands are distinguished by -inertia, whose scalars are and . On either summand, multiplying the Tate matrices by scalars does not alter invariant subspaces. The Tate representation restricted to is absolutely irreducible under the exclusions already specified. These facts give absolute irreducibility of the induction when the two inertia characters differ.
If , extension across conjugation gives the two quadratic twists. They are inequivalent, since a quadratic self-twist of the Tate representation here would make its restriction to reducible over an algebraic closure. In the CM case this would force to be the CM field, which was excluded.
Lemma 13.10 (Simultaneous finite Chebotarev realization). For any element of an exact kernel in Lemma 13.8, derivative primes can be chosen, at increasing finite precision, whose rational Frobenius is on all retained data. Their finite localization is evaluation on . The assertion is compatible with any fixed finite list of previous derivative operations. Proof. At one Artin stage, a coordinate of a cochain in the image of a finite model is a locally constant function. The finitely many coordinates being used factor through one finite quotient of the absolute Galois group. Enlarge it to contain the Tate action at the required precision, the finitely many ring-class fields and quadratic characters currently in use, and all old finite data. Chebotarev realizes the conjugacy class of on this finite quotient, with a chosen place realizing the desired representative [48]. It gives a rational prime inert in , outside the old finite set. Because is exactly Tate-trivial, its Frobenius tends to ; in particular and . Because is exactly ring-class trivial, the square Frobenius on the -prime is the identity on every retained ring-class field. The unramified local coordinate is therefore the stated Frobenius-square evaluation.
Repeat at each finite stage with increasing precision. All conditions remain finite, and no density bound or prime-size bound is required. Previously imposed finite diagrams are unchanged.
In induced-module notation, restriction to the exact kernel is additive. For a crossed cocycle and an exact-kernel element ,
Indeed , acts trivially on the coefficients, and the cocycle identity cancels the two occurrences of . Projection to either induced summand identifies with a two-dimensional coefficient module, also in characteristic two.
The local switch and its integral determinant
Fix a complex conjugation and write for its action on . The next two Lemmas construct the integral local switches and the classes that pass through them. Their finite-level formulas are needed before applying the limit constructions above.
Lemma 13.11 (The split local model.) Let a sequence of inert good primes have rational Frobenius lifts tending on to a fixed complex conjugation . At the unique prime of above , the limiting local complex has
with zero differentials in a free split model. Here with the relevant scalar coefficient structure. The two degree-one coordinates of a cocycle are
where is an oriented pro- tame generator. The plane conditions and include and exclude . Each is its own orthogonal complement for conjugate-Weil duality. The strict condition and the relaxed condition are mutually dual. All four inclusions can be equipped with compatible integral duality triangles.
Proof. The prime-to- local cochains are computed by the tame inertia and residue-field directions. In these two directions the differentials are formed from inertia minus one and Frobenius minus one, with the usual Frobenius action on tame inertia. On , inertia is trivial at the derivative prime. The square of a rational Frobenius is trivial on every ring-class character. In the limit it is also the identity on , while tends to one. Thus both differentials become zero, giving (91).
Here is a finite-precision check of the pairing, needed at 2. At a retained quotient killed by , impose also , as well as trivial Frobenius-square action on the coefficient module at this quotient. The tame two-generator complex then has zero differentials, with the coordinates in (13.12). Its degree-one scalar generators are the unramified and tame characters. More explicitly, use the presentation . After augmentation with trivial coefficient action its Fox resolution has terms of ranks 1, 2, 1, with and , in the ordered finite and tame coordinates. The diagonal from the same resolution has zero pure-finite term, unit mixed terms, and pure-tame coefficient . The latter coefficient is the augmented second derivative of together with its adjacent in the relation. Both and vanish modulo under the imposed congruence. Thus this is an actual split complex and an actual pure-plane zero pairing at the retained precision. The field contains the -st roots of unity, so is a -th power. The norm-residue identity for the -Hilbert symbol therefore makes the square of each scalar generator zero. The two generators form a basis; local Tate duality makes their cross pairing a unit. The same calculation applies coefficientwise to the free Artin coefficient module, including its nilpotent and quadratic variables. Thus the pure plane restrictions are already zero at every retained quotient. All these congruences can be imposed simultaneously with the derivative Frobenius conditions by increasing their precision. Taking the compatible limit proves integral vanishing of the pure squares. It is not deduced from skew symmetry in characteristic two.
Equivalently, in the limiting tame presentation with , the rank-(1, 2, 1) resolution specializes to the exterior resolution for two procyclic directions. The finite Hilbert-symbol calculation specifies the cup product on its split cohomology and rules out a hidden square term. Conjugation transports the finite Tate coordinate by and the singular coordinate by , with possible scalar units coming from the orientations. Consequently the cross pairing is
where is the perfect alternating Weil form. This proves the assertions about orthogonal complements. Since the restrictions of this explicit pairing to either pure plane are zero as maps of the split complexes, their isotropy homotopies may be chosen to be zero. Only a product of two degree-one terms could map to the degree-two local invariant target; the degree-zero terms introduce no additional restriction. These zero homotopies agree on the strict subcomplex. These are the actual orthogonality data required in the Selmer duality construction [52], Theorem 6.3.4; the compatibility assertion is therefore an assertion about these displayed complexes and maps. Lemma 13.1 is used to retain this finite diagram together with the unchanged local data.
For a finite set of derivative primes, let be obtained from by replacing the finite plane condition by at each prime of , retaining all other local conditions. The classes below use the same multiplier already included in ; in particular, .
Lemma 13.12 (Descent and the switch at 2). Suppose that the finite ring-class transfers are performed before retaining their target cycles and witnesses as in Lemma 13.1. There is one integer , depending on the fixed curve, parametrization and fixed local types, such that the classes obtained from the Heegner derivatives of times the point satisfy, for every finite switched set ,
The same works for every number of active and derivative primes. The previously imposed singular conditions are retained.
Proof. We first descend the derivative classes using one multiplier for the complete conductor, and verify their Kummer conditions at . We then compute both local coordinates in (94). The last step retains these classes and identities in the same bounded target cochain diagrams used for evaluation.
Choose the orientations coherently. The relative ring-class group at an inert prime is cyclic of order . For distinct new primes these groups form a product: the ring-class exact sequence has kernel the product of the local residue-unit quotients, and the only global units here are , , whose images in these quotients are trivial. Set
Direct multiplication gives
The Hecke correspondence and reduction of its CM isogenies give, for every class-group translate,
These are the point relations, not an application of a residual irreducibility theorem. A fixed multiple of the parametrization removes cuspidal terms.
There is a uniform bound on the -primary torsion over the union of the ring-class fields in use. To see this, choose a fixed nonidentity scalar homothety of infinite order in the -adic Tate image. Square a lift so that it belongs to every quadratic subgroup under consideration. Multiply it by its conjugate under complex conjugation. Its action on each ring-class field is trivial, because conjugation inverts the abelian ring-class action, while its action on is still a fixed nonidentity scalar. If annihilates its scalar minus one up to a unit, then kills the torsion in question. The existence of this fixed scalar, including the CM case, is the Tate-image input used in Lemma 13.8.
Work first with coefficients modulo . Require and to vanish to a precision substantially larger than . Equations (95) and (96) then make the derivative Kummer class invariant under the relative ring-class group. In the inflation–restriction sequence, both the obstruction to descent and the ambiguity of descent are killed by , since their coefficient module is killed by . Multiplication by therefore gives a descent independent of this ambiguity: descend times the class and multiply its lift by . There is no repetition of this factor for individual primes; descent is performed once from the field with the complete conductor.
The global descent has cost only the fixed factor , regardless of the number of derivative primes. It remains to ensure that the descended class satisfies the Kummer condition at every fixed bad place; this is a separate local descent issue.
At a place over these descent extensions are unramified. Here is the local descent argument, valid also for even extension degree and for toric or additive reduction. Let be a finite unramified extension with group , and write for its residue extension. The successive formal-group quotients are additive copies of . The normal basis theorem makes each a cohomologically trivial -module, without a restriction on . Every finite quotient is therefore cohomologically trivial. The inverse systems of these finite groups and their invariant groups satisfy the Mittag–Leffler condition. Taking inverse limits in finite -cochains consequently gives . Let be the Néron model and put , a smooth geometrically connected commutative algebraic group over the finite field . Lang’s finite-extension cocycle theorem [45] gives . The smooth reduction sequence then gives . Let be the finite étale component-group scheme. Each fiber over a point of is a torsor under , and hence has a -point by Lang [45]. Smooth lifting therefore makes surjective. Hence
Existence of the smooth finite-type model and smooth lifting follow from Bosch et al. [6]. The right side is killed by the exponent of . By inflation–restriction, the left side is exactly the kernel of . Thus the same fixed exponent makes a class in Kummer whenever its restriction is Kummer. Néron models commute with unramified base extension [6], so their geometric component groups are unchanged. Only the finitely many fixed local twisting types at occur, so the product of these component exponents is bounded independently of the conductor and of the extension degree. Include this product, the single descent factor , and the parametrization factor in . Thus the descended class has the integral Kummer condition at . No good-ordinary or semistability condition was used. Transfer with the scalar character preserves this condition because there.
The single multiplier now gives descent with the required Kummer conditions. We next prove the finite-to-singular identity itself. Both coordinates matter: the singular coordinate must become , while the new finite coordinate must vanish at the retained precision.
Here is the local calculation, including the division by two. Apply the derivatives at all primes other than , and write for the resulting lower and upper points. Put . The lower field splits at the -prime , since that ideal is principal. Reduction therefore gives . The following Frobenius-polynomial identities are taken on the reduction; good odd-prime reduction is injective on the -primary torsion coordinates being compared. If is a -division point of , the finite coordinate of its Kummer class is
We give the descent-cocycle calculation of the other coordinate. Choose with , and choose the descended cocycle so that on the upper-field Galois group it is . A change by the already bounded descent ambiguity has no effect on the eventual limit. The crossed identity gives
For in the upper-field Galois group, compare the two expansions of ; they give . Moreover,
Both integers are divisible by . Consequently
is an actual upper-field point with the same -multiple as . Thus is upper-field torsion of bounded exponent. This comparison with an actual integer quotient is what bounds the ambiguity; arbitrary division points would not give this bound. Reduction makes act trivially and . Therefore reduction of gives its singular coordinate
up to the uniformly bounded descent torsion already described. The Frobenius polynomial yields the exact operator identity
Thus ; when vanishes at the retained torsion precision, this is . Taking the Frobenius limit gives .
If is the chosen rational Frobenius lift, its image in the generalized-dihedral ring-class Galois group lies outside the abelian subgroup, so acts trivially on the full upper ring-class field. The same lift therefore computes the descended finite Kummer coordinate from the reduced point over the common residue field . For the new finite coordinate, reduction of the derivative point is
The finite Kummer coordinate consequently vanishes modulo if . The additional is essential at . It is imposed in the choice of the next precision, and does not multiply the class by a new denominator. Bounded torsion ambiguities disappear on passing from to with . Choose and the Frobenius precision successively faster than .
The calculation is compatible with every translate in the transfer: transport the place and its Frobenius before applying that translate. The scalar weight on the lower and upper class is identical. Applying the same calculation at each proves the earlier singular conditions as well.
The local formulas now give the switch. To use it in the rank-reduction argument, we must retain more than its cohomology class: the transferred target cycles, local lifts and degree-two cochain identities must extend the original finite diagrams. We record this compatibility next.
Here the transfer itself is integral at the cochain level. For a finite Artin coefficient ring , let , through which the finite scalar and quadratic characters factor. Shapiro’s cochain map and the coefficient homomorphism
send the descended class to the desired twisted class. For a universal quadratic family, replace the quadratic value by its group element in , also including the fixed base character. Choose inverse actions on both sides when using that Shapiro convention. Explicitly, these are the finite coset sums with the indicated scalar weights; there is no division by . These maps and their degree-zero and degree-two compatibility formulas are used at this finite stage, before passage to a bounded target model. Naturality of restriction and Kummer corestriction supplies the local lifts. At the scalar character is trivial, so these are precisely the Kummer conditions of the indicated quadratic twist.
More explicitly, in the universal case let be the additional quadratic character. Perform the coefficient map
and the finite coset sum before any character evaluation. This gives one cycle over , with its local lifts. Every sign evaluation sends this cycle and these lifts to the corresponding weighted construction, because it commutes with finite sums and differentials. After contraction, compare an evaluated target model with its already chosen scalar model using their maps to the same original target cochains. Retain these comparison matrices and their contraction homotopies for all the finitely many characters of this fixed . No character idempotent or division by a class-group order is used. At the split-prime norm multiplier on this universal cycle is
The two conjugate Frobenius values of agree because each quadratic character comes from . Evaluation at the character corresponding to therefore gives exactly , with the central boundary witness described above.
Finally contract only the resulting target cycles, local lifts and boundary witnesses into the models over . Retain the target comparison maps, the split local Fox complexes, their zero isotropy homotopies, and their duality and switch identities in degrees zero, one and two. The proof of Lemma 13.1 shows explicitly how to transport these identities and their witnesses. In particular the unbounded cochains over and the full Shapiro maps are not objects or maps of this limiting diagram. When a further derivative prime is selected, extend the same original finite-stage diagram and its contraction maps, using the same inner ultrafilter. Do not construct an unrelated cohomologically equivalent old complex. The earlier evaluations, including all degree-two cocycle identities, are consequently retained by the same contraction maps after each new switch. For a fixed finite set of switches and fixed , the target rank bounds above apply. Lemma 13.1 therefore applies to these extended target diagrams at their common retained precision. Their limiting classes give (13.14). The displayed local formulas agree with the calculation underlying [34], Proposition 1.7.4; Howard’s odd-prime global hypotheses are not being asserted at 2.
Lemma 13.13 (Preservation of the determinant coordinate). Let be a height-one discrete valuation ring at which the complexes and switching conditions are self-dual. Suppose the generic Selmer group for a set has rank one and is spanned by , and is nonzero at the next derivative prime. Then the switched generic group has rank one and is spanned by , and
This assertion does not require a primitive localization in either integral plane.
Proof. Compare the strict condition and the relaxed condition of Lemma 13.11. Their complexes are dual. Over the fraction field, the image of relaxed in is self-annihilating by Poitou–Tate, hence two-dimensional. Strict is zero because the original rank-one group localizes nontrivially. The relaxed image meets in the line spanned by and, by Equation (94), meets in the nonzero line spanned by . Its intersection with either plane is therefore exactly a line. This proves the rank and spanning assertions.
For the integral determinant comparison let and be a field basis of relaxed . The dual basis belongs to strict . In the triangle adding to the strict complex, the map pairs a vector against the relaxed localization. By Equations (93) and (94), it is a unit times . The remaining quotient maps to . Choose mapping to . Although and need not be integral separately, the volume of the ordered basis of is a unit of , precisely because its symplectic pairing is a unit. For use and a preimage of ; its volume is again a unit. The two determinant tensors thus map, up to units, to the same tensor in the strict determinant, using . All triangles and plane lattices in this comparison are integral. Their determinant isomorphisms consequently give (101), including any torsion or localization-index contribution.
Rank reduction and nonnegative divisors
The derivative-prime reduction follows the Kolyvagin-system argument of Howard [34] (Lemmas 1.5.3 and 1.6.4). We carry its switches through integral Selmer complexes and preserve their determinant coordinate. The local calculation and descent above supply the characteristic-two pairing and one fixed multiplier; the argument below supplies the uniformity as the conductor varies.
We now prove the first two bounds in (88). A height-one specialization can have larger Selmer dimension than the generic rank-one line. Local switches will remove that excess dimension while preserving the determinant valuation. At test dimension one, integrality is immediate. At the coefficient prime (2) this argument uses residual irreducibility and therefore applies here to genus data.
Use the sequence groups of Lemma 13.7, and write for the exact kernel of Lemma 13.8. Over the relevant test field, put . Lemma 13.10 realizes finite localization as the projection of , for , to one induced summand. Restriction to is injective by Lemma 13.8, and evaluation there is additive and Galois-equivariant. The image of is a copy of the two-dimensional summand, also in characteristic two.
Lemma 13.14 (Rank reduction at a height-one prime). Suppose a primitive instance has generic cohomology of rank at most one in degrees one and two, zero elsewhere, and spans when it is nonzero. Then the first line of (88) holds. These hypotheses hold in every simple-zero instance and also at the base of Theorem 3.3. The second line holds in genus data with irreducible , with a bound independent of the number of active or derivative primes.
Proof. There is nothing to prove if . Otherwise the generic rank is one and is nonzero. Localize, and if convenient complete, at a height-one prime. Test its residue field; at (2) do this argument only in genus data with irreducible residual representation. Suppose first that on the field. Then is irreducible. Inertia at distinguishes its two induced summands. On one summand, irreducibility of over comes from open image or the CM normalizer in characteristic zero, and from the assumed residual irreducibility at (2). In the latter case we have omitted the fields meeting nontrivially. The cyclic cubic residual case remains irreducible over , with a possibly quadratic commuting field. Constant Tate matrix images are realized on the sequence group; scalar character twists do not change this irreducibility.
Let the test Selmer have dimension . Include the reduction of a primitive generator of the generic free lattice among two independent classes. We can arrange that their localization has rank two. To see this, if the classes are independent over the commuting field of , simplicity and the injective restriction in Lemma 13.8 imply that the field span of their joint evaluations on is the whole of . Otherwise a nontrivial equivariant linear relation would vanish on restriction, and hence on the original classes. Projection by therefore spans all pairs in the two-dimensional localization space. Some actual evaluation pair has nonzero determinant: a homogeneous quadratic vanishing on an additive group vanishes on its field span, since its polar form vanishes on every pair from the group. This argument is valid in characteristic two as well. If the classes are dependent over the commuting field but independent over the ground field, projection commutes with that field action on the graph of . At the residual prime , in the cyclic cubic case, this commuting field is : rational complex conjugation has trivial residual image, so the commuting-field action is the same on the two induced summands. If the second class is times the first, with outside , a nonzero projected evaluation gives the ground-field-independent pair . Thus this case also gives rank-two localization.
Choose the derivative prime realizing that evaluation. Its localization is nonzero on the primitive generic generator. The relaxed image on the test fiber is self-annihilating of dimension two, and contains all of because the finite localization has rank two. It is therefore . Switching to lowers test dimension by two. Generically, Lemmas 13.12 and 13.13 keep rank one, a nonzero class, and the same determinant valuation.
It remains to treat , which occurs here only in characteristic zero. Extend across and split into the two conjugation signs. Conjugation on the cochains includes , which is trivial on this fiber. The fixed Kummer conditions and relaxed conditions are preserved. At previously switched places the split local model has diagonal conjugation action on , so its plane conditions are preserved too. The induced representation now splits into two nonisomorphic absolutely irreducible twists. Finite and singular localization each have one line per sign. Within a sign the pairing is a symmetric hyperbolic pairing of those two isotropic lines; the signs are orthogonal.
If both Selmer signs occur, the restriction argument just used gives rank-two localization by choosing one class of each sign, with a nonzero component of the primitive generator among them. If only one sign occurs and , choose rank-one localization nonzero on that generator. The relaxed image has a self-annihilating line in each sign. In the sign hit this is the finite line; in the other it must be the singular line, since a symmetric hyperbolic plane in characteristic zero has exactly these two isotropic lines. The switch preserves the total dimension but introduces the other sign: the old strict kernel has dimension and the new singular line contributes the second sign. A subsequent rank-two switch reduces dimension. Iteration reaches test rank one; it cannot pass below one, because the generic rank-one class has been retained throughout.
At test rank one the minimal self-dual complex over the DVR has one free term in each of degrees one and two and zero differential; there are no invariants. An integral class and its integral dual functional therefore give an integral determinant coordinate. Reversing the switches gives the first assertion. At the initial fixed descent and local multiples cost a bounded valuation, independent of every subsequent switch. This proves the second assertion with the stated uniformity.
Uniformity without residual irreducibility
Only the ring-data bound at eq:2 remains. Residual irreducibility is not assumed, so the preceding argument on that residue field does not cover every instance. We first bound the model sizes and retain evaluation through a second limit. These constructions turn a hypothetical sequence of unbounded negative determinant valuations into a characteristic-zero outer limit. There the retained evaluation maps permit rank reduction and force a bounded denominator, giving a contradiction.
Lemma 13.15 (Uniform residual sizes). *Suppose , the local twisting classes at belong to a fixed finite list, and all active conductor primes are split with odd Frobenius exponent of the deformation character. After localization and completion at , the minimal free ranks of the Selmer complexes are bounded in terms of , , and the number of retained derivative primes. They do not depend on the number of active conductor primes.
Proof. Reduce first over . The quadratic character is now trivial. Removing the active conductor primes from the permitted ramification set changes the global complex by their singular local complexes. These, and their unramified local complexes, are acyclic after inverting , by Lemma [13]. The resulting smaller-support complex, including its comparison maps, can be constructed at the original Artin stages before taking the limit. Its support consists of , , and the retained derivative primes. Its cohomology dimensions are bounded by those at : choose a minimal finite free model over .
Here is a uniform bound for the latter residual cohomology. Put , a fixed field. Then is at most quadratic. Enlarge the allowed set of primes of by those ramified in . Its cardinality is bounded by a constant depending on , and the number of derivative primes. Kummer theory bounds the number of generators of the maximal pro- Galois group over unramified outside this set, using the fixed unit group, the fixed -class group, and the allowed valuations. The subgroup defining has index at most two; the elementary Schreier bound bounds its generator number. Every finite Galois -extension of with this ramification has Galois closure of -power degree over , so this subgroup indeed controls the required pro- extensions of .
Over the residual Tate module is trivial. Restriction and inflation–restriction therefore bound the residual over . The bound is immediate, and the global Euler characteristic or global duality bounds . The local terms at the remaining bounded set have bounded dimensions, with degrees of the local fields at most two over the fixed rational local fields. At there are only finitely many local quadratic twisting classes. The same bounds apply to the Selmer cone. Lemma [11] now bounds the minimal ranks. Determinant valuations will require a separate argument.
Evaluation through the outer limit
The preceding evaluation argument concerns one inner construction over a fixed . The ring bound must also be uniform when and the conductor vary. When all active primes split and is bounded, Lemma [13] bounds the model sizes after any fixed number of derivative operations. The next proposition shows that passing to a second limit of such models preserves detection, including classes represented only by approximate cycles before that limit.
Proposition 13.16 (Integral evaluation through the outer limit). Let be any family of the preceding limiting complexes, completed over , possibly for different quadratic fields . Suppose their minimal ranks are bounded. Assume a common bounded cohomological degree interval. Keep the actual evaluation matrices and transport them to the minimal models through integral contractions. For a nonprincipal ultrafilter , put
Then is a DVR with uniformizer and a characteristic-zero fraction field . The outer over injects into crossed classes on the inner quadratic sequence group product, or its extension by one simultaneous complex conjugation for the induced representation. Its restriction to the product of their exact common kernels is injective. All arbitrary-sequence degree-two evaluation identities survive. These conclusions also hold after retaining any fixed finite collection of additional integral diagrams.
Proof. A nonzero element of the quotient has a representative whose valuations are bounded on an ultrafilter-large set. A finite partition then makes its valuation equal to a single integer on such a set. It is times a unit. Products add these finite valuations, so the quotient is a domain, and every nonzero ideal has an element of smallest valuation. It is consequently a DVR. The integer is nonzero for every , so its fraction field has characteristic zero.
For each , all-sequence evaluation maps originally have entries in . Extension to and composition with an integral contraction still give integral matrices. Thus evaluation on any sequence of inner group elements has an entrywise image in . Equations (13.9) and (13.10) survive for all such sequences. In particular, if an outer cycle is represented by vectors for which has valuation tending to infinity, the evaluation of does too: the degree-two evaluation matrix is integral. Thus an outer cycle gives an exact crossed cocycle even when its representatives are only approximate inner cycles.
Over the inner residue field , choose a detecting list as in Lemma 13.7; its length is at most . These lengths are bounded. Include in the integral diagrams the evaluation map to its two-term complex and a contraction of its cone to a complex starting in degree one. Such a contraction uses only unit pivots over and has bounded graded sizes. All its matrices, including inverses and homotopies, are integral and pass to the quotient. Its cone still starts in degree one after extension to . This proves injectivity just as in Lemma 13.7.
Let be the inner exact kernel. In the product of the quadratic sequence groups, the central elements of Lemma 13.8 give a central element modulo with scalar . Since remains nonzero in , the same calculation gives restriction injectivity. For the induced representation first restrict to the quadratic subgroup, as in Lemma 13.8. Additional finite diagrams pass through the same entrywise operations.
Lemma 13.17 (Irreducibility in the outer limit). On the outer characteristic-zero test, has infinite order and the four-dimensional representation induced from is absolutely irreducible.
Proof. The inner irreducibility argument requires a uniform finite witness to survive this limit. The images of the quadratic subgroups have index at most two in the fixed compact 2-adic Tate image. A compact 2-adic analytic group is topologically finitely generated and hence has only finitely many closed subgroups of index at most two. Choose one on an ultrafilter-large set. Its absolutely irreducible representation has finitely many matrices spanning ; the determinant expressing this spanning property is a fixed nonzero 2-adic number. Every one of these Tate matrices is realized by choices of Galois elements in each component. Their accompanying character scalars are units and do not change the spanning assertion. Its determinant remains nonzero in . This proves absolute irreducibility in that field. Also has infinite order already in every : for a nonzero integer , the first nonzero term of occurs in finite degree. It remains a unit modulo in every component, so no such power becomes one in the outer field.
The two induced summands therefore have different inertia scalars, and , and the induction is absolutely irreducible as in Lemma 13.9.
Lemma 13.18 (Prime realization through the outer limit). The finite Chebotarev realization of Lemma 13.10 is compatible with Proposition 13.16 and with any fixed finite list of previous derivative operations.
Proof. Apply Lemma 13.10 at each finite stage. For an outer sequence do this separately for each inner sequence, retaining the relevant finite evaluation matrices and degree-two identities before taking the outer quotient. Approximate inner cycles cause no problem, by the integrality calculation in Proposition 13.16. Previously imposed finite diagrams are unchanged.
Theorem 13.19 (Compatibility of the limit constructions). The finite free models, ring-class characters, local conditions and pairings constructed above can be retained simultaneously. Their inner limits have the stated height-one acyclicity and all-sequence cohomology detection. For all-split ring data with bounded , the residual model sizes are bounded independently of the active conductor support. Their outer limits retain arbitrary evaluations, exact-kernel injectivity and finite Chebotarev realization after any fixed number of additional integral arithmetic operations.
Proof. Use Lemma 11.6 at each finite stage and keep the same contractions and ultrafilter as in Lemma 13.1. Perform the finite ring-class transfer and weighting first, retaining only the resulting bounded target cycles and witnesses as in that lemma; no limit of the growing Shapiro source is taken. The local assertions and uniform residual sizes are Lemmas 13.2, 13.4 and 13.15; the required characters come from Proposition 13.3. Lemmas 13.7 and 13.8 give inner detection. Proposition 13.16 and Lemma 13.18 preserve it through the outer limit and later finite operations. Every retained identity is an identity of actual integral matrices. The finite derivative classes and local identities of Lemma 13.12 are among the integral arithmetic target diagrams retained in these operations, including the central norm relation before and after sign evaluation.
Lemma 13.20 (Uniform determinant bound in ring data). For simple-zero ring data with every active conductor prime split in and , the coordinate of Definition 13.5 satisfies
where is independent of and . There is no residual irreducibility assumption. This is the last line of Equation (88).
Proof. Put . By Lemma 13.15, after any fixed number of derivative switches the minimal -models have bounded size in terms of , and that number, independently of . The full local complexes at and the active split primes are contractible over , and the switched planes are integrally self-dual. Thus the class and its paired closed functional have a common bounded clearing exponent, supplied by the fixed descent multiplier and the retained global duality map.
Suppose the asserted lower bound fails. Choose instances with . Cancel disks over and take an outer limit of their bounded free models. Transport the class, closed functional, evaluations and the retained comparison and switch maps through these integral contractions, applying the same contractions to their boundary witnesses. Only the resulting bounded target vectors and matrices enter the outer diagram; the eliminated list of active-place complexes does not. Concretely, take the ultraproduct of their valuation rings and quotient by the ideal of sequences whose valuation tends to infinity. The resulting ring is a DVR with uniformizer : a nonzero sequence has a finite valuation on an ultrafilter-large set and is that power of times a unit. Its fraction field has characteristic zero. All integral matrix identities, duality diagrams, and the local switch diagrams pass to this limit.
Proposition 13.16 gives injective evaluation on the outer sequence group and on its exact common kernel. This includes outer cycles represented by approximate inner cycles, since their coboundaries are evaluated by integral degree-two matrices. The fixed central scalar remains different from one in the outer field. Lemma 13.17 gives absolute irreducibility of the induced representation there: the scalar has infinite order and distinguishes the two summands.
Each individual minimal -complex is a square complex in degrees one and two, by self-duality and the absence of residual invariants. Choose a primitive vector in its generic kernel. Such vectors survive the outer limit, so outer has rank at least one. If its rank exceeds one, choose rank-two localization by the absolutely irreducible evaluation argument in Lemma 13.14, making it nonzero on one of these primitive vectors. The inner Chebotarev construction realizes the corresponding sequences of derivative primes. At each original Artin stage retain the old contractions and evaluations, adjoin the new local and derivative diagrams, and pass through the same inner and outer ultrafilters. Slower cofinal coefficient precision is permitted; independent reconstruction of the old diagrams is not. For an ultrafilter-large set of instances the localization is generically nonzero. Lemma 13.13 preserves the valuations tending to minus infinity, while the outer rank falls by two. The new complexes and integral classes obey the same bounds, with only the now fixed finite number of added derivative primes.
The process must reach outer rank one: ranks are finite and cannot fall below one while the primitive kernel vector is retained. At this stage some maximal boundary minor is nonzero over the outer fraction field. Its valuation is consequently bounded in the individual DVRs on an ultrafilter-large set. Split that minor over their fraction fields. The entries of the class and duality maps are integral and their common initial multipliers are bounded. The formula for their determinant coordinate, or the elementary-divisor decomposition, then has a lower valuation bound depending on this minor and the bounded complex size. The Heegner classes themselves need not survive the outer limit: a numerator tending to zero only increases its valuation. It is the primitive kernel vector that preserves rank, and the boundary minor that bounds the denominators. This contradicts , and proves the uniform estimate. □
Proof of Theorems 3.6 and 3.7. By Lemmas 13.14 and 13.20, the element has nonnegative valuation away from (2) and a uniformly bounded negative valuation at (2). Normality of implies that a fixed power of 2 times belongs to . Its central value therefore has the same lower valuation bound.
In genus data, and the weight of are fixed, , and . Equations (86) and (87) give Equation (3.11). The excluded intersection fields are finite in number, since an irreducible two-division field has at most one quadratic subfield. In ring data, the sum over is bounded by , whereas . The same equations give Equation (11). □
The universal Heegner class
For interpolation we combine the non-(2) divisor estimate and the central valuation formula with a universal binary family. The characterwise coordinates must have a uniformly controlled clearing factor. We first remove the norm and local determinant factors belonging to primes unused at a character, then eliminate the new-prime blocks before choosing that clearing factor.
Recall the binary coefficient rings:
We work with the universal quadratic character over for the family in Theorem 3.3. At a new prime let be its inertia bit: at a character , it evaluates to when is active and to 1 when it is unused. Choose the conductor character of Proposition 13.3 with odd exponents at all the new split primes. In the universal complex relax at every new prime and at the old active primes, and take the trace class from the conductor containing all new primes, together with and the old conductor. As in the proof of Lemma 13.12, form its -weighted target cycle at each finite stage, together with its local lifts and boundary witnesses, before evaluating any sign character. Apply the limit construction for this fixed to those target data; the source ring-class cochains do not enter the limiting diagram. Choose an integral determinant basis and write for the characterwise determinant coordinate.
Lemma 13.21 (Removing the unused-prime factors). There is such that agrees at each character with the primitive determinant coordinate up to a -unit. In particular, . If the base product derivative is zero, then . At the nonzero vertices,
where bounds .
Proof. At an unused prime, the norm relation multiplies the primitive point class by
where times the universal quadratic scalar at an oriented Frobenius. The relaxed singular quotient contributes
where is the residue cardinality and denotes the full scalar character. Thus differs from the primitive coordinate by , up to a -unit. This follows from the localization triangle with its integral determinant isomorphism; the pairing comparison is made over the fraction field. Choose conjugate-compatible Frobenius lifts in these formulas, taking the square of rational Frobenius at an inert place, and extend the expressions universally over .
Both and are units in . At a split prime, the odd Frobenius exponent gives a nonconstant scalar in ; at an inert new prime, the hypothesis gives an odd trace. Moreover, already in the group ring, . In the split case the residual identity is
In the inert case the Frobenius-square polynomial gives . Here the group-like quadratic scalars have square one, so the identities hold before sign evaluation. Consequently
belongs to . Its factor is at unused characters and 1 at active characters. It makes the required correction without an idempotent denominator for each prime.
For all the primitive constituents, generic cohomology has rank at most one. At nonzero vertices this follows from the simple-zero assumption. At the base it follows from Selmer corank one; a nonzero generic class then spans the possible rank-one group. Hence Lemma (94) applies to every nonzero primitive determinant coordinate. Its nonnegative valuations away from imply membership in , by normality. The same assertion is automatic for a zero coordinate.
If the base derivative vanishes, Equation (6) makes the specialized point torsion. Either its generic determinant coordinate is zero or the specialization is at constant rational rank one and its degree-one class is zero there. In either case . At a nonzero vertex use Equations (86) and (87). Subtracting the two lengths and leaves precisely the expression bounded in Equation (9), together with bounded terms at , the old support and . This gives Equation (102).
The corrected coordinates have the required upper bounds at nonzero vertices and vanish at the center if the base derivative vanishes. To apply binary transfer, we still need with at every character. The required controls are a bound on and, at each fixed precision, a bound on the negative Laurent support of every . The next lemma obtains those bounds from the old complex, whose size is bounded, rather than from the full growing conductor.
Lemma 13.22 (A uniform clearing factor for the Heegner family). For the element of Lemma 13.21, there are with at every character, , and uniformly bounded. For each fixed , the negative Laurent support of every mod has a bound independent of and of the number of new primes.
Proof. First make the pairing functional integral up to a bounded multiplier. The class is integral. Lift to the complex strict at the relaxed places and use integral duality against the relaxed complex. At and every new prime the full local complex over is contractible: its reduction at the maximal ideal is acyclic, by the local calculation in Lemma 13.4 and the root-type alternative. At the old active primes its cohomology is killed by a bounded power of , because inertia is minus identity. The old support is fixed. Thus is bounded independently of the new primes. After inverting , lifting is canonical. We obtain a closed representative of the paired functional over .
At augmentation, present the complex as the old complex, with no new primes, extended by the direct sum of their singular complexes. Each singular complex is a bounded-size block in degrees one and two, with differential and determinant . The differential is upper triangular with the old complex as a subcomplex. This graded free model lifts to : stabilize the finite free models, identify their augmentations, and lift the corresponding graded changes of basis. The lifts are invertible because the augmentation ideal lies in the Jacobson radical. Cancel the additional lifted unit disks before retaining the old-plus-singular grading. Their augmented cross terms are zero, so cancellation leaves precisely the displayed augmented model; the added disks do not enlarge its old part. The old model has bounded size, since is fixed and is bounded. Indeed, the fixed-field Kummer and Schreier argument in Lemma 13.15, now retaining the fixed primes of , bounds the residual global and local dimensions uniformly for bounded. This size bound is separate from the central torsion-length bound used below.
Over the entire new-prime block is invertible. Schur elimination leaves a complex of the bounded old size, with augmentation exactly the old complex. For each , the order of its residual determinant at is bounded uniformly. At a split prime this follows from the odd Frobenius exponent and the degree-two Frobenius polynomial; at a root-type prime the constant term is already nonzero. Every sign evaluation of the lifted block is its augmentation plus a matrix divisible by with power-series entries. Therefore Lemma 11.2 bounds the negative Laurent support of the entries of every modulo each fixed , independently of the number of blocks.
The integral central specialization of the old complex is controlled by the ordinary base Kummer complex, the fixed old conductor primes, and the bounded singular contributions at . Its rational and both have dimension one. Its torsion lengths are bounded by the finite Selmer quotient assumed in Theorem 3.3, together with bounded global torsion and these local contributions. Choose its elementary-divisor bases at the center and lift. Apply case (i) of Lemma 11.3 to , the projected cycle and paired functional. The eliminated large block contributes an -unit to the determinant, and the multiplier in (103) belongs to . Include both in the allowed factor of that lemma, so neither enters the clearing factor . The lemma gives , a bounded central valuation for , and the asserted pole bounds for .
Proof of Theorem 3.3. The primitive ring-class product has odd functional-equation sign under the standing Heegner conditions. Suppose the base product does not have a simple zero. Its first derivative then vanishes. By Lemma 13.21, , whereas every nonzero vertex has central determinant valuation bounded by one constant independent of the family. By Lemma 13.22, the hypotheses of Lemma 11.5 hold with uniform central and pole bounds. Choose its fixed precision larger than plus twice the central bound, and then take the cube dimension sufficiently large. It supplies a nonzero vertex whose central valuation exceeds , a contradiction. Thus the base product has a simple zero.
The unrestricted converse and Goldfeld’s densities
The two residual constructions now give the pointwise theorem. The density statement then requires only Smith’s Selmer distribution and an elementary change of counting convention.
Proof of Theorem 1.1. By Lemma 2.3, either or is irreducible. Theorem 7.13 proves in the first case, and Theorem 9.1 proves it in the second. Both use the local Kummer conditions defining the corank in the statement. The isogeny choices in the rational-torsion proof preserve that corank and the -function by Lemma 2.2. Thus every curve in the theorem has analytic rank zero or one. Lemma 2.1 supplies the Mordell–Weil rank equality and finiteness of the whole Tate–Shafarevich group.
Proof of Corollary 1.3. Lemma 2.4 gives and shows that is divisible. Theorem 1.1 gives the rank equalities and whole-Sha finiteness. A finite divisible 2-group is zero, so its 2-primary part vanishes.
Lemma 14.1 (From integer to squarefree parameters). Let be a property of nonzero signed integers unchanged by multiplication by an integer square. Suppose
Then
In particular the property has density among signed squarefree parameters ordered by absolute value.
Proof. Every nonzero integer has a unique expression with and signed squarefree. Thus
The second equality follows by substituting the first and using . For a fixed integer , the terms with , divided by , tend to . The remaining absolute contribution is at most
because . First let and then tend to infinity. The absolutely convergent series proves the formula. Applying it to the property always true gives , proving the density assertion.
Proof of Theorem 1.2. Smith’s theorem states that, for every fixed elliptic curve and [69],
Quadratic twisting depends only on the squareclass, so Lemma 14.1 gives density for each corank among the signed squarefree parameters.
For , Theorem 1.1 gives , while Lemma 2.1 gives the converse implication. The analytic-rank counts therefore equal the corresponding corank counts exactly. The two densities sum to one. Their complement, the twists of analytic rank at least two, has density zero, and Lemma 2.1 gives the final rank and finiteness assertions on the density-one union.
References
- [1]Alexander J. Barrios, Manami Roy, Nandita Sahajpal, Darwin Tallana, Bella Tobin, and Hanneke Wiersema. Local data of elliptic curves under quadratic twist. Research in Number Theory, 11, 2025. doi: 10.1007/s40993-025-00650-w. URL https://link.springer.com/article/10.1007/s40993-025-00650-w. Article 75, 39 pp.DOI
- [2]Laurent Berger. Bloch and Kato’s exponential map: three explicit formulas. Documenta Mathematica, Extra Volume Kato:99–129, 2003. doi: 10.4171/DMS/3/3. URL https://ems.press/books/dms/250/4889.DOI
- [3]Bryan J. Birch and H. P. F. Swinnerton-Dyer. Notes on elliptic curves. II. Journal für die reine und angewandte Mathematik, 218:79–108, 1965. doi:10.1515/crll.1965.218.79.
- [4]Spencer Bloch and Kazuya Kato. L-functions and Tamagawa numbers of motives. In The Grothendieck Festschrift, Vol. I, volume 86 of Progress in Mathematics, pages 333–400. Birkhäuser Boston, Boston, MA, 1990. doi: 10.1007/978-0-8176-4574-8_9. URL https://math.stanford.edu/~conrad/ BSDseminar/refs/BKTamagawa.pdf.
- [5]Fedor A. Bogomolov. Points of finite order on an Abelian variety. Mathematics of the USSR-Izvestiya, 17(1):55–72, 1981. doi: 10.1070/IM1981v017n01ABEH001329. URL https://www.mathnet.ru/eng/im1843. Russian original published in 1980.DOI
- [6]Siegfried Bosch, Werner Lütkebohmert, and Michel Raynaud. Néron Models, volume 21 of Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge. Springer, Berlin–Heidelberg, 1990. doi: 10.1007/978-3-642-51438-8. URL https://link.springer.com/book/10.1007/978-3-642-51438-8.DOI
- [7]Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor. On the modularity of elliptic curves over ℚ: wild 3-adic exercises. Journal of the American Mathematical Society, 14(4):843–939, 2001. doi: 10.1090/S0894-0347-01-00370-8. URL https://www.ams.org/jams/2001-14-04/S0894-0347-01-00370-8/S0894-0347-01-00370-8.pdf.DOI
- [8]Daniel Bump, Solomon Friedberg, and Jeffrey Hoffstein. Nonvanishing theorems for L-functions of modular forms and their derivatives. Inventiones Mathematicae, 102 (3):543–618, 1990. doi: 10.1007/BF01233440. URL https://wstein.org/papers/bib/bump-friedberg-hoffstein-nonvanishing.pdf.DOI
- [9]Ashay Burungale and Christopher Skinner. A p-converse theorem for CM elliptic curves, 2024. URL https://arxiv.org/abs/2210.10730v3. Appendix A, pp. 51–54, to L. Alpöge, M. Bhargava and A. Shnidman, Integers expressible as the sum of two rational cubes, version 3.
- [10]Ashay Burungale, Francesc Castella, Christopher Skinner, and Ye Tian. p∞-Selmer groups and rational points on CM elliptic curves. Annales mathématiques du Québec, 46:325–346, 2022. doi: 10.1007/s40316-022-00203-y.DOI
- [11]Ashay A. Burungale and Ye Tian. p-converse to a theorem of Gross–Zagier, Kolyvagin and Rubin. Inventiones Mathematicae, 220(1):211–253, 2020. doi: 10.1007/s00222-019-00929-7.DOI
- [12]Ashay A. Burungale and Ye Tian. A rank zero p-converse to a theorem of Gross–Zagier, Kolyvagin and Rubin. Annals of Mathematics, 203(1):1–13, 2026. doi: 10.4007/annals.2026.203.1.1. URL https://annals.math.princeton.edu/2026/203-1/p01. Theorem numbering follows arXiv:2506.03465v2 (https://arxiv.org/abs/2506.03465v2).
- [13]Ashay A. Burungale, Francesc Castella, and Christopher Skinner. Base change and Iwasawa main conjectures for GL₂. International Mathematics Research Notices, 2025 (8):rnaf082, 2025. doi: 10.1093/imrn/rnaf082. URL https://web.math.ucsb.edu/~castella/BCS-print.pdf.DOI
- [14]Li Cai, Jie Shu, and Ye Tian. Explicit Gross–Zagier and Waldspurger formulae. Algebra & Number Theory, 8(10):2523–2572, 2014. doi: 10.2140/ant.2014.8.2523. URL https://msp.org/ant/2014/8-10/ant-v8-n10-p05-p.pdf.DOI
- [15]Henri Carayol. Sur les représentations ℓ-adiques associées aux formes modulaires de Hilbert. Annales scientifiques de l’École Normale Supérieure, 19(3):409–468, 1986. doi: 10.24033/asens.1512. URL https://www.numdam.org/item/10.24033/asens.1512/.DOI
- [16]J. W. S. Cassels. Arithmetic on curves of genus 1. VIII. On conjectures of Birch and Swinnerton-Dyer. Journal für die reine und angewandte Mathematik, 217:180–199, 1965. doi: 10.1515/crll.1965.217.180. URL https://doi.org/10.1515/crll.1965.217.180.
- [17]Francesc Castella and Xin Wan. Perrin-Riou’s main conjecture for elliptic curves at supersingular primes. Math. Annalen, 389:2595–2636, 2024. doi: 10.1007/s00208-023-02711-w.DOI
- [18]Francesc Castella, Giada Grossi, Jaehoon Lee, and Christopher Skinner. On the anti-cyclotomic Iwasawa theory of rational elliptic curves at Eisenstein primes. Inventiones Mathematicae, 227(2):517–580, 2022. doi: 10.1007/s00222-021-01072-y.DOI
- [19]Seth Chaiken. A combinatorial proof of the all minors matrix tree theorem. SIAM Journal on Algebraic and Discrete Methods, 3(3):319–329, 1982. doi: 10.1137/0603033.DOI
- [20]Claude Chevalley. Démonstration d’une hypothèse de M. Artin. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 11:73–75, 1935. doi: 10.1007/BF02940714. URL https://doi.org/10.1007/BF02940714.
- [21]Christophe Cornut and Dimitar Jetchev. Liftings of reduction maps for quaternion algebras. Bulletin of the London Mathematical Society, 45(2):370–386, 2013. doi: 10.1112/blms/bds098. URL https://arxiv.org/abs/1012.0725v1. Preprint locators refer to arXiv:1012.0725v1.
- [22]Marius Crainic. On the perturbation lemma, and deformations, 2004. URL https://arxiv.org/abs/math/0403266v1. Version 1, 16 March 2004.
- [23]Pierre Deligne. Formes modulaires et représentations ℓ-adiques. In Séminaire Bourbaki, 1968/69, volume 179 of Lecture Notes in Mathematics, pages 139–172. Springer, Berlin, 1971. URL https://www.numdam.org/item/SB_1968-1969__11__139_0/. Exposé 355, February 1969.
- [24]Max Deuring. Die Typen der Multiplikatorenringe elliptischer Funktionenkörper. Abhandlungen aus dem Mathematischen Seminar der Hansischen Universität, 14:197–272, 1941. doi: 10.1007/BF02940746. URL https://doi.org/10.1007/BF02940746.
- [25]Tim Dokchitser and Vladimir Dokchitser. On the Birch–Swinnerton-Dyer quotients modulo squares. Annals of Mathematics, 172(1):567–596, 2010. doi: 10.1007/annals.2010.17.567. URL https://annals.math.princeton.edu/wp-content/uploads/annals-v172-n1-p11-p.pdf.
- [26]V. G. Drinfeld. Two theorems on modular curves. Functional Analysis and Its Applications, 7(2):155–156, 1973. doi: 10.1007/BF01078890. URL https://www.mathnet.ru/rus/faa4222. Russian original: Funktsional. Anal. i Prilozhen. 7(2), 83–84.DOI
- [27]Keqin Feng and Maosheng Xiong. On elliptic curves y² = x³ − n²x with rank zero. Journal of Number Theory, 109(1):1–26, 2004. doi: 10.1016/j.jnt.2003.12.015.DOI
- [28]Bruce Ferrero and Lawrence C. Washington. The Iwasawa invariant μₚ vanishes for abelian number fields. Annals of Mathematics, 109(2):377–395, 1979. doi: 10.2307/1971116. URL https://doi.org/10.2307/1971116.
- [29]Stephen Gelbart and Hervé Jacquet. A relation between automorphic representations of GL(2) and GL(3). Annales scientifiques de l’École Normale Supérieure, 11(4):471–542, 1978. doi:10.24033/asens.1355.
- [30]Dorian Goldfeld. Conjectures on elliptic curves over quadratic fields. In Melvyn B. Nathanson, editor, Number Theory, Carbondale 1979, volume 751 of Lecture Notes in Mathematics, pages 108–118. Springer, Berlin, 1979. doi: 10.1007/BFb0062705. URL https://www.math.columbia.edu/~goldfeld/ConjecturesonEllipticCurves.pdf.
- [31]Benedict H. Gross and Don B. Zagier. Heegner points and derivatives of L-series. Inventiones Mathematicae, 84(2):225–320, 1986. doi: 10.1007/BF01388809. URL https://wiki.epfl.ch/waldspurger/documents/gross-zagier.pdf.DOI
- [32]D. R. Heath-Brown. A mean value estimate for real character sums. Acta Arithmetica, 72(3):235–275, 1995. doi: 10.4064/aa-72-3-235-275. URL https://doi.org/10.4064/aa-72-3-235-275.
- [33]Jeffrey Hoffstein and Wenzhi Luo. Nonvanishing of L-series and the combinatorial sieve. Mathematical Research Letters, 4(2–3):435–444, 1997. doi: 10.4310/MRL.1997.v4.n3.a12. URL https://www.intlpress.com/site/pub/files/_fulltext/journals/mrl/1997/0004/0003/MRL-1997-0004-0003-a012.pdf. With an appendix by David E. Rohrlich.DOI
- [34]Benjamin Howard. The Heegner point Kolyvagin system. Compositio Mathematica, 140(6):1439–1472, 2004. doi:10.1112/S0010437X04000569; text at arXiv:1202.6340v1.DOI
- [35]Henryk Iwaniec. On the order of vanishing of modular L-functions at the critical point. Journal de théorie des nombres de Bordeaux, 2(2):365–376, 1990. doi: 10.5802/jtnb.33. URL https://www.numdam.org/item/JTNB_1990__2_2_365_0/.DOI
- [36]Kevin James. L-series with nonzero central critical value. Journal of the American Mathematical Society, 11(3):635–641, 1998. doi: 10.1090/S0894-0347-98-00263-X. URL https://www.math.clemson.edu/~kevja/PAPERS/JAMS.pdf.DOI
- [37]Dimitar Jetchev and Ben Kane. Equidistribution of Heegner points and ternary quadratic forms. Mathematische Annalen, 350(3):501–532, 2011. doi: 10.1007/s00208-010-0568-5. URL https://arxiv.org/abs/0908.3905v1. Section numbering follows arXiv:0908.3905v1.
- [38]Kazuya Kato. p-adic Hodge theory and values of zeta functions of modular forms. In Pierre Berthelot, Jean-Marc Fontaine, Luc Illusie, Kazuya Kato, and Michael Rapoport, editors, Cohomologie p-adiques et applications arithmétiques (III), number 295 in Astérisque, pages 117–290. Société Mathématique de France, 2004. URL https://www.numdam.org/item/AST_2004__295__117_0/.
- [39]Timo Keller and Mulun Yin. p-converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes, 2024. arXiv:2410.23241v1.arxiv.org/abs/2410.23241
- [40]V. A. Kolyvagin. Euler systems. In Pierre Cartier, Luc Illusie, Nicholas M. Katz, Gérard Laumon, Yuri I. Manin, and Kenneth A. Ribet, editors, The Grothendieck Festschrift, Volume II, volume 87 of Progress in Mathematics, pages 435–483. Birkhäuser, Boston, 1990. URL https://link.springer.com/chapter/10.1007/978-0-8176-4575-5_11. Linked chapter is the 2007 reprint.
- [41]Daniel Kriz. Supersingular main conjectures, Sylvester’s conjecture and Goldfeld’s conjecture, 2022. URL https://arxiv.org/abs/2002.04767v5. Version 5; first posted in 2020.
- [42]Daniel Kriz and Chao Li. Goldfeld’s conjecture and congruences between Heegner points. Forum of Mathematics, Sigma, 7:e15, 2019. doi: 10.1017/fms.2019.9. 80 pp.DOI
- [43]Daniel Kriz and Asbjørn Christian Nordentoft. Horizontal p-adic L-functions, 2025. URL https://arxiv.org/abs/2310.20678v3. Version 3; first posted in 2023.
- [44]Sumit Kumar, Kummari Mallesham, Prahlad Sharma, and Saurabh Kumar Singh. Moments of derivatives of modular L-functions. The Quarterly Journal of Mathematics, 75(2):715–734, 2024. doi: 10.1093/qmath/haae028. URL https://arxiv.org/abs/2303.16864v2. Preprint locators refer to arXiv:2303.16864v2.
- [45]Serge Lang. Algebraic groups over finite fields. American Journal of Mathematics, 78 (3):555–563, 1956. doi: 10.2307/2372673.DOI
- [46]J. S. Milne. Arithmetic Duality Theorems. BookSurge, second edition, 2006. author’s electronic edition.
- [47]J. S. Milne. Algebraic number theory, 2020. URL https://www.jmilne.org/math/CourseNotes/ANT.pdf. Version 3.08, July 19, 2020.
- [48]J. S. Milne. Class field theory, 2020. URL https://www.jmilne.org/math/CourseNotes/CFT.pdf. Version 4.03, August 6, 2020.
- [49]J. S. Milne. Elliptic Curves. World Scientific, second edition, 2021. URL https://www.jmilne.org/math/Books/EC2.pdf. Author’s electronic version.
- [50]Paul Monsky. Generalizing the Birch–Stephens theorem. I. Modular curves. Mathematische Zeitschrift, 221:415–420, 1996. doi: 10.1007/PL00004518. URL https://link.springer.com/article/10.1007/PL00004518.DOI
- [51]M. Ram Murty and V. Kumar Murty. Mean values of derivatives of modular L-series. Annals of Mathematics, 133(3):447–475, 1991. doi: 10.2307/2944316. URL https://mast.queensu.ca/~murty/murty-murty-annals.pdf.DOI
- [52]Jan Nekovář. Selmer complexes, volume 310 of Astérisque. Société Mathématique de France, 2006. ISBN 978-2-85629-227-3. doi: 10.24033/ast.717. URL https://www.numdam.org/item/AST_2006__310__R1_0/.
- [53]Jürgen Neukirch. Algebraic Number Theory, volume 322 of Grundlehren der mathematischen Wissenschaften. Springer, Berlin, 1999. doi: 10.1007/978-3-662-03983-0. URL https://link.springer.com/book/10.1007/978-3-662-03983-0. Translated from the German by Norbert Schappacher.DOI
- [54]Ken Ono and Christopher Skinner. Non-vanishing of quadratic twists of modular L-functions. Inventiones Mathematicae, 134(3):651–660, 1998. doi: 10.1007/s002220050275. URL https://uva.theopenscholar.com/files/ken-ono/files/037_8.pdf.DOI
- [55]OpenAI. The Selmer converse for elliptic curves at every prime. OpenAI Math Release preprint OAI:The-Selmer-converse-for-elliptic-curves-at-every-prime-September-24-2026, 2026.
- [56]OpenAI. The mean analytic rank of quadratic twists of elliptic curves. OpenAI Math Release preprint OAI:The-mean-analytic-rank-of-quadratic-twists-of-elliptic-curves-September-23-2026, 2026.
- [57]OpenAI. The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one. OpenAI Math Release preprint OAI:The-two-primary-Birch-Swinnerton-Dyer-formula-in-Selmer-corank-at-most-one-September-24-2026, 2026.
- [58]Aprameyo Pal and Carlos de Vera-Piquero. Pullbacks of Saito–Kurokawa lifts and a central value formula for degree 6 L-series. Documenta Mathematica, 24:1935–2036, 2019. doi: 10.4171/DM/719. URL https://ems.press/journals/dm/articles/8965649.DOI
- [59]Alberto Perelli and Jacek Pomykala. Averages of twisted elliptic L-functions. Acta Arithmetica, 80(2):149–163, 1997. doi: 10.4064/aa-80-2-149-163. URL https://matwbn.icm.edu.pl/ksiazki/aa/aa80/aa8024.pdf.DOI
- [60]Soma Purkait. On Shimura’s decomposition. arXiv:1205.7086v2 [math.NT], 2013. URL https://arxiv.org/abs/1205.7086v2. Version 2, 4 April 2013; first posted in 2012.
- [61]Maksym Radziwiłł and K. Soundararajan. Moments and distribution of central L-values of quadratic twists of elliptic curves. Inventiones Mathematicae, 202(3):1029–1068, 2015. doi: 10.1007/s00222-015-0582-z. URL https://www.math.mcgill.ca/radziwill/QuadraticTwists.pdf.DOI
- [62]Jean-Pierre Serre. Abelian ℓ-adic representations and elliptic curves. W. A. Benjamin, New York, 1968. URL https://www.math.mcgill.ca/darmon/courses/18-19/gs/serre-mcgill.pdf. McGill University lecture notes, written with the collaboration of Willem Kuyk and John Labute.
- [63]Romyar Sharifi. Iwasawa theory. Author’s lecture notes, n.d. URL https://www.math.ucla.edu/~sharifi/iwasawa.pdf. Undated; version accessed 23 September 2026.
- [64]Goro Shimura. The critical values of certain zeta functions associated with modular forms of half-integral weight. Journal of the Mathematical Society of Japan, 33(4):649–672, 1981. doi: 10.2969/jmsj/03340649. URL https://www.jstage.jst.go.jp/article/jmath1948/33/4/33_4_649/_pdf.DOI
- [65]Christopher Skinner. A converse to a theorem of Gross, Zagier, and Kolyvagin. Annals of Mathematics, 191(2):329–354, 2020. doi: 10.4007/annals.2020.191.2.1. primary text.DOI
- [66]Christopher Skinner and Eric Urban. The Iwasawa main conjectures for GL₂. Inventiones Mathematicae, 195(1):1–277, 2014. doi: 10.1007/s00222-013-0448-1.DOI
- [67]Alexander Smith. The congruent numbers have positive natural density, 2016. URL https://arxiv.org/abs/1603.08479v2. Version 2, 29 March 2016.
- [68]Alexander Smith. 2∞-Selmer groups, 2∞-class groups, and Goldfeld’s conjecture, 2017. URL https://arxiv.org/abs/1702.02325v2. Version 2.
- [69]Alexander Smith. The Birch and Swinnerton-Dyer conjecture implies Goldfeld’s conjecture, 2025. URL https://arxiv.org/abs/2503.17619v1. arXiv:2503.17619, version 1.
- [70]Alexander Smith. The distribution of ℓ∞-Selmer groups in degree ℓ twist families I. Journal of the American Mathematical Society, 39(1):1–72, 2026. doi: 10.1090/jams/1062. URL https://arxiv.org/abs/2207.05674v2. Preprint locators refer to arXiv:2207.05674v2.
- [71]Alexander Smith. The distribution of ℓ∞-Selmer groups in degree ℓ twist families II. Journal of the American Mathematical Society, 39(2), 2026. URL https://arxiv.org/abs/2207.05143v2. Preprint locators refer to arXiv:2207.05143v2.
- [72]John Tate. On the conjectures of Birch and Swinnerton-Dyer and a geometric analog. Séminaire Bourbaki, 9:415–440, 1966. URL https://www.numdam.org/item/SB_1964-1966__9__415_0/. Exposé 306.
- [73]Ye Tian. Congruent numbers and Heegner points. Cambridge Journal of Mathematics, 2(1):117–161, 2014. doi: 10.4310/CJM.2014.v2.n1.a4.DOI
- [74]Ye Tian, Xinyi Yuan, and Shou-Wu Zhang. Genus periods, genus points and congruent number problem. Asian Journal of Mathematics, 21(4):721–774, 2017. doi: 10.4310/AJM.2017.v21.n4.a5. URL https://intlpress.com/site/pub/files/_fulltext/journals/ajm/2017/0021/0004/AJM-2017-0021-0004-a005.pdf.DOI
- [75]Vinayak Vatsal. Rank-one twists of a certain elliptic curve. Mathematische Annalen, 311(4):791–794, 1998. doi: 10.1007/s002080050209. URL https://www.math.ubc.ca/~vatsal/research/der.PDF.DOI
- [76]Jean-Loup Waldspurger. Correspondance de Shimura. Journal de Mathématiques Pures et Appliquées, 59(1):1–132, 1980.
- [77]Jean-Loup Waldspurger. Sur les coefficients de Fourier des formes modulaires de poids demi-entier. Journal de Mathématiques Pures et Appliquées, 60(4):375–484, 1981. URL https://mate.dm.uba.ar/~nsirolli/files/waldspurger.pdf.
- [78]Jean-Loup Waldspurger. Correspondances de Shimura. In Zbigniew Ciesielski and Czesław Olech, editors, Proceedings of the International Congress of Mathematicians, Warszawa, 1983, volume 1, pages 525–531, Warszawa and Amsterdam, 1984. PWN–Polish Scientific Publishers and Elsevier Science Publishers. URL https://www.imj-prg.fr/wp-content/uploads/2020/prix/waldspurger1983.pdf.
- [79]Ewald Warning. Bemerkung zur vorstehenden arbeit. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 11:76–83, 1935. doi: 10.1007/BF02940715. URL https://doi.org/10.1007/BF02940715.
- [80]André Weil. Sur certains groupes d’opérateurs unitaires. Acta Mathematica, 111:143–211, 1964. doi: 10.1007/BF02391012. URL https://doi.org/10.1007/BF02391012.
- [81]Qiyao Yu. p-converse to a theorem of Gross–Zagier, Kolyvagin, and Rubin for small primes. Senior thesis, California Institute of Technology, 2021. URL https://thesis.caltech.edu/14225/. Theorem 1, p. 2; acknowledgements, p. iii.
- [82]Wei Zhang. Selmer groups and the indivisibility of Heegner points. Cambridge Journal of Mathematics, 2(2):191–253, 2014. doi: 10.4310/CJM.2014.v2.n2.a2.DOI