Searcharxiv⌕ Search

arXiv subjects

Karol Koziol

Publications and source records attributed to Karol Koziol.

18 recordsLinked to original sources
arXiv2026

Non-equivalence of pro-$p$-Iwahori invariants

Suppose $F$ is a nonarchimedean local field whose residue field is a proper extension of $\mathbb{F}_p$ with $p > 3$. Generalizing results of Ghate--Le--Sheth, we show that any split, connected, reductive group $G$ over $F$ which is not a torus admits a smooth, irreducible, non-admissible mod $p$ representation. We use this to show that the functor of pro-$p$-Iwahori invariants does not induce an equivalence between the category of smooth mod $p$ $G$-representations generated by their pro-$p$-Iwahori invariant vectors and modules over the pro-$p$-Iwahori--Hecke algebra, contrary to what happens for $\textrm{GL}_2(\mathbb{Q}_p)$.

math.RT↗
arXiv2026

To be or not to be local

Let $p$ be a prime number and $K$ a finite unramified extension of $\mathbf{Q}_p$. For a smooth representation $π$ of $\mathrm{GL}_2(K)$ occurring in some Hecke eigenspace of the mod $p$ cohomology of a Shimura curve, we explore different strategies (inspired by the case $K=\mathbf{Q}_p$) to attack the locality question: does $π$ depend only on the underlying $2$-dimensional representation $\overlineρ$ of ${\rm Gal}(\overline K/K)$? In particular when $[K:\mathbf{Q}_p]=2$, crucially using perfectoid geometry, we associate to $\overlineρ$ an infinite-dimensional mod $p$ smooth representation of $\begin{pmatrix}K^\times&K\\0&1\end{pmatrix}$ which we hope is the restriction to $\begin{pmatrix}K^\times&K\\0&1\end{pmatrix}$ of the (irreducible) supersingular subquotient of $π$.

math.NT↗
arXiv2026

Parahoric Hecke Ext-algebras in characteristic $p$

Let $\mathfrak{F}$ be a nonarchimedean local field of residual characteristic $p$, and let $G$ denote the group of $\mathfrak{F}$-points of a connected reductive group over $\mathfrak{F}$. For an open compact subgroup $\mathcal{U}$ of $G$ and a unital commutative ring $k$, we let $\mathbf{X}_{\mathcal{U}}$ denote the space of compactly supported $k$-valued functions on $G/\mathcal{U}$. Building on work of Ollivier--Schneider, we investigate the graded $\textrm{Ext}$-algebra $E_{\mathcal{U}}^* := \textrm{Ext}_G^*(\mathbf{X}_{\mathcal{U}},\mathbf{X}_{\mathcal{U}})^{\textrm{op}}$. In particular, we describe the Yoneda product, an involutive anti-automorphism, and (when $k$ is a field of characteristic $p$ and $\mathcal{U}$ has no $p$-torsion) a duality operation. We allow for the reductive group to be non-split, and for the open compact subgroup $\mathcal{U}$ to be non-pro-$p$. Specializing further to the case $G = \textrm{SL}_2(\mathbb{Q}_p)$ with $p \geq 5$ and a coefficient field of characteristic $p$, we obtain more precise results when $\mathcal{U}$ is equal to an Iwahori subgroup $J$ or a hyperspecial maximal compact subgroup $K$. In particular, we compute the structure of $E_J^*$ as an $E_J^0$-bimodule, obtain an explicit description of the center $\mathcal{Z}(E_J^*)$ of $E_J^*$, and construct a surjective morphism of algebras $\mathcal{Z}(E_J^*) \longrightarrow E_K^*$ (analogous to the compatibility between Bernstein and Satake isomorphisms in characteristic 0). From this we deduce the (somewhat surprising) fact that $E_K^*$ is not graded-commutative, contrary to what happens for almost all $\ell$-modular characteristics.

math.RT↗
arXiv2026

Mod $p$ Iwasawa algebras of pro-$p$ Iwahori subgroups

