Related papers: Some exact sequences associated with adjunctions i…

A wide generalization of the classical theorem of A. Grothendieck asserting that for any faithfully flat extension of commutative rings, the corresponding relative Picard group and the Amitsur 1-cohomology group with values in the…

We give a bicategorical version of the main result of A. Masuoka ({Corings and invertible bimodules,} {\em Tsukuba J. Math.} \textbf{13} (1989), 353--362) which proposes a non-commutative version of the fact that for a faithfully flat…

We study monoidal 2-categories and bicategories in terms of categorical extensions and the cohomological data they determine in appropriate cohomology theories with coefficients in Picard groupoids. In particular, we analyze the hierarchy…

Given an extension $R \subseteq S$ of rings with same set of local units, inspired by the works of Miyashita, we construct four exact sequences of groups relating Picard's groups of $R$ and $S$.

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

Let S be a site. We introduce the 2-category of biextensions of strictly commutative Picard S-stacks. We define the pull-back, the push-down, and the sum of such biextensions and we compute their homological interpretation: if P,Q and G are…

Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike…

Let $R$ be a ring with a set of local units, and a homomorphism of groups $\underline{\Theta} : \G \to \Picar{R}$ to the Picard group of $R$. We study under which conditions $\underline{\Theta}$ is determined by a factor map, and,…

We introduce pseudoalgebras for relative pseudomonads and develop their theory. For each relative pseudomonad $T$, we construct a free--forgetful relative pseudoadjunction that exhibits the bicategory of $T$-pseudoalgebras as terminal among…

We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology theories for directed structures. This means in particular…

We derive an explicit isomorphism between the Hilbert modular group and certain congruence subgroups on the one hand and particular subgroups of the special orthogonal group $SO(2, 2)$ on the other hand. The proof is based on an application…

For Cuntz-Pimsner algebras of bi-Hilbertian bimodules of finite Jones-Watatani index satisfying some side conditions, we give an explicit isomorphism between the $K$-theory exact sequences of the mapping cone of the inclusion of the…

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 show that direct summands of certain additive functors arising as bifunctors with a fixed argument in an abelian category are again of that form whenever the fixed argument has finite length or, more generally, satisfies the descending…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

There is a well known bijective correspondence between isomorphism classes of polystable vector bundles $E$ with $c_i(E)=0$ for $i\geq 1$ on a smooth complex projective variety and equivalence classes of unitary representations of the…

To a strongly $G$-graded algebra $A$ with $1$-component $B$ we associate the group $\mathrm{Picent}^{\mathrm{gr}}(A)$ of isomorphism classes of invertible $G$-graded $(A,A)$-bimodules over the centralizer of $B$ in $A$. Our main result is a…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

Extension conjecture states that if a simple module over an artin algebra has nonzero first self-extension group then it has nonzero i-th self-extension group for infinitely many positive integers i. It is shown by recollement of…

Let S be a commutative ring with topologically noetherian spectrum and let R be the absolutely flat approximation of S. We prove that subsets of the spectrum of R parametrise the localising subcategories of D(R). Moreover, we prove the…