English
Related papers

Related papers: On the embeddability of $[3]*K$

200 papers

In the theory of combinatorial algebras, there is a sequence of embeddings between Kleene's second model, van Oosten's model, and Scott's graph model. We prove that none of these embeddings can be reversed. We also prove nonembedding…

Logic · Mathematics 2026-05-15 Patrick Lutz , Paul Shafer , Sebastiaan A. Terwijn

We give a lower bound to the dimension of a contractible manifold on which a given group can act properly discontinuously. In particular, we show that the $n$-fold product of nonabelian free groups cannot act properly discontinuously on…

Geometric Topology · Mathematics 2007-05-23 Mladen Bestvina , Michael Kapovich , Bruce Kleiner

We show that if \kappa\ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size \kappa\ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^\kappa\…

Logic · Mathematics 2013-06-28 Luca Motto Ros

We consider principal fibre bundles with a given connection and construct almost complex structures on the total space if the adjoint bundle is isomorphic to the tangent bundle of the base. We derive the integrability condition. If the…

Differential Geometry · Mathematics 2017-02-15 Raphael Zentner

In the present paper we describe topological obstructions to embedding of a (complex) matrix algebra bundle into a trivial one under some additional arithmetic condition on their dimensions. We explain a relation between this problem and…

K-Theory and Homology · Mathematics 2010-08-31 A. V. Ershov

Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when…

Combinatorics · Mathematics 2017-07-25 Becky Hooper , Adam Van Tuyl

We show that an n-dimensional compactum X embeds in R^m, where m>3(n+1)/2, if and only if X x X - \Delta admits an equivariant map to S^{m-1}. In particular, X embeds in R^{2n}, n>3, iff the top power of the (twisted) Euler class of the…

Geometric Topology · Mathematics 2007-05-23 Sergey A. Melikhov , Evgenij V. Shchepin

An abstract simplicial complex is said to be $d$-representable if it records the intersection pattern of a collection of convex sets in $\mathbb{R}^d$. In this paper, we show that $d$-representability of a simplicial complex is equivalent…

Combinatorics · Mathematics 2023-07-11 Moshe White

Let K denote a field. Given an arbitrary linear subspace V of M_n(K) of codimension lesser than n-1, a classical result states that V generates the K-algebra M_n(K). Here, we strengthen this in three ways: we show that M_n(K) is spanned by…

Rings and Algebras · Mathematics 2012-06-05 Clément de Seguins Pazzis

We show that cancellation of free modules holds in the stable class $\Omega_3(\mathbb{Z})$ over dihedral groups of order $4n$. In light of a recent result on realizing $k$-invariants for these groups, this completes the proof that all all…

Algebraic Topology · Mathematics 2023-08-25 Wajid Mannan , Seamus O'Shea

In this paper we extend the works of Tancer and of Malgouyres and Franc\'es, showing that $(d,k)$-collapsibility is NP-complete for $d\geq k+2$ except $(2,0)$. By $(d,k)$-collapsibility we mean the following problem: determine whether a…

Computational Geometry · Computer Science 2019-04-08 Giovanni Paolini

Let $\mathcal{K}$ be a finite pure simplicial $d$-complex, with oriented facets $\{F_i\}$, which is boundaryless in the sense that $\sum\partial F_i=0$. We call such a $\mathcal{K}$ an \textit{admissible $d$-complex}. Given an admissible…

Algebraic Topology · Mathematics 2024-04-02 Matthew Ellison

We prove that simply connected local 2-dimensional simplicial complexes embed in 3-space if and only if their dual matroids are graphic. Examples are provided that the assumptions of simply connectedness and locality are necessary. This may…

Combinatorics · Mathematics 2022-10-28 Johannes Carmesin

We prove that for every uncountable cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, the quasi-order of embeddability on the $\kappa$-space of $\kappa$-sized graphs Borel reduces to the embeddability on the $\kappa$-space of…

Logic · Mathematics 2019-01-03 Filippo Calderoni

A clear understanding of topology of higher-dimensional objects is important in many branches of both pure and applied mathematics. In this survey we attempt to present some results of higher-dimensional topology in a way which makes clear…

Geometric Topology · Mathematics 2008-12-06 A. Skopenkov

This paper gives necessary and sufficient conditions on a compact, connected, orientable 3-manifold M for it to contain a knot K such that M-K is irreducible and pi_1(M) embeds in pi_1(M-K). This result provides counterexamples to a…

Geometric Topology · Mathematics 2007-05-23 Robert Myers

We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a…

Logic · Mathematics 2020-09-03 Nikolay Bazhenov , Stefan Vatev

We study diagonal arrangement complements $D(K)$ in $\mathbb{C}^m$. We consider the class of simplicial complexes $K$ in which any two missing faces have a common vertex, and prove that the coordinate arrangement complement $U(K)$ is the…

Algebraic Topology · Mathematics 2026-04-16 Vsevolod Tril

A closed 3-manifold $M$ may be described up to some indeterminacy by a Heegaard diagram $\mathcal{D}$. The question "Does $M$ smoothly embed in $\mathbb{R}^4$?'' is equivalent to a property of $\mathcal{D}$ which we call $\textit{doubly…

Geometric Topology · Mathematics 2024-09-17 Michael H. Freedman

Given an arbitrary (commutative) field K, let V be a linear subspace of M_n(K) consisting of matrices of rank lesser than or equal to some r<n. A theorem of Atkinson and Lloyd states that, if dim V>nr-r+1 and #K>r, then either all the…

Rings and Algebras · Mathematics 2013-03-05 Clément de Seguins Pazzis