Related papers: Reducibility versus definability for pseudovarieti…

The main aim of the paper is to provide analogues of Simpson's correspondence on singular projective varieties defined over an algebraically closed field of characteristic $p>0$. There are two main cases. In the first case, we consider…

In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is representable over a finite base. This result gives a positive…

We define a partition of a reductive group into finitely many subsets, refining the partition of the group into strata. We state some conjectural properties of these subsets (called substrata) and verify them in some examples.

We introduce proof terms for string rewrite systems and, using these, show that various notions of equivalence on reductions known from the literature can be viewed as different perspectives on the notion of causal equivalence. In…

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of $G$, we prove that if $\sigma_1(G)<\frac{117}{20}\,$, then $G$ is…

We provide two representations of the Segal category $\mathcal{X}$ modeling natural phenomena, the first one being based on the concept of micro-reversibility, producing a long sequence $\Sigma$ of categories as a resolution of…

We investigate the rank of pseudovarieties defined by several of the variants of nilpotency conditions for semigroups in the sense of Mal'cev. For several of them, we provide finite bases of pseudoidentities. We also show that the…

The finite basis property is often connected with the finite rank property, which it entails. Many examples have been produced of finite rank varieties which are not finitely based. In this note, we establish a result on nilpotent…

We study possibilities for semantic and syntactic rigidity, i.e., the rigidity with respect to automorphism group and with respect to definable closure. Variations of rigidity and their degrees are studied in general case, for special…

We generalize the notion of proof term to the realm of transfinite reduction. Proof terms represent reductions in the first-order term format, thereby facilitating their formal analysis. We show that any transfinite reduction can be…

We define relative support varieties with respect to some fixed module over a finite dimensional algebra. These varieties share many of the standard properties of classical support varieties. Moreover, when introducing finite generation…

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…

We present a conjecture on multiplicity of irreducible representations of a subgroup $H$ contained in the irreducible representations of a group $G$, with $G$ and $H$ having the same derived groups. We point out some consequences of the…

If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the…

Weak structures abound in higher category theory, but are often suitably equivalent to stricter structures that are easier to understand. We extend strictification for tricategories and trihomomorphisms to trinatural transformations,…

Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…

We refine prior bounds on how the multivariable signature and the nullity of a link change under link cobordisms. The formula generalizes a series of results about the 4-genus having their origins in the Murasugi-Tristram inequality, and at…

We shall study the solvability of pseudodifferential operators which are not of principal type. The operator will have complex principal symbol satisfying condition ($\Psi$) and we shall consider the limits of semibicharacteristics at the…

In this paper, we propose a weak version of quotient for the algebraic action of a group on a variety, which we shall call a pseudo-quotient. They arise when we focus on the purely topological properties of good GIT quotients regardless of…