Source author record

Martin Tancer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Computational Geometry math.GT Discrete Mathematics math.AT math.AC math.MG math.PR

Catalog footprint

Research overview

23works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Embeddings of $k$ -complexes into $2k$ -manifolds

We improve the bound on Kühnel's problem to determine the smallest $n$ such that the $k$ -skeleton of an $n$ -simplex $Δ_n^{(k)}$ does not embed into a compact PL $2k$ -manifold $M$ by showing that if $Δ_n^{(k)}$ embeds into $M$ , then $n\leq (2k+1)+(k+1)β_k(M;\mathbb Z_2)$ . As a consequence we obtain improved Radon and Helly type results for set systems in such manifolds. Our main tool is a new description of an obstruction for embeddability of a $k$ -complex $K$ into a compact PL $2k$ -manifold $M$ via the intersection form on $M$ . In our approach we need that for every map $f\colon K\to M$ the restriction to the $(k-1)$ -skeleton of $K$ is nullhomotopic. In particular, this condition is satisfied in interesting cases if $K$ is $(k-1)$ -connected, for example a $k$ -skeleton of $n$ -simplex, or if $M$ is $(k-1)$ -connected. In addition, if $M$ is $(k-1)$ -connected and $k\geq 3$ , the obstruction is complete, meaning that a $k$ -complex $K$ embeds into $M$ if and only if the obstruction vanishes. For trivial intersection forms, our obstruction coincides with the standard van Kampen obstruction. However, if the form is non-trivial, the obstruction is not linear but rather 'quadratic' in a sense that it vanishes if and only if certain system of quadratic diophantine equations is solvable. This may potentially be useful in attacking algorithmic decidability of embeddability of $k$ -complexes into PL $2k$ -manifolds.

preprint2021arXiv

Shellings and sheddings induced by collapses

We say that a pure simplicial complex ${\mathbf K}$ of dimension $d$ satisfies the removal-collapsibility condition if ${\mathbf K}$ is either empty or ${\mathbf K}$ becomes collapsible after removing $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ facets, where $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ denotes the $d$ th reduced Betti number. In this paper, we show that if the link of each face of a pure simplicial complex ${\mathbf K}$ (including the link of the empty face which is the whole ${\mathbf K}$ ) satisfy the removal-collapsibility condition, then the second barycentric subdivision of ${\mathbf K}$ is vertex decomposable and in particular shellable. This is a higher dimensional generalization of a result of Hachimori, who proved that that if the link of each vertex of a pure 2-dimensional simplicial complex ${\mathbf K}$ is connected, and ${\mathbf K}$ becomes simplicially collapsible after removing $\tildeχ({\mathbf K})$ facets, where $\tilde χ({\mathbf K})$ denotes the reduced Euler characteristic, then the second barycentric subdivision of ${\mathbf K}$ is shellable. For the proof, we introduce a new variant of decomposability of a simplicial complex, stronger than vertex decomposability, which we call star decomposability. This notion may be of independent interest.

preprint2020arXiv

Barycentric cuts through a convex body

Let $K$ be a convex body in $\mathbb{R}^n$ (i.e., a compact convex set with nonempty interior). Given a point $p$ in the interior of $K$ , a hyperplane $h$ passing through $p$ is called barycentric if $p$ is the barycenter of $K \cap h$ . In 1961, Grünbaum raised the question whether, for every $K$ , there exists an interior point $p$ through which there are at least $n+1$ distinct barycentric hyperplanes. Two years later, this was seemingly resolved affirmatively by showing that this is the case if $p=p_0$ is the point of maximal depth in $K$ . However, while working on a related question, we noticed that one of the auxiliary claims in the proof is incorrect. Here, we provide a counterexample; this re-opens Grünbaum's question. It follows from known results that for $n \geq 2$ , there are always at least three distinct barycentric cuts through the point $p_0 \in K$ of maximal depth. Using tools related to Morse theory we are able to improve this bound: four distinct barycentric cuts through $p_0$ are guaranteed if $n \geq 3$ .

