Related papers: Acyclicity and reduction

Let $A$ be an associative ring and $M$ a finitely generated projective $A$-module. We introduce a category $\operatorname{RBS}(M)$ and prove several theorems which show that its geometric realisation functions as a well-behaved unstable…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

Many theories of physical interest, which admit a Hamiltonian description, exhibit symmetries under a particular class of non - strictly canonical transformation, known as dynamical similarities. The presence of such symmetries allows a…

A recent theorem by T. Barthel, M. Hausmann, N. Naumann, T. Nikolaus, J. Noel, and N. Stapleton says that if A is a finite abelian p-group of rank r, then any finite A-space X which is acyclic in the nth Morava K-theory with n at least r…

We introduce the notion of spaces with weak relative cohomology and show the acyclicity of the complement $Q\setminus X$ in the Hilbert cube $Q$ of a compactum $X$ with weak relative cohomology. As a corollary we obtain the acyclicity of…

We provide the rigorous foundations for a categorical approach to the classification of C*-dynamics up to cocycle conjugacy. Given a locally compact group $G$, we consider a category of (twisted) $G$-C*-algebras, where morphisms between two…

In this note, we show that the epimorphic subgroups of an algebraic group are exactly the pull-backs of the epimorphic subgroups of its affinization. We also obtain epimorphicity criteria for subgroups of affine algebraic groups, which…

We consider the problem of approximating a linear cocycle (or, more generally, a vector bundle automorphism) over a fixed base dynamics by another cocycle admitting a dominated splitting. We prove that the possibility of doing so depends…

The statement in the title was proved in \cite{Cao23} by introducing dominant sets of seeds, which are analogs of torsion classes in representation theory. In this note, we observe a short proof by the existence of consistent cluster…

Let w be an elliptic element of the Weyl group of a connected reductive group G. Let X be the set of pairs (g,B) where g is an element of G, B is a Borel subgroup of G and B,gBg^{-1} are in relative position w. Then G acts naturally on X.…

Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our…

We study in general spacetime dimension the symmetry of the theory obtained by gauging a non-anomalous finite normal Abelian subgroup $A$ of a $\Gamma$-symmetric theory. Depending on how anomalous $\Gamma$ is, we find that the symmetry of…

The quotient of a Boolean algebra by a cyclic group is proven to have a symmetric chain decomposition. This generalizes earlier work of Griggs, Killian and Savage on the case of prime order, giving an explicit construction for any order,…

A viable and still unproved conjecture states that, if $X$ is a smooth algebraic surface and $C$ is a smooth algebraic curve in $X$, then $C$ realizes the smallest possible genus amongst all smoothly embedded $2$-manifolds in its homology…

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…

We analyze Euclidean spheres in higher dimensions and the corresponding orbit equivalence relations induced by the group of rational rotations from the viewpoint of descriptive set theory. It turns out that such equivalence relations are…

For interacting classical field theories such as general relativity exact solutions typically can only be found by imposing physically motivated (Killing) {\it symmetry} assumptions. Such highly symmetric solutions are then often used as…

We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute…

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

We show that if $E$ is a countable Borel equivalence relation on $\mathbb{R}^n$, then there is a closed subset $A \subset [0,1]^n$ of Hausdorff dimension $n$ so that $E \restriction A$ is smooth. More generally, if $\leq_Q$ is a locally…