Merge pull request #6845 from jacobjpg/main

Add intrinsic subgroup order to elliptic curve data and search options

Author: roed314

lmfdb/elliptic_curves/elliptic_curve.py

@@ -466,6 +466,7 @@ def make_modcurve_link(label):
                   short_title="j-invariant", align="center", default=False),
     FloatCol("abc_quality", "ec.q.abc_quality", "$abc$ quality", short_title="abc quality", prec=5, default=False),
     FloatCol("szpiro_ratio", "ec.q.szpiro_ratio", "Szpiro ratio", prec=5, default=False),
+    MathCol("intrinsic_torsion", "ec.intrinsic_torsion", "Intrinsic torsion order", align="center", default=False),
     MathCol("ainvs", "ec.weierstrass_coeffs", "Weierstrass coefficients", short_title="Weierstrass coeffs", align="left", default=False),
     ProcessedCol("equation", "ec.q.minimal_weierstrass_equation", "Weierstrass equation", latex_equation, short_title="Weierstrass equation", align="left", orig="ainvs", download_col="ainvs"),
     ProcessedCol("modm_images", "ec.galois_rep", r"mod-$m$ images", lambda v: "<span>" + ", ".join([make_modcurve_link(s) for s in v[:5]] + ([r"$\ldots$"] if len(v) > 5 else [])) + "</span>",
@@ -563,6 +564,7 @@ def elliptic_curve_search(info, query):
     parse_floats(info,query,'faltings_height','faltings_height')
     parse_floats(info,query,'abc_quality')
     parse_floats(info,query,'szpiro_ratio')
+    parse_ints(info,query,'intrinsic_torsion')
     if info.get('reduction'):
         if info['reduction'] == 'semistable':
             query['semistable'] = True
@@ -1242,7 +1244,8 @@ class ECSearchArray(SearchArray):
              ("adelic_genus", "adelic genus", ["adelic_genus", "adelic_level", "adelic_index"]),
              ("faltings_height", "Faltings height", ["faltings_height", "conductor", "iso_nlabel", "lmfdb_number"]),
              ("abc_quality", "$abc$ quality", ["abc_quality", "conductor", "iso_nlabel", "lmfdb_number"]),
-             ("szpiro_ratio", "Szpiro ratio", ["szpiro_ratio", "conductor", "iso_nlabel", "lmfdb_number"])]
+             ("szpiro_ratio", "Szpiro ratio", ["szpiro_ratio", "conductor", "iso_nlabel", "lmfdb_number"]),
+             ("intrinsic torsion", "Intrinsic torsion order", ["intrinsic_torsion", "conductor", "iso_nlabel", "lmfdb_number"])]
     jump_example = "11.a2"
     jump_egspan = "e.g. 11.a2 or 389.a or 11a1 or 389a or [0,1,1,-2,0] or [-3024, 46224] or y^2 = x^3 + 1"
     jump_prompt = "Label or coefficients"
@@ -1436,6 +1439,12 @@ def __init__(self):
             knowl="ec.q.szpiro_ratio",
             example="8-",
             advanced=True)
+        intrinsic_torsion = TextBox(
+            name="intrinsic_torsion",
+            label="Intrinsic torsion order",
+            knowl="ec.intrinsic_torsion",
+            example="3",
+            advanced=True)
 
         manin_constant = TextBox(
             name="manin_constant",
@@ -1459,7 +1468,8 @@ def __init__(self):
             [adelic_level, adelic_index],
             [adelic_genus, faltings_height],
             [abc_quality, szpiro_ratio],
-            [count, manin_constant]
+            [intrinsic_torsion, manin_constant],
+            [count]
             ]
 
         self.refine_array = [
@@ -1469,4 +1479,5 @@ def __init__(self):
             [sha, sha_primes, regulator, reduction, faltings_height],
             [galois_image, adelic_level, adelic_index, adelic_genus],
             [nonmax_primes, abc_quality, szpiro_ratio, manin_constant],
+            [intrinsic_torsion]
             ]

lmfdb/elliptic_curves/templates/ec-curve.html

@@ -251,6 +251,12 @@ <h2> Invariants </h2>
         <td>{{ place_code('szpiro_ratio') }}</td>
         </tr>
 
+        <tr>
+        <td>{{ KNOWL('ec.intrinsic_torsion', title='Intrinsic torsion order') }}:</td>
+        <td>$\#E(\mathbb Q)_\text{tors}^\text{is}$</td><td>&nbsp;=&nbsp;</td><td colspan=3>${{ data.intrinsic_torsion }}$</td>
+        <td>{{ place_code('intrinsic_torsion') }}</td>
+        </tr>
+
        </table>
 
     <h2> {{ KNOWL('ec.q.bsdconjecture', title='BSD invariants') }}</h2>