preprint2020arXiv

Even maps, the Colin de~Verdière number and representations of graphs

Van der Holst and Pendavingh introduced a graph parameter $σ$ , which coincides with the more famous Colin de Verdière graph parameter $μ$ for small values. However, the definition of $σ$ is much more geometric/topological directly reflecting embeddability properties of the graph. They proved $μ(G) \leq σ(G) + 2$ and conjectured $μ(G) \leq σ(G)$ for any graph $G$ . We confirm this conjecture. As far as we know, this is the first topological upper bound on $μ(G)$ which is, in general, tight. Equality between $μ$ and $σ$ does not hold in general as van der Holst and Pendavingh showed that there is a graph $G$ with $μ(G) \leq 18$ and $σ(G)\geq 20$ . We show that the gap appears on much smaller values, namely, we exhibit a graph $H$ for which $μ(H)\leq 7$ and $σ(H)\geq 8$ . We also prove that, in general, the gap can be large: The incidence graphs $H_q$ of finite projective planes of order $q$ satisfy $μ(H_q) \in O(q^{3/2})$ and $σ(H_q) \geq q^2$ .

preprint2018arXiv

On Betti numbers of flag complexes with forbidden induced subgraphs

We analyze the asymptotic extremal growth rate of the Betti numbers of clique complexes of graphs on n vertices not containing a fixed forbidden induced subgraph H. In particular, we prove a theorem of the alternative: for any H the growth rate achieves exactly one of five possible exponentials, that is, independent of the field of coefficients, the nth root of the maximal total Betti number over n-vertex graphs with no induced copy of H has a limit, as n tends to infinity, and, ranging over all H, exactly five different limits are attained. For the interesting case where H is the 4-cycle, the above limit is 1, and we prove a slightly superpolynomial upper bound.

preprint2016arXiv

A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane

We reprove the strong Hanani-Tutte theorem on the projective plane. In contrast to the previous proof by Pelsmajer, Schaefer and Stasi, our method is constructive and does not rely on the characterization of forbidden minors, which gives hope to extend it to other surfaces. Moreover, our approach can be used to provide an efficient algorithm turning a Hanani-Tutte drawing on the projective plane into an embedding.

preprint2016arXiv

Bounding Helly numbers via Betti numbers

We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers $b$ and $d$ there exists an integer $h(b,d)$ such that the following holds. If $\mathcal F$ is a finite family of subsets of $\mathbb R^d$ such that $\tildeβ_i\left(\bigcap\mathcal G\right) \le b$ for any $\mathcal G \subsetneq \mathcal F$ and every $0 \le i \le \lceil d/2 \rceil-1$ then $\mathcal F$ has Helly number at most $h(b,d)$ . Here $\tildeβ_i$ denotes the reduced $\mathbb Z_2$ -Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these $\lceil d/2 \rceil$ first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex $K$ , some well-behaved chain map $C_*(K) \to C_*(\mathbb R^d)$ .

preprint2016arXiv

On Generalized Heawood Inequalities for Manifolds: a van Kampen--Flores-type Nonembeddability Result

