36
$\begingroup$

I've been learning Arakelov geometry on surfaces for a while. Formally I've understood how things work, but I'm still missing a big picture.


Summary:

Let $X$ be an arithmetic surface over $\operatorname{Spec } O_K$ where $K$ is a number field (we put on $X$ the good properties: regular, projective,...). Moreover suppose that $\{X_\sigma\}$ are the "archimedean fibers" of $X$, where each $\sigma$ is a field embedding $\sigma:K\to\mathbb C$ (up to conjugation). Each $X_\sigma$ is a smooth Riemann surface. We accomplished to "compactify" our arithmetic surface $X$, so now we want a reasonable intersection theory.

An Arakelov divisor $\widehat D$ is a formal sum $$\widehat D=D+\sum_\sigma g_\sigma\sigma$$ where $D$ is a usual divisor of $X$ and $g_\sigma$ is a Green function on $X_\sigma$.


Question:

Why on the archimedian fibers $X_\sigma$ do we need Green functions? A Green function on a Riemann surface is simply a function $g:X_\sigma\to\mathbb R$ which is $C^\infty$ on all but finitely points and at the "non-smooth" points is locally represented by $$a\log|z|^2+\text{smooth function}$$ in other words a Green function is a decent real valued smooth function which "explodes at infinity" in a finite set of points. Simply I don't understand why in order to define a reasonable intersection theory we need an object with such properties. The key point should be that Green functions satisfy a Poincare-Lelong formula which can be expressed in terms of currents as: $$dd^c[g]=[\operatorname{div}^G(g)]+[dd^c(g)]$$ but still I don't get the meaning of this formula.

Somewhere I've read something like:

Green function are useful in order to "measure distances" on a Riemann surface. (This is not a quote, but simply what I remember).

I really don't have any idea on the meaning of this sentence.

Addendum:

Moreover if one wants to calculate the intersection between two Arakelov divisors, at the archimedian places one has to take the $\ast$-product between Green functions. I don't understand the geometry of this product, probably because I don't understand well the geometry behind distribution and currents on Riemann surfaces.

$\endgroup$
22
$\begingroup$

The Green's function is used not to measure distances in the surface but to measure distances in the line bundle. A Green's function on $X_{\mathbb C}$ that blows up at $D$ can be used to measure sections of $\mathcal O(D)$. Indeed, if we represent a section of $\mathcal O(D)$ as a holomorphic function $f$ on $X_{\mathbb C}$ with poles at the points of $D$, and $g$ is a Green's function on $X_{\mathbb C}$ with poles at $D$, then $|f(x)|^2 e^{- |g(x)|}$ is a smooth nonnegative function that vanishes only where $f$ vanishes as a section of $\mathcal O(D)$ - i.e. where it lies in the image of the natural map $\mathcal O(D-P) \to \mathcal O(D)$. In fact it is easy to see that this is a Hermitian form on the space of sections. So the Green's function gives a metric on the line bundle.

We need a metric at $\infty$ in an Arakelov line bundle because we already have a metric (in the form of a $p$-adic valuation) at every other place - any section of $\mathcal O(D)$ on $X_{\mathbb Q_p}$ has a well-defined $p$-adic valuation at each point of $x\in X_{\mathbb Q_p}$, where a local generator of the line bundle at the reduction mod $p$ $\overline{x}\in X_{\mathbb F_p}$ is given absolute value $0$ - because such a generator is also a generator of the fiber of $\mathcal O(D)$ at $x$, this determines the valuation on every section.

$\endgroup$
  • $\begingroup$ Thank you for your answer. I'll work on it and I'll also wait to see if anyone else wants to add something. If this is not the case, eventually I'll be happy to accept this one $\endgroup$ – Dubious Nov 30 '16 at 0:47
13
$\begingroup$

It is a good idea to restrict first to understand the case of arithmetic surfaces, which is much easier than the general case. For example, you do not have to care about Green currents (only Green functions) or the *-product. Also, there is Lang's very readable book "Introduction to Arakelov Theory" treating this case.

Next, let me clarify some things. An Arakelov divisor on an arithmetic surface $X$ is a formal sum $$D=D_{\mathrm{fin}}+\sum_{\sigma}r_\sigma F_\sigma,$$ where $D_{\mathrm{fin}}$ is a classical Weil divisor on $X$, $F_\sigma$ is just a symbol standing for "a fibre at infinity" and the $r_\sigma$'s are real numbers and not Green functions.

