Related papers: Separable functors in corings

In this paper, we continue the program initiated by I. Beck's now classical paper concerning zero-divisor graphs of commutative rings. After the success of much research regarding zero-divisor graphs, many authors have turned their…

{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the…

We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad…

We characterize Gorenstein modules over those local rings that admit a finite contracting endomorphism.

Let X/S be a semistable curve with an action of a finite group G and let H be a normal subgroup of G. We present a new condition under which for any base change T->S, (X/G)*T is isomorphic to (X*T)/G. This allows us to define induction and…

Given a non-positive DG-ring $A$, associated to it are the reduction and coreduction functors $F(-) = \mathrm{H}^0(A)\otimes^{\mathrm{L}}_A -$ and $G(-) = \mathrm{R}\operatorname{Hom}_A(\mathrm{H}^0(A),-)$, considered as functors…

This note contains some results related to the definitions of toroidal embeddings and toroidal morphisms over non-closed fields of characteristic zero.

We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups…

We study collections of additive categories $\mathcal{M}(G)$, indexed by finite groups $G$ and related by induction and restriction in a way that categorifies usual Mackey functors. We call them `Mackey 2-functors'. We provide a large…

We define "sliding functors", which are exact endofunctors of the category of multi-graded modules over a polynomial ring. They preserve several invariants of modules, especially the (usual) depth and Stanley depth. In a similar way, we can…

All components of complements of discriminant varieties of simple real function singularities are explicitly listed. New invariants of such components (for not necessarily simple singularities) are introduced. A combinatorial algorithm…

In this paper, I establish the categorical structure necessary to interpret dependent inductive and coinductive types. It is well-known that dependent type theories \`a la Martin-L\"of can be interpreted using fibrations. Modern theorem…

In this paper, we describe the indecomposable factors of a fibered Burnside ring in terms of bases coming from the standard basis. We provide a further characterization of each factor as the solvable component of the fibered Burnside ring…

In a previous paper we introduced the concept of semiseparable functor. Here we continue our study of these functors in connection with idempotent (Cauchy) completion. To this aim, we introduce and investigate the notions of (co)reflection…

We characterize the movable cone of divisors using intersections against curves on birational models.

We prove that the bigraded colored Khovanov-Rozansky type A link and tangle invariants are functorial with respect to link and tangle cobordisms.

We extend the formalism of I to a global setting for which a theorem on fiber integrals and a Fubini theorem are obtained. We compare our formalism to the previous constructions of motivic integration in the geometric and arithmetic cases.

We present an algorithm for factoring linear differential operators with coefficients in a finite separable extension of F p (x). Our methods rely on specific tools arising in positive characteristic: p-curvature, structure of simple…

We give a functorial characterization of Mittag-Leffler modules and strict Mittag-Leffler modules.

We define the induction and restriction functors for cyclotomic q-Schur algebras, and study some properties of them. As an application, we categorify a higher level Fock space by using the module categories of cyclotomic q-Schur algebras.