Minimal models exist for arithmetic 3fold germs in mixed characteristic (this should complete the proof started in surfdiop / syzsurfdvr). I will try to combine all three of these into one thing and clean it up shortly.
MMPThreefoldGerms0.7 , hash (clarifies proof of effective KVV (actually I had the constant wrong in the last version), and also gives a weak version of a very recent conjecture of Fujino on effective bpf-ness, resulting in some effective finite generation theorems as well – this was going to be a new note, but since the finite generation is already there, I’ve just put it here).
MMPThreefoldGerms0.8_copy , hash : Took a closer look at the KVV, and found another hole in my proof – now I’ve ended up with a quite nasty constant if you actually compute it out, but which seems more reasonable. In any case, the main results don’t depend on this version of KVV (Tanaka’s original version suffices for all of the existence / minimal model type results) and I’ve tried to make that clearer – still it would be really nice to have some effective things, hence the inclusion in these past couple of drafts.
MMPThreefoldGerms0.13 , 5 October 2015 Found that actually, that finite generation (for the special fiber) was recently proven by Hashizume, this makes my job a bit easier, since the proof is a bit nasty, and not my main result. Also, I’ve moved the effective bpf-ness to a separate note (becoming too long for advisor to read)
MMPThreefoldGerms0.14_copy , 6 October 2015 No significant changes, but removed unused references and clarified the big case of termination slightly (namely added the statement of a lemma that the the geometric valuations are linear after doing a small contraction)
MMPThreefoldGerms0.19_copy 10/29/2015 I think there was a tiny issue in the cone theorem of versions .15-.18 – which were all attempts to get around the log smoothness hypothesis possibly failing after a few steps of the MMP- in this one the argument is simplified by doing a local version that should hold after a finite number of such steps.