Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 18850

Diophantine equations, rational points, abelian varieties, Arakelov theory, Iwasawa theory.

1 vote

"Adelic" Arakelov Geometry

This may be more suitable as a long comment. I remember someone asking Soulé current open problems in Arakelov theory during a walk at the summer school (2017) in Grenoble. The adelic intersection the …
Bombyx mori's user avatar
  • 6,249
8 votes

Why are Green functions involved in intersection theory?

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| …
Bombyx mori's user avatar
  • 6,249
2 votes

On explicit examples of the Parshin Construction

If I am not mistaken, you can find such an example in the following lecture notes by Akshay: http://virtualmath1.stanford.edu/~conrad/mordellsem/Notes/L01.pdf (to be precise, see the bottom part of pa …
Bombyx mori's user avatar
  • 6,249
11 votes
Accepted

Is there any definition of $H^1$ in one dimensional Arakelov geometry

There is a definition of $h^{1}(\overline{D})$ by many people, and a definition of $H^{1}(\overline{D})$ by Alexrander Borisov using the notion of ghost spaces of the second kind. But neither is the s …
Bombyx mori's user avatar
  • 6,249
25 votes
2 answers
1k views

Why it is difficult to define cohomology groups in Arakelov theory?

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 hermiti …
Bombyx mori's user avatar
  • 6,249
1 vote
Accepted

Fiber at infinity of an arithmetic surface $X$ as an element of $\widehat{\operatorname{Div}...

Here is another low brow way to look at it by tracing Arakelov's ideas in his paper. Let $X$ be a curve over $K$, where $K$ is a number field. Let $\infty$ denoting the archimedean valuations of $K$ …
Bombyx mori's user avatar
  • 6,249
2 votes

Why Green functions and not Neron functions?

A very short answer I learned from summer school - because they want to construct local-global correspondence. A Neron function correspond exactly to the local part and Riemann-Roch is a local-global …
1 vote
Accepted

Dualizing sheaf and determinant of cohomology

Recall that Serre duality says that $H^{0}(X,F)\cong H^{1}(X, K\otimes F^{*})^{*}$. So the determinant of cohomology just follows from this. However we do need slightly more machinery than Serre duali …
3 votes

On determinants of Laplacians on Riemann surfaces

I do not know if this is really the end of the story. You may be interested in the following paper by Jay Jorgenson. Basically he extended the work by Ray-Singer by fixing all unknown invariants, bu …
Bombyx mori's user avatar
  • 6,249
1 vote

Why do Chern forms show up in Arakelov geometry?

I apologize for answering late. I think the 1D case has been discussed multiple times in the forum already. The high dimensional case you suggested was first defined by Bost. See page 63 in below: Thé …
Bombyx mori's user avatar
  • 6,249
3 votes

Meaning of the determinant of cohomology

Let us consider the arithemetic surface case, which is already very difficult (see the recent work by Gerald Montplet, for example). In this case Faltings-Riemann-Roch established that $$ \chi(O_{X}(D …
Bombyx mori's user avatar
  • 6,249