Related papers: Logarithmic Dieudonn\'e theory and overconvergent …
In this paper the new techniques and results concerning the structure theory of modules over non-commutative Iwasawa algebras are applied to arithmetic: we study Iwasawa modules over p-adic Lie extensions K of number fields k "up to…
The culmination of the papers (arXiv:0905.0518, arXiv:0910.0909) was a proof of the norm convergence in $L^2(\mu)$ of the quadratic nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ…
The Lascoux-Leclerc-Thibon-Ariki theory asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with a Lie…
Let $p$ be an odd prime, $F$ be a number field and consider a uniform infinite pro-$p$ extension $F_\infty$ of $F$ with Galois group $G=Gal(F_\infty/F)$. Let \[G=G_0\supset G_1\supset\dots \supset G_n\supset G_{n+1}\supset \dots\] be the…
We discuss the relation between crystalline Dieudonne theory and Dieudonne displays, with special emphasis on the case p=2. The theory of Dieudonne displays is extended to this case without restriction, which implies that the classification…
We examine the Galois groups of the extensions $K((f'\circ f^n)^{-1}(0))/K$ where $K$ is a number field for polynomials $f(x)\in K[x]$. We use our understanding of this group to study the proportion of primes for which $f$ has a $\mathfrak…
We show that the Zink equivalence between p-divisible groups and Dieudonne displays over a complete local ring with perfect residue field of characteristic p is compatible with duality. The proof relies on a new explicit formula for the…
We establish a Liouville-type theorem for a subcritical nonlinear problem, involving a fractional power of the sub-Laplacian in the Heisenberg group. To prove our result we will use the local realization of fractional CR covariant…
The goal of this paper is to remove the irreducibility hypothesis in a theorem of Richard Taylor describing the image of complex conjugations by $p$-adic Galois representations associated with regular, algebraic, essentially self-dual,…
In this paper, we study some group-theoretic constructions associated to arithmetic fundamental groups of hyperbolic curves over finite fields. One of the main results of this paper asserts that any Frobenius-preserving isomorphism between…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
We give a new proof of a result due to Breuil and Emerton which relates the splitting behavior at p of the p-adic Galois representation attached to a p-ordinary modular form to the existence of an overconvergent p-adic companion form for f.
We present a nonstandard hull construction for locally uniform groups in a spirit similar to Luxembourg's construction of the nonstandard hull of a uniform space. Our nonstandard hull is a local group rather than a global group. We…
We prove a strengthening of the Grothendieck-Lefschetz hyperplane theorem for local Picard groups conjectured by Koll\'ar. Our approach, which relies on acyclicity results for absolute integral closures, also leads to a restriction theorem…
We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…
We characterize the groupoids for which an operator is Fredholm if, and only if, its principal symbol and all its boundary restrictions are invertible. A groupoid with this property is called {\em Fredholm}. Using results on the Effros-Hahn…
This is an expository paper. It is not difficult to see that every group homomorphism from the additive group Z of integers to the additive group R of real numbers extends to a homomorphism from R to R. We discuss other examples of discrete…
We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the…
In this paper, we prove the K-theoretical and L-theoretical Farrell-Jones Conjecture with coefficients in an additive category for nearly crystallographic groups of the form $\mathbb{Q}^n \rtimes \mathbb{Z}$, where $\mathbb{Z}$ acts on…
We will discuss $\infty$-categorical perverse $p$-adic differential equations over stacks. On one hand, we are going to study some $p$-adic analogous results of the Drinfeld's original lemma about the \'etale fundamental groups in the…