2016
DOI: 10.48550/arxiv.1610.04505
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Schertz style class invariants for quartic CM fields

Andreas Enge,
Marco Streng

Abstract: A class invariant is a CM value of a modular function that lies in a certain unramified class field. We show that Siegel modular functions over Q for Γ 0 (N ) ⊆ Sp 4 (Z) yield class invariants under some splitting conditions on N . Small class invariants speed up constructions in explicit class field theory and public-key cryptography. Our results generalise results of Schertz's from elliptic curves to abelian varieties and from classical modular functions to Siegel modular functions.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

2
0
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 13 publications
(24 reference statements)
2
0
0
Order By: Relevance
“…For any f ∈ Q(C), Theorem 4 of Schertz [30] states f (τ ) ∈ K O ∪ {∞} and gives the Gal(K O /K )-orbit as {g(N τ i ) : i}, under an additional condition on the function f (1/z). However, the condition on f (1/z) is not needed, as stated in Theorems 3.9 and 4.4 of [13]. This proves the result.…”
Section: Moreover For Any Such Choice We Havesupporting
confidence: 72%
“…For any f ∈ Q(C), Theorem 4 of Schertz [30] states f (τ ) ∈ K O ∪ {∞} and gives the Gal(K O /K )-orbit as {g(N τ i ) : i}, under an additional condition on the function f (1/z). However, the condition on f (1/z) is not needed, as stated in Theorems 3.9 and 4.4 of [13]. This proves the result.…”
Section: Moreover For Any Such Choice We Havesupporting
confidence: 72%
“…Moreover, for any such choice, we have For any f ∈ Q(C), Theorem 4 of Schertz [31] states f (τ ) ∈ K O ∪ {∞} and gives the Gal(K O /K)-orbit as {g(N τ i ) : i}, under an additional condition on the function f (1/z). However, the condition on f (1/z) is not needed, as stated in Theorems 3.9 and 4.4 of [13]. This proves the result.…”
supporting
confidence: 72%