Intuitive pictures in characteristic p

Question

This is a tough one, but does anyone know of any images that recall characteristic p geometry (over algebraically closed fields) in some sense? It is not enough if it is some picture that can be also understood solely in characteristic 0.

A quick search through the literature has proved fruitless.

I have been thinking for a while of asking this question, but I never had a pressing need rather than my own curiosity. However, now I am trying to improve a poster by including pictures but the topic is algebraic geometry in characteristic p.

An example of such an image in Complex Geometry would be the arrangement of contracted and blow up curves in the standard Cremona transformation of the projective plane. The one in this poster is simple but effective.

I believe this question also might be of interest for people who try to explain research to non-mathematicians or simply to mathematicians who are not geometers.

Answer 1

I don't think you can draw something meaningful - I would be surprised if someone made a good drawing of the Frobenius morphism ;).

That being said, here is an example (possibly misleading or unrelated to your research) I saw in the slides of Benedict Gross's lectures on the arithmetic of hyperelliptic curves. Take a prime $p$, say $p=57$, and an equation of an hyperelliptic curve $y^2 = x^n + ax^{n-2} + \ldots$ with integer coefficients. Draw a $p\times p$ square and mark the solutions to the above equation mod $p$. The resulting picture exhibits the following:

• It is a mixture of chaos and geometry: there is a visible symmetry coming from the hyperelliptic involution $(x, y)\mapsto (x, -y)$.
• The solutions form a finite set, in particular, it makes combinatorial arguments possible. We can ask how many points are there and whether it gives us some "geometric" information. This is not obvious to someone from other fields, or a non-mathematician.

You can include drawings of the same curve over $\mathbb{R}$ and $\mathbb{C}$. I think the equation $y^2 = \ldots$ and the three pictures together explain pretty well what algebraic geometry is about without going into too much detail.

Answer 2

I heard the following analogy when talking to some specialists in absolute de Rham theory. I think Deninger's name was mentioned at about the same time.

One possible way to imagine a variety over $\mathbb{F}_p$ is as a manifold equipped with a distinguished vector field, which we call "Frobenius". The usual discrete Frobenius that admits integer powers is the unit time evolution of the flow. Orbits of points on the variety that are defined over finite fields correspond to closed integral curves of the flow, and we assume that such curves only have integral periodicity.

There are a few problems. If there are points defined over an imperfect field, you may have to consider flows that start somewhere, like a distinguished submanifold. Also, it is not clear to me how one connects such a picture to the set of solutions of a system of polynomial equations.

Edit: (response to Daniel Litt's comment) I must confess that I am not particularly familiar with the idea, so I can only fill in vague guesses. Also, I don't know why one would want to interpolate between different powers of Frobenius. The fundamental idea seems to be that if we examine the spectrum of a finite field using étale glasses rather than Zariski or Nisnevich glasses, it looks a lot like a circle, since the étale fundamental group is a completion of $\mathbb{Z}$. This suggests that if we were to propose some real geometric object as an analogue of a variety, $\mathbb{F}_q$-points should be distinguished circles, perhaps with some distinguished automorphism.

The picture of finite fields as circles also shows up in "arithmetic topology" speculation for similar reasons. Here, the spectra of number rings are viewed as 3-manifolds, and the finite points are distinguished embedded circles, for which some kind of linking number may be defined homologically. As far as I know, this is another analogy that seems to be waiting for a substantial application.

Answer 3

This is not nearly as nice an example as the others, but I always imagined the line in characteristic five geometry as a countable set of points that glow like blue Christmas tree lights vaguely in the shape of a narrow paraboloid, with 0 at the vertex, with 1, 2,3, and 4 at the next "height", with the quadratic "irrationals" next, etc. although the makes it seem like each field of order $p^n$ contains the field of order $p^{n-1}$. Like in Carnahan's answer, I imagine the Frobenius automorphism shuffling around everything in each fixed ring. Finally, I imagine the Zariski topology as a glowy light filling in the paraboloid representing the forces that each point exerts on all others; it's constant everywhere, as in the Zariski topology, there's no real sense of distance.

More complicated varieties I imagine as a double cone with glowy lights (two Christmas trees!) or as the paraboloid distortedt to have self-intersections in some of the lights. something like the galactic gravity simulation or spherical pendulum in this website