Related papers: F-characteristic cycle of a rank one sheaf on an a…
For a characteristic $p > 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen-Macaulay or at least has depth $\geq 3$ at certain points. This mirrors results of Koll\'ar for…
Let F be a finite field with q elements, let A be a finite dimensional F-algebra and let J=J(A) be the Jacobson radical of A. Then G=1+J is a p-group, where p is the characteristic of F. We refer to G as an F-algebra group. A subgroup H of…
In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic p>0. In particular, we show that every admissible pair for such a group G…
Brylinski and Malgrange proved in 1986 that, for a monodromic algebraic D-module on a finite dimensional vector space over the complex numbers, its characteristic cycle is canonically identified with the characteristic cycle of its Fourier…
We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such…
Let $G/P$ be a complex cominuscule flag manifold of type $E_6,E_7$. We prove that each characteristic cycle of the intersection homology (IH) complex of a Schubert variety in $G/P$ is irreducible. The proof utilizes an earlier algorithm by…
Suppose O is a complete discrete valuation ring of positive characteristic with perfect residue field. The category of finite flat strict modules was introduced recently by Faltings and appears as an equal characteristic analogue of the…
For a pivotal finite tensor category $\mathcal{C}$ over an algebraically closed field $k$, we define the algebra $\mathsf{CF}(\mathcal{C})$ of class functions and the internal character $\mathsf{ch}(X) \in \mathsf{CF}(\mathcal{C})$ for an…
Let $(S,L)$ be a smooth primitively polarized K3 surface of genus $g$ and $f:X \rightarrow \mathbb{P}^1$ the fibration defined by a linear pencil in $|L|$. For $f$ general and $g \geq 7$, we work out the splitting type of the locally free…
Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The…
We further the classification of rational surface singularities. Suppose $(S, \mathfrak{n}, \mathcal{k})$ is a strictly Henselian regular local ring of mixed characteristic $(0, p > 5)$. We classify functions $f$ for which $S/(f)$ has an…
In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…
We show that a compact complex surface which fibers smoothly over a curve of genus >1 with fibers of genus >1 fibers holomorphically. We deduce an improvement of a result in [D Kotschick, Math. Research Letters, 5 (1998) 227-234], and a…
Let $S$ be a closed Riemann surface of genus $g \geq 2$ and $\varphi$ be a conformal automorphism of $S$ of prime order $p$ such that $S/\langle \varphi \rangle$ has genus zero. Let ${\mathbb K} \leq {\mathbb C}$ be a field of definition of…
Let K be a complete discretely valued field of mixed characteristics (0, p) with perfect residue field. One of the central objects of study in p-adic Hodge theory is the category of continuous representations of the absolute Galois group of…
Classifying elements of the Brauer group of a variety X over a p-adic field according to the p-adic accuracy needed to evaluate them gives a filtration on Br X. We relate this filtration to that defined by Kato's Swan conductor. The refined…
Recently, much work has been done to investigate Galois module structure of local field extensions, particularly through the use of Galois scaffolds. Given a totally ramified $p$-extension of local fields $L/K$, a Galois Scaffold gives us a…
We review the concept of differentiably simple ring and we give a new proof of Harper's Theorem on the characterization of Noetherian differentiably simple rings in positive characteristic. We then study flat families of differentiably…
We discuss a systematic procedure for categorifying presentable six-functor formalisms. Our main result produces, given the input of a representation of the $\infty$-category of correspondences of an $\infty$-category with finite limits…
We develop a Galois descent approach to finite-field Fourier spectra over an arbitrary finite base field. Let $\mathbb K=\mathbb F_q$ and $\mathbb L=\mathbb F_{q^m}$. If a Fourier transform is applied to a $\mathbb K$-valued vector, then…