Related papers: Obstructions to compatible splittings
We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and…
The classifying space of a crossed complex generalises the construction of Eilenberg-Mac Lane spaces. We show how the theory of fibrations of crossed complexes allows the analysis of homotopy classes of maps from a free crossed complex to…
Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal…
We show that for a given exact category, there exists a bijection between semibricks (pairwise Hom-orthogonal set of bricks) and length wide subcategories (exact extension-closed length abelian subcategories). In particular, we show that a…
A permutation class is splittable if it is contained in the merge of two of its proper subclasses. We characterise the unsplittable subclasses of the class of separable permutations both structurally and in terms of their bases.
A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite…
The spectral variant of the quantum marginal problem asks: Given prescribed spectra for a set of overlapping quantum marginals, does there exist a compatible joint state? The main idea of this work is a symmetry-reduced semidefinite…
We describe an obstruction to smoothing stable maps in smooth projective varieties, which generalizes some previously known obstructions. Our obstruction comes from the non-existence of certain rational functions on the ghost components,…
Addressable self-assembly is the formation of a target structure from a set of unique molecular or colloidal building-blocks, each of which occupies a defined location in the target. The requirement that each type of building-block appears…
We prove the following result: Let B be a smooth, irreducible, quasi-projective variety over the complex numbers and assume that B has a projective compactification \bar{B} such that \bar{B} - B is of codimension at least two in \bar{B}.…
A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $\omega$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or…
For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking…
In this paper, the existence of perfect and quasi-perfect splitter sets in finite abelian groups is studied, motivated by their application in coding theory for flash memory storage. For perfect splitter sets we view them as splittings of…
A subset $A$ of an abelian group $G$ is sequenceable if there is an ordering $(a_1, \ldots, a_k)$ of its elements such that the partial sums $(s_0, s_1, \ldots, s_k)$, given by $s_0 = 0$ and $s_i = \sum_{j=1}^i a_i$ for $1 \leq i \leq k$,…
The question whether a partition $\mathcal{P}$ and a hierarchy $\mathcal{H}$ or a tree-like split system $\mathfrak{S}$ are compatible naturally arises in a wide range of classification problems. In the setting of phylogenetic trees, one…
We establish several useful commutative diagrams consisting of low term exact sequences attached to {\Grot} spectral sequences, which extends and integrates the previous ones appeared in literature such as Alexei~N. Skorobogatov [Beyond the…
The aim of the paper is to describe autocompact objects in Ab5-categories, i.e. objects in cocomplete abelian categories with exactness preserving filtered colimits of exact sequences, whose covariant Hom-functor commutes with copowers of…
This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological…
Collections of measures on compact metric spaces form a model category ("data complexes"), whose morphisms are marginalization integrals. The fibrant objects in this category represent collections of measures in which there is a measure on…
We study smooth maps between smooth manifolds with only fold points as their singularities, and clarify the obstructions to the existence of such a map in a given homotopy class for certain dimensions. The obstructions are described in…