
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.

Let (G, \mu) be a pair of a reductive group G over the padic integers and a
minuscule cocharacter {\mu} of G defined over an unramified extension. We
introduce and study "(G, \mu)displays" which generalize Zink's Witt vector
displays. We use these to define certain RapoportZink formal schemes purely
group theoretically, i.e. without pdivisible groups.

We study variants of the local models constructed by the second author and
Zhu and consider corresponding integral models of Shimura varieties of abelian
type. We determine all cases of good, resp. of semistable, reduction under
tame ramification hypotheses.

For an odd prime p, we construct integral models over p for Shimura varieties
with parahoric level structure, attached to Shimura data (G,X) of abelian type,
such that G splits over a tamely ramified extension of Q_p. The local structure
of these integral models is related to certain "local models", which are
defined group theoretically. Under some additional assumptions, we show that
these integral models satisfy a conjecture of Kottwitz which gives an explicit
description for the trace of Frobenius action on their sheaf of nearby cycles.

We develop a theory of Hodge type RapoportZink formal schemes, which
uniformize certain formal completions of the canonical integral models of
Shimura varieties of Hodge type at primes of good reduction. We then apply the
general theory to the special case of Shimura varieties associated with groups
of spinor similitudes, and, in the basic case, determine explicitly the reduced
scheme underlying the RapoportZink formal scheme.

We introduce a class of nonlocal Lagrangians which allow for the variational
derivation of nonlocal conser vation laws in a selfconsistent manner. The
formalism developed here generalizes previous approaches, used in the context
of $\mathcal{PT}$ symmetric quantum mechanics and optics in the paraxial
approximation in a twofold way: firstly it is valid for a larger set of linear
symmetry transforms and secondly it enables the derivation of additional
nonlocal conservation laws for general higher dimensional wave mechanical
systems.

Recently [Phys. Rev. Lett. {\bf 106}, 093902 (2011)] it has been shown that
$\mathcal{PT}$symmetric scattering systems with balanced gain and loss,
undergo a transition from $\mathcal{PT}$symmetric scattering eigenstates,
which are norm preserving, to symmetry broken pairs of eigenstates exhibiting
net amplification and loss. In the present work we derive the existence of an
invariant nonlocal current which can be directly associated with the observed
transition playing the role of an "order parameter". The use of this current
for the description of the $\mathcal{PT}$symmetry breaking allows the
extension of the known phase diagram to higher dimensions incorporating
scattering states which are not eigenstates of the scattering matrix.

We present a new method for determining the Galois module structure of the
cohomology of coherent sheaves on varieties over the integers with a tame
action of a finite group. This uses a novel AdamsRiemannRoch type theorem
obtained by combining the Kunneth formula with localization in equivariant
Ktheory and classical results about cyclotomic fields. As an application, we
show two conjectures of ChinburgPappasTaylor, in the case of curves.

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 give a group theoretic definition of "local models" as sought after in the
theory of Shimura varieties. These are projective schemes over the integers of
a $p$adic local field that are expected to model the singularities of integral
models of Shimura varieties with parahoric level structure. Our local models
are certain mixed characteristic degenerations of Grassmannian varieties; they
are obtained by extending constructions of Beilinson, Drinfeld, Gaitsgory and
the secondnamed author to mixed characteristics and to the case of general
(tamely ramified) reductive groups. We study the singularities of local models
and hence also of the corresponding integral models of Shimura varieties. In
particular, we study the monodromy (inertia) action and show a commutativity
property for the sheaves of nearby cycles. As a result, we prove a conjecture
of Kottwitz which asserts that the semisimple trace of Frobenius on the nearby
cycles gives a function which is central in the parahoric Hecke algebra.

We survey the theory of local models of Shimura varieties. In particular, we
discuss their definition and illustrate it by examples. We give an overview of
the results on their geometry and combinatorics obtained in the last 15 years.
We also exhibit their connections to other classes of algebraic varieties such
as nilpotent orbit closures, affine Schubert varieties, quiver Grassmannians
and wonderful completions of symmetric spaces.

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 define and study certain moduli stacks of modules equipped with a
Frobenius semilinear endomorphism. These stacks can be thought of as
parametrizing the coefficients of a variable Galois representation and are
global variants of the spaces of KisinBreuil $\Phi$modules used by Kisin in
his study of deformation spaces of local Galois representations. We also define
a version of a rigid analytic period map for these spaces, we show how their
local structure can be described in terms of "local models", and we show how
BruhatTits buildings can be used to study their special fibers.

