Related papers: Separable functors for Doi-Hopf modules. Applicati…
We prove that any right Quillen functor between arbitrary model categories admits non trivial functorial factorizations that are similar to those of a model structure. We also prove that these factorizations can be made for lax monoidal…
Let $H$ be a Hopf group coalgebra with a bijective antipode and $A$ an $H$-comodule Poisson algebra. In this paper, we mainly generalize the fundamental theorem of Poisson Hopf modules to the case of Hopf group coalgebras.
We prove a version of the Deligne conjecture for $n$-fold monoidal abelian categories $A$ over a field $k$ of characteristic 0, assuming some compatibility and non-degeneracy conditions for $A$. The output of our construction is a weak…
In this paper, we construct a functorial quantization of (co)Poisson Hopf algebras within a broad categorical framework. We further introduce categories naturally associated with (co)Poisson Hopf algebras, namely Drinfeld-Yetter modules.…
By finite quantum groups we mean Lusztig's finite-dimensional pointed Hopf algebras called quantum Frobenius Kernels [9, 10], and their natural generalizations due to Andruskiewitsch and Schneider [2, 3]. For a Hopf algebra $H$ in a special…
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…
We show how natural functors from the category of coherent sheaves on a projective scheme to categories of Kronecker modules can be used to construct moduli spaces of semistable sheaves. This construction simplifies or clarifies technical…
The category of Yetter-Drinfeld modules over a Hopf algebra (with bijektive antipode over a field) is a braided monoidal category. Given a Hopf algebra in this category then the primitive elements of this Hopf algebra do not form an…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…
Let $p$ be a rational prime and $q$ a power of $p$. Let $\wp$ be a monic irreducible polynomial of degree $d$ in $\mathbf{F}_q[t]$. In this paper, we define an analogue of the Hodge-Tate map which is suitable for the study of Drinfeld…
Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We…
We show that every essentially small finitely semisimple k-linear additive spherical category in which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular…
We construct Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we show that the categories of Hopf bimodules and Yetter-Drinfeld modules over a Hopf algebroid…
If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…
For a semisimple quasi-triangular Hopf algebra $\left( H,R\right) $ over a field $k$ of characteristic zero, and a strongly separable quantum commutative $H$-module algebra $A$ over which the Drinfeld element of $H$ acts trivially, we show…
As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $\mathsf{Set}$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits…
Let $p$ be prime. Let $L/K$ be a finite, totally ramified, purely inseparable extension of local fields, $\left[ L:K\right] =p^{n},\;n\geq2.$ It is known that $L/K$ is Hopf Galois for numerous Hopf algebras $H,$ each of which can act on the…
Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the…
We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…