The Arakelov-Green function associated to a Riemann surface $X_\sigma$ is indeed a function measuring the distance of two points on $X_\sigma$. To see this, let me recall its definition: $G_\sigma\colon X_\sigma\times X_\sigma\to \mathbb{R}_{\ge 0}$ is the unique function satisfying:

(i) $G_\sigma^2$ is $C^{\infty}$.

(ii) $G_\sigma(P,Q)$ is non-zero for $P\neq Q$. For fixed $Q_0\in X_\sigma$ the function $G_\sigma(P,Q_0)$ has a simple zero in $P=Q_0$.

(iii) If $P\neq Q$, its curvature is given by $\partial_P\overline{\partial_P}\log G_{\sigma}(P,Q)=\pi i \mu_\sigma(P)$.

(iv) It is normalized by $\int_{X_\sigma}\log G_\sigma(P,Q)\mu_\sigma(P)$.

Here, $\mu_\sigma$ is the canonical 1-1 form on $X_{\sigma}$ defined by $\mu_\sigma=\frac{i}{2g}\sum_{j=1}^g \omega_j\wedge\overline{\omega_j}$, where the $\omega_j$'s form an ON-basis of $H^0(X_{\sigma},\Omega_{X_{\sigma}}^1)$ with respect to the inner product $\langle \omega,\omega'\rangle=\frac{i}{2}\int_{X_\sigma}\omega\wedge\overline{\omega'}$. The property (ii) shows, that $G_\sigma(P,Q)$ measures the distance of $P$ and $Q$ on $X_\sigma$.

It remains to say, what is the connection of Arakelov divisors and the Arakelov-Green function. Instead of Arakelov divisors one can consider admissible metrized line bundles. A metrized line bundle is admissible if $\partial \overline{\partial}\log\|s\|_{\sigma}$ is a multiple of $\mu_{\sigma}$ for a non-vanishing local section $s$ of this line bundle. It turns out, that the notions of admissible metrized line bundles up to isomorphisms and Arakelov divisors up to principal Arakelov divisors are canonically equivalent.

To see this, we equip the line bundle $\mathcal{O}_{X_\sigma}(P)$ for a section $P\colon \mathrm{Spec}~\mathcal{O}_K\to X$ with the canonical metric given by $\|1_P\|_{\sigma}(Q)=G_\sigma(P,Q)$, where $1_P\in H^0(X_\sigma,\mathcal{O}_{X_\sigma}(P))$ is the canonical constant section. Further, for any vertical divisor $D$ of $X\to\mathrm{Spec}~\mathcal{O}_K$ we equip $\mathcal{O}_{X_\sigma}(D)$ with the trivial metric. By lineartiy, we obtain a canonical metric for any line bundle associated to a Weil divisor. If $D=D_{\mathrm{fin}}+\sum_{\sigma}r_\sigma F_\sigma$ is a Arakelov divisor, we denote by $\mathcal{O}_{X_\sigma}(D)$ the line bundle $\mathcal{O}_{X_\sigma}(D_{\mathrm{fin}})$ with the canonical metric multiplied by $e^{-r_\sigma}$.

Finally, the Arakelov intersection number is given by the weighted sum of the local intersection numbers at the several places of $K$, where the intersection numbers at the archimedean places are given by the Arakelov-Green function. Precisely, it holds $$(P,Q)=\sum_{v\in |\mathrm{Spec}~\mathcal{O}_K|} (P,Q)_v\log N(v) -\sum_{\sigma} \log G_{\sigma}(P,Q),$$ where $(P,Q)_v$ denotes the intersection number of the sections $P$ and $Q$ at the special fibre $X_v$.

This gives the intersection product for any two different sections of $X\to \mathrm{Spec}~\mathcal{O}_K$ and hence, by linearity, for any two horizontal divisors having disjoint support on the generic fibre. Any Arakelov divisor can be represented as the sum of a horizontal and a vertical Divisor, where vertical divisors are linear combinations of the components of the special fibres and the $F_\sigma$'s. The intersection with a vertical Divisor is easier to define and more or less what one would expect:

(a) $(D,E)=\sum_{v\in |\mathrm{Spec}~\mathcal{O}_K|} (D,E_\mathrm{fin})_v\log N(v)$ if $D$ is the linear combination of components of the special fibres and $E$ any Arakelov divisor.

(b) $(F_\sigma,E)=\deg_K E_\mathrm{fin}$, where $E$ is any Arakelov divisor and $\deg_K E_\mathrm{fin}$ is the degree of the restriction of $E_\mathrm{fin}$ to the generic fibre.

$\endgroup$
  • $\begingroup$ This is a very detailed nice answer! $\endgroup$ – Bombyx mori Mar 18 '17 at 12:28
  • 2
    $\begingroup$ One small sublety here: I think you should mention the important notion of horizontal and vertical divisors here. The situation in Arakelov theory is quite subtle as we have finite and infinitity part, and the intersection of infinity part onto itself is $0$. I feel this may be a confusion point to a beginner. $\endgroup$ – Bombyx mori Mar 18 '17 at 12:32
  • $\begingroup$ @Robert , Just as comment that $\langle \omega,\omega'\rangle=\frac{i}{2}\int_{X_\sigma}\omega\wedge\overline{\omega'}$ in your answer is correspond to hermitian metric of Weil-Petersson form on moduli of fibers $\endgroup$ – user21574 May 21 '17 at 5:42
