Related papers: Frobenius Extensions of Corings

Given a ring $A$ and an $A$-coring $\cC$ we study when the forgetful functor from the category of right $\cC$-comodules to the category of right $A$-modules and its right adjoint $-\otimes_A\cC$ are separable. We then proceed to study when…

We apply Frobenius integrability theorem in the search of invariants for one-dimensional Hamiltonian systems with a time-dependent potential. We obtain several classes of potential functions for which Frobenius theorem assures the existence…

We identify general conditions, formulated using the projection formula morphisms, for a functor that is simultaneously left and right adjoint to a strong monoidal functor to be a Frobenius monoidal functor. Moreover, we identify stronger…

We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case…

To any bimodule which is finitely generated and projective on one side one can associate a coring, known as a comatrix coring. A new description of comatrix corings in terms of data reminiscent of a Morita context is given. It is also…

Let $i: A\to R$ be a ring morphism, and $\chi: R\to A$ a right $R$-linear map with $\chi(\chi(r)s)=\chi(rs)$ and $\chi(1_R)=1_A$. If $R$ is a Frobenius $A$-ring, then we can define a trace map $\tr: A\to A^R$. If there exists an element of…

The main purpose is to characterise continuous maps that are $n$-branched coverings in terms of induced maps on the rings of functions. The special properties of Frobenius $n$-homomorphisms between two function spaces that correspond to…

This paper investigates the conditions under which the centralizer algebra $S_n(c,R)$ of a matrix $ c\in M_n(R)$ is a (separable) Frobenius extension of the base algebra $R$. For an algebra $R$ over an integral domain $\mathbb{k}$, we…

Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to…

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…

Let k be a field of characteristic p>0. A theorem of de Jong shows that morphisms of modules over W(k)[[t]] with Frobenius and connection structure descend from the completion of W(k)((t)). A careful reading of de Jong's proof suggests the…

We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings.

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally…

It is well-known that for a large class of local rings of positive characteristic, including complete intersection rings, the Frobenius endomorphism can be used as a test for finite projective dimension. In this paper, we exploit this…

We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to…

For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the…

Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(\varphi_1,\varphi_2,\dots,\varphi_d)$ such that their product is $f$ times an identity…

We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize…

R. Heitmann's proof of the Direct Summand Conjecture has opened a new approach to the study of homological conjectures in mixed characteristic. Inspired by his work and by the methods of almost ring theory, we discuss a normalized length…

We investigate scalar restriction, scalar extension, and scalar coextension functors for graded modules, including their interplay with coarsening functors, graded tensor products, and graded Hom functors. This leads to several…