Related papers: Arithmetic Central Extensions and Reciprocity Laws…
The Grothendieck and Artin-Mumford exact sequences for the Brauer group of a function field in 1 or 2 variables are applied to derive reciprocity laws for $q$th power residues.
We review the following subjects: 1. Basic theory on algebraic curves and their moduli space, 2. Schottky uniformization theory of Riemann surfaces, and its extension called arithmetic uniformization theory, 3. Application to these theories…
This paper studies the function field of an algebraic curve over an arbitrary perfect field by using the Weil reciprocity law and topologies on the adele ring. A topological subgroup of the idele class group is introduced and it is shown…
We obtain a new motivated proof of the reciprocity law for Dedekind sums by computing the constant coefficient of the Ehrhart polynomial for a rectangular triangle in two ways. On the one hand, the constant term is the Euler characteristic,…
For an arithmetic surface $X\to B=\operatorname{Spec} O_K$ the Deligne pairing $\left <\,,\,\right > \colon \operatorname{Pic}(X) \times \operatorname{Pic}(X) \to \operatorname{Pic}(B)$ gives the "schematic contribution" to the Arakelov…
The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as…
Dedekind sums are arithmetic sums that were first introduced by Dedekind in the context of elliptic functions and modular forms, and later recognized to be surprisingly ubiquitous. Among the variations and generalizations introduced since,…
The subject of this paper is the problem of arrangement of real algebraic curves on real algebraic surfaces. In this paper we extend Rokhlin, Kharlamov-Gudkov-Krakhnov and Kharlamov-Marin congruences for curves on surfaces and give some…
We prove a conjecture of A. Goncharov concerning strong Suslin reciprocity law. The main idea of the proof is the construction of the norm map on so-called lifted reciprocity maps. This construction is similar to the construction of the…
We reinterpret Kim's non-abelian reciprocity maps for algebraic varieties as obstruction towers of mapping spaces of etale homotopy types, removing technical hypotheses such as global basepoints and cohomological constraints. We then extend…
We explicitly calculate an arithmetic adelic quotient group for a locally free sheaf on an arithmetic surface when the fiber over the infinite point of the base is taken into account. The calculations are presented via a short exact…
In this paper, we establish the Zariski decompositions of arithmetic R-divisors of continuous type on arithmetic surfaces and investigate several properties. We also develop the general theory of arithmetic R-divisors on arithmetic…
In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the…
We study arithmetic distribution relations and the inverse function theorem in algebraic and arithmetic geometry, with an emphasis on versions that can be applied uniformly across families of varieties and maps. In particular, we prove two…
In Arakelov theory a completion of an arithmetic surface is achieved by enlarging the group of divisors by formal linear combinations of the ``closed fibers at infinity''. Manin described the dual graph of any such closed fiber in terms of…
We prove that the the kernel of the reciprocity map for a product of curves over a $p$-adic field with split semi-stable reduction is divisible. We also consider the $K_1$ of a product of curves over a number field.
We generalize the $p$-adic explicit reciprocity laws for balanced diagonal classes by Darmon--Rotger and Bertolini--Seveso--Venerucci to the case of geometric balanced triples $(f,g,h)$ of modular eigenforms where $f$ is a $p$-ordinary…
A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…
We present a method to construct new tilting complexes from existing ones using tensor products, generalizing a result of Rickard. The endomorphism rings of these complexes are generalized matrix rings that are "componentwise" tensor…
We prove a combinatorial reciprocity theorem for the enumeration of non-intersecting paths in a linearly growing sequence of acyclic planar networks. We explain two applications of this theorem: reciprocity for fans of bounded Dyck paths,…