Suppose $F$ is a finite unramified extension of $\mathbb{Q}_p$, and $G$ is the group of $F$-points of a split, connected, reductive group over $F$. Under a natural restriction on $p$, we determine the structure of the graded mod $p$ Iwasawa algebra $\textrm{gr}_{\mathfrak{m}}(\mathbb{F}_p [\![ I]\!])$, where $I$ is a pro-$p$ Iwahori subgroup of $G$. We also determine its maximal commutative quotient, and relate these results to Gelfand--Kirillov dimensions of smooth mod $p$ representations of $G$.

math.RT↗
arXiv2025

Gelfand-Kirillov dimension for mod $p$ representations of $p$-adic unitary groups of rank 2

Let $p$ be a prime number and $F/F^+$ a CM extension of a totally real field such that every place of $F^+$ above $p$ is unramified and inert in $F$. We fix a finite place $v$ of $F^+$ above $p$, and let $\overline{r}: \textrm{Gal}(\overline{F^+}/F^+) \longrightarrow {}^C\textrm{U}_{1,1}(\overline{\mathbb{F}}_p)$ be a modular $L$-parameter valued in the $C$-group of a rank 2 unitary group associated to $F/F^+$. We assume $\overline{r}$ is semisimple and sufficiently generic at $v$. Using recent results of Breuil--Herzig--Hu--Morra--Schraen along with our previous work, we prove that certain admissible smooth $\overline{\mathbb{F}}_p$-representations of the $p$-adic unitary group $\textrm{U}_{1,1}(F^+_v)$ associated to $\overline{r}$ in spaces of mod $p$ automorphic forms have Gelfand--Kirillov dimension $[F^+_v:\mathbb{Q}_p]$.

math.NT↗
arXiv2025

Derived Satake morphisms for $p$-small weights in characteristic $p$

