MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

(1) Is the definition of flop given by Wikipedia the industry standard?

(2) Regardless of the answer to (1), when is it expected that a birational transformation gives rise to a derived equivalence?

References to places where precise conjectures are recorded will be very much appreciated!

The reason I'm asking: apparently it is conjectured that different crepant resolutions are derived equivalent. On page 40 of this paper of Bondal-Orlov, they conjecture that flops induce derived equivalences. Apparently "flop" is sometimes used to mean birational transformation preserving canonical classes (without specifying the type of surgery actually being performed). So I'm interested to know whether such transformations are expected to be factorizable into (Wikipedia) flops, or produce derived equivalences for other reasons.

share|cite|improve this question
Interestingly, Atiyah invented his flop in 1958, 5 years before Fosbury invented his, but for some reason nobody used the Atiyah flop in the 1960 Summer Olympics. – GS Jun 14 '10 at 14:30
For dimensions three, check out Bridgeland's – Aaron Bergman Jun 14 '10 at 20:50
Thanks; my understanding is that Bridgeland's theorem that crepant resolutions (in dim'n 3) are derived equivalent relies on the fact they are connected by a sequence of (Kollar's definition, which I think is the same as Wikipedia) flops. Is this now known in (any) higher dimension? Is it a conjecture (folklore or otherwise)? – GS Jun 14 '10 at 21:09
In higher dimensions, I would guess the best known result should be Theorem 1 from Kawamata's paper "Flops connect minimal models" <href>. By that theorem, any two crepant resolutions (or even terminal crepant partial resolutions) are connected by a sequence of flops over the base (where flop here is in the standard sense of Kollar--Mori's book, or Wikipedia). – user5117 Jul 25 '10 at 10:58
Also, if I remember rightly, according to Miles Reid's survey paper "Twenty-five years of 3-folds --- an old person's view", Atiyah's flop was already known to Zariski. He then goes on to claim that it is really already present in 19th century work on the standard Cremona transformation of P^3, and arrives at an original birthdate for the flop of 1837! – user5117 Jul 25 '10 at 11:03
up vote 4 down vote accepted

I'm not any kind of expert on this stuff and I'm not sure what the current state of this conjecture is, but Kawamata has conjectures in this paper and this paper regarding when two birational varieties have equivalent derived categories. He also discusses flops in the first paper.

He has partial results, including: if $X$ is general type and $\mathcal{D}^b(X) \cong \mathcal{D}^b(Y)$ as triangulated categories then $X$ and $Y$ are K-equivalent. This generalizes the famous theorem of Bondal-Orlov that the bounded derived category of a Fano variety determines the variety. IIRC, in the proof of his theorem he takes the kernel of the Fourier-Mukai transform that gives the equivalence, shows that the support of the kernel (meaning the union of the supports of the cohomology sheaves of the kernel) has a component $Z$ dominating both varieties and uses $Z$ for the "roof" of the K-equivalence. The assumption that $X$ is general type is used to show that the projections from $Z$ are birational.

share|cite|improve this answer
Thanks very much! – GS Jul 26 '10 at 20:51

Concerning (2) there is Conjecture 6.24 in the book of Huybrechts, Fourier-Mukai transforms in algebraic geometry. The conjecture predicts that two birational Calabi-Yau varieties are derived equivalent.

share|cite|improve this answer
Thanks! Due to my shocking level of ignorance I had not looked at Huybrechts' book. You actually undersell the conjecture there: it asserts that if there exists a birational correspondence between (smooth, projective over alg. closed field of char. 0---seem to be standing assumptions) varieties that matches up canonical classes then the 2 varieties in question are derived equivalent (though the equivalence need not be induced by the given birational correspondence). Since I'm also interested in the question about flops, I hope you don't mind if I don't accept this helpful answer! – GS Jun 17 '10 at 10:41

Your Answer


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