Related papers: The Gras conjecture in function fields by Euler sy…

For an abelian extension of number fields we show that the Stark conjecture for all Artin L-functions with zero of order r is equivalent to existence of a special element in the rational span of the r-th exterior power of the Galois module…

We propose a conjecture refining the Stark conjecture St(K/k,S) (Tate's formulation) in the function field case. Of course St(K/k,S) in this case is a theorem due to Deligne and independently to Hayes. The novel feature of our conjecture is…

As a natural generalization of the Euler-Mascheroni constant $\gamma$, Y. Ihara introduced the Euler-Kronecker constant $\gamma_K$ attached to any number field $K$. In this paper, we prove that a certain bound on $\gamma_K$ in a tower of…

We show that the module of Stark units associated to a sign-normalized rank one Drinfeld module can be obtained from Anderson's equivariant $A$-harmonic series. We apply this to obtain a class formula \`a la Taelman and to prove a several…

We revamp the existing theory of Euler class groups and present them in as much generality as possible. We remark on two results of Asok-Fasel and indicate some improvements.

The main aim is to give a rigorous statement and proof of the slogan "the d-fold tensor product of distributions is an Euler system for GL_d". Of the few known examples of Euler systems, we look at those of cyclotomic units and of…

We investigate Eisenstein congruences between the so-called Euler systems of Garrett--Rankin--Selberg type. This includes the cohomology classes of Beilinson--Kato, Beilinson--Flach and diagonal cycles. The proofs crucially rely on…

Given a weight two modular form f with associated p-adic Galois representation V_f, for certain quadratic imaginary fields K one can construct canonical classes in the Galois cohomology of V_f by taking the Kummer images of Heegner points…

After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inference rules with the usual meaning, a generalized inference…

We introduce the universal unitarily graded A-algebra for a commutative ring A and an arbitrary abelian extension U of the group of units of A, and use this concept to give simplified proofs of the main theorems of co-Galois theory in the…

We define a family {$\gamma(P)$} of generalized Euler constants indexed by finite sets of primes $P$ and study their distribution. These arise from partial sums of reciprocals of integers not divisible by any prime in $P$. An apparent…

We construct an anticyclotomic Euler system for the Rankin-Selberg convolution of two modular forms, using $p$-adic families of generalized Gross-Kudla-Schoen diagonal cycles. As applications of this construction, we prove new cases of the…

The use of Cauchy's method to prove Euler's well-known formula is an object of many controversies. The purpose of this paper is to prove that Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces such as…

We construct an Euler system -- a compatible family of global cohomology classes -- for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps…

We verify the Invariance Conjectures of tautological equations in genus two. In particular, a uniform derivation of all known genus two equations is given.

Let $K$ be a local function field of characteristic $l$, $\mathbb{F}$ be a finite field over $\mathbb{F}_p$ where $l \ne p$, and $\overline{\rho}: G_K \rightarrow \text{GL}_n (\mathbb{F})$ be a continuous representation. We apply the…

In this article we give an adelic proof of the Chevalley-Gras formula for global fields, which itself is a generalization of the ambiguous class number formula. The idea is to reduce the formula to the Hasse norm theorem, the local and…

The thermal Euclidean Green functions for Photons propagating in the Rindler wedge are computed employing an Euclidean approach within any covariant Feynman-like gauge. This is done by generalizing a formula which holds in the Minkowskian…

We define the notion of index-module for a couple of A-lattices in a vector space, A being a Dedekind ring. We apply this notion to prove by elementary means that a weak Gras conjecture (i.e for irreducible nontrivial Q-characters) holds…

We construct an Euler system in the cohomology of the tensor product of the Galois representations attached to two modular forms, using elements in the higher Chow groups of products of modular curves. We use this Euler system to prove a…