Related papers: Algebraic exponentiation and action representabili…

Algebraic cycles on complex projective space P(V) are known to have beautiful and surprising properties. Therefore, when V carries a real or quaternionic structure, it is natural to ask for the properties of the groups of real or…

We show that the (2-)category of categorical representations of the loop group embeds fully faithfully into the (2-)category of factorization module categories with respect to the affine Grassmannian.

We show that the left regular representation of Neretin groups is factorial, providing the first example of a non-discrete simple group with this property. This is based on a new criterion of factoriality for totally disconnected groups.…

We define and calculate inner products of 2-representations. Along the way, we prove that the categorical trace Tr(-) of [Ganter and Kapranov, Representation and character theory in 2-categories, Sec. 3] is multiplicative with respect to…

Given a locally compact group $G=Q\ltimes V$ such that $V$ is Abelian and such that the action of $Q$ on the Pontryagin dual $\hat V$ has a free orbit of full measure, we construct a family of unitary dual $2$-cocycles $\Omega_\omega$ (aka…

We show that the factorial and Q-factorial loci of algebraic varieties defined over an algebraically closed field are open, that products of locally factorial varieties are still locally factorial, and that this property remains true for…

We study the categorical-algebraic condition that internal actions are weakly representable (WRA) in the context of varieties of (non-associative) algebras over a field. Our first aim is to give a complete characterization of action…

We establish the representability of the general linear ${\mathbb Z}_2^n$-group and use the restricted functor of points - whose test category is the category of ${\mathbb Z}_2^n$-manifolds over a single topological point - to define its…

Tensor products are ubiquitous in algebra, topology, logic and category theory. The present paper explores the monoidal structure of the category $\mathcal{V}\hspace{0pt}\mbox{-}\hspace{.5pt}\mathbf{Sup}$ of separated cocomplete enriched…

If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical…

The aim of this paper is to characterize the notion of internal category (groupoid) in the category of Leibniz algebras and investigate the properties of well-known notions such as covering groupoid and groupoid operations (actions) in this…

Given a suitable action on a complex projective variety X of a non-reductive affine algebraic group H, this paper considers how to choose a reductive group G containing H and a projective completion of G x_H X which is a reductive envelope…

With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form…

In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…

A representation theorem for non-semibounded Hermitian quadratic forms in terms of a (non-semibounded) self-adjoint operator is proven. The main assumptions are closability of the Hermitian quadratic form, the direct integral structure of…

In a number of recent works, it has been established that many virtually free groups, almost all fundamental groups of surfaces and all groups which are nontrivial free products of groups satisfying a non-trivial law are algebraically…

We prove that the class of residually C groups is closed under taking graph products, provided that C is closed under taking subgroups, finite direct products and that free-by-C groups are residually C. As a consequence, we show that local…

In this paper, we show that in every coextensive variety V, the assignment that maps each algebra to its set of central elements is both functorial and representable. Furthermore, we prove that the full subcategory of finitely presented…

Let G be the pro-algebraic group attached to the tannakian category of polarizable rational Hodge structures. We show that the quotient of G by its derived group is the Serre group, the derived group of G is the simply connected covering of…

In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category $Qt$ in which the mapping $Hom^{(w)}(Z\times B,C):Qt\longrightarrow…