Merge pull request #6014 from SamSchiavone/hgm

HGM display improvements
LMFDB · Apr 24, 2024 · e8a1141 · e8a1141
2 parents 022207c + a3b733e
commit e8a1141
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 11 deletions.
diff --git a/lmfdb/hypergm/templates/hgm-show-motive.html b/lmfdb/hypergm/templates/hgm-show-motive.html
@@ -2,7 +2,7 @@
 
 {% block content %}
 
-<p><h2> {{ KNOWL('hgm.defining_parameters', title='Defining Parameters') }}</h2>
+<p><h2> {{ KNOWL('hgm.defining_parameters', title='Defining parameters') }}</h2>
 
 <p>
   <p>
@@ -22,7 +22,7 @@
       <tr><td>{{KNOWL('hgm.type', 'Type')}}:<td>&nbsp;&nbsp;<td>{{info.type}}
       <tr><td>{{KNOWL('hgm.hodge_vector', 'Hodge vector')}}:<td>&nbsp;&nbsp;<td>${{info.hodge}}$
       <tr><td>{{KNOWL('hgm.hodge_vector', 'Family Hodge vector')}}:<td>&nbsp;&nbsp;<td>${{info.famhodge}}$
-      <tr><td>{{KNOWL('hgm.signature', 'Signature')}}:<td>&nbsp;&nbsp;<td>{{info.sig}}
+      <tr><td>{{KNOWL('hgm.signature', 'Signature')}}:<td>&nbsp;&nbsp;<td>${{info.sig}}$
       <tr><td>{{KNOWL('hgm.conductor', 'Conductor')}}:<td>&nbsp;&nbsp;<td>${{info.cond}}$
       <tr><td>{{KNOWL('hgm.determinant', 'Determinant character')}}:<td>&nbsp;&nbsp;<td>$\chi_{  {{info.det}} }$
       <tr><td>{{KNOWL('lfunction.sign', 'Root number')}}:<td>&nbsp;&nbsp;<td>$ {{info.sign}}$
@@ -42,7 +42,7 @@
   <thead>
     <tr>
       <th colspan="3"></th>
-      <th colspan="4">Order of semisimple Frobenius at $\ell$</th>
+      <th colspan="4">{{ KNOWL('modlgal.frobenius_order', 'Order of semisimple Frobenius at $\ell$') }} </th>
       <th colspan="2"></th>
     </tr>
     <tr style="border-bottom: 1px solid #000;">

diff --git a/lmfdb/hypergm/templates/hgm_family.html b/lmfdb/hypergm/templates/hgm_family.html
@@ -26,10 +26,10 @@
       <tr><td>{{KNOWL('hgm.degree', title="Degree")}}:<td>${{family.degree}}$
       <tr><td>{{KNOWL('hgm.weight', title="Weight")}}:<td>${{family.weight}}$
       <tr><td>{{KNOWL('hgm.type', title="Type")}}:<td>{{family.type}}
-      <tr><td>{{KNOWL('hgm.wild', title="Wild primes")}}:<td>{{family.wild_primes}}
+      <tr><td>{{KNOWL('hgm.wild', title="Wild primes")}}:<td>{{family.wild_primes_string | safe}}
       <tr><td>{{KNOWL('hgm.hodge_vector', title="Hodge vector")}}:<td>${{family.hodge}}$
       <tr><td>{{KNOWL('hgm.rotation_number', title="Rotation number")}}:<td>${{family.rotation_number}}$
-      <tr><td>{{KNOWL('hgm.determinant', title="Motive determinant character")}}:<td>${{family.motivic_det_char}}$
+      <tr><td>{{KNOWL('hgm.determinant', title="Determinant character")}}:<td>${{family.motivic_det_char}}$
       <tr><td>{{KNOWL('hgm.bezout_matrix', title="Bezout matrix")}}:<td>${{family.bezout_latex}}$
       <tr><td>{{KNOWL('hgm.bezout_determinant', title="Bezout determinant")}}:<td>${{family.bezout_det}}$
       <tr><td>{{KNOWL('hgm.bezout_module', title="Bezout module")}}:<td>${{family.bezout_module}}$

diff --git a/lmfdb/hypergm/web_family.py b/lmfdb/hypergm/web_family.py
@@ -11,7 +11,7 @@
 from lmfdb import db
 from lmfdb.utils import (
     encode_plot, list_to_factored_poly_otherorder,
-    make_bigint, web_latex, integer_divisors, integer_prime_divisors)
+    make_bigint, web_latex, integer_divisors, integer_prime_divisors, raw_typeset)
 from lmfdb.groups.abstract.main import abstract_group_display_knowl
 from lmfdb.galois_groups.transitive_group import transitive_group_display_knowl_C1_as_trivial
 # from .plot import circle_image, piecewise_constant_image, piecewise_linear_image
@@ -112,10 +112,15 @@ def subdict(d, v):
     def wild_primes(self):
         return integer_prime_divisors(lcm(lcm(self.A), lcm(self.B)))
 
+    @lazy_attribute
+    def wild_primes_string(self):
+        ps = self.wild_primes
+        return raw_typeset(', '.join(str(p) for p in ps), ', '.join(web_latex(p) for p in ps))
+
     @lazy_attribute
     def motivic_det_char(self):
         exp = -QQ(self.weight * self.degree) / 2
-        first = r'\Q({})'.format(exp)
+        tate_twist = r'\Q({})'.format(exp)
 
         if self.det[0] == 1:
             foo = ""
@@ -125,10 +130,9 @@ def motivic_det_char(self):
             foo = str(self.det[0])
         foo += self.det[1]
         if foo == "":
-            foo = "1"
-        second = r'\Q(\sqrt{{ {} }})'.format(foo)
-
-        return r'{} \otimes {}'.format(first, second)
+            return tate_twist
+        quad_char = r'\chi_{%s}' % foo
+        return r'{} \otimes {}'.format(quad_char, tate_twist)
 
     @lazy_attribute
     def bezout_det(self):