MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I already asked this question some days ago on but didn't receive any response.

In the introduction (p. 14) of their paper on Wiles' proof of FLT, Darmon, Diamond and Taylor state that a numerical criterion of Wiles "seems to be very close to a special case of the Bloch-Kato conjecture".

This numerical criterion is a statement in commutative algebra (Theorem 5.3 on p. 139 in the paper): A surjective morphism $\phi: R \to T$ of augmented complete intersections over the ring of integers $\mathcal{O}$ of a finite extension over $\mathbb{Q}_p$ is an isomorphism iff $$|\ker \pi_R/(\ker \pi_R)^2| \le |\mathcal{O}/\pi_T(\text{Ann}_T(\ker \pi_T))|,$$ where $\pi_R: R \to \mathcal{O}$ is the augmentation.

Question: What is the relation between Wiles' numerical criterion and the Bloch-Kato conjecture ?

In order to be more explicit, let $K$ be a number field and let $V$ be a geometric representation of the absolute Galois group $G_K$ (in essential $V$ is a finite dimensional vector space over $\mathbb{Q}_p$ with a continuous action of $G_K$). Then the Bloch-Kato conjecture can be formulated as $$\dim H_f^1(G_K,V^\ast(1))-\dim H^0(G_K,V^\ast(1))=\operatorname{ord}_{s=0}L(V,s)$$ where $H^1_f$ denotes the Selmer group, $V^\ast$ is the dual representation and $L$ the $L$-function.

Then the question is for which $K, V$ and in what way this formula is close to the numerical criterion described above ?

share|cite|improve this question
Did you read Diamond-Flach-Guo? If so, does it answer your question? – Kevin Buzzard Jun 18 '12 at 22:03
Do you mean… ? No, I didn't read it so far. But I'll have a look. Thanks. – Ralph Jun 18 '12 at 22:20
Not an answer, but a quick comment : the Bloch-Kato conjecture consists of two parts, the "rank" part predicting the order of vanishing, and the "Tamagawa number" part predicting the rational factor in the special value. This second part is probably more relevant to the numerical criterion you mention. – François Brunault Jun 19 '12 at 19:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.