Related papers: High Frobenius pushforwards generate the bounded d…
Let $\cP=G/P$ be a homogeneous projective variety with $G$ a reductive group and $P$ a parabolic subgroup. In positive characteristic we exhibit for $G$ of low rank a Karoubian complete strongly exceptional poset of locally free sheaves…
We give an explicit formula to count the number of geometric branches of a curve in positive characteristic using the theory of tight closure. This formula readily shows that the property of having a single geometric branch characterizes…
Let $X$ be an affine, smooth, and Noetherian scheme over $\mathbb{C}$ acted on by an affine algebraic group $G$. Applying the technique developed in Arkhipov and {\O}rsted (2018a, 2018b), we define a dg-model for the derived category of…
We determine a class of ringed space X, for which the category of locally free sheaves of bounded rank is equivalent to the category of finitely generated projective A(X)-modules, where A(X) denote the ring of global sections of X. The…
We show that the derived category of a locally compact Hausdorff space $X$ is smooth in the sense of non-commutative geometry if and only if $X$ is discrete and finite.
We propose a definition of when a triangulated category should be considered a complete intersection. We show (using work of Avramov and Gulliksen) that for the derived category of a complete local Noetherian commutative ring R, the…
We call a tensor functor $F:\mathcal{C}\to\mathcal{D}$ between finite tensor categories $\otimes$-Frobenius if its left and right adjoints are isomorphic as $\mathcal{C}$-bimodule functors. We give several characterizations of this notion…
The Milnor number, \mu(X,0), and the singularity genus, p_g(X,0), are fundamental invariants of isolated hypersurface singularities (more generally, of local complete intersections). The long standing Durfee conjecture (and its…
We define a Frobenius algebra over fusion categories of the form Rep$(G)\boxtimes$Rep$(G)$ which generalizes the diagonal subgroup of $G\times G$. This allows us to extend field theoretical constructions which depend on the existence of a…
In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme $X$ in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the…
For the ring of differential operators on a smooth affine algebraic variety $X$ over a field of characteristic zero a finite set of algebra generators and a finite set of defining relations are found explicitly. As a consequence, a finite…
In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$,…
A bounded automorphism of a field or a group with trivial approximate centre is definable. In an expansion of a field by a Pfaffian family F of additive endomorphisms such that algebraic closure in the expansion coincides with relative…
Let G be a complex connected reductive group. I. Losev has shown that a smooth affine spherical G-variety X is uniquely determined by its weight monoid, which is the set of irreducible representations of G that occur in the coordinate ring…
The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit…
We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras.…
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…
We introduce a generating function associated to the homogeneous generators of a graded algebra that measures how far is this algebra from being finitely generated. For the case of some algebras of Frobenius endomorphisms we describe this…
In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving…
Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…