Showing 1–12 of 12 results for author: Wadsley, S

Global sections of equivariant line bundles on the $p$-adic upper half plane

Authors: Konstantin Ardakov, Simon Wadsley

Abstract: Let $F$ be a finite extension of $\mathbb{Q}_p$, let $Ω_F$ be Drinfeld's upper half-plane over $F$ and let $G^0$ the subgroup of $GL_2(F)$ consisting of elements whose determinant has norm $1$. Let $\mathscr{L}$ be a torsion $G^0$-equivariant line bundle with connection on $Ω_F$. We show that the strong dual of $\mathscr{L}(Ω_F)$ is an admissible locally $F$-analytic representation of $G^0$ of top… ▽ More Let $F$ be a finite extension of $\mathbb{Q}_p$, let $Ω_F$ be Drinfeld's upper half-plane over $F$ and let $G^0$ the subgroup of $GL_2(F)$ consisting of elements whose determinant has norm $1$. Let $\mathscr{L}$ be a torsion $G^0$-equivariant line bundle with connection on $Ω_F$. We show that the strong dual of $\mathscr{L}(Ω_F)$ is an admissible locally $F$-analytic representation of $G^0$ of topological length at most $2$. It is topologically irreducible if and only if the underlying connection on $\mathscr{L}$ is non-trivial. We give an explicit formula for the length of the strong dual of the space of globally-defined rigid analytic functions on a $G^0$-equivariant finite étale rigid analytic covering of $Ω_F$ with abelian Galois group as an admissible locally $F$-analytic representation of $G^0$. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Equivariant line bundles with connection on the p-adic upper half plane

Authors: Konstantin Ardakov, Simon J. Wadsley

Abstract: Let $F$ be a finite extension of $\mathbb{Q}_p$, let $Ω_F$ be Drinfeld's upper half-plane over $F$ and let $G^0$ the subgroup of $GL_2(F)$ consisting of elements whose determinant has norm $1$. By working locally on $Ω_F$, we construct and classify the torsion $G^0$-equivariant line bundles with integrable connection on $Ω$ in terms of the smooth linear characters of the units of the maximal order… ▽ More Let $F$ be a finite extension of $\mathbb{Q}_p$, let $Ω_F$ be Drinfeld's upper half-plane over $F$ and let $G^0$ the subgroup of $GL_2(F)$ consisting of elements whose determinant has norm $1$. By working locally on $Ω_F$, we construct and classify the torsion $G^0$-equivariant line bundles with integrable connection on $Ω$ in terms of the smooth linear characters of the units of the maximal order of the quaternion algebra over $F$. △ Less

Submitted 19 February, 2024; v1 submitted 11 September, 2023; originally announced September 2023.

MSC Class: 14G22; 14F10

D-modules on rigid analytic spaces III: Weak holonomicity and operations

Authors: Konstantin Ardakov, Andreas Bode, Simon Wadsley

Abstract: We develop a dimension theory for coadmissible D-cap-modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic D-modules in the algebraic setting. We discuss a number of pathologies contained in this subcategory (modules of infinite length, infinte-dimensional fibres). We prove stability results for closed immersions and the duality func… ▽ More We develop a dimension theory for coadmissible D-cap-modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic D-modules in the algebraic setting. We discuss a number of pathologies contained in this subcategory (modules of infinite length, infinte-dimensional fibres). We prove stability results for closed immersions and the duality functor, and show that all higher direct images of integrable connections restricted to a Zariski open subspace are coadmissible of minimal dimension. It follows that the local cohomology sheaves $H^i_Z(\mathcal{M})$ with support in a closed analytic subset $Z$ of $X$ are also coadmissible of minimal dimension for any integrable connection $\mathcal{M}$ on $X$. △ Less

Submitted 11 October, 2019; v1 submitted 30 April, 2019; originally announced April 2019.

Comments: 33 pages

MSC Class: 14G22; 32C38

PROPs for Linear Systems

Authors: Simon Wadsley, Nick Woods

