Skip to content

Commit

Permalink
Tweaking search results
Browse files Browse the repository at this point in the history
  • Loading branch information
@jwj61
jwj61 committed Aug 21, 2024
1 parent f65826f commit 808d9d8
Show file tree
Hide file tree
Showing 3 changed files with 47 additions and 17 deletions.
39 changes: 25 additions & 14 deletions lmfdb/modl_galois_representations/main.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@

from lmfdb.number_fields.web_number_field import formatfield
from lmfdb.modl_galois_representations import modlgal_page
from lmfdb.modl_galois_representations.web_modlgal import WebModLGalRep, get_bread, codomain, image_pretty
from lmfdb.modl_galois_representations.web_modlgal import WebModLGalRep, get_bread, codomain, image_pretty_with_abstract
from lmfdb.groups.abstract.main import abstract_group_display_knowl

LABEL_RE = re.compile(r"[1-9]\d*.[1-9]\d*.[1-9]\d*.[1-9]\d*(-[1-9]\d*)?")
Expand Down Expand Up @@ -138,21 +138,24 @@ def blankzeros(n):
MathCol("dimension", "modlgal.dimension", "Dim", short_title="dimension"),
ProcessedCol("conductor", "modlgal.conductor", "Conductor", web_latex_factored_integer, align="center"),
RationalCol("top_slope_rational", "modlgal.top_slope", "Top slope", lambda x: x, align="center", default=lambda info: info.get("top_slope")),
MultiProcessedCol("image", "modlgal.image", "Image", ["image_label", "is_surjective", "algebraic_group", "dimension", "base_ring_order", "base_ring_is_field"],
image_pretty, align="center", apply_download=False),
SearchCol("image_index", "modgal.image_index", "Index", short_title="image index", default=False),
SearchCol("image_order", "modgal.image_order", "Order", short_title="image order", default=False),
MultiProcessedCol("image", "modlgal.image", "Image", ["image_label", "is_surjective", "algebraic_group", "dimension", "base_ring_order", "base_ring_is_field", "image_abstract_group"],
image_pretty_with_abstract, align="center", apply_download=False),
MultiProcessedCol("algebraic_group", "modlgal.codomain", "Codomain", ["algebraic_group", "dimension", "base_ring_order", "base_ring_is_field"], codomain, align="center", apply_download=False, default=False),
SearchCol("image_index", "modlgal.image_index", "Index", short_title="image index", default=False),
SearchCol("image_order", "modlgal.image_order", "Order", short_title="image order", default=False),
CheckCol("is_surjective", "modlgal.surjective", "Surjective"),
CheckCol("is_absolutely_irreducible", "modlgal.is_absolutely_irreducible", "Abs irred", short_title="absolutely irreducible", default=False),
CheckCol("is_solvable", "modlgal.is_solvable", "Solvable", default=False),
LinkCol("determinant_label", "modlgal.determinant_label", "Determinant", url_for_modlgal_label, align="center", default=False),
CheckCol("is_absolutely_irreducible", "modlgal.absolutely_irreducible", "Abs irred", short_title="absolutely irreducible", default=False),
CheckCol("is_solvable", "modlgal.solvable", "Solvable", default=False),
LinkCol("determinant_label", "modlgal.determinant", "Determinant", url_for_modlgal_label, align="center", default=False),
ProcessedCol("determinant_index", "modlgal.det_surjective", "Det. surjective", lambda a: "✓" if a == 1 else "" , align="center", default=False),
ProcessedCol("generating_primes", "modlgal.generating_primes", "Generators", lambda ps: "$" + ",".join([str(p) for p in ps]) + "$", align="center", default=False),
ProcessedCol("kernel_polynomial", "modlgal.splitting_field", "Splitting field", formatfield),
ProcessedCol("projective_kernel_polynomial", "modlgal.projective_kernel_polynomial", "Projective kernel", formatfield, default=False),
ProcessedCol("kernel_polynomial", "modlgal.min_sib_splitting_field", "Splitting field", formatfield),
ProcessedCol("projective_kernel_polynomial", "modlgal.projective_kernel_polynomial", "Projective splitting field", formatfield, default=False),
],
db_cols=["label", "dimension", "base_ring_characteristic", "base_ring_order", "base_ring_is_field", "algebraic_group", "conductor", "image_label",
"is_surjective", "is_absolutely_irreducible", "is_solvable", "determinant_label", "kernel_polynomial", "projective_kernel_polynomial",
"image_index", "image_order", "top_slope_rational", "generating_primes"]
"image_index", "image_order", "top_slope_rational",
"generating_primes", "determinant_index", "image_abstract_group"]
)

