Let $f: X \to S$ be an arithmetic surface, where $S=\operatorname{Spec } O\_K$ for a number field $K$. It is well known that if we want to introduce a reasonable intersection theory on $X$ we have to deal with Arakelov geometry. In this question I want to stick to the usual theory of schemes, so no fibres at infinity are involved.


I'd like to know if there exist a unique pairing:


$$(,):\operatorname{Div} X\times\operatorname{Div} X\to \operatorname{Div} S$$


Satisfying the following properties:


1) it is bilinear and symmetric


2) It descends to the so called Deligne pairing:


$$\operatorname{Pic} X\times\operatorname{Pic} X\to \operatorname{Pic}S$$


3) If $D,E$ are two smooth divisors on $X$ meeting transversally, then:


$$(D,E)=\sum\_{x\in D\cap E} [k(x): k(f(x))] f(x)$$


My idea is that one can follow the classical proof of the existence of an intersection pairing for algenbraic surfaces (see Hartshorne chap. 5 for example) and just modify things for arithmetic surfaces. What do you think?


**Remark:** Keep in mind that I'm not asking about the existence of an intersection pairing, but just about this "cup product" at the level of divisors. For example, if we composed such a map with the degree of divisors on $S$, this wouldn't give an intersection pairing because the degree is not $0$ on principal divisors.



Pairing on arithmetic surfaces
As mentioned in the second comment, the "usual" construction requires that the target is the divisor class group, rather than the group of divisors. In the geometric case, this is clear: how do you define the pairing of $D$ and $E$ in the nontransverse case, i.e., when $E$ equals $D$? As a divisor class, there are several ways to defining the pairing of $D$ with itself, e.g., form the pushforward to $S$ of the divisor class of the restriction to $D$ of the invertible sheaf $\mathcal{O}(D)$ of $D$. If $D$ surjects to $S$, I see no way to naturally choose a divisor in this divisor class. You can "arbitrarily" choose a divisor in that class, but then the construction is unlikely to be multilinear.


