Related papers: Dual Bialgebroids for Depth Two Ring Extensions

We study duals for objects and adjoints for $k$-morphisms in $\operatorname{Alg}_n(\mathcal{S})$, an $(\infty,n+N)$-category that models a higher Morita category for $E_n$ algebra objects in a symmetric monoidal $(\infty,N)$-category…

We study a Hopf algebra $H$, which is finitely generated and projective over a commutative ring $k$, as a $P$-Frobenius algebra. We define modular functions in this setting, and provide a complete proof of Radford's formula for the fourth…

Let H be a finite dimensional semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this note we give a short proof of the fact that a Hopf subalgebra of H is a depth two subalgebra if and only if it is…

We define a notion of depth for an inclusion of multimatrix algebras B < A based on a comparison of powers of the induction-restriction table M (and its transpose matrix). This notion of depth coincides with the depth from [Kadison, 2008].…

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

We define the double quantum affinization $\ddot{\mathrm{U}}_q(\mathfrak a_1)$ of type $\mathfrak{a}_1$ as a topological Hopf algebra. We prove that it admits a subalgebra $\ddot{\mathrm{U}}_q'(\mathfrak a_1)$ whose completion is…

We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl2), U_q(sl2) and the enveloping…

In this paper, we consider a depth inequality of Auslander which holds for finitely generated Tor-rigid modules over commutative Noetherian local rings. We raise the question of whether such a depth inequality can be extended for…

An extension of $k$-algebras $B \subset A$ is said to have depth one if there exists a positive integer $n$ such that $ A$ is a direct summand of $ B^n$ in $_B\mtr{Mod}_B$. Depth one extensions of semisimple algebras are completely…

It is known that irreducible noncommutative differential structures over $\Bbb F_p[x]$ are classified by irreducible monics $m$. We show that the cohomology $H_{\rm dR}^0(\Bbb F_p[x]; m)=\Bbb F_p[g_d]$ if and only if ${\rm Tr}(m)\ne 0$,…

The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding…

In this paper we study codes where the alphabet is a finite Frobenius bimodule over a finite ring. We discuss the extension property for various weight functions. Employing an entirely character-theoretic approach and a duality theory for…

Let $B\rightarrow A$ be a homomorphism of Hopf algebras and let $C$ be an algebra. We consider the induction from $B$ to $A$ of $C$ in two cases: when $C$ is a $B$-interior algebra and when $C$ is a $B$-module algebra. Our main results…

Let $f \colon R \to B$ be a surjective homomorphism of rings with kernel $I$. Gulliksen (when $I$ is generated by a regular sequence) and later Mehta (in general) showed that for any $B$-modules $M$ and $N$, $\mathrm{Ext}_B^{\ast}(M,N)$ has…

Let $M$ be a complete hyperbolic $n$-manifold, $n\geq 2$. Via integration over geodesic simplices, any closed bounded differential 2-form on $M$ defines a bounded cohomology class in $H^2_b(M)$. It was proved by Barge and Ghys (for $n=2$)…

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…

We give a sufficient condition for a bi-invariant weight on a Frobenius bimodule to satisfy the extension property. This condition applies to bi-invariant weights on a finite Frobenius ring as a special case. The complex-valued functions on…

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as…

Brugui\`eres, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which…

We develop the theory of module categories over a Grothendieck-Verdier category, i.e. a monoidal category with a dualizing object and hence a duality structure more general than rigidity. Such a category C comes with two monoidal structures…