Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [75,13,Mod(74,75)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(75, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([1, 1]))
N = Newforms(chi, 13, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("75.74");
S:= CuspForms(chi, 13);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 75 = 3 \cdot 5^{2} \) |
Weight: | \( k \) | \(=\) | \( 13 \) |
Character orbit: | \([\chi]\) | \(=\) | 75.d (of order \(2\), degree \(1\), not 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: | \(68.5495362957\) |
Analytic rank: | \(0\) |
Dimension: | \(32\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{2}]$ |
$q$-expansion
The algebraic \(q\)-expansion of this newform has not been computed, 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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
74.1 | −116.687 | 217.113 | − | 695.919i | 9519.86 | 0 | −25334.3 | + | 81204.7i | 159101.i | −632894. | −437165. | − | 302187.i | 0 | ||||||||||||
74.2 | −116.687 | 217.113 | + | 695.919i | 9519.86 | 0 | −25334.3 | − | 81204.7i | − | 159101.i | −632894. | −437165. | + | 302187.i | 0 | |||||||||||
74.3 | −107.354 | −724.083 | + | 84.5279i | 7428.92 | 0 | 77733.3 | − | 9074.43i | − | 76606.4i | −357803. | 517151. | − | 122410.i | 0 | |||||||||||
74.4 | −107.354 | −724.083 | − | 84.5279i | 7428.92 | 0 | 77733.3 | + | 9074.43i | 76606.4i | −357803. | 517151. | + | 122410.i | 0 | ||||||||||||
74.5 | −97.7240 | 706.715 | + | 178.872i | 5453.97 | 0 | −69063.0 | − | 17480.1i | − | 195864.i | −132707. | 467451. | + | 252823.i | 0 | |||||||||||
74.6 | −97.7240 | 706.715 | − | 178.872i | 5453.97 | 0 | −69063.0 | + | 17480.1i | 195864.i | −132707. | 467451. | − | 252823.i | 0 | ||||||||||||
74.7 | −88.3498 | 67.1399 | − | 725.902i | 3709.68 | 0 | −5931.79 | + | 64133.3i | − | 144393.i | 34131.0 | −522425. | − | 97473.9i | 0 | |||||||||||
74.8 | −88.3498 | 67.1399 | + | 725.902i | 3709.68 | 0 | −5931.79 | − | 64133.3i | 144393.i | 34131.0 | −522425. | + | 97473.9i | 0 | ||||||||||||
74.9 | −54.6723 | −528.380 | − | 502.251i | −1106.94 | 0 | 28887.8 | + | 27459.2i | 26114.9i | 284457. | 26929.8 | + | 530758.i | 0 | ||||||||||||
74.10 | −54.6723 | −528.380 | + | 502.251i | −1106.94 | 0 | 28887.8 | − | 27459.2i | − | 26114.9i | 284457. | 26929.8 | − | 530758.i | 0 | |||||||||||
74.11 | −45.6637 | 315.050 | + | 657.408i | −2010.83 | 0 | −14386.3 | − | 30019.7i | 82178.2i | 278860. | −332928. | + | 414232.i | 0 | ||||||||||||
74.12 | −45.6637 | 315.050 | − | 657.408i | −2010.83 | 0 | −14386.3 | + | 30019.7i | − | 82178.2i | 278860. | −332928. | − | 414232.i | 0 | |||||||||||
74.13 | −26.2870 | 727.487 | + | 46.9464i | −3404.99 | 0 | −19123.5 | − | 1234.08i | 158582.i | 197179. | 527033. | + | 68305.8i | 0 | ||||||||||||
74.14 | −26.2870 | 727.487 | − | 46.9464i | −3404.99 | 0 | −19123.5 | + | 1234.08i | − | 158582.i | 197179. | 527033. | − | 68305.8i | 0 | |||||||||||
74.15 | −25.6772 | −429.106 | + | 589.329i | −3436.68 | 0 | 11018.3 | − | 15132.3i | − | 93502.2i | 193418. | −163176. | − | 505770.i | 0 | |||||||||||
74.16 | −25.6772 | −429.106 | − | 589.329i | −3436.68 | 0 | 11018.3 | + | 15132.3i | 93502.2i | 193418. | −163176. | + | 505770.i | 0 | ||||||||||||
74.17 | 25.6772 | 429.106 | + | 589.329i | −3436.68 | 0 | 11018.3 | + | 15132.3i | − | 93502.2i | −193418. | −163176. | + | 505770.i | 0 | |||||||||||
74.18 | 25.6772 | 429.106 | − | 589.329i | −3436.68 | 0 | 11018.3 | − | 15132.3i | 93502.2i | −193418. | −163176. | − | 505770.i | 0 | ||||||||||||
74.19 | 26.2870 | −727.487 | + | 46.9464i | −3404.99 | 0 | −19123.5 | + | 1234.08i | 158582.i | −197179. | 527033. | − | 68305.8i | 0 | ||||||||||||
74.20 | 26.2870 | −727.487 | − | 46.9464i | −3404.99 | 0 | −19123.5 | − | 1234.08i | − | 158582.i | −197179. | 527033. | + | 68305.8i | 0 | |||||||||||
See all 32 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
3.b | odd | 2 | 1 | inner |
5.b | even | 2 | 1 | inner |
15.d | odd | 2 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 75.13.d.d | 32 | |
3.b | odd | 2 | 1 | inner | 75.13.d.d | 32 | |
5.b | even | 2 | 1 | inner | 75.13.d.d | 32 | |
5.c | odd | 4 | 1 | 75.13.c.e | ✓ | 16 | |
5.c | odd | 4 | 1 | 75.13.c.f | yes | 16 | |
15.d | odd | 2 | 1 | inner | 75.13.d.d | 32 | |
15.e | even | 4 | 1 | 75.13.c.e | ✓ | 16 | |
15.e | even | 4 | 1 | 75.13.c.f | yes | 16 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
75.13.c.e | ✓ | 16 | 5.c | odd | 4 | 1 | |
75.13.c.e | ✓ | 16 | 15.e | even | 4 | 1 | |
75.13.c.f | yes | 16 | 5.c | odd | 4 | 1 | |
75.13.c.f | yes | 16 | 15.e | even | 4 | 1 | |
75.13.d.d | 32 | 1.a | even | 1 | 1 | trivial | |
75.13.d.d | 32 | 3.b | odd | 2 | 1 | inner | |
75.13.d.d | 32 | 5.b | even | 2 | 1 | inner | |
75.13.d.d | 32 | 15.d | odd | 2 | 1 | inner |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{2}^{16} - 48921 T_{2}^{14} + 954361746 T_{2}^{12} - 9474039334576 T_{2}^{10} + \cdots + 33\!\cdots\!00 \) acting on \(S_{13}^{\mathrm{new}}(75, [\chi])\).