41 research outputs found
-torsion coefficient systems for and ,
We show that the categories of smooth -representations (resp. -representations) of
level on -torsion modules are equivalent with certain explicitly
described equivariant coefficient systems on the Bruhat-Tits tree; the
coefficient system assigned to a representation assigns to an edge
the invariants in under the pro--Iwahori subgroup corresponding to
. The proof relies on computations of the group cohomology of a compact
open subgroup group of the unipotent radical of a Borel subgroup
Integral structures in automorphic line bundles on the -adic upper half plane
Given an automorphic line bundle of weight on the
Drinfel'd upper half plane over a local field , we construct a -equivariant integral lattice in , as a coherent sheaf on the
formal model underlying . Here
is ramified of degree . This generalizes a construction of
Teitelbaum from the case of even weight to arbitrary integer weight . We
compute
and obtain applications to the de Rham cohomology with coefficients in the -th symmetric power of
the standard representation of (where ) of projective
curves uniformized by : namely, we prove the
degeneration of a certain reduced Hodge spectral sequence computing
, we re-prove the Hodge
decomposition of and
show that the monodromy operator on respects integral de Rham structures and is induced by a
"universal"{} monodromy operator defined on , i.e.
before passing to the -quotient
Finiteness of de Rham cohomology in rigid analysis
For a big class of smooth dagger spaces --- dagger spaces are 'rigid spaces
with overconvergent structure sheaf' --- we prove finite dimensionality of de
Rham cohomology. This is enough to obtain finiteness of Berthelot's rigid
cohomology also in the non-smooth case. We need a careful study of de Rham
cohomology in situations of semi-stable reduction
Equivariant crystalline cohomology and base change
Given a perfect field of characteristic , a smooth proper -scheme
, a crystal on relative to and a finite group acting on
and , we show that, viewed as virtual -module, the reduction
modulo of the crystalline cohomology of is the de Rham cohomology of
modulo . On the way we prove a base change theorem for the virtual
-representions associated with -equivariant objects in the derived
category of -modules
Frobenius and monodromy operators in rigid analysis, and Drinfel'd's symmetric space
We define Frobenius and monodromy operators on the de Rham cohomology of
-dagger spaces (rigid spaces with overconvergent structure sheaves) with
strictly semistable reduction , over a complete discrete valuation ring
of mixed characteristic. For this we introduce log rigid cohomology and
generalize the so called Hyodo-Kato isomorphism to versions for non-proper ,
for non-perfect residue fields, for non-integrally defined coefficients, and
for the various strata of . We apply this to define and investigate
crystalline structure elements on the de Rham cohomology of Drinfel'd's
symmetric space and its quotients. Our results are used in a critical way
in the recent proof of the monodromy-weight conjecture for quotients of
given by de Shalit
Locally unitary principal series representations of
For a local field we consider tamely ramified principal series
representations of with coefficients in a finite
extension of . Let be a pro--Iwahori subgroup in
, let denote the corresponding pro--Iwahori Hecke
algebra. If is locally unitary, i.e. if the -module
admits an integral structure, then such an integral structure can be
chosen in a particularly well organized manner, in particular its modular
reduction can be made completely explicit
Acyclic coefficient systems on buildings
For cohomological (resp. homological) coefficient systems
(resp. ) on affine buildings with Coxeter data of type
we give for any a sufficient local criterion which
implies (resp. . Using this
criterion we prove a conjecture of de Shalit on the acyclicity of coefficient
systems attached to hyperplane arrangements on the Bruhat-Tits building of the
general linear group over a local field. We also generalize an acyclicity
theorem of Schneider and Stuhler on coefficient systems attached to
representations
Compactifications of Log Morphisms
We introduce the notion of a relative log scheme with boundary: a morphism of
log schemes together with a (log schematically) dense open immersion of its
source into a third log scheme. The sheaf of relative log differentials
naturally extends to this compactification and there is a notion of smoothness
for such data. We indicate how this weak sort of compactification may be used
to develop useful de Rham and crystalline cohomology theories for semistable
log schemes over the log point over a field which are not necessarily proper
De Rham cohomology of rigid spaces
We define de Rham cohomology groups for rigid spaces over non-archimedean
fields of characteristic zero, based on the notion of dagger space. We
establish some functorial properties and a finiteness result, and discuss the
relation to the rigid cohomology as defined by P. Berthelot
Locally algebraic automorphisms of the -tree and -torsion representations
For a local field and an Artinian local coefficient ring with
the same positive residue characteristic we define, for any , a category of -equivariant
coefficient systems on the Bruhat-Tits tree of . There is
an obvious functor from the category of -representations over
to . If then
is equivalent to the category of smooth -representations over generated by their
invariants under a pro--Iwahori subgroup. For general and we show
that the subcategory of all objects in with
trivial central character is equivalent to a category of representations of a
certain subgroup of consisting of "locally algebraic
automorphisms of level ". For there is a functor from this category to
that of modules over the (usual) pro--Iwahori Hecke algebra; it is a
bijection between irreducible objects. Finally, we present a parallel of
Colmez' functor : to objects in (for any ) we assign certain \'{e}tale
-modules over an Iwasawa algebra which contains the (usually considered) Iwasawa
algebra . This assignment preserves finite
generation