Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

(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|improve this question
13  
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
1  
For dimensions three, check out Bridgeland's arxiv.org/abs/math/0009053. –  Aaron Bergman Jun 14 '10 at 20:50
1  
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
1  
In higher dimensions, I would guess the best known result should be Theorem 1 from Kawamata's paper "Flops connect minimal models" <href arxiv.org/abs/0704.1013>. 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). –  Artie Prendergast-Smith Jul 25 '10 at 10:58
1  
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! –  Artie Prendergast-Smith Jul 25 '10 at 11:03
show 1 more comment

2 Answers

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|improve this answer
    
Thanks very much! –  GS Jul 26 '10 at 20:51
add comment

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|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
add comment

Your Answer

 
discard

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