The fact that the complete graph $K_5$ does not embed in the plane has been generalized in two independent directions. On the one hand, the solution of the classical Heawood problem for graphs on surfaces established that the complete graph $K_n$ embeds in a closed surface $M$ (other than the Klein bottle) if and only if $(n-3)(n-4)\leq 6b_1(M)$ , where $b_1(M)$ is the first $\mathbb Z_2$ -Betti number of $M$ . On the other hand, van Kampen and Flores proved that the $k$ -skeleton of the $n$ -dimensional simplex (the higher-dimensional analogue of $K_{n+1}$ ) embeds in $\mathbb R^{2k}$ if and only if~ $n \le 2k+1$ . Two decades ago, Kühnel conjectured that the $k$ -skeleton of the $n$ -simplex embeds in a compact, $(k-1)$ -connected $2k$ -manifold with $k$ th $\mathbb Z_2$ -Betti number $b_k$ only if the following generalized Heawood inequality holds: $\binom{n-k-1}{k+1} \le \binom{2k+1}{k+1}b_k$ . This is a common generalization of the case of graphs on surfaces as well as the van Kampen--Flores theorem (the special cases $k=1$ and $b_k=0$ , respectively), and also closely related to the theory of face numbers of triangulated manifolds. In the spirit of Kühnel's conjecture, we prove that if the $k$ -skeleton of the $n$ -simplex embeds in a $2k$ -manifold with $k$ th $\mathbb Z_2$ -Betti number $b_k$ , then $n \le 2b_k\binom{2k+2}{k} + 2k + 4$ . This bound is weaker than the generalized Heawood inequality, but does not require the assumption that $M$ is $(k-1)$ -connected. Our results generalize to maps without $q$ -covered points, in the spirit of Tverberg's theorem, for $q$ a prime power. Our proof uses a result of Volovikov about maps that satisfy a certain homological triviality condition.

preprint2015arXiv

Bounds for Pach's selection theorem and for the minimum solid angle in a simplex

We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer $d$ there is a constant $c_d > 0$ such that whenever $X_1,..., X_{d+1}$ are $n$ -element subsets of $\mathbb{R}^d$ , then we can find a point $\mathbf{p} \in \mathbb{R}^d$ and subsets $Y_i \subseteq X_i$ for every $i \in [d+1]$ , each of size at least $c_d n$ , such that $\mathbf{p}$ belongs to all {\em rainbow} $d$ -simplices determined by $Y_1,..., Y_{d+1}$ , that is, simplices with one vertex in each $Y_i$ . We show a super-exponentially decreasing upper bound $c_d\leq e^{-(1/2-o(1))(d \ln d)}$ . The ideas used in the proof of the upper bound also help us prove Pach's theorem with $c_d \geq 2^{-2^{d^2 + O(d)}}$ , which is a lower bound doubly exponentially decreasing in $d$ (up to some polynomial in the exponent). For comparison, Pach's original approach yields a triply exponentially decreasing lower bound. On the other hand, Fox, Pach, and Suk recently obtained a hypergraph density result implying a proof of Pach's theorem with $c_d \geq2^{-O(d^2\log d)}$ . In our construction for the upper bound, we use the fact that the minimum solid angle of every $d$ -simplex is super-exponentially small. This fact was previously unknown and might be of independent interest. For the lower bound, we improve the "separation" part of the argument by showing that in one of the key steps only $d+1$ separations are necessary, compared to $2^d$ separations in the original proof. We also provide a measure version of Pach's theorem.

preprint2015arXiv

Recognition of collapsible complexes is NP-complete

We prove that it is NP-complete to decide whether a given (3-dimensional) simplicial complex is collapsible. This work extends a result of Malgouyres and Francés showing that it is NP-complete to decide whether a given simplicial complex collapses to a 1-complex.

preprint2014arXiv

Embeddability in the 3-sphere is decidable

We show that the following algorithmic problem is decidable: given a $2$ -dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$ ? By a known reduction, it suffices to decide the embeddability of a given triangulated 3-manifold $X$ into the 3-sphere $S^3$ . The main step, which allows us to simplify $X$ and recurse, is in proving that if $X$ can be embedded in $S^3$ , then there is also an embedding in which $X$ has a short meridian, i.e., an essential curve in the boundary of $X$ bounding a disk in $S^3\setminus X$ with length bounded by a computable function of the number of tetrahedra of $X$ .

preprint2014arXiv

Shellability of the higher pinched Veronese posets

The pinched Veronese poset $V^*_n$ is the poset with ground set consisting of all non-negative integer vectors of length n such that the sum of their coordinates is divisible by $n$ with exception of the vector $(1,...,1)$ . For two vectors $a$ and $b$ in $V^*_n$ we have $a \leq b$ if and only if $b - a$ belongs to the ground set of $V^*_n$ . We show that every interval in $V^*_n$ is shellable for $n$ at least 4. In order to obtain the result, we develop a new method for showing that a poset is shellable. This method differs from classical lexicographic shellability. Shellability of intervals in $V^*_n$ has consequences in commutative algebra. As a corollary we obtain a combinatorial proof of the fact that the pinched Veronese ring is Koszul for $n \geq 4$ . (This also follows from a result by Conca, Herzog, Trung and Valla.)

