Skip to main content
Olivier's user avatar
Olivier's user avatar
Olivier's user avatar
Olivier
  • Member for 15 years
  • Last seen this week
comment
Bounding dimensions of Galois cohomology
I would need to know your background to be able to give a really informative answer, but I guess you could worse than Autour des conjectures de Bloch-Kato (Fontaine/Perrin-Riou) in the volumes Motives.
comment
Bounding dimensions of Galois cohomology
I would bet the question you want to ask is for $G$ the Galois group of the maximal extension unramified outside a finite set and that you want to consider continuous cohomology (then the answer is no, you cannot do that - the reason being that the dimension of a subspace of $H^1$ is bounded below by the order of vanishing of some $L$-functions, and that could be huge).
awarded
Loading…
Loading…
Loading…
comment
Congruences between Eisenstein series and cusp forms
Interpreted literally, this cannot be true: congruences between modular forms of different levels (here an Eisenstein series of level $1$ with an eigencuspform of level $N>1$) will not be congruences for all $n≥1$ (the congruence will not hold for primes $\ell$ dividing $N$). With that restriction in mind, the answer is yes.
awarded
comment
awarded
awarded
Loading…
comment
Why does the monster group exist?
"Therefore, I am trying to understand what he means by "why" [...] why can't the existence of the group be a coincidence ?" You know what? I think your question is exactly the answer to your question.
comment
Endless controversy about the correctness of significant papers
Then again, if I were told in Japanese that my proof is "too difficult to understand" or that "lemma X seems difficult", I would immediately interpret this as my interlocutor trying to convey that my proof is faulty without upsetting social norms.
revised
Multiplicity one for newforms modulo $p$
added 10 characters in body
Loading…
answered
Loading…
revised
Loading…
comment
Discrepancy in the calculation of $2$-Selmer group by Magma and LMFDB
It is as you suspected in your comment: Pari confirms by 2-descent that Sha is $(\mathbb Z/4\mathbb Z)^2$, so it has elements of order 4, whereas the function used in the question only computes the 2-torsion part of the Selmer group.
1
2
3 4 5
36