Related papers: Holomorphic Frobenius actions for DQ-modules

We explicitly show that symmetric Frobenius structures on a finite-dimensional, semi-simple algebra stand in bijection to homotopy fixed points of the trivial SO(2)-action on the bicategory of finite-dimensional, semi-simple algebras,…

We call a tensor functor $F:\mathcal{C}\to\mathcal{D}$ between finite tensor categories $\otimes$-Frobenius if its left and right adjoints are isomorphic as $\mathcal{C}$-bimodule functors. We give several characterizations of this notion…

For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism omega of H, we establish the existence of the following structure: an H-bimodule F_omega and a bimodule morphism Z_omega from Lyubashenko's Hopf…

We show that the bigroupoid of separable symmetric Frobenius algebras over an algebraically closed field and the bigroupoid of finitely semi-simple Calabi-Yau categories are equivalent. To this end, we construct a trace on the category of…

We characterize noncommutative Frobenius algebras A in terms of the existence of a coproduct which is a map of left A^e-modules. We show that the category of right (left) comodules over A, relative to this coproduct, is isomorphic to the…

We construct an action of a free resolution of the Frobenius properad on the differential forms of a closed oriented manifold. As a consequence, the forms of a manifold with values in a semi-simple Lie algebra have an additional structure…

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…

Via a construction due to V. Drinfel'd, we prove an equivalence of categories, generalizing the equivalence between commutative flat group schemes in characteristic $p$ with trivial Verschiebung and their Dieudonn\'e modules to group…

Let $G$ be a group acting on a small category $\mathcal C$ over a field $k$, that is $\mathcal C$ is a $G$-$k$-category. We first obtain that $\mathcal C$ is resolvable by a category which is $G$-$k$-equivalent to it, on which $G$ acts…

We prove that for $X$ a quasi-compact $\mathbb{F}_p$-scheme with affine diagonal (e.g.\ $X$ quasi-compact and separated) there is a t-exact equivalence $\mathcal D(\mathrm{Frob}(\mathrm{QCoh}(X),F_*)) \to \mathrm{Frob}(\mathcal…

We give a fully faithful integral model for spaces in terms of $\mathbb{E}_{\infty}$-ring spectra and the Nikolaus-Scholze Frobenius. The key technical input is the development of a homotopy coherent Frobenius action on a certain…

For coalgebras $C$ and $D$, Takeuchi proved that the category of linear functors from $\mathfrak{M}^C$ to $\mathfrak{M}^D$ preserving small coproducts is equivalent to the category of $C$-$D$-bicomodules, where $\mathfrak{M}^C$ for a…

A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…

Given a complete, cocomplete category $\mathcal C$, we investigate the problem of describing those small categories $I$ such that the diagonal functor $\Delta:\mathcal C\to {\rm Functors}(I,\mathcal C)$ is a Frobenius functor. This…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…

Let $(R,m)$ be a Noetherian local ring of characteristic $p>0$. We introduce and study $F$-full and $F$-anti-nilpotent singularities, both are defined in terms of the Frobenius actions on the local cohomology modules of $R$ supported at the…

A visible action on a complex manifold is a holomorphic action that admits a $J$-transversal totally real submanifold $S$. It is said to be strongly visible if there exists an orbit-preserving anti-holomorphic diffeomorphism $\sigma $ such…

Let an algebraic group G act on X, a connected algebraic manifold, with finitely many orbits. For any Harish-Chandra pair (D,G) where D is a sheaf of twisted differential operators on X, we form a left ideal D.g in D generated by the Lie…

We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting actions of two compact quantum groups…

The equivariant cohomology for actions of compact connected abelian groups and elementary abelian p-groups have been widely studied in the last decades. We study some of these results on actions of finite cyclic groups over a field of…