Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [172,2,Mod(7,172)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(172, base_ring=CyclotomicField(6))
chi = DirichletCharacter(H, H._module([3, 5]))
N = Newforms(chi, 2, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("172.7");
S:= CuspForms(chi, 2);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 172 = 2^{2} \cdot 43 \) |
Weight: | \( k \) | \(=\) | \( 2 \) |
Character orbit: | \([\chi]\) | \(=\) | 172.f (of order \(6\), degree \(2\), minimal) |
Newform invariants
comment: select newform
sage: f = N[0] # Warning: the index may be different
gp: f = lf[1] \\ Warning: the index may be different
Self dual: | no |
Analytic conductor: | \(1.37342691477\) |
Analytic rank: | \(0\) |
Dimension: | \(32\) |
Relative dimension: | \(16\) over \(\Q(\zeta_{6})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{6}]$ |
$q$-expansion
The dimension is sufficiently large that we do not compute an algebraic \(q\)-expansion, but we have computed the trace expansion.
Embeddings
For each embedding \(\iota_m\) of the coefficient field, the values \(\iota_m(a_n)\) are shown below.
For more information on an embedded modular form you can click on its label.
comment: embeddings in the coefficient field
gp: mfembed(f)
Label | \( a_{2} \) | \( a_{3} \) | \( a_{4} \) | \( a_{5} \) | \( a_{6} \) | \( a_{7} \) | \( a_{8} \) | \( a_{9} \) | \( a_{10} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
7.1 | −1.41270 | − | 0.0653657i | 0.761217 | + | 1.31847i | 1.99145 | + | 0.184684i | −1.78958 | + | 1.03322i | −0.989190 | − | 1.91236i | −2.30129 | + | 3.98595i | −2.80126 | − | 0.391077i | 0.341098 | − | 0.590800i | 2.59569 | − | 1.34265i |
7.2 | −1.36494 | − | 0.370058i | 1.34577 | + | 2.33095i | 1.72611 | + | 1.01021i | 1.44097 | − | 0.831945i | −0.974311 | − | 3.67961i | 2.17107 | − | 3.76040i | −1.98220 | − | 2.01764i | −2.12221 | + | 3.67577i | −2.27470 | + | 0.602310i |
7.3 | −1.31270 | + | 0.526126i | −0.227649 | − | 0.394300i | 1.44638 | − | 1.38129i | −1.33534 | + | 0.770959i | 0.506288 | + | 0.397828i | 1.34450 | − | 2.32874i | −1.17194 | + | 2.57421i | 1.39635 | − | 2.41855i | 1.34729 | − | 1.71460i |
7.4 | −1.21687 | − | 0.720574i | −1.46995 | − | 2.54603i | 0.961545 | + | 1.75369i | −2.46507 | + | 1.42321i | −0.0458646 | + | 4.15740i | −0.455338 | + | 0.788668i | 0.0935892 | − | 2.82688i | −2.82152 | + | 4.88701i | 4.02520 | + | 0.0444062i |
7.5 | −0.958976 | + | 1.03941i | 0.555042 | + | 0.961360i | −0.160730 | − | 1.99353i | 2.85214 | − | 1.64669i | −1.53152 | − | 0.345008i | 0.143888 | − | 0.249222i | 2.22622 | + | 1.74468i | 0.883857 | − | 1.53089i | −1.02356 | + | 4.54367i |
7.6 | −0.903622 | − | 1.08787i | −0.184925 | − | 0.320300i | −0.366936 | + | 1.96605i | 1.02957 | − | 0.594425i | −0.181343 | + | 0.490606i | 0.287788 | − | 0.498463i | 2.47039 | − | 1.37739i | 1.43161 | − | 2.47961i | −1.57700 | − | 0.582911i |
7.7 | −0.840598 | + | 1.13728i | −1.03031 | − | 1.78455i | −0.586789 | − | 1.91198i | −1.00759 | + | 0.581731i | 2.89560 | + | 0.328344i | −2.14970 | + | 3.72338i | 2.66770 | + | 0.939869i | −0.623084 | + | 1.07921i | 0.185388 | − | 1.63491i |
7.8 | −0.494448 | − | 1.32496i | 0.862004 | + | 1.49303i | −1.51104 | + | 1.31025i | −3.22510 | + | 1.86201i | 1.55200 | − | 1.88035i | −0.0286931 | + | 0.0496979i | 2.48316 | + | 1.35422i | 0.0138980 | − | 0.0240721i | 4.06174 | + | 3.35246i |
7.9 | 0.494448 | − | 1.32496i | −0.862004 | − | 1.49303i | −1.51104 | − | 1.31025i | −3.22510 | + | 1.86201i | −2.40443 | + | 0.403893i | 0.0286931 | − | 0.0496979i | −2.48316 | + | 1.35422i | 0.0138980 | − | 0.0240721i | 0.872448 | + | 5.19380i |
7.10 | 0.840598 | + | 1.13728i | 1.03031 | + | 1.78455i | −0.586789 | + | 1.91198i | −1.00759 | + | 0.581731i | −1.16345 | + | 2.67184i | 2.14970 | − | 3.72338i | −2.66770 | + | 0.939869i | −0.623084 | + | 1.07921i | −1.50857 | − | 0.656903i |
7.11 | 0.903622 | − | 1.08787i | 0.184925 | + | 0.320300i | −0.366936 | − | 1.96605i | 1.02957 | − | 0.594425i | 0.515549 | + | 0.0882548i | −0.287788 | + | 0.498463i | −2.47039 | − | 1.37739i | 1.43161 | − | 2.47961i | 0.283686 | − | 1.65718i |
7.12 | 0.958976 | + | 1.03941i | −0.555042 | − | 0.961360i | −0.160730 | + | 1.99353i | 2.85214 | − | 1.64669i | 0.466972 | − | 1.49884i | −0.143888 | + | 0.249222i | −2.22622 | + | 1.74468i | 0.883857 | − | 1.53089i | 4.44671 | + | 1.38540i |
7.13 | 1.21687 | − | 0.720574i | 1.46995 | + | 2.54603i | 0.961545 | − | 1.75369i | −2.46507 | + | 1.42321i | 3.62335 | + | 2.03898i | 0.455338 | − | 0.788668i | −0.0935892 | − | 2.82688i | −2.82152 | + | 4.88701i | −1.97414 | + | 3.50813i |
7.14 | 1.31270 | + | 0.526126i | 0.227649 | + | 0.394300i | 1.44638 | + | 1.38129i | −1.33534 | + | 0.770959i | 0.0913848 | + | 0.637372i | −1.34450 | + | 2.32874i | 1.17194 | + | 2.57421i | 1.39635 | − | 2.41855i | −2.15853 | + | 0.309485i |
7.15 | 1.36494 | − | 0.370058i | −1.34577 | − | 2.33095i | 1.72611 | − | 1.01021i | 1.44097 | − | 0.831945i | −2.69948 | − | 2.68358i | −2.17107 | + | 3.76040i | 1.98220 | − | 2.01764i | −2.12221 | + | 3.67577i | 1.65897 | − | 1.66880i |
7.16 | 1.41270 | − | 0.0653657i | −0.761217 | − | 1.31847i | 1.99145 | − | 0.184684i | −1.78958 | + | 1.03322i | −1.16155 | − | 1.81284i | 2.30129 | − | 3.98595i | 2.80126 | − | 0.391077i | 0.341098 | − | 0.590800i | −2.46061 | + | 1.57660i |
123.1 | −1.41270 | + | 0.0653657i | 0.761217 | − | 1.31847i | 1.99145 | − | 0.184684i | −1.78958 | − | 1.03322i | −0.989190 | + | 1.91236i | −2.30129 | − | 3.98595i | −2.80126 | + | 0.391077i | 0.341098 | + | 0.590800i | 2.59569 | + | 1.34265i |
123.2 | −1.36494 | + | 0.370058i | 1.34577 | − | 2.33095i | 1.72611 | − | 1.01021i | 1.44097 | + | 0.831945i | −0.974311 | + | 3.67961i | 2.17107 | + | 3.76040i | −1.98220 | + | 2.01764i | −2.12221 | − | 3.67577i | −2.27470 | − | 0.602310i |
123.3 | −1.31270 | − | 0.526126i | −0.227649 | + | 0.394300i | 1.44638 | + | 1.38129i | −1.33534 | − | 0.770959i | 0.506288 | − | 0.397828i | 1.34450 | + | 2.32874i | −1.17194 | − | 2.57421i | 1.39635 | + | 2.41855i | 1.34729 | + | 1.71460i |
123.4 | −1.21687 | + | 0.720574i | −1.46995 | + | 2.54603i | 0.961545 | − | 1.75369i | −2.46507 | − | 1.42321i | −0.0458646 | − | 4.15740i | −0.455338 | − | 0.788668i | 0.0935892 | + | 2.82688i | −2.82152 | − | 4.88701i | 4.02520 | − | 0.0444062i |
See all 32 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
4.b | odd | 2 | 1 | inner |
43.d | odd | 6 | 1 | inner |
172.f | even | 6 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 172.2.f.b | ✓ | 32 |
4.b | odd | 2 | 1 | inner | 172.2.f.b | ✓ | 32 |
43.d | odd | 6 | 1 | inner | 172.2.f.b | ✓ | 32 |
172.f | even | 6 | 1 | inner | 172.2.f.b | ✓ | 32 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
172.2.f.b | ✓ | 32 | 1.a | even | 1 | 1 | trivial |
172.2.f.b | ✓ | 32 | 4.b | odd | 2 | 1 | inner |
172.2.f.b | ✓ | 32 | 43.d | odd | 6 | 1 | inner |
172.2.f.b | ✓ | 32 | 172.f | even | 6 | 1 | inner |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{3}^{32} + 27 T_{3}^{30} + 445 T_{3}^{28} + 4692 T_{3}^{26} + 36344 T_{3}^{24} + 205212 T_{3}^{22} + \cdots + 4096 \) acting on \(S_{2}^{\mathrm{new}}(172, [\chi])\).