Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [816,2,Mod(35,816)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(816, base_ring=CyclotomicField(4))
chi = DirichletCharacter(H, H._module([2, 3, 2, 0]))
N = Newforms(chi, 2, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("816.35");
S:= CuspForms(chi, 2);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 816 = 2^{4} \cdot 3 \cdot 17 \) |
Weight: | \( k \) | \(=\) | \( 2 \) |
Character orbit: | \([\chi]\) | \(=\) | 816.bh (of order \(4\), 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: | \(6.51579280494\) |
Analytic rank: | \(0\) |
Dimension: | \(124\) |
Relative dimension: | \(62\) over \(\Q(i)\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{4}]$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
35.1 | −1.41408 | + | 0.0193758i | −1.72466 | − | 0.159874i | 1.99925 | − | 0.0547979i | 1.58607 | + | 1.58607i | 2.44190 | + | 0.192658i | 1.50080 | −2.82604 | + | 0.116226i | 2.94888 | + | 0.551455i | −2.27356 | − | 2.21210i | ||
35.2 | −1.41120 | + | 0.0922243i | 1.09232 | + | 1.34419i | 1.98299 | − | 0.260294i | −0.312654 | − | 0.312654i | −1.66545 | − | 1.79618i | −2.39885 | −2.77440 | + | 0.550208i | −0.613668 | + | 2.93656i | 0.470053 | + | 0.412385i | ||
35.3 | −1.40896 | − | 0.121776i | −0.955174 | − | 1.44487i | 1.97034 | + | 0.343157i | −1.16277 | − | 1.16277i | 1.16985 | + | 2.15208i | −2.27492 | −2.73434 | − | 0.723435i | −1.17528 | + | 2.76020i | 1.49669 | + | 1.77989i | ||
35.4 | −1.38464 | + | 0.287702i | −0.954322 | + | 1.44543i | 1.83445 | − | 0.796729i | −1.50951 | − | 1.50951i | 0.905539 | − | 2.27596i | 3.43490 | −2.31084 | + | 1.63096i | −1.17854 | − | 2.75881i | 2.52442 | + | 1.65584i | ||
35.5 | −1.37382 | + | 0.335584i | 1.63225 | − | 0.579434i | 1.77477 | − | 0.922064i | 1.75683 | + | 1.75683i | −2.04798 | + | 1.34380i | 1.77368 | −2.12878 | + | 1.86233i | 2.32851 | − | 1.89157i | −3.00313 | − | 1.82400i | ||
35.6 | −1.35099 | + | 0.418117i | −1.72576 | + | 0.147446i | 1.65036 | − | 1.12975i | −2.11786 | − | 2.11786i | 2.26984 | − | 0.920770i | −3.48796 | −1.75725 | + | 2.21632i | 2.95652 | − | 0.508915i | 3.74673 | + | 1.97570i | ||
35.7 | −1.33501 | − | 0.466627i | −0.461119 | − | 1.66954i | 1.56452 | + | 1.24591i | 2.64828 | + | 2.64828i | −0.163453 | + | 2.44403i | 4.61896 | −1.50728 | − | 2.39335i | −2.57474 | + | 1.53972i | −2.29973 | − | 4.77124i | ||
35.8 | −1.31634 | + | 0.516966i | 1.62317 | + | 0.604407i | 1.46549 | − | 1.36100i | −2.41460 | − | 2.41460i | −2.44910 | + | 0.0435202i | 2.57003 | −1.22549 | + | 2.54915i | 2.26938 | + | 1.96212i | 4.42670 | + | 1.93017i | ||
35.9 | −1.26166 | − | 0.638910i | 0.881475 | − | 1.49097i | 1.18359 | + | 1.61218i | −0.0939607 | − | 0.0939607i | −2.06472 | + | 1.31792i | −0.105597 | −0.463253 | − | 2.79023i | −1.44600 | − | 2.62851i | 0.0585143 | + | 0.178579i | ||
35.10 | −1.21433 | + | 0.724839i | 1.01832 | − | 1.40108i | 0.949217 | − | 1.76039i | −1.21434 | − | 1.21434i | −0.221025 | + | 2.43950i | −3.59563 | 0.123336 | + | 2.82574i | −0.926045 | − | 2.85350i | 2.35482 | + | 0.594414i | ||
35.11 | −1.20913 | − | 0.733493i | 1.40161 | + | 1.01759i | 0.923975 | + | 1.77377i | −2.32657 | − | 2.32657i | −0.948335 | − | 2.25846i | −2.46056 | 0.183848 | − | 2.82245i | 0.929037 | + | 2.85252i | 1.10659 | + | 4.51964i | ||
35.12 | −1.16677 | − | 0.799147i | −1.69103 | + | 0.374733i | 0.722727 | + | 1.86485i | 0.455424 | + | 0.455424i | 2.27252 | + | 0.914152i | −4.72509 | 0.647031 | − | 2.75343i | 2.71915 | − | 1.26737i | −0.167426 | − | 0.895328i | ||
35.13 | −1.15730 | − | 0.812808i | 1.40099 | − | 1.01844i | 0.678686 | + | 1.88133i | −1.62872 | − | 1.62872i | −2.44916 | + | 0.0398998i | 2.91139 | 0.743713 | − | 2.72890i | 0.925566 | − | 2.85365i | 0.561082 | + | 3.20876i | ||
35.14 | −1.14105 | + | 0.835462i | −1.51128 | − | 0.846192i | 0.604005 | − | 1.90661i | 2.28493 | + | 2.28493i | 2.43141 | − | 0.297066i | −3.55506 | 0.903702 | + | 2.68017i | 1.56792 | + | 2.55766i | −4.51620 | − | 0.698254i | ||
35.15 | −1.08045 | − | 0.912489i | 1.04619 | + | 1.38039i | 0.334729 | + | 1.97179i | 2.83480 | + | 2.83480i | 0.129236 | − | 2.44608i | −1.14023 | 1.43758 | − | 2.43585i | −0.810962 | + | 2.88831i | −0.476127 | − | 5.64957i | ||
35.16 | −1.04000 | + | 0.958328i | −0.343694 | + | 1.69761i | 0.163215 | − | 1.99333i | 0.141788 | + | 0.141788i | −1.26942 | − | 2.09489i | −1.49884 | 1.74052 | + | 2.22948i | −2.76375 | − | 1.16692i | −0.283338 | − | 0.0115806i | ||
35.17 | −1.03888 | − | 0.959546i | −1.47856 | + | 0.902142i | 0.158543 | + | 1.99371i | 0.812410 | + | 0.812410i | 2.40169 | + | 0.481530i | 3.63748 | 1.74835 | − | 2.22335i | 1.37228 | − | 2.66774i | −0.0644515 | − | 1.62354i | ||
35.18 | −0.969764 | − | 1.02935i | −0.112313 | + | 1.72841i | −0.119114 | + | 1.99645i | −2.07215 | − | 2.07215i | 1.88805 | − | 1.56054i | 3.25344 | 2.17055 | − | 1.81348i | −2.97477 | − | 0.388246i | −0.123466 | + | 4.14246i | ||
35.19 | −0.945277 | + | 1.05188i | 0.208059 | − | 1.71951i | −0.212904 | − | 1.98864i | −2.52621 | − | 2.52621i | 1.61204 | + | 1.84426i | 1.58640 | 2.29306 | + | 1.65586i | −2.91342 | − | 0.715518i | 5.04524 | − | 0.269303i | ||
35.20 | −0.745678 | + | 1.20165i | 1.61122 | + | 0.635578i | −0.887929 | − | 1.79209i | 1.74078 | + | 1.74078i | −1.96520 | + | 1.46219i | −1.17168 | 2.81557 | + | 0.269341i | 2.19208 | + | 2.04812i | −3.38987 | + | 0.793748i | ||
See next 80 embeddings (of 124 total) |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
48.k | even | 4 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 816.2.bh.c | ✓ | 124 |
3.b | odd | 2 | 1 | 816.2.bh.d | yes | 124 | |
16.f | odd | 4 | 1 | 816.2.bh.d | yes | 124 | |
48.k | even | 4 | 1 | inner | 816.2.bh.c | ✓ | 124 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
816.2.bh.c | ✓ | 124 | 1.a | even | 1 | 1 | trivial |
816.2.bh.c | ✓ | 124 | 48.k | even | 4 | 1 | inner |
816.2.bh.d | yes | 124 | 3.b | odd | 2 | 1 | |
816.2.bh.d | yes | 124 | 16.f | odd | 4 | 1 |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{5}^{124} + 4 T_{5}^{123} + 8 T_{5}^{122} - 16 T_{5}^{121} + 1904 T_{5}^{120} + 7504 T_{5}^{119} + \cdots + 14\!\cdots\!24 \) acting on \(S_{2}^{\mathrm{new}}(816, [\chi])\).