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

The Frobenius map is usually only defined in char p, or when we are working with $\mathbb{Q}_p$, etc.

What can be the analogue of Frobenius in complex geometry?

As a vague guess, about which I probably heard some years ago somewhere, is it somehow "related" to the Laplacian or Dirac operators? Do we need some very heavy machineries for a better analogue? Will $\mathbb{F}_1$ say something about it?

Thank you very much.

share|improve this question
3  
Let me suggest that a slightly better formulation is "What are some of the analogues of Frobenius in complex geometry?". I think are several answers; some are given below, and some I expect have yet to be discovered. –  Donu Arapura Jul 13 '10 at 14:14
add comment

5 Answers

I think of the Frobenius as an anlogue of a small loop around a point $p$ in the curve $Spec(\mathbb{Z})$.

This is for the following reason. As $\mathbb{Z}$ is a regular ring of Krull dimension one, the complex analogue is an (affine) curve $C/\mathbb{C}$.

A prime $p$ corresponds to a point $P \in C$. The Forbenius automorphism arises as generator of the Galois group of finite extension of the quotient field $k(p)=\mathbb{Z}/p=\mathbb{F}_p$. In the complex case the qoutient field $k(P)=\mathbb{C}$ is algebraically closed, there is no direct analogue of the Frobenius as action on $k(P)$.

Nevertheless we can do something different. Lets consider the completion $\mathbb{Z}_p$ of $\mathbb{Z}$ at $p$. It corresponds to a small disc round $P$ in the complex setting. The qoutient field $\mathbb{Q}_p$ corresponds to the pointed disc. Let $K/\mathbb{Q}_p$ be a finite unramified field-extension of $K/\mathbb{Q}_p$ then $Gal(K/\mathbb{Q}_p)$ is cyclic an generated by an automorphism $F$.

In the complex setting this is the familiar statement that a (connected) unramified cover of a pointed disc has cyclic Galois group. Moreover the generator lifts the action of a small loop on a nearby fiber to an automorphism of the cover.

The relation with the Frobenius automorphism arises as follows. There is a canonical valuation ring $R \subset K$ with maximal ideal $M \subset R$ such that $R/M = \mathbb{F}_q$ for $q=p^d$ where $d=[K:\mathbb{Q}_p]$. The automorphism $F$ on $K$ induces the Frobenius on $\mathbb{F}_q$.

Disclaimer: Let me appologize for not being an arithmetic geometer. This philosophy is probably well known to those who work in this field. As I cannot remember where I learned this from, I would also appreciate references to more thorough treatments of this ideas.

share|improve this answer
    
Hallo Heinrich- This is really nice! –  Kevin H. Lin Jul 13 '10 at 16:18
    
By "pointed disk" do you mean "punctured disk"? –  Victor Protsak Jul 14 '10 at 3:08
    
yes, "pointed disc" sould be "punctured disc" –  Heinrich Hartmann Jul 14 '10 at 11:12
    
I've heard the claim that the mod p loop should be viewed as larger than the geometric loop, because one finds less restricted monodromy when working with the Frobenius (e.g., nonzero weights). –  S. Carnahan Jul 14 '10 at 23:24
add comment

I've been hesitating about whether or not to answer this question. Not because it's uninteresting, but because I think it's too interesting. I'm glad you didn't ask what the influence of Frobenius is on characteristic $0$ geometry, because it's enormous and would be too much to get into. Since some of these interactions have been discussed in other people's answers and elsewhere, I'll just make a list. These include: Mori's "bend and break", the theory of weights, the decomposition theorem for perverse sheaves, Frobenius splitting, Deligne-Illusie splitting, tight closure...

I'd rather get off the beaten track a bit, and discuss some answers which are more obscure, but hopefully interesting. Actually, these are closer to answers to the question you did ask.

  1. Some special classes of complex varieties (e.g. toric varieties, modular curves, CM elliptic curves) carry endomorphisms or self correspondences which are in fact lifts of the Frobenius. For $\mathbb{P}^n$, one can take $[x_0,\ldots x_n]\mapsto [x_0^p,\ldots x_n^p]$. Unfortunately, such lifts usually don't exist. (I'd be happy with more examples, if people know of any.)

  2. On K-theory the Adams operations $\psi^p:K^0(X)\to K^0(X)$ behave like the action of Frobenius. Defining these is a long story, suffice to say that for a line bundle $\psi^p(L) = L^p$, exactly like the Frobenius.

  3. This is a bit of a crazy thing to do, but you can take the ultraproduct of the mod $p$ reductions of your complex variety and you will get a nonnoetherian (!) scheme dominating $X$ with a Frobenius like endomorphism.

As I said in my comment above, there are many answers. The best one really depends on what you want to do.

