Related papers: Push-forwards for Witt groups of schemes

We propose a variable metric forward-backward splitting algorithm and prove its convergence in real Hilbert spaces. We then use this framework to derive primal-dual splitting algorithms for solving various classes of monotone inclusions in…

In this note, we reconcile two approaches that have been used to construct stringy multiplications. The pushing forward after pulling back that has been used to give a global stringy extension of the functors K_0,K^{top},A^*,H^* [CR, FG,…

Let k be an algebraically closed field. Using the Eilenberg-Watts theorem over schemes, we determine the structure of k-linear right exact direct limit and coherence preserving functors from the category of quasi-coherent sheaves on P^1_k…

We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors…

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…

We establish a sufficient condition for the category of homotopical inverse diagrams to be closed under pushforward inside the category of inverse diagrams in a fibration category.

We study two kinds of push-forwards of $\delta$-forms and define the pull-backs of $\delta$-forms. As a generalization of Gubler-K\"unnemann, we prove the projection formula and the tropical Poincar\'e-Lelong formula. As an application, we…

The semidirect product of a finitely generated group dual with the symmetric group can be described through so-called group-theoretical categories of partitions (covers only a special case; due to Raum--Weber, 2015) and skew categories of…

The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of…

In this paper we introduce a description of ordered groupoids as a particular type of double categories. This enables us to turn Lawson's correspondence between ordered groupoids and left-cancellative categories into a biequivalence. We use…

This is the second part of a project aimed at formalizing Rozansky-Witten models in the functorial field theory framework. In the first part we constructed a symmetric monoidal $(\infty, 3)$-category $\mathscr{CRW}$ of commutative…

We propose a theory of degenerations for derived module categories, analogous to degenerations in module varieties for module categories. In particular we define two types of degenerations, one algebraic and the other geometric. We show…

We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between…

We introduce and study several homological notions which generalise the discrete derived categories of D. Vossieck. As an application, we show that Vossieck discrete algebras have this property with respect to all bounded t-structures. We…

We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms between Grothendieck topoi. We discuss properties of both…

In this paper we study multilinear morphisms between commutative group schemes and the associated tensor constructions. We will also do some explicit calculations and give examples that show that this theory behaves in a way that one would…

The rigidity theorem for homotopy invariant presheaves with Witt-transfers on the category of smooth affine varieties over a field $k$ with characteristic not equal to 2 is proved. Namely for such a presheaf $\mathcal F$ the isomorphism…

We give a generalization of Poitou-Tate duality to schemes of finite type over rings of integers of global fields.

We introduce in this note the notion of the category of twisted Chow-Witt correspondences $CHW(k)$ over a field $k$ of characteristic different from $2$. Moreover, we show that over an infinite perfect field this category $CHW(k)$ admits a…

We study residue formulas for push-forward in K-theory of homogeneous spaces. First we review formulas for classical groups, which we derive from a formula for the classical Grassmannian case. Next we consider the homogeneous spaces for G2.…