Tag Archives: perfectoid things

Superfectoid spaces!?

Note (6/21): There is an issue with the proof of Lemma 1.7 below, but I’m pretty confident Kiran and I will find a fix.  In any case, you should never take blog math too seriously! In this post I want to announce some … Continue reading

Posted in Math, Uncategorized | Tagged , , , | 4 Comments

Period morphisms in p-adic Hodge theory

In classical Hodge theory, variations of Hodge structure give rise to varying periods, and then to period morphisms.  In p-adic Hodge theory, there are plenty of periods but (until recently) not so many period morphisms.  It turns out these exist … Continue reading

Posted in Math, Uncategorized | Tagged , , | Leave a comment

Perfectoid universal covers of curves

In a previous post I mumbled a bit about perfectoid covering spaces of rigid analytic varieties.  In this post, I want to sketch a fun special case. Fix an algebraically closed nonarchimedean field. Recall the following from Scholze-Weinstein: given a … Continue reading

Posted in Math | Tagged , , , , , , , , | Leave a comment

The product of two diamonds

Let be the category of perfectoid spaces in characteristic , equipped with its pro-étale topology. Any gives rise to a sheaf on . By definition, a diamond is a sheaf on which admits a relatively representable surjection which pulls back … Continue reading

Posted in Math | Tagged , , , , | Leave a comment

Perfectoid uniformization, part one (ed.: and part two)

Let be a complete algebraically closed extension of , and let be a nice rigid analytic space/locally Noetherian adic space over .  What should it mean for to be covered by a perfectoid space?  Here’s one possible definition: Definition. A perfectoid covering space  of is … Continue reading

Posted in Uncategorized | Tagged , , , | Leave a comment

A remark on sheafy Huber rings

Let be a (complete) Huber ring, i.e. a complete topological ring containing an open subring which is adic with respect to a finitely generated ideal of definition . A Huber ring is Tate if contains a topologically nilpotent unit ; … Continue reading

Posted in Math | Tagged , , , , | 2 Comments

Diamonds in the rough

This post is an outgrowth of my (ongoing) attempt to understand Peter Scholze’s remarkable course at Berkeley.  The first couple of paragraphs below are a rather comically compressed summary of some portions of Jared Weinstein’s excellent notes (though of course all mistakes are my … Continue reading

Posted in Math | Tagged , , , , , , | Leave a comment