Related papers: Compatible systems and ramification
We introduce a notion of complexity of a complex of ell-adic sheaves on a quasi-projective variety and prove that the six operations are "continuous", in the sense that the complexity of the output sheaves is bounded solely in terms of the…
The classification, both up to isomorphism or up to equivalence, of the gradings on a finite dimensional nonassociative algebra A over an algebraically closed field F, such that its group scheme of automorphisms is smooth, is shown to be…
We prove that the the kernel of the reciprocity map for a product of curves over a $p$-adic field with split semi-stable reduction is divisible. We also consider the $K_1$ of a product of curves over a number field.
Let $X$ be a smooth, projective, and geometrically connected curve defined over a finite field $\mathbb{F}_q$ of characteristic $p$ different from $2$ and $S\subseteq X$ a subset of closed points. Let $\overline{X}$ and $\overline{S}$ be…
Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is…
Using the discriminant modular form and the Noether formula it is possible to write the admissible self-intersection of the relative dualising sheaf of a semistable hyperelliptic curve over a number field or function field as a sum, over…
If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…
We show that the $\ell$-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the $\ell$-adic Tate conjecture for divisors on smooth projective surfaces over…
Let $(G, X)$ be a Shimura datum. In previous work with Christian Klevdal, we showed that the canonical $G(\mathbb{Q}_{\ell})$-valued local systems on Shimura varieties for $G$ form compatible systems after projection to the adjoint group of…
We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…
A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields.…
In this article, we define the l-adic homology for a morphism of schemes satisfying certain finiteness conditions. This homology has these functors similar to the Chow groups: proper push-forward, flat pull-back, base change, cap-product,…
A {\it Lie system} is a nonautonomous system of first-order differential equations admitting a {\it superposition rule}, i.e., a map expressing its general solution in terms of a generic family of particular solutions and some constants.…
We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to…
This paper deals with stratifying systems over hereditary algebras. In the case of tame hereditary algebras we obtain a bound for the size of the stratifying systems composed only by regular modules and we conclude that stratifying systems…
We revisit G. Elek's notion of amenable representation type, where algebras are characterised by every indecomposable module being "almost" the direct sum of modules of bounded dimension. We give a new proof of his result that string…
We show that the Hall algebra of the category of coherent sheaves on an elliptic curve (or, equivalently, the algebra of unramified automorphic forms for GL(n) for all n) is equal to the stable limit of spherical double affine Hecke…
We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact…
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the…
Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also…