Related papers: Report on $\mathbb{E}_\infty$-descendability

Under mild hypotheses on the residual representation, we prove the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras using a novel combination of the methods of…

This note examines the infinite divisibility of density-based transformations of normal random variables. We characterize a class of density-based transformations of normal variables which produces non-infinitely divisible distributions. We…

We prove an equivalence between the derived category of a variety and the equivariant/graded singularity category of a corresponding singular variety. The equivalence also holds at the dg level.

Let $\Mod \CS$ denote the category of $\CS$-modules, where $\CS$ is a small category. In the first part of this paper, we provide a version of Rickard's theorem on derived equivalence of rings for $\Mod \CS$. This will have several…

We show the derived invariance of various geometric invariants of smooth complex projective varieties governed by the Albanese map, including the relative canonical ring and the class of the relative canonical model in a suitable variant of…

We provide a far reaching derived equivalence classification of the cluster-tilted algebras of Dynkin type D and suggest standard forms for the derived equivalence classes. We believe that the classification is complete, but some subtle…

Exponential varieties arise from exponential families in statistics. These real algebraic varieties have strong positivity and convexity properties, familiar from toric varieties and their moment maps. Among them are varieties of inverses…

We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.

In this work, we establish a categorification of the classical Dold-Kan correspondence in the form of an equivalence between suitably defined $\infty$-categories of simplicial stable $\infty$-categories and connective chain complexes of…

We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…

A class K of structures is controlled if, for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive…

We prove an extensionality theorem for the "type-in-type" dependent type theory with Sigma-types. We suggest that the extensional equality type be identified with the logical equivalence relation on the free term model of type theory.

A twisted ring is a ring endowed with a family of endomorphisms satisfying certain relations. One may then consider the notions of twisted module and twisted differential module. We study them and show that, under some general hypothesis,…

Let $T_R$ be a right $n$-tilting module over an arbitrary associative ring $R$. In this paper we prove that there exists a $n$-tilting module $T'_R$ equivalent to $T_R$ which induces a derived equivalence between the unbounded derived…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals…

We show that for a complex abelian variety X a certain Tannaka group G(X) attached to X is a pro-reductive group whose group of connected components is abelian, and hence isomorphic to the etale pro-finite abelian fundamental group of the…

These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of To\"en-Vaqui\'e that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories.…

We study the multiplicities of pure motives modulo numerical equivalence, which are defined as scalars comparing the tannakian trace with the ring-theoretic trace. Our general set-up is that of a rigid semi-simple tensor category such that…

Some applications of a result, which is proved recently, is considered. We first prove three determinantal identities concerning the binomial coefficient and Stirling numbers of the first and the second kind. We also easily obtain the…