7
$\begingroup$

Here is a rather low-brow way of tracing through Arakelov's original ideas.

Recall that the intersection of two ordinary divisors $D,E$ can be written as $$ (D.E)_{v}=\sum^{r}_{i=1}-\log \lVert (f|E) \rVert_{p_{i}} $$ when $E$ is a horizontal irreducible divisor and $D$ is represented by $f$ on an open set $U$ containing the points in $\textrm{supp}(D)\cup \textrm{supp}(E)$ lying over $v$. (See Lang, page 73)

Arakelov's first original idea is that we can describe the intersection of two irreducible horizontal divisors at the archimeadean places by mimicing this construction. His starting point is that being irreducible horizontal divisors, $D, E$ are closure of points $P_1, P_2$ in the generic fiber of $X$. Then $P_1, P_2$ has residue fields $L_1, L_2$ with embeddings $\infty^{1}_{\alpha}, \infty^{2}_{\beta}$ that extends that archimeadean valuation $\sigma: K\rightarrow \mathbb{C}$. Further the number of distinct extensions corresponds to degree of $D,E$ over the generic fiber, and the image of $P_{i}$ under $\infty^{i}_{\alpha/\beta}$ corresponds to conjugate points in the Riemann surface $X_{\sigma}$ where $\infty^{i}_{\alpha/\beta}$ extends $\sigma$.

Arakelov's second insight is that because $P_1, P_2$ determines $D, E$ completely, the intersection of $D,E$ can be defined by defining the intersection of $P_{1}, P_{2}$. And this can be defined by defining the intersection of their images. Thus he came to the definition $$ (D, E)_{\infty}=\sum_{\alpha, \beta}(P_{\infty^1_{\alpha}}\cdot P_{\infty^2_\beta}) \label{VI} $$

By extending the first original idea, the natural thought is to look for functions that serves the local equation for point $P,Q$ respectively. And the function should have first order of vanishing on $P$ (or $Q$). Then the intersection index can be defined via $$ (P,Q)=-\log \phi_{P}(Q) $$ But this still does not fix the choice of functions available. The natural restriction is that $(P,Q)$ should be equal to $(Q,P)$. It is proposed by A. Parshin that one should look for functions which satisfies the Poisson equation $$ \frac{1}{2\pi}\Delta \log \phi_{P}dxdy=-d\mu $$ because then the difference of two functions, being harmonic, is a constant on $X_{\sigma}$. It is not too difficult to show that Green functions do have symmetric property if and only if we normalize their integral to be $0$ (See Lang, Chapter 2).

Therefore from this number-theory perspective we could have a lot of other choices as long as $(P,Q)=(Q,P)$, $\phi_P \ge 0$ and has a simple zero at $P$. The benefit of Green's functions is that it provides a fixed choice, but we may make other choices that suits our needs. If I am not confused, in laters works the admissibility condition is abandoned without much harm to the theory, for example. So there may be some room to explore in this area if you like!

