# Questions tagged [arakelov-theory]

The arakelov-theory tag has no usage guidance.

The arakelov-theory tag has no usage guidance.

47
questions

5
votes

0
answers

220
views

Let $X$ be a regular, projective flat scheme over $\Bbb{Z}$, let $\bar{L}$ be a hermitian line bundle on $X$. In order to define the height of an integral closed subset $Y$ we define it on closed ...

3
votes

1
answer

257
views

The Manin-Mumford conjecture states that for an abelian variety A over a field F of characteristic 0 the torsion points are dense in an integral closed subvariety Z if and only if it is an abelian ...

2
votes

0
answers

146
views

Let $K$ be number field and $\mathcal{O}_K$ its ring of integers. In Arakelov theory the idea is to enrich an arithmetic scheme $X$ over $\mathcal{O}_K$ "at infinity", that is to add data at ...

1
vote

1
answer

119
views

Let $\overline L= (L, h)$ be a hermitian $C^
\infty$ line bundle on an arithmetic variety $X\to\operatorname{Spec }\mathbb Z$ (I am reasoning in terms of higher Arakelov geometry, like in Gillet & ...

7
votes

1
answer

449
views

Let $X$ be a projective veriety over a number field. After fixing an embedding into $\mathbb P^n$ (i.e. a very ample line bundle $L$), one can define the Weil height $\hat h_{L}$ by restriction of the ...

4
votes

0
answers

228
views

Over a function field of a curve $K = k(C)$, there is the Weil uniformization
$$\mathrm{Bun}_{GL_n}(C) = GL_n(K) \backslash GL_n(\mathbb{A}_K) / GL_n(\mathcal{O}_K).$$
This equality is (for example)...

4
votes

0
answers

177
views

I read Faltings’s works and Soule’s works on ARR and found that both of them proved this for proper maps which are smooth over Q. But GRR holds for arbitrary proper maps between smooth varieties, so I ...

31
votes

2
answers

1k
views

Durov's thesis on algebraic geometry over generalized rings looks extremely intriguing: it promises to unify scheme based and Arakelov geometry, even in singular cases, as well as including geometry ...

5
votes

1
answer

335
views

While reviewing Lang's book on Arakelov theory, I saw the following comment by Paul Vojta:
"...Deligne has found an example when $\deg \pi_{*}\Omega_{X/Y}$ can be negative, because Green's functions ...

8
votes

0
answers

280
views

Motivation/Context: In Faltings’ proof of the Mordell conjecture, there is a theorem that establishes a finiteness of abelian varieties with respect to the Faltings height under certain conditions. ...

113
votes

1
answer

9k
views

I heard that Professor Suren Arakelov got mental disorder and ceased research. However, a brief search on the Russian wikipedia page showed he was placed in a psychiatric hospital because of political ...

2
votes

0
answers

92
views

It is well known that the Quillen metric is defined on the determinant line bundle of a Riemann surface. I am wondering if there is any non-archimedean analog of this.
I remember this is one of the ...

3
votes

1
answer

602
views

I want to ask if a construction of discrete Gaussian free field has been done for a closed Riemannian manifold. Most of the literature I surveyed either need extra boundary condition and consider ...

6
votes

0
answers

221
views

Is there any example in the literature where someone has considered the problem of bounding the variation of Faltings height at a place of bad reduction? Specifically, if $A_i$ for $i\in \{1,2\}$ are ...

4
votes

1
answer

445
views

Let $\pi:X\to S=\operatorname{Spec } O_K$ be an arithmetic surface in the sense of Arakelov geometry. Here $K$ is a number field $\pi$ is a flat map and $X$ is a projective surface. For any coherent ...

2
votes

1
answer

573
views

Let $\Delta_{hyp}=\Delta_{hyp,1}=-y^2(\partial_x^2+\partial_y^2)$ be the hyperbolic Laplacian acting on functions of $\mathfrak{h}$ (the Poincare upper half-plane) and consider its resolvent
$$
R(s)=(...

7
votes

1
answer

420
views

Arakelov constructed a nice intersection theory on arithmetic surfaces. A key point is the notion of Green function for a Riemann surface, which will be involved in the ''part at infinity'' of the ...

5
votes

1
answer

410
views

Consider a number field $K$ with ring of integers $O_K$. On the affine scheme $\overline X=\operatorname{Spec}(O_K)$ we have the well known one dimensional Arakelov geometry.
Let $\overline D=\sum_{\...

14
votes

2
answers

2k
views

The Arakelov intersection number on arithmetic surfaces is defined as an "extension" of the classical intersection number on algebraic surfaces. It was introduced to get a nice intersection theory ...

24
votes

2
answers

1k
views

I have been puzzled by the following Faltings' remark in his paper Calculus on arithemetic surfaces (page 394) for a few months. He says:
If $D$ is a divisor on $X$, we would like to define a ...

8
votes

0
answers

539
views

Lately I have been studying these two papers (first and second) that introduce a new cohomology theory called Arakelov motivic cohomology. While most of the applications presented in the papers are ...

10
votes

1
answer

396
views

For algebraic curves over a nice enough field $k$, we have a notion of what it means to be hyperbolic: If $\overline{C}$ is a smooth projective curve of genus $g$ and $P_1,\dots,P_n$ are closed points,...

40
votes

4
answers

3k
views

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 $\...

6
votes

1
answer

225
views

Let $K$ be a number field, then the Arakelov geometry of $\operatorname{Spec }O_K$ can be interpreted by means of the adelic ring $\mathbb A_K$. In particular, a key ingredient is the product formula ...

27
votes

1
answer

1k
views

This is my first question on this wonderful site. The following question about Arakelov geometry is gonna be quite long and wide; to be clear one of that kind of questions that are usually ignored. ...

5
votes

2
answers

506
views

Let $K$ be a number field with ring of integers $O_K$. Moreover consider an Arakelov divisor $\widehat{D}\in\overline{\operatorname{Div }(\operatorname {Spec }O_K)}$, namely
$$D=\sum_{\mathfrak p\;\...

8
votes

2
answers

389
views

Let $F$ be a number field such that $[F:\mathbb{Q}]=n$ and with ring of integers $O_F$. Let's put $B=\operatorname{Spec } O_F$, then an Arakelov divisor is an element of:
$$Div(X)\times \bigoplus_\...

21
votes

1
answer

757
views

On chapter III.4 ("Metrized $\mathcal{o}$-modules") of this book on algebraic number theory, Neukirch credits his treatment of the theory of finitely generated $\mathcal{o}$-modules to the course "...

11
votes

1
answer

3k
views

In his latest 115-page overview, Mochizuki spends some time explaining "alien copies" by the analogue of evaluating the Gaussian integral by squaring it and introducing a second variable/dimension. In ...

3
votes

1
answer

595
views

I'm learning Arakelov theory on arithmetic surfaces and I have the following general question.
Let $K$ be a number field and consider its ring of integers $O_K$. Moreover let $S:=\operatorname{Spec} ...

5
votes

1
answer

367
views

Introduction:
Let $M$ be a Riemann surface, then a Green function on $M$ is an element $g\in C^\infty(V)$ where $V=M\setminus\{x_1,\ldots,x_r\}$ and around each point $p\in M$ we have:
$$g=a\log\...

10
votes

1
answer

460
views

If $X$ is a scheme over, let's say, $\mathbb{Z}_p$, one can consider its special fiber obtained by reduction modulo $p$ ans it certainly makes sense to ask if this special fiber is smooth or not.
...

5
votes

0
answers

471
views

I have some questions in Arithmetic Arakelov geometry
Let $\mathcal X\to Spec(\mathcal O_K)=C$ be an arithmetric projective variety over $C$ , where $\mathcal O_K$, ring of number filed $K$ and $\...

12
votes

0
answers

1k
views

I have been asked to write a mathscinet review for Atsushi Moriwaki's Arakelov Geometry
book:
http://www.ams.org/bookstore-getitem/item=mmono-244
I could do the review the standard way in a day or ...

42
votes

2
answers

2k
views

The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...

3
votes

1
answer

262
views

For a compact Riemann surface $B$ of genus $\geq 2$, it is a consequence of the Narasimhan-Seshadri theorem that there exist rank-$2$ vector bundles $E \to B$ of degree zero, all of whose symmetric ...

12
votes

1
answer

867
views

When S is a subset of an inner product space, let d(S) denote ${\sum\limits_{s \in S} e^{- \langle s,s \rangle}}$
Suppose L is a discrete additive subgroup of $\mathbb{R^n}$, M is a subgroup of L, ...

9
votes

1
answer

1k
views

Hi!
I have a fairly good background in Algebraic Geometry (say at the level of Hartshorne's book and some Intersection Theory from Fulton) and since I think working over $\text{Spec } \mathbb{Z}$ is ...

8
votes

0
answers

488
views

Added. (28/2) To put it less pompously (and more vaguely, less concretely), I wanted to relate the impression that it is the general rule that an Arakelov (i.e., geometric) height on an arithmetical ...

8
votes

1
answer

2k
views

I'm looking for a reference that gives an overview of the most important properties of Arakelov intersection theory (on arithmetic varieties of arbitrary dimension) and that describes basic properties ...

11
votes

1
answer

1k
views

Let $Y$ be a smooth projective connected curve of genus $g>0$ over $\overline{\mathbf{Q}}$. Let $h_{\textrm{Fal}}(Y)$ be the Faltings height of $Y$.
Question 1. Can one classify or describe the ...

40
votes

2
answers

7k
views

I tried reading about Arakelov theory before, but I could never get very far. It seems that this theory draws its motivation from geometric ideas that I'm not very familiar with.
What should I read ...

41
votes

0
answers

2k
views

This question is about a remark made by van der Geer and Schoof in their beautiful article "Effectivity of Arakelov divisors and the theta divisor of a number field" (from '98) (link).
Let ...

12
votes

0
answers

860
views

Let $K$ be a number field, $L$ a finite abelian extension and $\chi \in \widehat{Gal(L/K)}$ a (non-trivial) character. If we multiply out the associated Artin L-function $L(\chi,s)$ we can write this ...

9
votes

1
answer

501
views

It is known that if $X$ is a curve over a number field $F$ equipped with a flat regular model over $O_F$ the integer ring, one can define, using a suitable ample line bundle with an Hermitian metric, ...

10
votes

1
answer

3k
views

It is apparent that the abc conjecture is deeply related to Arakelov theory. In one direction, it is shown in S. Lang, "Introduction to Arakelov Theory", that a certain height inequality in Arakelov ...

7
votes

1
answer

695
views

Let $X$ be a regular scheme which is flat over $\mathbf{Z}$. The arithmetic Grothendieck group $\hat{K}(X)$ is defined to be the quotient of $\hat{G}(X)$ by $\hat{G}^\prime(X)$. This is actually quite ...