Abstract: A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from $m$ to $n$ in a PROP can be visualized as a string diagram with $m$ input wires and $n$ output wires. For a field $k$, the PROP $\mathrm{FinVect}_k$ where morphisms are $k$-linear maps is used by Baez and Erbele to study signal-flow diagrams. We aim to… ▽ More A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from $m$ to $n$ in a PROP can be visualized as a string diagram with $m$ input wires and $n$ output wires. For a field $k$, the PROP $\mathrm{FinVect}_k$ where morphisms are $k$-linear maps is used by Baez and Erbele to study signal-flow diagrams. We aim to generalize their result characterizing this PROP in terms of generators and relations by looking at the PROP $\mathrm{Mat}(R)$ of matrices of values in $R$, where $R$ is a commutative rig (that is, a generalization of a ring where the condition that each element has an additive inverse is relaxed). To this end, we show that the category of symmetric monoidal functors out of $\mathrm{Mat}(R)$ is equivalent to the category of bicommutative bimonoids equipped with a certain map of rigs; such functors are called algebras. By choosing $R$ correctly, we will see that the algebras of the PROP $\mathrm{FinSpan}$ of finite sets and spans between them are bicommutative bimonoids, while the algebras of the PROP $\mathrm{FinRel}$ of finite sets and relations between them are special bicommuative bimonoids and the algebras of $\mathrm{Mat}(\mathbb Z)$ are bicommutative Hopf monoids. △ Less

Submitted 30 April, 2015; originally announced May 2015.

Comments: 11 pages, with TikZ figures; submitted to QPL 2015

D-modules on rigid analytic spaces II: Kashiwara's equivalence

Authors: Konstantin Ardakov, Simon J. Wadsley

Abstract: We prove that the category of coadmissible D-cap-modules on a smooth rigid analytic space supported on a closed smooth subvariety is naturally equivalent to the category of coadmissible D-cap-modules on the subvariety, and use this result to construct a large family of pairwise non-isomorphic simple coadmissible D-cap-modules. We prove that the category of coadmissible D-cap-modules on a smooth rigid analytic space supported on a closed smooth subvariety is naturally equivalent to the category of coadmissible D-cap-modules on the subvariety, and use this result to construct a large family of pairwise non-isomorphic simple coadmissible D-cap-modules. △ Less

Submitted 31 August, 2017; v1 submitted 4 February, 2015; originally announced February 2015.

MSC Class: 14G22; 32C38

D-modules on rigid analytic spaces I

Authors: Konstantin Ardakov, Simon Wadsley

Abstract: We introduce a sheaf of infinite order differential operators D-cap on smooth rigid analytic spaces that is a rigid analytic quantisation of the cotangent bundle. We show that the sections of this sheaf over sufficiently small affinoid varieties are Fréchet-Stein algebras, and use this to define co-admissible sheaves of D-cap-modules. We prove analogues of Cartan's Theorems A and B for co-admissib… ▽ More We introduce a sheaf of infinite order differential operators D-cap on smooth rigid analytic spaces that is a rigid analytic quantisation of the cotangent bundle. We show that the sections of this sheaf over sufficiently small affinoid varieties are Fréchet-Stein algebras, and use this to define co-admissible sheaves of D-cap-modules. We prove analogues of Cartan's Theorems A and B for co-admissible D-cap-modules. △ Less

Submitted 9 January, 2015; originally announced January 2015.

Comments: 48 pages. Comments welcome

MSC Class: 14G22; 32C38

Verma modules for Iwasawa algebras are faithful

Authors: Konstantin Ardakov, Simon Wadsley

Abstract: We establish the faithfulness of Verma modules for rational Iwasawa algebras of split semisimple compact $L$-analytic groups. We also prove the algebraic independence of Arens-Michael envelopes over Iwasawa algebras and compute the centre of affinoid enveloping algebras of semisimple $p$-adic Lie algebras. We establish the faithfulness of Verma modules for rational Iwasawa algebras of split semisimple compact $L$-analytic groups. We also prove the algebraic independence of Arens-Michael envelopes over Iwasawa algebras and compute the centre of affinoid enveloping algebras of semisimple $p$-adic Lie algebras. △ Less

Submitted 23 August, 2013; originally announced August 2013.

Comments: 19 pages

MSC Class: 16S99; 22E50; 16D25

On irreducible representations of compact $p$-adic analytic groups

Authors: K. Ardakov, S. J. Wadsley

Abstract: We prove that the canonical dimension of a coadmissible representation of a semisimple $p$-adic Lie group in a $p$-adic Banach space is either zero or at least half the dimension of a non-zero coadjoint orbit. To do this we establish analogues for $p$-adically completed enveloping algebras of Bernstein's inequality for modules over Weyl algebras, the Beilinson-Bernstein localisation theorem and Qu… ▽ More We prove that the canonical dimension of a coadmissible representation of a semisimple $p$-adic Lie group in a $p$-adic Banach space is either zero or at least half the dimension of a non-zero coadjoint orbit. To do this we establish analogues for $p$-adically completed enveloping algebras of Bernstein's inequality for modules over Weyl algebras, the Beilinson-Bernstein localisation theorem and Quillen's Lemma about the endomorphism ring of a simple module over an enveloping algebra. △ Less

Submitted 11 May, 2012; v1 submitted 13 February, 2011; originally announced February 2011.

Comments: Substantial changes to fill in gaps in the exposition

