Related papers: The Carlitz shtuka

Let $k =\mathbb{F}_q$ be the finite field of $q$ elements and $E$ an elliptic curve over $k$. Let $F = k(E)$ be the function field over $E$ and let $\mathcal{O} = k[E]$ be the ring of integers. We fix the place at $\infty$ of $F$ and let…

We can define a module to be an exact functor on a small abelian category. This is explained and shown to be equivalent to the usual definition but it does offer a different perspective, inspired by the notions from model theory of…

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…

We provide explicit equations for moduli spaces of Drinfeld shtukas over the projective line with $\Gamma(N)$, $\Gamma_1(N)$ and $\Gamma_0(N)$ level structures, where $N$ is an effective divisor on $\mathbb{P}^1$. If the degree of $N$ is…

Here we initiate a program to study relationships between finite groups and arithmetic-geometric invariants in a systematic way. To do this we first introduce a notion of optimal module for a finite group in the setting of holomorphic mock…

The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning…

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call R_t(k,G) the classes which are…

We prove that, over any elliptic global Langlands parameter $\sigma$, the cuspidal cohomology groups of moduli stacks of shtukas are given by a formula involving a finite dimensional representation of the centralizer of $\sigma$. It is a…

For arbitrary reductive groups $G$ defined over a finite field, we decompose Newton strata in the special fiber of moduli spaces of global $G$-shtukas into a product of Rapoport-Zink spaces and Igusa varieties. This allows us to compare the…

We define a cell complex with an action of the even spin mapping class group, and use it to obtain a finite presentation. We also obtain a finite presentation with Dehn twist generators.

We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.

We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…

Let $\Lambda$ be an artin algebra. We are going to consider full subcategories of $\mod\Lambda$ closed under finite direct sums and under submodules with infinitely many isomorphism classes of indecomposable modules. The main result asserts…

One may construct, for any function on the integers, an irreducible module of level zero for affine sl(2), using the values of the function as structure constants. The modules constructed using exponential-polynomial functions realise the…

In this note, we state a theorem of compution of the unipotent radical of the Galois group of an object $U$ of a tannakian category defined over a field of positive characteristic, extension of the unit object by a semi-simple one. We then…

We compute the $k$th power-sums (for all $k>0$) over an arbitrary finite unital ring $R$. This unifies and extends the work of Brawley, Carlitz, and Levine for matrix rings [Duke Math. J. 1974], with folklore results for finite fields and…

We give a generalization of subspace codes by means of codes of modules over finite commutative chain rings. We define a new class of Sperner codes and use results from extremal combinatorics to prove the optimality of such codes in…

Let $G$ be a finite $p$-group. We construct a $G$-extension $K/k$ of number fields such that the $p$-adic completion of the unit group of $K$ has a prescribed $\mathbb{Z}_p[G]$-module structure, up to free direct summands.

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for…

We define evaluation forms associated to objects in a module subcategory of Ext-symmetry generated by finitely many simple modules over a path algebra with relations and prove a multiplication formula for the product of two evaluation…