Searcharxiv⌕ Search

arXiv subjects

G. Pappas

Publications and source records attributed to G. Pappas.

32 records · Page 2Linked to original sources
arXiv2008

Phi-modules and coefficient spaces

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 $Φ$-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.

math.AG↗
arXiv2008

Some questions about $\mathcal G$-bundles on curves

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.

math.AG↗
arXiv2008

Twisted loop groups and their affine flag varieties

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.

math.AG↗
arXiv2008

Faithful transformation of quasi-isotropic to Weyl-Papapetrou coordinates: A prerequisite to compare metrics

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.

gr-qc↗
arXiv2007

Cubic structures, equivariant Euler characteristics and lattices of modular forms

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.

math.NT↗
arXiv2007

Integral Grothendieck-Riemann-Roch theorem

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.

math.AG↗
arXiv2007

Local Models in the ramified case. III. Unitary groups

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.

math.AG↗
arXiv2004

Local models in the ramified case. II. Splitting models

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.

math.AG↗
arXiv2004

Galois modules, ideal class groups and cubic structures

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.

math.NT↗
arXiv2004

Pfaffians, the G-Signature Theorem and Galois de Rham discriminants

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.

math.NT↗
arXiv2000

Local models in the ramified case I. The EL-case

Local models are schemes defined in linear algebra terms that describe the 'etale local structure of integral models for Shimura varieties and other moduli spaces. We point out that the flatness conjecture of Rapoport-Zink on local models fails in the presence of ramification and that in that case one has to modify their definition. We study in detail certain modifications of the local models for G=R_{E/F}GL(n), with E/F a totally ramified extension, and for a maximal parahoric level subgroup. The special fibers of these models are subschemes of the affine Grassmannian. We show that the new local models are smoothly equivalent to "rank varieties" of matrices, are flat, normal, with rational singularities and that their special fibers contain the expected Schubert strata. A corollary is that Schubert varieties in the affine Grassmannian are smoothly equivalent to nilpotent orbit closures and are normal with rational singularities, even in positive characteristics. We give some applications to the calculation of sheaves of nearby cycles and describe a relation with geometric convolution. Finally, in the general EL case, we replace the flatness conjecture of Rapoport-Zink with a conjecture about the modified local models.

math.AG↗
arXiv2000

Epsilon constants and equivariant Arakelov Euler characteristics

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

math.NT↗
arXiv2000

Epsilon constants and Arakelov Euler characteristics

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.

math.NT↗