
We begin a study of mth Chern classes and mth 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 pparts of ideal
class groups of abelian extensions of an imaginary quadratic field. When this
module is pseudonull, 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 padic Lfunctions.

We show a RiemannRoch theorem for group ring bundles over an arithmetic
surface; this is expressed using the higher adeles of BeilinsonParshin 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 RiemannRoch formula as in KapranovVasserot with results on Kgroups of
group rings and an explicit description of group ring bundles over P^1. Our
setup 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.

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 padically 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 padic field.

We study the Kgroup K_1 of the group ring of a finite group over a
coefficient ring which is padically 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.

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 MoretBailly.

We use the theory of cubic structures to give a fixed point RiemannRoch
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 MordellWeil groups and TateShafarevich groups of
Jacobians of modular curves.

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 ptorsion of
hyperelliptic curves (D. Glass & R. Pries); Automorphisms of curves and stable
reduction (C. Lehr & M. Matignon); pgroups 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)

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.

We study equivariant ArakelovEuler 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 ArakelovEuler
characteristic in a particularly fine "projective" arithmetic class group. We
then show that the equivariant ArakelovEuler characteristics of various
complexes of differentials determine the epsilon constants of the Lfunctions
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 CassouNogu\`{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.

We conjecture that the logarithm of the absolute value of the constant in the
functional equation of the HasseWeil Lfunction 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.