The Frobenius morphism - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T17:28:38Z http://mathoverflow.net/feeds/question/49993 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/49993/the-frobenius-morphism The Frobenius morphism Qfwfq 2010-12-20T19:46:51Z 2010-12-21T06:07:45Z <p>I found the following list on the "<a href="http://www.math.utexas.edu/users/benzvi/math/frobenius.html" rel="nofollow">Frobenius Page</a>" by David Ben-Zvi, described by the author as "an outdated collection of intuitive ways to think about raising to the p-th power".</p> <blockquote> <ol> <li>Generates a copy of the integers (or rather their profinite completion) in local Galois groups. Geometrically, this gives us an "infinitesimal circle" above every point, for which Frobenius is the monodromy. E.g. an algebraic curve over a finite field can be thought of as a 3-manifold fibering over the circle, with Frobenius as the circle direction.</li> <li>Provides natural grading on "mixed" objects (e.g. cohomologies of singular schemes, perverse sheaves etc.) by its eigenvalues. Purity: only one graded piece. Key for results such as the Decomposition Theorem.</li> <li>Pullback of deRham complex becomes $\mathcal{O}$-linear. (Derivative of pth power is zero - simplifies calculus!) Leads to the Cartier operator on cohomology. Linear structure enables e.g. Deligne-Illusie to prove degeneration of Hodge-to-deRham. </li> <li>On same note, sheaves acquire a canonical connection after Frobenius pullback - when Frobenius is an isomorphism. Counterexample: $X$ abelian variety, $H^0(X,\Omega)$ in $H^1(X)$ (first piece of Hodge filtration) is killed by Frobenius - since every one-form is locally exact.</li> <li>Its failure to commute with a connection gives rise to p-curvature, a canonical $\mathcal{O}^p$ - linear form. This measures the obstruction to exponentiating a connection through the p-th order (p!=0 => need for divided powers..) </li> <li>p-curvature of the Gauss-Manin connection as Kodaira-Spencer class (Katz). </li> <li>Provides an automorphism of the additive group - generates ring of additive polynomials. Analog of ring of differential operators. Embeddings of coordinate rings into this ring (Drinfeld modules) provide important moduli problems, key to Langlands program for function fields. </li> <li>Gives rise to automorphisms of flag varieties (for example) => ask for a flag and its Frobenius translates to have prescribed relative position: Deligne-Lusztig varieties (Borel-independent analogs of Schubert cells). </li> <li>The kernels of Frobenius and its iterates give natural infinitesimal neighborhoods of the identity on group schemes. </li> <li>F-crystals: both "flat connection" and Frobenius structure. F is horizontal, but nonetheless eigenvalues not constant -> Newton polygons, and related stratifications of moduli schemes.</li> <li>As a contracting map - can apply fixed point formulas after applying Frobenius. </li> <li>Dwork's principle - use Frobenius to fix constant terms to do p-adic integration (use to patch together local pieces). </li> <li>Frobenius liftings to characteristic zero - p-adic analogs of Kahler metrics (Mochizuki). </li> <li>Together with Verschibung and homothety generates the ring of Cartier operators. Appropriate modules over this (Dieudonne modules) are essential to classification of group schemes.</li> </ol> </blockquote> <p>I think it would be very interesting if some MO users (among whom maybe even the author himself) would</p> <ul> <li>Expand the description of each point 1.-10. also explaining his/her own intuitive understanding of the phenomenon, and giving some examples and reference to interested readers.</li> <li>Add new items to the list.</li> </ul> http://mathoverflow.net/questions/49993/the-frobenius-morphism/49996#49996 Answer by Sasha for The Frobenius morphism Sasha 2010-12-20T20:23:23Z 2010-12-20T20:23:23Z <p>The bend-and-break method to produce many rational curves on algebraic varieties.</p> http://mathoverflow.net/questions/49993/the-frobenius-morphism/49997#49997 Answer by Dustin Clausen for The Frobenius morphism Dustin Clausen 2010-12-20T20:37:41Z 2010-12-20T20:37:41Z <p>Pullback by the Frobenius realizes the p^th power Adams operation as an actual functor on the category of vector bundles over a scheme in characteristic p, something not possible in characteristic zero. This observation of Quillen was the starting point for his first approach to the (complex) Adams conjecture, details completed by Friedlander.</p> http://mathoverflow.net/questions/49993/the-frobenius-morphism/50021#50021 Answer by Karl Schwede for The Frobenius morphism Karl Schwede 2010-12-21T03:05:43Z 2010-12-21T03:05:43Z <p>This is very basic and appears throughout numerous applications, but by Serre vanishing...</p> <p>For ample $L$, Frobenius eventually kills cohomology of $H^i(X, L^{-1})$ for $i &lt; \dim X$ and kills $H^i(X, L)$ for $i > 0$. </p> <p>(In other words, the natural map $F^e : H^i(X, L) \to H^i(X, L^{p^e})$ has zero target for $e \gg 0$.)</p> http://mathoverflow.net/questions/49993/the-frobenius-morphism/50034#50034 Answer by Thomas Riepe for The Frobenius morphism Thomas Riepe 2010-12-21T06:07:45Z 2010-12-21T06:07:45Z <p>Connes, Consani and Marcolli developed a theory of a "Frobenius in char. 0", related there to inherent time evolutions of von Neumann-algebras and providing an unusual way to view the char p cases. (<a href="http://www.math.uwo.ca/~masoud/cv/TehProg.pdf" rel="nofollow" title="link">link</a>)</p>