• ### Higher Chern classes in Iwasawa theory(1512.00273)

March 18, 2019 math.NT
We begin a study of m-th Chern classes and m-th characteristic symbols for Iwasawa modules which are supported in codimension at least m. This extends the classical theory of characteristic ideals and their generators for Iwasawa modules which are torsion, i.e., supported in codimension at least 1. We apply this to an Iwasawa module constructed from an inverse limit of p-parts of ideal class groups of abelian extensions of an imaginary quadratic field. When this module is pseudo-null, which is conjecturally always the case, we determine its second Chern class and show that it has a characteristic symbol given by the Steinberg symbol of two Katz p-adic L-functions.
• ### Higher adeles and non-abelian Riemann-Roch(1204.4520)

March 30, 2015 math.AG, math.KT, math.NT
We show a Riemann-Roch theorem for group ring bundles over an arithmetic surface; this is expressed using the higher adeles of Beilinson-Parshin and the tame symbol via a theory of adelic equivariant Chow groups and Chern classes. The theorem is obtained by combining a group ring coefficient version of the local Riemann-Roch formula as in Kapranov-Vasserot with results on K-groups of group rings and an explicit description of group ring bundles over P^1. Our set-up provides an extension of several aspects of the classical Fr"ohlich theory of the Galois module structure of rings of integers of number fields to arithmetic surfaces.
• ### K_1 of a p-adic group ring II. The determinantal kernel SK_1(1303.5337)

April 7, 2014 math.KT, math.NT
We describe the group SK_1(R[G]) for group rings R[G] where G is an arbitrary finite group and where the coefficient ring R is a p-adically complete Noetherian integral domain of characteristic zero which admits a lift of Frobenius and which also satisfies a number of further mild conditions. Our results extend previous work of R. Oliver who obtained such results for the valuation rings of finite extensions of the p-adic field.
• ### K_1 of a p-adic group ring I. The determinantal image(0904.2563)

April 16, 2009 math.KT, math.RA
We study the K-group K_1 of the group ring of a finite group over a coefficient ring which is p-adically complete and admits a lift of Frobenius. In this paper, we consider the image of K_1 under the determinant map; the central tool is the group logarithm which we can define using the Frobenius lift. Using this we prove a fixed point theorem for the determinantal image of K_1.
• ### Finite morphisms from curves over Dedekind rings to $P^1$(0902.2039)

Feb. 20, 2009 math.AG, math.NT
A theorem of B. Green states that if A is a Dedekind ring whose fraction field is a local or global field, every normal projective curve over Spec(A) has a finite morphism to P^1_A. We give a different proof of a variant of this result using intersection theory and work of Moret-Bailly.
• ### Cubic structures, equivariant Euler characteristics and lattices of modular forms(math/0309327)

April 18, 2007 math.AG, math.NT
We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula supports a conjecture concerning the extent to which such equivariant Euler characteristics may be determined from the restriction of the sheaf to an infinitesimal neighborhood of the fixed point locus. Our results are applied to study the module structure of modular forms having Fourier coefficients in a ring of algebraic integers, as well as the action of diamond Hecke operators on the Mordell-Weil groups and Tate-Shafarevich groups of Jacobians of modular curves.
• ### Problems from the workshop on "Automorphisms of Curves" (Leiden, August, 2004)(math/0411059)

Nov. 3, 2004 math.AG, math.NT
Contents: Rational functions with given monodromy on generic curves (I. Bouw & S. Wewers); Can deformation rings of group representations not be local complete intersections? (T. Chinburg); Lifting an automorphism group to finite characteristic (G. Cornelissen); Flat connections and representations of the fundamental group in characteristic p>0 (C. Gasbarri) Questions on p-torsion of hyperelliptic curves (D. Glass & R. Pries); Automorphisms of curves and stable reduction (C. Lehr & M. Matignon); p-groups as automorphism groups of curves in characteristic p; Lifting Galois covers of smooth curves (M. Matignon); Abelian varieties isogenous to a Jacobian (F. Oort); Minimal maximal number of automorphisms of curves (F. Oort)
• ### Pfaffians, the G-Signature Theorem and Galois de Rham discriminants(math/0403032)

March 2, 2004 math.AG, math.NT
We study equivariant de Rham discriminants associated to arithmetic varieties which support a tame action by a finite group; we form these discriminants by endowing the de Rham cohomology with pairings arising from duality theory. Such equivariant discriminants are shown to break up naturally into a metric part and a signature part. In a previous paper we described the equivariant Arakelov discriminants, obtained by endowing the equivariant determinant of de Rham cohomology with various metrics. In this paper we study the associated equivariant signature information; in particular, we show that the symplectic signature invariants both determine and are determined by the symplectic Archimedean epsilon constants of the arithmetic variety.
• ### Epsilon constants and equivariant Arakelov Euler characteristics(math/0006095)

June 13, 2000 math.AG, math.NT
We study equivariant Arakelov-Euler characteristics of hermitian sheaves on arithmetic varieties which support a tame action by a finite group G. The tameness of the group action allows us to produce an equivariant Arakelov-Euler characteristic in a particularly fine "projective" arithmetic class group. We then show that the equivariant Arakelov-Euler characteristics of various complexes of differentials determine the epsilon constants of the L-functions of the motives obtained from the arithmetic variety using symplectic representations of the group G. Our results may be viewed firstly as a higher dimensional version of the Cassou-Nogu\`{e}s Taylor characterization of symplectic Artin root numbers in terms of the hermitian structure of rings of integers, and secondly as a signed equivariant version of Bloch's conductor formula.
• ### Epsilon constants and Arakelov Euler characteristics(math/0006088)

June 12, 2000 math.AG, math.NT
We conjecture that the logarithm of the absolute value of the constant in the functional equation of the Hasse-Weil L-function of a variety X over Z is equal to a certain Arakelov de Rham Euler characteristic of X. This generalizes the fact that the constant in the functional equation of the zeta function of a number field is the square root of the discriminant of its ring of integers. We show that this conjecture is equivalent to Bloch's conjecture which expresses the conductor as the degree of a localized Chern class of the differentials. We prove both of these conjectures in the case of "tame" reduction.