Skip to main content
17 events
when toggle format what by license comment
Aug 6, 2019 at 10:01 answer added Henri Cohen timeline score: 3
Aug 6, 2019 at 9:46 comment added ililiil @ François Brunault Thanks!!!!
Aug 6, 2019 at 9:39 comment added François Brunault @ililiil For an explicit formula for $\sigma(x)$ you can look at Glenn Stevens's book Arithmetic on modular curves, the first sections are available on Google Books.
Aug 6, 2019 at 9:30 answer added François Brunault timeline score: 5
Aug 6, 2019 at 8:50 comment added ililiil @ François Brunault Thanks for kindly reply. I don't know modular curve very well, so maybe I think it's a stupid question... I know that a cusp $x$ can be expressed as element in $P^{1}(\mathbb{Q})$. How do you define $\sigma(x)?
Aug 6, 2019 at 8:31 comment added François Brunault @ililiil That's right. For any modular form $f$, any cusp $x$ and any $\sigma \in \mathrm{Aut}(\mathbb{C})$, the order of vanishing of $f^\sigma$ at $\sigma(x)$ is equal to that of $f$ at $x$. This follows from the fact that the modular curve $X_0(N)$ is an algebraic curve defined over $\mathbb{Q}$. Cusp forms of weight 2 are differential forms on $X_0(N)$ so are also algebraic. For general weight $k>2$, modular forms are sections of certain line bundles on $X_0(N)$, so are again algebraic. Once you know algebraicity, the proof of this result is formal.
Aug 6, 2019 at 7:46 history edited GH from MO
edited tags
Aug 6, 2019 at 7:42 comment added ililiil @François Brunault I don't understand that" It follows that $f$ and $f^{\sigma}$ have different order~". Is it relation between orders of $f$ at conjugate cusps and the order of $f^{\sigma}$ at cusp?
Aug 6, 2019 at 7:31 comment added ililiil @François Brunault I noticed that my question was weird thanks to your first comment. So I modified my question as below. Let K⊂Q(ξN) be a field...
Aug 6, 2019 at 7:16 history edited ililiil CC BY-SA 4.0
added 121 characters in body
Aug 6, 2019 at 7:06 comment added François Brunault @ililiil If you have a counterexample $f$ with coefficients in some field $K$, you can always multiply $f$ by some constant so that the new field of coefficients contains the cyclotomic field (or even any given number field), this will not change the orders of vanishing you're looking at.
Aug 6, 2019 at 5:24 comment added ililiil I don't assume that $f$ is a newform. Your examples are so nice..
Aug 5, 2019 at 21:51 comment added François Brunault @reuns Here is a reference: arxiv.org/abs/1609.08939v4 (see page 5 for the examples I mention). These newforms $f$ have different orders of vanishing at conjugate cusps. It follows that $f$ and $f^\sigma$ have different order of vanishing at the same cusp.
Aug 5, 2019 at 21:35 comment added reuns How do you prove your claims ?
Aug 5, 2019 at 17:03 comment added François Brunault There are newforms $f$ on $\Gamma_0(N)$ such that $f$ and $f^\sigma$ do not always have the same order of vanishing at the cusps. I have examples at level $567,625,891$. But here, do you assume that $f$ is a newform? Do you really assume that the field of coefficients of $f$ contains the $N$-th cyclotomic field?
Aug 5, 2019 at 16:25 history edited ililiil CC BY-SA 4.0
edited body
Aug 5, 2019 at 15:28 history asked ililiil CC BY-SA 4.0