Related papers: Complexity of the homomorphism extension problem i…

It is noted that the higher version of M. Kontsevich's Formality Theorem is much easier than the original one. Namely, we prove that the higher Hochschild-Kostant-Rosenberg map is already a homotopy e_{n+1}-formality quasi-isomorphism…

A simplicial complex is $r$-conic if every subcomplex of at most $r$ vertices is contained in the star of a vertex. A $4$-conic complex is simply connected. We prove that an $8$-conic complex is $2$-connected. In general a $(2n+1)$-conic…

We find (completeness type) conditions on topological semilattices $X,Y$ guaranteeing that each continuous homomorphism $h:X\to Y$ has closed image $h(X)$ in $Y$.

Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…

Let $(\mathscr{A},m)$ be a free multiarrangement, and let $\mathscr{E}$ be an extension of $(\mathscr{A},m)$. It is well known that if $\mathscr{A}$ is the Coxeter arrangement of type $A_2$, then a free extension of $(\mathscr{A},m)$ always…

We show that for any k>1, stratified sets of finite complexity are insufficient to realize all homology classes of codimension k in all smooth manifolds. We also prove a similar result concerning smooth generic maps whose double-point sets…

We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many…

A group homomorphism eta:A-> H is called a localization of A if every homomorphism phi:A-> H can be `extended uniquely' to a homomorphism Phi:H-> H in the sense that Phi eta = phi. This categorical concepts, obviously not depending on the…

We study the extension of dependence logic D by a majority quantifier M over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers of all…

Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.

The aim of this thesis is to determine classes of NP relations for which random generation and approximate counting problems admit an efficient solution. Since efficient rank implies efficient random generation, we first investigate some…

For oriented graphs $G$ and $H$, a homomorphism $f: G \rightarrow H$ is locally-injective if, for every $v \in V(G)$, it is injective when restricted to some combination of the in-neighbourhood and out-neighbourhood of $v$. Two of the…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

We discuss when a unital homomorphism {\phi} : C(X) \rightarrow A can be approximated by finite-dimensional homomorphisms, where X is a compact metric space and A is unital simple C*-algebra with tracial rank one. In this paper, we will…

Given $2n$ points in the plane, it is well-known that there always exists a perfect straight-line non-crossing matching. We show that it is $NP$-complete to decide if a partial matching can be augmented to a perfect one, via a reduction…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…

A relational structure is indivisible if for every partition of its set of elements into two parts there exists an embedding of the structure into one of the parts of the partition. A relational structure is homogeneous if every embedding…

Let $X$ be a complex projective bundle. We prove that $X$ admits an endomorphism of degree $>1$ and commuting with the projection to the base, if and only if $X$ trivializes after a finite covering. When $X$ is the projectivization of a…

Let $X$ and $Y$ be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group $G$. Assuming that $Y$ is $d$-connected and $\dim X\le 2d$, for some $d\geq 1$, we provide an…

We study varieties of complexes of projective modules with fixed ranks, and relate these varieties to the varieties of their homologies. We show that for an algebra of global dimension at most two, these two varieties are related by a pair…