@search_wrap(
Expand Down Expand Up @@ -200,6 +203,7 @@ def modlgal_search(info, query):
parse_bool(info, query, "is_surjective")
parse_bool(info, query, "is_solvable")
parse_bool(info, query, "is_absolutely_irreducible")
parse_bool(info, query, "determinant_index", process=lambda a: 1 if a else {"$gt":1})


class ModLGalRepSearchArray(SearchArray):
Expand Down Expand Up @@ -281,6 +285,12 @@ def __init__(self):
label="Absolutely irreducible",
example_col=True,
)
determinant_index = YesNoBox(
name="determinant_index",
knowl="modlgal.determinant_index",
label="Determinant surjective",
example_col=True,
)
image_index = TextBox(
name="image_index",
knowl="modlgal.image_index",
Expand All @@ -300,14 +310,15 @@ def __init__(self):
[dimension, surjective],
[conductor, absolutely_irreducible],
[conductor_primes, solvable],
[top_slope, image_index],
[count, image_order],
[image_index, determinant_index],
[image_order, top_slope],
[count]
]

self.refine_array = [
[base_ring_characteristic, dimension, conductor, conductor_primes],
[codomain, solvable, surjective, absolutely_irreducible],
[top_slope, image_index, image_order]
[top_slope, image_index, image_order, determinant_index]
]

#sort_knowl = "modlgal.sort_order"
Expand Down
14 changes: 12 additions & 2 deletions lmfdb/modl_galois_representations/templates/modlgal_rep.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,13 @@ <h2>Invariants</h2>
$\cong$ {{ rep.image_abstract | safe }}
{% endif %}
</td></tr>
<tr><td>{{ KNOWL('modlgal.determinant_index', 'Determinant index') }}:<td>{{ rep.determinant_index }}
{% if rep.determinant_index == 1 %}
(determinant is surjective)
{% else %}
(determinant is not surjective)
{% endif %}
</td></tr>
{% if rep.frobenius_generators %}
<tr><td>{{ KNOWL('modlgal.generating_primes', 'Generating primes') }}:<td>${{ rep.frobenius_primes }}$</td></tr>
{% endif %}
Expand All @@ -38,9 +45,12 @@ <h2>Invariants</h2>
<h2>Associated number fields</h2>

<table>
<tr><td>{{ KNOWL('modlgal.min_sib_splitting_field','Minimal sibling of the splitting field') }} of $\rho$:</td><td>{{ rep.kernel_sibling | safe }}</td></tr>
<tr><td>{{ KNOWL('nf.minimal_sibling','Minimal sibling') }} of the
{{ KNOWL('modlgal.splitting_field', 'splitting field') }} of $\rho$:</td><td>{{ rep.kernel_sibling | safe }}</td></tr>
{% if rep.base_ring_characteristic != 2 %}
<tr><td>{{ KNOWL('modlgal.min_sib_splitting_field','Minimal sibling of the splitting field') }} of the {{ KNOWL('modlgal.projective_representation','projective representation') }} $\mathbb{P}\rho$:</td><td>{{ rep.projective_kernel_sibling | safe }}</td></tr>
<tr><td> {{ KNOWL('nf.minimal_sibling','Minimal sibling') }} of the
{{ KNOWL('modlgal.splitting_field', 'splitting field') }}
of the {{ KNOWL('modlgal.projective_representation','projective representation') }} $\mathbb{P}\rho$:</td><td>{{ rep.projective_kernel_sibling | safe }}</td></tr>
{% endif %}
</table>

Expand Down
11 changes: 10 additions & 1 deletion lmfdb/modl_galois_representations/web_modlgal.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,13 +20,22 @@ def _codomain(algebraic_group, dimension, base_ring_order, base_ring_is_field):
def codomain(algebraic_group, dimension, base_ring_order, base_ring_is_field):
return "$" + _codomain(algebraic_group, dimension, base_ring_order, base_ring_is_field) + "$"

def image_pretty(image_label, is_surjective, algebraic_group, dimension, base_ring_order, base_ring_is_field, codomain=True):
def image_pretty(image_label, is_surjective, algebraic_group, dimension, base_ring_order, base_ring_is_field, codomain=False):
s = _codomain(algebraic_group, dimension, base_ring_order, base_ring_is_field)
if is_surjective:
return "$" + s + "$"
t = display_knowl('gl2.subgroup_data', title=image_label, kwargs={'label':image_label}) if dimension == 2 else image_label
return t + r" $< " + s + "$" if codomain else t

def image_pretty_with_abstract(image_label, is_surjective, algebraic_group, dimension, base_ring_order, base_ring_is_field, image_abstract_group, codomain=False):
s = _codomain(algebraic_group, dimension, base_ring_order, base_ring_is_field)
if is_surjective:
return "$" + s + "$"
t = display_knowl('gl2.subgroup_data', title=image_label, kwargs={'label':image_label}) if dimension == 2 else image_label
if image_abstract_group:
t += "$\ \cong$ "+ abstract_group_display_knowl(image_abstract_group)
return t

def rep_pretty(algebraic_group, dimension, base_ring_order, base_ring_is_field):
return r"$\rho\colon\Gal_\Q\to" + _codomain(algebraic_group, dimension, base_ring_order, base_ring_is_field) + "$"

Expand Down

0 comments on commit 808d9d8

Please sign in to comment.