preprint2014arXiv

Simplifying inclusion-exclusion formulas

Let $\mathcal{F}=\{F_1,F_2, \ldots,F_n\}$ be a family of $n$ sets on a ground set $S$ , such as a family of balls in $\mathbb{R}^d$ . For every finite measure $μ$ on $S$ , such that the sets of $\mathcal{F}$ are measurable, the classical inclusion-exclusion formula asserts that $μ(F_1\cup F_2\cup\cdots\cup F_n)=\sum_{I:\emptyset\ne I\subseteq[n]} (-1)^{|I|+1}μ\Bigl(\bigcap_{i\in I} F_i\Bigr)$ ; that is, the measure of the union is expressed using measures of various intersections. The number of terms in this formula is exponential in $n$ , and a significant amount of research, originating in applied areas, has been devoted to constructing simpler formulas for particular families $\mathcal{F}$ . We provide an upper bound valid for an arbitrary $\mathcal{F}$ : we show that every system $\mathcal{F}$ of $n$ sets with $m$ nonempty fields in the Venn diagram admits an inclusion-exclusion formula with $m^{O(\log^2n)}$ terms and with $\pm1$ coefficients, and that such a formula can be computed in $m^{O(\log^2n)}$ expected time. For every $\varepsilon>0$ we also construct systems with Venn diagram of size $m$ for which every valid inclusion-exclusion formula has the sum of absolute values of the coefficients at least $Ω(m^{2-\varepsilon})$ .

preprint2014arXiv

Untangling two systems of noncrossing curves