We define the notion of a parahoric group scheme $\mathcal G$ over a smooth
projective curve, and formulate four conjectures on the structure of the stack
of $\mathcal G$bundles, which generalize to this case wellknown results on
$G$bundles with $G$ a constant reductive group. The conjectures concern the
set of connected components, the uniformization by affine flag varieties of
twisted loop groups, the Picard groups, and the space of global sections of a
dominant line bundle. Since a first version of this paper was circulated,
Heinloth [arXiv:0711.4450] has proved a good part of these conjectures.

We develop a theory of affine flag varieties and of their Schubert varieties
for reductive groups over a Laurent power series local field k((t)) with k a
perfect field. This can be viewed as a generalization of the theory of affine
flag varieties for loop groups to a "twisted case"; a consequence of our
results is that our construction also includes the flag varieties for KacMoody
Lie algebras of affine type. We also give a coherence conjecture on the
dimensions of the spaces of global sections of the natural ample line bundles
on the partial flag varieties attached to a fixed group over k((t)) and some
applications to local models of Shimura varieties.

We demonstrate how one should transform correctly quasiisotropic coordinates
to WeylPapapetrou coordinates in order to compare the metric around a rotating
star that has been constructed numerically in the former coordinates with an
axially symmetric stationary metric that is given through an analytical form in
the latter coordinates. Since a stationary metric associated with an isolated
object that is built numerically partly refers to a nonvacuum solution
(interior of the star) the transformation of its coordinates to WeylPapapetrou
coordinates, which are usually used to describe vacuum axisymmetric and
stationary solutions of Einstein equations, is not straightforward in the
nonvacuum region. If this point is \textit{not} taken into consideration, one
may end up to erroneous conclusions about how well a specific analytical metric
matches the metric around the star, due to fallacious coordinate
transformations.

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.

We show that, in characteristic zero, the obvious integral version of the
GrothendieckRiemannRoch formula obtained by clearing the denominators of the
Todd and Chern characters is true (without having to divide the Chow groups by
their torsion subgroups). The proof introduces an alternative to Grothendieck's
strategy: we use resolution of singularities and the weak factorization theorem
for birational maps.

We continue our study of the reduction of PEL Shimura varieties with
parahoric level structure at primes p at which the group that defines the
Shimura variety ramifies. We describe "good" $p$adic integral models of these
Shimura varieties and study their 'etale local structure. In this paper we
mainly concentrate on the case of unitary groups for a ramified quadratic
extension. Some of our results are applications of the theory of twisted affine
flag varieties in our previous paper math.AG/0607130.

We give a short and "classical" proof of Borcherds' theorem that the moduli
space of Enriques surfaces is quasiaffine. The use of the Borcherds' product
is replaced in our proof by an application of the GrothendieckRiemannRoch
theorem.

This paper is a continuation of our paper math.AG/0006222. We study the
reduction of certain PEL Shimura varieties with parahoric level structure at
primes p at which the group that defines the Shimura variety ramifies. We
describe "good" $p$adic integral models of these Shimura varieties and study
their 'etale local structure. In particular, we exhibit a stratification of
their (singular) special fibers and give a partial calculation of the sheaf of
nearby cycles.

We establish a connection between the theory of cyclotomic ideal class groups
and the theory of "geometric" Galois modules and obtain results on the Galois
module structure of coherent cohomology groups of Galois covers of varieties
over Z. In particular, we show that an invariant that measures the obstruction
to the existence of a virtual normal integral basis for the coherent cohomology
of such covers is annihilated by a product of certain Bernoulli numbers with
orders of even Kgroups of Z. We also show that the existence of such a normal
integral basis is closely connected to the truth of the KummerVandiver
conjecture for the prime divisors of the degree of the cover. Our main tool is
a theory of "hypercubic structures" for line bundles over group schemes.

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.