Euler characteristics and compact p-adic Lie groups

Authors: Simon Wadsley

Abstract: We discuss Euler characteristics for finitely generated modules over Iwasawa algebras. We show that the Euler characteristic of a module is well-defined whenever the 0th homology group is finite if and only if the relevant compact p-adic Lie group is finite-by-nilpotent and that in this case all pseudo-null modules have trivial Euler characteristic. We also prove some other results relating to t… ▽ More We discuss Euler characteristics for finitely generated modules over Iwasawa algebras. We show that the Euler characteristic of a module is well-defined whenever the 0th homology group is finite if and only if the relevant compact p-adic Lie group is finite-by-nilpotent and that in this case all pseudo-null modules have trivial Euler characteristic. We also prove some other results relating to the triviality of Euler characteristics for pseudo-null modules. We also prove some analogous results for the Akashi series of Coates et al. △ Less

Submitted 8 October, 2009; v1 submitted 21 September, 2009; originally announced September 2009.

Comments: 10 pages New material on Akashi series added; consequential restructuring done including substantial rewriting of the introduction

Gamma-invariant ideals in Iwasawa algebras

Authors: K. Ardakov, S. J. Wadsley

Abstract: Let kG be the completed group algebra of a uniform pro-p group G with coefficients in a field k of characteristic p. We study right ideals I in kG that are invariant under the action of another uniform pro-p group Gamma. We prove that if I is non-zero then an irreducible component of the characteristic support of kG/I must be contained in a certain finite union of rational linear subspaces of Sp… ▽ More Let kG be the completed group algebra of a uniform pro-p group G with coefficients in a field k of characteristic p. We study right ideals I in kG that are invariant under the action of another uniform pro-p group Gamma. We prove that if I is non-zero then an irreducible component of the characteristic support of kG/I must be contained in a certain finite union of rational linear subspaces of Spec gr kG. The minimal codimension of these subspaces gives a lower bound on the homological height of I in terms of the action of a certain Lie algebra on G/G^p. If we take Gamma to be G acting on itself by conjugation, then Gamma-invariant right ideals of kG are precisely the two-sided ideals of kG, and we obtain a non-trivial lower bound on the homological height of a possible non-zero two-sided ideal. For example, when G is open in SL_n(\Zp) this lower bound equals 2n - 2. This gives a significant improvement of the results of Ardakov, Wei and Zhang on reflexive ideals in Iwasawa algebras. △ Less

Submitted 17 August, 2008; originally announced August 2008.

MSC Class: 16L30; 16P40

On the Cartan map for crossed products and Hopf-Galois extensions

Authors: Konstantin Ardakov, Simon Wadsley

Abstract: We study certain aspects of the algebraic K-theory of Hopf-Galois extensions. We show that the Cartan map from K-theory to G-theory of such an extension is a rational isomorphism, provided the ring of coinvariants is regular, the Hopf algebra is finite dimensional and its Cartan map is injective in degree zero. This covers the case of a crossed product of a regular ring with a finite group and h… ▽ More We study certain aspects of the algebraic K-theory of Hopf-Galois extensions. We show that the Cartan map from K-theory to G-theory of such an extension is a rational isomorphism, provided the ring of coinvariants is regular, the Hopf algebra is finite dimensional and its Cartan map is injective in degree zero. This covers the case of a crossed product of a regular ring with a finite group and has an application to the study of Iwasawa modules. △ Less

Submitted 22 March, 2007; originally announced March 2007.

MSC Class: 16E20; 16S35; 16W30

K_0 and the dimension filtration for p-torsion Iwasawa modules

Authors: Konstantin Ardakov, Simon Wadsley

Abstract: Let G be a compact p-adic analytic group. We study K-theoretic questions related to the representation theory of the completed group algebra kG of G with coefficients in a finite field k of characteristic p. We show that if M is a finitely generated kG-module whose dimension is smaller than the dimension of the centralizer of any p-regular element of G, then the Euler characteristic of M is triv… ▽ More Let G be a compact p-adic analytic group. We study K-theoretic questions related to the representation theory of the completed group algebra kG of G with coefficients in a finite field k of characteristic p. We show that if M is a finitely generated kG-module whose dimension is smaller than the dimension of the centralizer of any p-regular element of G, then the Euler characteristic of M is trivial. Writing F_i for the abelian category consisting of all finitely generated kG-modules of dimension at most i, we provide an upper bound for the rank of the natural map from the Grothendieck group of F_i to that of F_d, where d denotes the dimension of G. We show that this upper bound is attained in some special cases, but is not attained in general. △ Less

Submitted 1 November, 2006; originally announced November 2006.

MSC Class: 11R23; 16S35; 19A31; 20C20