Related papers: Invertible exterior powers
Properties of morphisms represented by so-called 'string diagrams' of monoidal categories (and their braided and symmetric derivatives), mainly their resistance in value to isotopic deformation, have made the usage of graphical calculi…
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…
We show how multiplier ideals can be used to obtain uniform multiplicative bounds for certain families of ideals on a smooth complex algebraic variety. In particular we prove a quick but rather surprising result about symbolic powers of…
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…
We introduce the concept of strongly independent matrices over any field, and prove the existence of such matrices for certain fields and the non-existence for algebraically closed fields. Then we apply strongly independent matrices over…
We construct a new Weil cohomology for smooth projective varieties over a field, universal among Weil cohomologies with values in rigid additive tensor categories. A similar universal problem for Weil cohomologies with values in rigid…
In this paper, we study affine commutative algebraic monoid structures on affine spaces over an arbitrary field of characteristic zero. We obtain full classification of such structures on $\mathbb{A}_K^2$ and $\mathbb{A}_K^3$ and describe…
We confirm Beauville's conjecture that claims that if the p-th exterior power of the tangent bundle of a smooth projective variety contains the p-th power of an ample line bundle, then the variety is either the projective space or the…
We prove a stabilization theorem for algebras of n-operads in a monoidal model category. It implies a version of Baez-Dolan stabilization hypothesis for Rezk's weak n-categories and some other stabilization results.
The invertibility hypothesis for a monoidal model category S asks that localizing an S-enriched category with respect to an equivalence results in an weakly equivalent enriched category. This is the most technical among the axioms for S to…
We introduce and study the category of modular (i.e. with coefficient of positive characteristic) monodromic perverse sheaves on complex stratified $T$-varieties, with $T$ a complex algebraic torus. In particular, we show that under…
We show that any extremal contraction from a smooth projective variety with dimension less than or equal to three appears as a moduli space of (semi)stable objects in the derived category of coherent sheaves.
Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably…
We present proofs of two classical theorems. The first one, due to Darboux and Sauer, states that infinitesimal rigidity is a projective invariant; the other one establishes relations (infinitesimal Pogorelov maps) between the infinitesimal…
We show that among the Euclidean submanifolds with codimension two the ones of rank two that are parabolic but nonruled are isometrically rigid. This generalizes the result in [10] that these submanifolds are genuinely rigid. In addition,…
We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…
I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an…
We consider three forms of composition of matroids, each of which extends the category of bimatroids to a rigid monoidal category. Many well-known constructions are functorial or defined by morphisms in these categories. Motivating examples…
We prove the conjecture that higher Verlinde categories are geometrically reductive. This is one of the two properties required in order for recent results on algebraic geometry in tensor categories to apply to these categories. We also…
Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple…