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

April 23, 2020 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.
• ### (G, \mu)-displays and Rapoport-Zink spaces(1702.00291)

May 11, 2018 math.AG, math.NT
Let (G, \mu) be a pair of a reductive group G over the p-adic 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 Rapoport-Zink formal schemes purely group theoretically, i.e. without p-divisible groups.
• ### Good and semi-stable reductions of Shimura varieties(1804.09615)

April 25, 2018 math.AG, math.RT, math.NT
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 semi-stable, reduction under tame ramification hypotheses.
• ### Integral models of Shimura varieties with parahoric level structure(1512.01149)

April 12, 2018 math.AG, math.NT
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.
• ### Rapoport-Zink spaces for spinor groups(1509.03914)

Dec. 3, 2016 math.AG, math.NT
We develop a theory of Hodge type Rapoport-Zink 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 Rapoport-Zink formal scheme.
• ### Non-local Lagrangians: a variational approach to non-local conservation laws for wave mechanics(1510.00548)

July 29, 2016 quant-ph
We introduce a class of non-local Lagrangians which allow for the variational derivation of non-local conser- vation laws in a self-consistent 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 non-local conservation laws for general higher dimensional wave mechanical systems.
• ### Systematic pathway to ${\mathcal{PT}}$ symmetry breaking in scattering systems(1407.2655)

Aug. 25, 2015 quant-ph, physics.optics
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 non-local 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.
• ### Adams operations and Galois structure(1309.1661)

March 30, 2015 math.AG, math.NT
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 Adams-Riemann-Roch type theorem obtained by combining the Kunneth formula with localization in equivariant K-theory and classical results about cyclotomic fields. As an application, we show two conjectures of Chinburg-Pappas-Taylor, in the case of curves.
• ### 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.
• ### Local models of Shimura varieties and a conjecture of Kottwitz(1110.5588)

Nov. 26, 2012 math.AG, math.RT, math.NT
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 second-named 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 semi-simple trace of Frobenius on the nearby cycles gives a function which is central in the parahoric Hecke algebra.
• ### Local models of Shimura varieties, I. Geometry and combinatorics(1011.5551)

Aug. 29, 2011 math.AG, math.RT, math.NT
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.
• ### 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.
• ### Phi-modules and coefficient spaces(0811.1170)

Nov. 7, 2008 math.AG, math.NT
We define and study certain moduli stacks of modules equipped with a Frobenius semi-linear endomorphism. These stacks can be thought of as parametrizing the coefficients of a variable Galois representation and are global variants of the spaces of Kisin-Breuil $\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 Bruhat-Tits buildings can be used to study their special fibers.
• ### Some questions about $\mathcal G$-bundles on curves(0808.3743)

Oct. 28, 2008 math.AG
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 well-known 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.
• ### Twisted loop groups and their affine flag varieties(math/0607130)

April 24, 2008 math.AG, math.RT
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 Kac-Moody 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.
• ### Faithful transformation of quasi-isotropic to Weyl-Papapetrou coordinates: A prerequisite to compare metrics(0803.0602)

March 5, 2008 gr-qc
We demonstrate how one should transform correctly quasi-isotropic coordinates to Weyl-Papapetrou 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 non-vacuum solution (interior of the star) the transformation of its coordinates to Weyl-Papapetrou coordinates, which are usually used to describe vacuum axisymmetric and stationary solutions of Einstein equations, is not straightforward in the non-vacuum 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.
• ### 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.
• ### Integral Grothendieck-Riemann-Roch theorem(math/0703305)

March 11, 2007 math.AG
We show that, in characteristic zero, the obvious integral version of the Grothendieck-Riemann-Roch 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.
• ### Local Models in the ramified case. III. Unitary groups(math/0702286)

Feb. 10, 2007 math.AG, math.NT
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.
• ### Grothendieck-Riemann-Roch and the moduli of Enriques surfaces(math/0701546)

Jan. 19, 2007 math.AG
We give a short and "classical" proof of Borcherds' theorem that the moduli space of Enriques surfaces is quasi-affine. The use of the Borcherds' product is replaced in our proof by an application of the Grothendieck-Riemann-Roch theorem.
• ### Local models in the ramified case. II. Splitting models(math/0205021)

July 6, 2004 math.AG
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.
• ### Galois modules, ideal class groups and cubic structures(math/0306309)

April 1, 2004 math.AG, math.NT
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 K-groups of Z. We also show that the existence of such a normal integral basis is closely connected to the truth of the Kummer-Vandiver 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.
• ### 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.