Related papers: A categorical description of simple Beth companion…
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A. A consequence of this demand, called…
In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we…
The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $X\tau_h K\implies \beta(X)\tau K$ for all paracompact spaces $X$. Here are the main results of the paper: Theorem: If $\{K_s\}_{s\in S}$ is a family of…
A homogeneous quasimorphism $\phi$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $\phi(gxg^{-1}) = \phi(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic…
A compact K\"ahler manifold is shown to be simply-connected if its `symmetric cotangent algebra' is trivial. Conjecturally, such a manifold should even be rationally connected. The relative version is also shown: a proper surjective…
Motivated by applications to multiplicity formulas in index theory, we study a family of distributions $\Theta(m;k)$ associated to a piecewise quasi-polynomial function $m$. The family is indexed by an integer $k \in \mathbb{Z}_{>0}$, and…
Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that…
Adhesive and quasiadhesive categories provide a general framework for the study of algebraic graph rewriting systems. In a quasiadhesive category any two regular subobjects have a join which is again a regular subobject. Vice versa, if…
Given a simplicial idempotent augmented endofunctor $F$ on a simplicial combinatorial model category $M$, under the assumption of Vopenka's principle, we exhibit a set $A$ of cofibrant objects in $M$ such that $F$ is equivalent to $\CW_A$,…
We define a certain class of simple varieties over a field $k$ by a constructive recipe and show how to control their (equivariant) truncating invariants. Consequently, we prove that on simple varieties: (i) if $k=\overline{k}$ and…
Let $k$ be an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring, and let $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider the $R$-linear category $\mathcal{F}^\Delta_{Rpp_k}$ of…
Let $k$ be an algebraically closed field of positive characteristic $p$, and $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider the $\mathbb{F}$-linear category $\mathbb{F} pp_k^\Delta$ of finite groups, in which…
An expansion set is a set $\mathcal{B}$ such that each $b \in \mathcal{B}$ is equipped with a set of expansions $\mathcal{E}(b)$. The theory of expansion sets offers a systematic approach to the construction of classifying spaces for…
We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the…
We prove that, for any fields $k$ and $\mathbb{F}$ of characteristic $0$ and any finite group $T$, the category of modules over the shifted Green biset functor $(kR_{\mathbb{F}})_T$ is semisimple.
Given a canonical algebraically integrable foliation on a klt projective variety, we study the variation of the ample models of the associated adjoint foliated structures with respect to the parameter. When the foliation is of general type,…
Let $K$ be a compact set in the complex plane $\C$, such that its complement in the Riemann sphere, $(\C\cup\{\infty\})\sm K$, is connected. Also, let $U\subseteq\C$ be an open set which contains $K$. Then there exists a simply connected…
We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor…
A $K$-equivalent map between two smooth projective varieties is called simple if the map is resolved in both sides by single smooth blow-ups. In this paper, we will provide a structure theorem of simple $K$-equivalent maps, which reduces…
For each connected complex reductive group G, we find a family of new examples of complex quasi-Hamiltonian G-spaces with G-valued moment maps. These spaces arise naturally as moduli spaces of (suitably framed) meromorphic connections on…