Related papers: Local models in the ramified case I. The EL-case
Let $L/\mathbb{Q}_p$ be a finite extension. We introduce $L$-typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent $F$-crystals, on the $L$-typical…
The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study…
We prove that Schubert varieties are globally F-regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic D-modules on flag varieties in positive characteristic. Here recent results of Blickle…
In this paper, we extend purely non-local Hamiltonian formalism to a class of Riemannian F-manifolds, without assumptions on the semisimplicity of the product $\circ$ or on the flatness of the connection $\nabla$. In the flat case we show…
We prove rigidity results describing contextually-constrained maps defined on Grassmannians and manifolds of ordered independent line tuples in finite-dimensional vector or Hilbert spaces. One statement in the spirit of the Fundamental…
Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all…
Given a strongly local Dirichlet space and $\lambda\geq 0$, we introduce a new notion of $\lambda$--subharmonicity for $L^1_\loc$--functions, which we call \emph{local $\lambda$--shift defectivity}, and which turns out to be equivalent to…
Let $L/K$ be a finite, totally ramified $p$-extension of complete local fields with residue fields of characteristic $p > 0$, and let $A$ be a $K$-algebra acting on $L$. We define the concept of an $A$-scaffold on $L$, thereby extending and…
Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is…
We prove a version of the tamely ramified geometric Langlands correspondence in positive characteristic for $GL_n(k)$. Let $k$ be an algebraically closed field of characteristic $p> n$. Let $X$ be a smooth projective curve over $k$ with…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
We define for a topological group G and a family of subgroups F two versions for the classifying space for the family F, the G-CW-version E_F(G) and the numerable G-space version J_F(G). They agree if G is discrete, or if G is a Lie group…
In this paper, we study the basic locus in the fiber at $p$ of a certain unitary Shimura variety with a certain parahoric level structure. The basic locus $\widehat{\mathcal{M}^{ss}}$ is uniformized by a formal scheme $\mathcal{N}$ which is…
The geometric Langlands program is distinguished in assigning spectral decompositions to all representations, not only the irreducible ones. However, it is not even clear what is meant by a spectral decomposition when one works with…
For any nullity $2$ extended affine Lie algebra $\mathcal{E}$ of maximal type and $\ell\in\mathbb{C}$, we prove that there exist a vertex algebra $V_{\mathcal{E}}(\ell)$ and an automorphism group $G$ of $V_{\mathcal{E}}(\ell)$ equipped with…
Let $F|\mathbb{Q}_2$ be a finite extension. In this paper, we construct an RZ-space $\mathcal{N}_E$ for split $\mathrm{GU}(1,1)$ over a ramified quadratic extension $E|F$. For this, we first introduce the naive moduli problem…
Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…
We prove in this paper a classicality result for overconvergent modular forms on PEL Shimura varieties of type (A) or (C), without any ramification hypothesis. We use an analytic continuation method, which generalizes previous results in…
The ascent and descent of the Mittag-Leffler property were instrumental in proving Zariski locality of the notion of an (infinite dimensional) vector bundle by Raynaud and Gruson in \cite{RG}. More recently, relative Mittag-Leffler modules…
Let $G$ be a simple algebraic group of type $A$ or $D$ defined over $\C$ and $T$ be a maximal torus of $G$. For a dominant coweight $\lambda$ of $G$, the $T$-fixed point subscheme $(\bar{Gr}_G^\lambda)^T$ of the Schubert variety…