Let $F$ be a finite unramified extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_F$, and let $\mathbf{G}$ denote a split, connected reductive group over $\mathcal{O}_F$. We fix a Borel subgroup $\mathbf{B} = \mathbf{T}\mathbf{U}$ with maximal torus $\mathbf{T}$ and unipotent radical $\mathbf{U}$, and let $L(λ)$ denote an irreducible representation of $G_0 := \mathbf{G}(\mathcal{O}_F)$ with coefficients in a sufficiently large field of characteristic $p$. Set $G := \mathbf{G}(F)$, etc. Assuming $λ$ is a $p$-small and sufficiently regular character and that $p - 1$ is greater than the Coxeter number of $\mathbf{G}$, we show that the complex $L(U,\textrm{c-ind}_{G_0}^{G}(L(λ)))$ splits as the orthogonal direct sum of its cohomology objects in the derived category of smooth $T$-representations in characteristic $p$. (Here $L(U, -)$ denotes Heyer's left adjoint of parabolic induction, from the derived category of smooth $G$-representations to the derived category of smooth $T$-representations.) Consequently, this gives rise to a collection of morphisms of graded spherical Hecke algebras $$\displaystyle{\bigoplus_{i \in \mathbb{Z}}\textrm{Ext}_{G}^{i}\left(\textrm{c-ind}_{G_0}^{G}(L(λ)),~\textrm{c-ind}_{G_0}^{G}(L(λ))\right) \longrightarrow \bigoplus_{i \in \mathbb{Z}}\textrm{Ext}_{T}^{i}\left(\textrm{c-ind}_{T_0}^{T}(L^n(U_0,L(λ))),~\textrm{c-ind}_{T_0}^{T}(L^n(U_0,L(λ)))\right)}$$ indexed by $n=-[F:\mathbb{Q}_p]\dim(\mathbf{U}), \ldots, 0$, which we refer to as derived Satake morphisms. For $λ=0$ and $n=0$, this recovers the graded mod $p$ Satake homomorphism constructed by Ronchetti. We also give some partial results for general standard parabolic subgroups $\mathbf{P} = \mathbf{M}\mathbf{N} \subset \mathbf{G}$.

math.RT↗
arXiv2023

Derived right adjoints of parabolic induction: an example

Suppose $p \geq 5$ is a prime number, and let $G = \textrm{SL}_2(\mathbb{Q}_p)$. We calculate the derived functors $\textrm{R}^n\mathcal{R}_B^G(π)$, where $B$ is a Borel subgroup of $G$, $\mathcal{R}_B^G$ is the right adjoint of smooth parabolic induction constructed by Vignéras, and $π$ is any smooth, absolutely irreducible, mod $p$ representation of $G$.

math.RT↗
arXiv2021

Serre weight conjectures for $p$-adic unitary groups of rank 2

We prove a version of the weight part of Serre's conjecture for mod $p$ Galois representations attached to automorphic forms on rank 2 unitary groups which are non-split at $p$. More precisely, let $F/F^+$ denote a CM extension of a totally real field such that every place of $F^+$ above $p$ is unramified and inert in $F$, and let $\overline{r}: \textrm{Gal}(\overline{F^+}/F^+) \longrightarrow {}^C\mathbf{U}_2(\overline{\mathbb{F}}_p)$ be a Galois parameter valued in the $C$-group of a rank 2 unitary group attached to $F/F^+$. We assume that $\overline{r}$ is semisimple and sufficiently generic at all places above $p$. Using base change techniques and (a strengthened version of) the Taylor-Wiles-Kisin conditions, we prove that the set of Serre weights in which $\overline{r}$ is modular agrees with the set of Serre weights predicted by Gee-Herzig-Savitt.

math.NT↗
arXiv2021

Functorial properties of pro-$p$-Iwahori cohomology

Suppose $F$ is a finite extension of $\mathbb{Q}_p$, $G$ is the group of $F$-points of a connected reductive $F$-group, and $I_1$ is a pro-$p$-Iwahori subgroup of $G$. We construct two spectral sequences relating derived functors on mod-$p$ representations of $G$ to the analogous functors on Hecke modules coming from pro-$p$-Iwahori cohomology. More specifically: (1) using results of Ollivier--Vignéras, we provide a link between the right adjoint of parabolic induction on pro-$p$-Iwahori cohomology and Emerton's functors of derived ordinary parts; and (2) we establish a "Poincaré duality spectral sequence" relating duality on pro-$p$-Iwahori cohomology to Kohlhaase's functors of higher smooth duals. As applications, we calculate various examples of the Hecke modules $\textrm{H}^i(I_1,π)$.

math.RT↗
arXiv2019

Supersingular representations of rank 1 groups

We prove that any connected reductive group of semisimple $F$-rank 1 over a $p$-adic field admits an irreducible admissible supersingular mod-$p$ representation. This establishes one of the missing cases in Vignéras' existence proof for general reductive groups.

math.RT↗
arXiv2018

Homological dimension of simple pro-p-Iwahori--Hecke modules

Let $G$ be a split connected reductive group defined over a nonarchimedean local field of residual characteristic $p$, and let $\mathcal{H}$ be the pro-$p$-Iwahori--Hecke algebra associated to a fixed choice of pro-$p$-Iwahori subgroup. We explore projective resolutions of simple right $\mathcal{H}$-modules. In particular, subject to a mild condition on $p$, we give a classification of simple right $\mathcal{H}$-modules of finite projective dimension, and consequently show that "most" simple modules have infinite projective dimension.

math.RT↗
arXiv2018

The first pro-$p$-Iwahori cohomology of mod-$p$ principal series for $p$-adic $\textrm{GL}_n$

Let $p\geq 3$ be a prime number and $F$ a $p$-adic field. Let $I_1$ denote the pro-$p$-Iwahori subgroup of $\textrm{GL}_n(F)$, and $\mathcal{H}$ the pro-$p$-Iwahori--Hecke algebra of $\textrm{GL}_n(F)$ with respect to $I_1$ (over a coefficient field of characteristic $p$). We compute the structure of $\textrm{H}^1(I_1,π)$ as an $\mathcal{H}$-module, where $π$ is a mod-$p$ principal series representation of $\textrm{GL}_n(F)$. We also give some partial results about the structure of $\textrm{H}^1(I_1,π)$ for a general split reductive group with irreducible root system.

math.RT↗
arXiv2018

Hecke module structure on first and top pro-$p$-Iwahori cohomology

Let $p\geq 5$ be a prime number, $G$ a split connected reductive group defined over a $p$-adic field, and $I_1$ a choice of pro-$p$-Iwahori subgroup. Let $C$ be an algebraically closed field of characteristic $p$ and $\mathcal{H}$ the pro-$p$-Iwahori--Hecke algebra over $C$ associated to $I_1$. In this note, we compute the action of $\mathcal{H}$ on $\textrm{H}^1(I_1,C)$ and $\textrm{H}^{\textrm{top}}(I_1,C)$ when the root system of $G$ is irreducible. We also give some partial results in the general case.

math.RT↗
arXiv2017

Irreducible admissible mod-p representations of metaplectic groups

Let $p$ be an odd prime number, and $F$ a nonarchimedean local field of residual characteristic $p$. We classify the smooth, irreducible, admissible genuine mod-$p$ representations of the twofold metaplectic cover $\widetilde{\textrm{Sp}}_{2n}(F)$ of $\textrm{Sp}_{2n}(F)$ in terms of genuine supercuspidal (equivalently, supersingular) representations of Levi subgroups. To do so, we use results of Henniart--Vignéras as well as new technical results to adapt Herzig's method to the metaplectic setting. As consequences, we obtain an irreducibility criterion for principal series representations generalizing the complete irreducibility of principal series representations in the rank 1 case, as well as the fact that irreducibility is preserved by parabolic induction from the cover of the Siegel Levi subgroup.

math.RT↗
arXiv2015

A classification of the irreducible mod-p representations of U(1,1)(Q_p^2/Q_p)

Let p be a prime number. We classify all smooth irreducible mod-p representations of the unramified unitary group U(1,1)(Q_p^2/Q_p) in two variables. We then investigate Langlands parameters in characteristic p associated to U(1,1)(Q_p^2/Q_p), and propose a correspondence between certain equivalence classes of Langlands parameters and certain isomorphism classes of semisimple L-packets on U(1,1)(Q_p^2/Q_p).

math.RT↗
arXiv2015

Pro-p-Iwahori invariants for SL_2 and L-packets of Hecke modules

Let p be a prime number, and F a nonarchimedean local field of residual characteristic p. We explore the interaction between the pro-p-Iwahori-Hecke algebras of the group GL_n(F) and its derived subgroup SL_n(F). Using the interplay between these two algebras, we deduce two main results. The first is an equivalence of categories between Hecke modules in characteristic p over the pro-p-Iwahori-Hecke algebra of SL_2(Q_p) and smooth mod-p representations of SL_2(Q_p) generated by their pro-p-Iwahori-invariants. The second is a "numerical correspondence" between packets of supersingular Hecke modules in characteristic p over the pro-p-Iwahori-Hecke algebra of SL_n(F), and irreducible, n-dimensional projective Galois representations.

math.RT↗
arXiv2014

Hecke modules and supersingular representations of U(2,1)

Let F be a nonarchimedean local field of odd residual characteristic p. We classify finite-dimensional simple right modules for the pro-p-Iwahori-Hecke algebra $\mathcal{H}_C(G,I(1))$, where G is the unramified unitary group U(2,1)(E/F) in three variables. Using this description when C is the algebraic closure of $\mathbb{F}_p$, we define supersingular Hecke modules and show that the functor of I(1)-invariants induces a bijection between irreducible nonsupersingular mod-p representations of G and nonsupersingular simple right $\mathcal{H}_C(G,I(1))$-modules. We then use an argument of Paskunas to construct supersingular representations of G.

math.RT↗