Related papers: Linear source invertible bimodules and Green corre…

In group representations several inductions given by tensoring with appropriate bimodules may be reconstructed via homology of $G$-posets with $G$-equivariant coefficients. For this purpose, we need various local categories of a finite…

Let $G$ be a finite group and let $k$ be an algebraically closed field of characteristic $2$ and let $M$ be an indecomposable $kG$-module which affords a non-degenerate $G$-invariant symmetric bilinear form. We introduce the symmetric…

We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to…

Let $K$ be a field of characteristic $0$ and let $G$ and $H$ be connected commutative algebraic groups over $K$. Let $\text{Mor}_0(G,H)$ denote the set of morphisms of algebraic varieties $G \to H$ that map the neutral element to the…

Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface F an algebra A(F) and to a three-manifold Y with boundary identified with F a module over A(F). In this paper, we establish naturality properties…

Let X be a nonsingular projective algebraic curve of genus g\ge3. We consider the moduli space M of stable bundles of fixed determinant with rank n and degree d coprime and d>n(2g-2). There is a universal bundle on XxM and we consider the…

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…

For any extension of commutative rings $A\subseteq B$, by using invertible ideals, we first define an Abelian group $\Cl(A,B)$, that we call the ideal class group of this extension. Then we study the main properties of this group. Among…

We present a construction of (faithful) group actions via derived equivalences in the general categorical setting of algebraic 2-Calabi--Yau triangulated categories. To each algebraic 2-Calabi--Yau category $\mathscr{C}$ satisfying standard…

The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\in\pi(B)$ and $2\notin\pi(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$…

This paper is about three classes of objects: Leonard pairs, Leonard triples, and the finite-dimensional irreducible modules for an algebra $\mathcal{A}$. Let $\K$ denote an algebraically closed field of characteristic zero. Let $V$ denote…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

In the building of a finite group of Lie type we consider the incidence relations defined by oppositeness of flags. Such a relation gives rise to a homomorphism of permutation modules (in the defining characteristic) whose image is a simple…

In this note we give applications of recent results coming mostly from the third paper of this series. It is shown that the number of irreducible characters in a $p$-block of a finite group with abelian defect group $D$ is bounded by $|D|$…

Let $A$ be an abelian compact Lie group. In this paper we compute the spectrum of invariant prime ideals of the $A$-equivariant Lazard ring, or equivalently the spectrum of points of the moduli stack of $A$-equivariant formal groups. We…

The loop space of the Riemann sphere consisting of all $C^k$ or Sobolev $W^{k,p}$ maps from the circle $S^1$ to the sphere is an infinite dimensional complex manifold. We compute the Picard group of holomorphic line bundles on this loop…

We establish an induction isomorphism in the context of measurable bounded cohomology of discrete measured groupoid, which generalizes the Eckmann-Shapiro isomorphism in bounded cohomology of lattices due to Burger and Monod. In our wider…

We establish relations between representation dimensions of two algebras connected by a Frobenius bimodule or extension. Consequently, upper bounds and equality formulas for representation dimensions of group algebras, symmetric separably…

Let $U$ and $A$ be algebras over a field $k$. We study algebra structures $H$ on the underlying tensor product $U{\otimes}A$ of vector spaces which satisfy $(u{\otimes}a)(u'{\otimes}a') = uu'{\otimes}aa'$ if $a = 1$ or $u' = 1$. For a pair…

We classify the bireflections (products of 2 involutions) in the commutator subgroup G an orthogonal group O(V) over a finite field GF(q) of characteristic not 2. We show that every element of G is a bireflection if it is reversible…