Related papers: The Two-Square Lemma and the connecting morphism
Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ containing all the objects, a $\sigma$-cone for $F$ (with respect to…
We consider the issue of when the L-polynomial of one curve over $\F_q$ divides the L-polynomial of another curve. We prove a theorem which shows that divisibility follows from a hypothesis that two curves have the same number of points…
We propose a new realization, using Harish-Chandra bimodules, of the Serre functor for the BGG category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra. We further show that our realization carries over to…
We prove some analogues of Schur's lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf{T}$ be a neutral Tannakian category over a field of characteristic zero. Let $E$ be an extension of $A$ by $B$ in…
We consider the invariants Ker and Im for commutative squares in quasi-abelian categories. These invariants were introduced by Lambek for groups and then studied by Hilton and Nomura in exact categories.
For a partial lattice L the so-called two-point extension is defined in order to extend L to a lattice. We are motivated by the fact that the one-point extension broadly used for partial algebras does not work in this case, i.e. the…
During the last decades algebraization of space turned out to be a promising tool at the interface between Mathematics and Theoretical Physics. Starting with works by Gel'fand-Kolmogoroff and Gel'fand-Naimark, this branch developed as from…
We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms…
Chiriv\`{\i} and Maffei \cite{CM II} have proved that the multiplication of sections of any two ample spherical line bundles on the wonderful symmetric variety $X=\bar{G/H}$ is surjective. We have proved two criterions that allows ourselves…
This article is devoted to the computation of Jack connection coefficients, a generalization of the connection coefficients of two classical commutative subalgebras of the group algebra of the symmetric group: the class algebra and the…
We define 2-gerbes bound by complexes of braided group-like stacks. We prove a classification result in terms of hypercohomology groups with values in abelian crossed squares and cones of morphisms of complexes of length 3. We give an…
Let $\Gamma$ be a Fuchsian group in ${\rm SL}_2(\mathbb{R})$. In this note, we discuss the existence of $\rho$-equivariant functions for a two-dimensional representation $\rho$ of $\Gamma$. This assertion was first stated by Saber and…
Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we continue our…
In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple…
We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via…
Generalizing a theorem of Campercholi, we characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of…
In this paper we introduce the Fourier-Mukai transform for Lawson homology of abelian varieties and prove an inversion theorem for the Lawson homology as well as the morphic cohomology of abelian varieties. As applications, we obtain the…
We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.
In this paper, we revisit the 1979 work of Isbell on subfactors of groups and their projections, which he uses to establish a stronger formulation of the butterfly lemma and its consequence, the refinement theorem for subnormal series of…
This survey is a chapter of a forthcoming book. This chapter recalls the classical formulation of the Div-Curl lemma along with its proof, and presents some possible generalizations in the fractional setting, within the framework of the…