We consider two systems of curves $(α_1,...,α_m)$ and $(β_1,...,β_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $α_i$ and each $β_j$ is either an arc meeting the boundary of $M$ at its two endpoints, or a closed curve. The $α_i$ are pairwise disjoint except for possibly sharing endpoints, and similarly for the $β_j$ . We want to "untangle" the $β_j$ from the $α_i$ by a self-homeomorphism of $M$ ; more precisely, we seek a homeomorphism $ϕ:M\rightarrow M$ fixing the boundary of $M$ pointwise such that the total number of crossings of the $α_i$ with the $ϕ(β_j)$ is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if $M$ is planar, i.e., a sphere with $h\geq 0$ boundary components ("holes"), then $O(mn)$ crossings can be achieved (independently of $h$ ), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface $M$ with $h$ holes and of (orientable or nonorientable) genus $g$ , we obtain an $O((m+n)^4)$ upper bound, again independent of $h$ and $g$ . The proofs rely, among others, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.

preprint2012arXiv

Good covers are algorithmically unrecognizable

A good cover in R^d is a collection of open contractible sets in R^d such that the intersection of any subcollection is either contractible or empty. Motivated by an analogy with convex sets, intersection patterns of good covers were studied intensively. Our main result is that intersection patterns of good covers are algorithmically unrecognizable. More precisely, the intersection pattern of a good cover can be stored in a simplicial complex called nerve which records which subfamilies of the good cover intersect. A simplicial complex is topologically d-representable if it is isomorphic to the nerve of a good cover in R^d. We prove that it is algorithmically undecidable whether a given simplicial complex is topologically d-representable for any fixed d \geq 5. The result remains also valid if we replace good covers with acyclic covers or with covers by open d-balls. As an auxiliary result we prove that if a simplicial complex is PL embeddable into R^d, then it is topologically d-representable. We also supply this result with showing that if a "sufficiently fine" subdivision of a k-dimensional complex is d-representable and k \leq (2d-3)/3, then the complex is PL embeddable into R^d.

preprint2012arXiv

Non-embeddability of geometric lattices and buildings

A fundamental question for simplicial complexes is to find the lowest dimensional Euclidean space in which they can be embedded. We investigate this question for order complexes of posets. We show that order complexes of thick geometric lattices as well as several classes of finite buildings, all of which are order complexes, are hard to embed. That means that such d-dimensional complexes require (2d + 1)-dimensional Euclidean space for an embedding. (This dimension is in general always sufficient for any d-complex.) We develop a method to show non-embeddability for general order complexes of posets which builds on properties of the van Kampen obstruction.

preprint2011arXiv

A geometric proof of the colored Tverberg theorem

The colored Tverberg theorem asserts that for every d and r there exists t=t(d,r) such that for every set C in R^d of cardinality (d+1)t, partitioned into t-point subsets C_1,C_2,...,C_{d+1} (which we think of as color classes; e.g., the points of C_1 are red, the points of C_2 blue, etc.), there exist r disjoint sets R_1,R_2,...,R_r \subseteq C that are "rainbow", meaning that |R_i \cap C_j| < 2 for every i,j, and whose convex hulls all have a common point. All known proofs of this theorem are topological. We present a geometric version of a recent beautiful proof by Blagojević, Matschke, and Ziegler, avoiding a direct use of topological methods. The purpose of this de-topologization is to make the proof more concrete and intuitive, and accessible to a wider audience.

preprint2011arXiv

d-Representability of simplicial complexes of fixed dimension

Let K be a simplicial complex with vertex set V = {v_1,..., v_n}. The complex K is d-representable if there is a collection {C_1,...,C_n} of convex sets in R^d such that a subcollection {C_{i_1},...,C_{i_j}} has a nonempty intersection if and only if {v_{i_1},...,v_{i_j}} is a face of K. In 1967 Wegner proved that every simplicial complex of dimension d is (2d+1)-representable. He also suggested that his bound is the best possible, i.e., that there are $d$ -dimensional simplicial complexes which are not 2d-representable. However, he was not able to prove his suggestion. We prove that his suggestion was indeed right. Thus we add another piece to the puzzle of intersection patterns of convex sets in Euclidean space.

preprint2011arXiv

Intersection patterns of convex sets via simplicial complexes, a survey

The task of this survey is to present various results on intersection patterns of convex sets. One of main tools for studying intersection patterns is a point of view via simplicial complexes. We recall the definitions of so called $d$ -representable, $d$ -collapsible and $d$ -Leray simplicial complexes which are very useful for this study. We study the differences among these notions and we also focus on computational complexity for recognizing them. A list of Helly-type theorems is presented in the survey and it is also discussed how (important) role play the above mentioned notions for the theorems. We also consider intersection patterns of good covers which generalize collections of convex sets (the sets may be `curvy'; however, their intersections cannot be too complicated). We mainly focus on new results.

preprint2011arXiv

On the Complexity of Planar Covering of Small Graphs

The problem Cover(H) asks whether an input graph G covers a fixed graph H (i.e., whether there exists a homomorphism G to H which locally preserves the structure of the graphs). Complexity of this problem has been intensively studied. In this paper, we consider the problem PlanarCover(H) which restricts the input graph G to be planar. PlanarCover(H) is polynomially solvable if Cover(H) belongs to P, and it is even trivially solvable if H has no planar cover. Thus the interesting cases are when H admits a planar cover, but Cover(H) is NP-complete. This also relates the problem to the long-standing Negami Conjecture which aims to describe all graphs having a planar cover. Kratochvil asked whether there are non-trivial graphs for which Cover(H) is NP-complete but PlanarCover(H) belongs to P. We examine the first nontrivial cases of graphs H for which Cover(H) is NP-complete and which admit a planar cover. We prove NP-completeness of PlanarCover(H) in these cases.

preprint2010arXiv

A counterexample to Wegner's conjecture on good covers

In 1975 Wegner conjectured that the nerve of every finite good cover in R^d is d-collapsible. We disprove this conjecture. A good cover is a collection of open sets in R^d such that the intersection of every subcollection is either empty or homeomorphic to an open d-ball. A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing a face of dimension at most d-1 which is contained in a unique maximal face.

preprint2010arXiv

d-collapsibility is NP-complete for d greater or equal to 4

A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing (collapsing) a face of dimension at most d-1 that is contained in a unique maximal face. We prove that the algorithmic question whether a given simplicial complex is d-collapsible is NP-complete for d greater or equal to 4 and polynomial time solvable for d at most 2. As an intermediate step, we prove that d-collapsibility can be recognized by the greedy algorithm for d at most 2, but the greedy algorithm does not work for d greater or equal 3. A simplicial complex is d-representable if it is the nerve of a collection of convex sets in R^d. The main motivation for studying d-collapsible complexes is that every d-representable complex is d-collapsible. We also observe that known results imply that analogical algorithmic question for d-representable complexes is NP-hard for d greater or equal to 2.

preprint2008arXiv

Combinatorial Alexander Duality -- a Short and Elementary Proof

Let X be a simplicial complex with the ground set V. Define its Alexander dual as a simplicial complex X* = {A \subset V: V \setminus A \notin X}. The combinatorial Alexander duality states that the i-th reduced homology group of X is isomorphic to the (|V|-i-3)-th reduced cohomology group of X* (over a given commutative ring R). We give a self-contained proof.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Martin Tancer

Research overview

Is this your work?

23 publications

Embeddings of $k$ -complexes into $2k$ -manifolds

Shellings and sheddings induced by collapses

Barycentric cuts through a convex body

Even maps, the Colin de~Verdière number and representations of graphs

On Betti numbers of flag complexes with forbidden induced subgraphs

A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane

Bounding Helly numbers via Betti numbers

On Generalized Heawood Inequalities for Manifolds: a van Kampen--Flores-type Nonembeddability Result

Bounds for Pach's selection theorem and for the minimum solid angle in a simplex

Recognition of collapsible complexes is NP-complete

Embeddability in the 3-sphere is decidable

Shellability of the higher pinched Veronese posets

Simplifying inclusion-exclusion formulas

Untangling two systems of noncrossing curves

Good covers are algorithmically unrecognizable

Non-embeddability of geometric lattices and buildings

A geometric proof of the colored Tverberg theorem

d-Representability of simplicial complexes of fixed dimension

Intersection patterns of convex sets via simplicial complexes, a survey

On the Complexity of Planar Covering of Small Graphs

A counterexample to Wegner's conjecture on good covers

d-collapsibility is NP-complete for d greater or equal to 4

Combinatorial Alexander Duality -- a Short and Elementary Proof

See the researcher in context

Building this map preview

Martin Tancer

Research overview

Is this your work?

23 publications

Embeddings of kkk-complexes into 2k2k2k-manifolds

Shellings and sheddings induced by collapses

Barycentric cuts through a convex body

Even maps, the Colin de~Verdière number and representations of graphs

On Betti numbers of flag complexes with forbidden induced subgraphs

A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane

Bounding Helly numbers via Betti numbers

On Generalized Heawood Inequalities for Manifolds: a van Kampen--Flores-type Nonembeddability Result

Bounds for Pach's selection theorem and for the minimum solid angle in a simplex

Recognition of collapsible complexes is NP-complete

Embeddability in the 3-sphere is decidable

Shellability of the higher pinched Veronese posets

Simplifying inclusion-exclusion formulas

Untangling two systems of noncrossing curves

Good covers are algorithmically unrecognizable

Non-embeddability of geometric lattices and buildings

A geometric proof of the colored Tverberg theorem

d-Representability of simplicial complexes of fixed dimension

Intersection patterns of convex sets via simplicial complexes, a survey

On the Complexity of Planar Covering of Small Graphs

A counterexample to Wegner's conjecture on good covers

d-collapsibility is NP-complete for d greater or equal to 4

Combinatorial Alexander Duality -- a Short and Elementary Proof

See the researcher in context

Building this map preview

Embeddings of $k$ -complexes into $2k$ -manifolds