Related papers: Cancellation theorem

In this work, it is shown that the category XMod/P of crossed modules over fixed group P is an exact category and the complete proof of the embedding theorem of XMod/P into a set valued functor category is given.

This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be…

The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector space, without placing any restrictions on the dimension of the space or on the base field. We define a…

We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of…

We establish the complete classification of Chow motives of projective homogeneous varieties for $p$-inner semi-simple algebraic groups, with coefficients in $\mathbb{Z}/p\mathbb{Z}$. Our results involve a new motivic invariant, the Tate…

We define and study the functorial spectrum for every triangulated tensor category. A reconstruction result for topologically noetherian schemes similar to (and based on) a theorem by Balmer is proved. An alternative proof of the…

We prove special cases of a general conjecture: If an invertible field theory admits a projectively topological boundary theory, then it has finite order in the abelian group of invertible field theories. One can substitute `gapped' for…

We analyze the spectrum of the tensor-triangulated category of Artin-Tate motives over the base field R of real numbers, with integral coefficients. Away from 2, we obtain the same spectrum as for complex Tate motives, previously studied by…

We introduce a tower of localizing subcategories in Voevodsky's big (closed under infinite coproducts) triangulated category of motives. We show that the tower induces an interesting finite filtration on the motivic cohomology groups of…

We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories ${\cal T}$. We describe pp formulas, pp-types and free realisations in such categories and we prove elimination of…

Given a tensor-triangulated category $T$, we prove that every flat tensor-idempotent in the module category over $T^c$ (the compacts) comes from a unique smashing ideal in $T$. We deduce that the lattice of smashing ideals forms a frame.

We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.

We show that the reduced motive of a smooth affine quadric is invertible as an object of the triangulated category of motives DM(k, ZZ[1/e]) (where k is a perfect field of exponential characteristic e). We also establish a motivic version…

We classify the localizing tensor ideals of the derived categories of mixed Tate motives over certain algebraically closed fields. More precisely, we prove that these categories are stratified in the sense of Barthel, Heard and Sanders. A…

Let $G$ be a reductive group over $\mathbb{F}_{p}$ with associated finite group of Lie type $G^{F}$. Let $T$ be a maximal torus contained inside a Borel $B$ of $G$. We relate the (rational) Tate motives of $\text{B}G^{F}$ with the…

We construct and study a candidate for the standard motivic t-structure on the triangulated category of relative cohomological 1-motives with rational coefficients over a noetherian finite dimensional scheme S. This t-structure is defined…

We consider the BGG category $\mathcal{O}$ of a quantized universal enveloping algebra $U_q(\mathfrak{g})$. We call a module $M\in \mathcal{O}$ tensor-closed if $M\otimes N\in\mathcal{O}$ for any $N\in \mathcal{O}$. In this paper we prove…

We consider the category of Deligne 1-motives over a perfect field k of exponential characteristic p and its derived category for a suitable exact structure after inverting p. As a first result, we provide a fully faithful embedding into an…

We give an elementary proof of the theorem which states that a finite unramified algebra over a discrete field is tracically \'etale. -- Nous donnons une d\'emonstration \'el\'ementaire du th\'eor\`eme selon lequel toute alg\`ebre nette sur…

This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational…