Related papers: Towards commutator theory for relations. III
For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…
We establish a correspondence between polynomial representations of the Temperley and Lieb algebra and certain deformations of the Quantum Hall Effect wave functions. When the deformation parameter is a third root of unity, the…
We develop the basic properties of the higher commutator for congruence modular varieties.
The paper contains three main results. First, we show that if a commutative semigroup variety is a modular element of the lattice Com of all commutative semigroup varieties then it is either the variety COM of all commutative semigroups or…
Given a separable metrisable space X, and a group G of homeomorphisms of X, we introduce a topological property of the action of G on X which is equivalent to the existence of a G-invariant compatible metric on X. This extends a result of…
Let F be a right Hilbert C*-module over a C*-algebra B, and suppose that F is equipped with a left action, by compact operators, of a second C*-algebra A. Tensor product with F gives a functor from Hilbert C*-modules over A to Hilbert…
We generalise Kahn, Miyazaki, Saito, Yamazaki's theory of modulus pairs to pairs $(X, D)$ consisting of a qcqs scheme $X$ equipped with an effective Cartier divisor $D$ representing a ramification bound. We develop theories of sheaves on…
A permutation class $C$ is splittable if it is contained in a merge of two of its proper subclasses, and it is 1-amalgamable if given two permutations $\sigma$ and $\tau$ in $C$, each with a marked element, we can find a permutation $\pi$…
We prove the hard Lefschetz theorem and the Hodge-Riemann relations for a commutative ring associated to an arbitrary matroid M. We use the Hodge-Riemann relations to resolve a conjecture of Heron, Rota, and Welsh that postulates the…
We study properties of irreducible and completely reducible representations of finitely generated groups Gamma into reductive algebraic groups G in in the context of the geometric invariant theory of the G-action on Hom(Gamma,G) by…
Motivated by a variant of Atiyah-Floer conjecture proposed in \cite{L2} and its potential generalizations, we study in this article and its sequel as a first step properties of moduli spaces of Seiberg-Witten equations on a 3-dimensional…
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…
This paper consists of three interconnected parts. Parts I,III study the relationship between the cohomology of a reductive group and that of a Levi subgroup. For example, we provide a necessary condition, arising from Kazhdan-Lusztig…
Identities between Whittaker and modified Bessel functions are derived for particular complex orders. Certain polynomials appear in such identities, which satisfy a fourth order differential equation (not of hypergeometric type), and they…
In this note, we study the arithmetic nature of values of modular functions, meromorphic modular forms and meromorphic quasi-modular forms with respect to arbitrary congruence subgroups, that have algebraic Fourier coefficients. This…
The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined…
The theory of matrix models is reviewed from the point of view of its relation to integrable hierarchies. Determinantal formulas, relation to conformal field models and the theory of Generalized Kontsevich model are discussed in some…
Hom-Maltsev(-admissible) algebras are defined, and it is shown that Hom-alternative algebras are Hom-Maltsev-admissible. With a new definition of a Hom-Jordan algebra, it is shown that Hom-alternative algebras are Hom-Jordan-admissible.…