Edit: After the answers and comments, I'm hoping for a little bit of elaboration (in the comment to the answer below.) Also, question 2 was discussed here:


[Points in sites (etale, fppf, ... )](https://mathoverflow.net/questions/117595/points-in-sites-etale-fppf)


There, Davidac897 gave a nice description of points in more general sites. I would be interested if there is a different description of points in the small fppf site and big etale site over an (as nice as you like) scheme (similar to the very concrete description of points that we have for the small etale site).


Thanks to everyone for all the helpful comments and answers!




---


The title very much sums it up. The etale site is extremely useful and the basic applications are well known. Milne also devotes time to the Flat site in his Etale Cohomology book. I am hoping that someone can give me example applications.


1.) I'm most interested in the (small) Flat site. What do you typically use this for? Let $X$ a scheme over $\mathbb{F}\_P$ and $\alpha\alpha\_P$ be the sheaf on the small fppf site over $X$ defined by group scheme $\mathbb{F}\_P[t]/(t^p)$. The sequence of sheaves 


$$ 0 \rightarrow \alpha\alpha\_P \rightarrow \mathbb{G}\_a \xrightarrow{F} \mathbb{G}\_a \rightarrow 0$$
($F$ is the map $z \mapsto z^p$) makes sense in the (small) Etale site, but is typically not exact there. However, it becomes exact in the (small) fppf site. This is useful, because a ses of sheaves yields a long exact sequence, and hence relations that one (at least I) cannot so easily express without the Flat site. I don't even know if this example is typical, or if there are many other examples on these lines (or many examples not along these lines).


$\textrm{Principal Homogenous Spaces}$: Cohomology in the flat site calculates the set of principal homogenous spaces over a scheme (wrt a group scheme $G/X$).


2.) What are points in the (small) flat site? I am not able to dream up a good description of these (or where to look).



Etale site is useful - examples of using the small fppf site?
Briefly, to understand $p$-phenomena in characteristic $p$ you need to replace the etale site by the fppf site. For example, to understand the $p$-torsion in the Brauer group you need the $p$-Kummer sequence and the cohomology of $\mu\_{p^n}$, and the study of the $p$-torsion in the Tate-Shafarevich group entails the study of the cohomology of finite group schemes of $p$-power order over curves. There are also many purely geometric applications, e.g., to the Picard functor. You should think of the fppf cohomology as being THE cohomology theory, but the etale topology is fine enough for computing the cohomology of smooth group schemes, and the Zariski topology is fine enough for computing the cohomology of coherent sheaves.