share|improve this answer
    
+1 for number 3.: it's crazy, but it's also intriguing and potentially useful. –  Pete L. Clark Jul 14 '10 at 20:19
    
I should have said, a version of 3 was used in work of Schoutens, so perhaps I shouldn't have said "crazy". But I don't mind insulting this guy <a front.math.ucdavis.edu/0806.1033>here</a>; (Not sure if links are allowed in comments.) –  Donu Arapura Jul 14 '10 at 21:28
add comment

While this is really more of a non-answer to your question (I'm not really fond of such philosophical generalities), I think part of what sets complex geometry apart is the lack of a Frobenius.

If one wants to make use of the Frobenius in studying complex geometry, it is still possible to do so by reducing to characteristic $p$. For instance, the simplest proof of the next result uses this method (the following discussion is a summary from the beautiful book "Higher-Dimensional Algebraic Geometry" by Debarre).

Theorem. If $X$ is a smooth Fano variety (i.e. $-K_X$ is ample) over $\mathbb{C}$, then through any point of $X$ there is a rational curve.

It is relatively easy to prove this result in characteristic $p$ by making use of the Frobenius. For an outline, first fix a point $x\in X$. If you can produce a map $f:C\to X$ from a pointed curve $(C,c)$ taking $c$ to $x$ in such a way that this map can be deformed while holding $f(c)=x$ constant, then by Mori's bend-and-break lemma it is possible to find a rational curve through $c$. Now we can estimate the dimension of the space of such deformations, and it follows that if $$-K_X \cdot f_\ast C - n g(C) \geq 1 \qquad (n=\dim X)$$ that we will be done.

Now the question becomes: how can we produce a curve $C$ (or rather a map $f$) such that this inequality holds? If you play around in complex geometry, you will find that standard constructions, such as taking branched covers of a given curve, won't get you anywhere: if you manage to increase the $(-K_X)$-degree $-K_X\cdot f_\ast C$, then this will lead to an increase in the genus $g(C)$ as well, and you won't have made any progress towards proving the inequality.

However, in characteristic $p$, it is possible to increase $-K_X\cdot f_\ast C$ while keeping the genus of $C$ fixed! If we start from any random map $f:C\to X$ with $f(c)=x$, we can precompose it as many times as we wish by the Frobenius $Frob:C\to C.$ This has the effect of multiplying $-K_X\cdot f_\ast C$ by $p$, while the genus $g(C)$ remains constant since the domain curve is the same (although different as a $k$-scheme). Then since $-K_X$ was ample, it follows that if we compose with the Frobenius enough times our inequality will be satisfied.

Proving that the characteristic $p$ case implies the characteristic $0$ case is a relatively formal argument; I'll refer the reader to Debarre to see it.

share|improve this answer
add comment

From a purely formal point of view, the analogues of "Frobenius symmetries" given by the action of $Gal(\mathbb{\overline{F}}_q/\mathbb{F}_q)$ on various cohomology spaces are "Hodge symmetries" given by the action of $Gal(\mathbb{C}/\mathbb{R})$, and more precisely, (mixed) Hodge structure on the cohomology of a (possibly singular) complex variety. This remark is contained in Gelfand and Manin's "Homological algebra" volume of the Russian (Yellow Springer) Mathematics Encyclopaedia written more than 20 years ago.

share|improve this answer
    
I think this is a good answer. It also ties in nicely with the idea of weights in cohomology, in the sense of Deligne. E.g. in l-adic cohomology, one can tell the difference between H^0 and H^2 of a curve over F_q by looking at the traces of Frobenius. (They are 1 resp. q) The corresponding statement over Q, say, is that H^0 and H^2 have different Hodge weights. –  Dan Petersen Jul 13 '10 at 13:27
    
This applies to all cohomological degrees due to Deligne's proof of the Riemann hypothesis over a finite field. The weight filtration is a part of Hodge structure, so purity of H.s. (geometric case) $\leftrightarrow$ Riemann hypothesis (arithmetic case), which is true for any complete nonsingular variety. –  Victor Protsak Jul 14 '10 at 3:18
add comment

An observation: the existence of the Frobenius automorphism in characteristic p was crucial to proving the Riemann Hypothesis in that case. The whole program of Alain Connes to prove RH in general is to come up with an appropriate definition of Frobenius in characteristic 0; then the characteristic p case provides a roadmap to follow. He now thinks he has such a definition - but it's way over my head to say what it is...

My point is that coming up with the correct definition is thought to be a significant step towards proving the Riemann Hypothesis - it's going to be hard!

share|improve this answer
    
I hope that you or someone here can explain some of Connes's ideas. –  Kevin H. Lin Jul 13 '10 at 16:19
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.