$\endgroup$
  • $\begingroup$ Beautiful answer! Can you give some references about the Arakelov intersection pairing without the admissibility condition? It seems a very interesting topic. $\endgroup$ – Dubious May 20 '17 at 8:50
  • $\begingroup$ @Dubious: I think nowadays they are abundant in literature. Some search on arxiv should give you plenty of results. $\endgroup$ – Bombyx mori May 20 '17 at 17:17
  • $\begingroup$ @Dubious: By the way, are you going to the summer school in Grenoble? I am not sure how many people will be there. I feel very excited. $\endgroup$ – Bombyx mori May 20 '17 at 17:21
  • $\begingroup$ unfortunately I can't, because I have other things to do. By the way I'd be very happy to talk with you about Arakelov geometry in the future. $\endgroup$ – Dubious May 20 '17 at 18:11
  • 1
    $\begingroup$ @Dubious: Here is a more precise reference I discovered while reading Bost. I think the first serious use of non-admissible Green functions (or currents) is due to Deligine, and then it has been used by Bost as well as many others. The first reference I know is "Le déterminant de la cohomologie". But this is a very long text, so not sure if it will be useful. $\endgroup$ – Bombyx mori May 29 '17 at 7:40
3
$\begingroup$

Just as comment to previous answers: Concrete example for Green function for $X=\mathbb P^d_\mathbb Z= \text{Proj}\mathbb Z[x_0,...,x_d]$ to undrestand the meaning of "measure distances"

For an integer $p\geq 0$ let $Z^p(\mathcal X)$ be the group of cycles $Z$ in $\mathcal X$ of codimension $p$. Any cycle $Z =\sum n_iZ_i$, where $n_i \in \mathbb Z$, is a formal sum of irreducible cycles $Z_i$, i.e. irreducible closed subschemes of $\mathcal X$. An irreducible cycle $Z \in Z^p(\mathcal X)$ defines a real current $\delta_{Z(\mathbb C)}\in D^{(p,p)}(\mathcal X)$ by integration along the smooth part of $Z(\mathbb C)$. More explicitly, the current $Z(\mathbb C)$ is defined by

$$\delta_{Z(\mathbb C)}(\omega)=\int_{Z(\mathbb C)_{reg}}\vartheta^*(\omega)$$ where $\vartheta:Z(\mathbb C)_{reg}\to Z(\mathbb C)$ is a desingularization of $Z(\mathbb C)$ along the set of singular points of $Z(\mathbb C)$. Such desingularization exists due to theorem of Hironaka.

Now we define Green current.

Suppose $Z\in Z^p(\mathcal X)$. A Green's current for $Z$ is a current $g_Z \in D^{(p-1,p-1)}(\mathcal X)$ such that

$$dd^cg_Z+\delta_{Z(\mathbb C)}=[\omega_{g_Z}]$$ for a smooth form $\omega_{g_Z}\in A^{(p,p)}(\mathcal X)$.

Note that for any cycle $Z$ there exists a Green's current for $Z$. Consider the arithmetic variety $X=\mathbb P^d_\mathbb Z= \text{Proj}\mathbb Z[x_0,...,x_d]$ and the cycle

$$Z=\{<a^{(0)},x>=...=<a^{(p-1)},x>=0\}$$ of codimension p,where for $0<i\leq p-1$ and $x=(x_0,..,x_d)$ we set $<a^{(i)},x>=a_0^{(i)}x_0+...+a_d^{(i)}x_d\in \mathbb Z[x_0,...,x_d]$.The Levine form $g_Z$ associated to $Z$ is defined by

$$g_Z(x)=-\log \left(\frac{\sum_{i=0}^{p-1}|<a^{(i)},x>|^2}{\sum_{i=0}^{d}|x_i|^2}\right).\left(\sum_{j=0}^{p-1}\left(dd^c\log\left(\sum_{i=0}^{p-1}|<a^{(i)},x>|^2\right)\right)^j\wedge \omega_{FS}^{p-1-j}\right)$$ where $\omega_{FS}=dd^c\left(|x_0|^2+...+|x_d|^2\right)$ is the Fubini-Study form on $\mathbb P^d_\mathbb C$. The Levine form $g_Z$ associated to $Z$ satises $dd^cg_Z+\delta_{Z(\mathbb C)}=[\omega_{FS}]$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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