5
votes
1answer
99 views

References to proofs of a theorem by Van Kampen-Flores

Theorem (Van Kampen-Flores 1930s) From any 7 points in four-dimensional space one can choose two disjoint triples such that the triangles with vertices at the triples intersect each other. This ...
0
votes
0answers
65 views

Existence of a sequence of (almost) Moore irregular graphs embedded on closed surfaces

Let $S_{g}$ denote the genus $g$ closed orientable surface. I'm interested in disproving the existence of a certain configuration of simple closed curves on $S_{g}$. I'd be happy to go into more ...
1
vote
1answer
171 views

Counting edges in embeddable CW-complexes in R^3

Using Euler's formula ($V-E+F = 2$ where $V$, $E$ and $F$ are the number of vertices, edges and faces), we can easily count the number of edges in maximal graphs that are embeddable in plane: 3n-6. I ...
1
vote
1answer
222 views

How many types of jigsaw puzzle pieces in n dimensions?

I was partitioning jigsaw puzzle pieces with some friends yesterday and we noticed that there are 6 types of pieces: All 4 sides have a knobby bit sticking out 1 side has a knobby bit sticking out 2 ...
10
votes
1answer
256 views

Tverberg's theorem in CAT(0) spaces

Does Tverberg's theorem hold for CAT(0) spaces of covering dimension $d<\infty$: Is it true that for any $d$-dimensional $CAT(0)$-space $X$ and a subset $E\subset X$ of cardinality $(d + 1)(r - ...
3
votes
1answer
130 views

the space of noncrossing partitions of S^1

A non-crossing partition of the set $\mathbb{Z}_{mn}=\{ 1, 2,\dots,m n\}=\bigcup X_i$ is a disjoint union of sets such that if $ a < b \in X_1$ and $ c < d \in X_2$ then we can't have $a ...
6
votes
0answers
178 views

Right-angled polytopes

%This question is motivated by the little discussion here at the bottom. The following thing are known about hyperbolic right-angled polytopes: Compact hyperbolic right-angled polytopes do not ...
4
votes
1answer
113 views

Reference for the image of the adjoint to the differential in graph cohomology (which yields STU & IHX)?

One can define cochain complexes of (combinatorial) graphs, where each term is a vector space of linear combinations of certain (isomorphism classes of) graphs, and where the differential $d$ is a ...
1
vote
0answers
66 views

Classification of ribbon graphs (reference request)

Is there an explicit classification of (isomorphism classes of) ribbon graphs (fat graphs) of low genus (say 0,1,2, maybe 3) with 'few' vertices (say less than 10)? Thanks!
16
votes
2answers
371 views

A direct proof of the Harer-Zagier recursion enumerating the ways to paste a 2n-gon to get a genus g surface?

In a 1986 paper, Harer and Zagier proved the recursion: $$(n+1)e(g,n)=(4n-2)e(g,n-1)+(2n-1)(n-1)(2n-3)e(g-1,n-2)$$ where e(g,n) is the number of ways of grouping sides $S_1...S_{2n}$ of a 2n-gon ...
3
votes
0answers
134 views

Characterizing f-vectors of regular(Delaunay) triangulations?

The question is this; is there a complete characterization of all the f-vectors of regular triangulations? (other names for this can be: Delaunay triangulation, coherent triangulation, convex ...
3
votes
1answer
337 views

Any map of a contractible complex to itself has a fixed point

Reading Lovasz's lecture notes on evasive graph properties, I encountered the following extension of Brouwer's fixed point theorem: Any continues map from a contractible [finite] simplicial complex ...
4
votes
1answer
184 views

Example of collapsible complex which collapses to a non-collapsible complex

In their paper http://arxiv.org/abs/0907.2954 , Barmak and Minian claim that "there exist collapsible complexes which collapse to nontrivial subcomplexes with no free faces" but unfortunately do ...
3
votes
1answer
175 views

Convex polyhedral decomposition of spheres

Is there a decomposition of $S^2$ into $k$ (geodesically) convex polyhedra that are congruent to each other? What about $S^n$ for $n>1$? Remarks: A polyhedron is defined as an area enclosed by a ...
6
votes
3answers
615 views

Classification of Platonic solids

My question is very basic: where can I find a complete (and hopefully self-contained) proof of the classification of Platonic solids? In all the references that I found, they use Euler's formula ...
8
votes
4answers
711 views

References for Eilenberg-Zilber shuffle product

Most of the treatments I can find in the literature for the Eilenberg-Zilber shuffle product approach it from the point of view of simplicial sets (including the original Eilenberg-MacLane paper). I ...
4
votes
1answer
202 views

Colored arrangements of circles on the two sphere

Let me define a degree $n$ colored arrangement of circles on $S^2$ to be a collection $\mathcal{C}$ of $n$ disjoint, smoothly embedded circles $C_1,\dotsc, C_n\subset S^2$ together with a ...
3
votes
1answer
386 views

Klein Bottle exception to the Heawood Conjecture [duplicate]

Possible Duplicate: The Klein bottle and the Heawood Conjecture It is well known that the Heawood Conjecture states that the bound for the number of colours which are sufficient to colour a ...
4
votes
2answers
576 views

Presentation of the pure Artin groups

Let $W$ be a Coxeter group attached to a Coxeter matrix with entries $m_{ij}$ . The presentation of $W$ is given by $$W= < T_1, \dots, T_n | T_i^2=1, T_iT_jT_i \ldots = T_jT_iT_j \ldots, i \neq ...
10
votes
0answers
480 views

Once differentiable, piecewise degree three polynomials on triangulated planar domains

Here is an easily described, but very difficult, problem that I (and a number of other people) really would like to see solved during our life times. The basic problem is to compute the dimension of ...
11
votes
0answers
609 views

Hamiltonian cycles and fundamental groups

I'm interested in the interplay between the Hamiltonian cycles of graphs and the compact surfaces they embed in. I was doing some reading on the Lovász conjecture for Cayley graphs, I started noticing ...
3
votes
2answers
302 views

Poset fiber theorems under a special assumption on the poset map?!

Hey everyone, I am facing the following problem: Say that a (order-preserving) poset map $f:P\to Q$ has property $(\star)$ if for all $q_1,q_2\in Q$ with $q_1\leq q_2$ and every $p_2\in f^{-1}(q_2)$ ...
1
vote
2answers
238 views

How to determine whether a map between posets is a fibration

Hey everyone, is there a good way to determine whether a map of (the topological realizations of) posets is a fibration without explicitely proving that it has the homotopy lifting property? Robert
26
votes
3answers
2k views

Is there a reset sequence?

There is a question someone (I'm hazy as to who) told me years ago. I found it fascinating for a time, but then I forgot about it, and I'm out of touch with any subsequent developments. Can anyone ...
23
votes
2answers
576 views

What is the right notion of self-dual (two-dimensional) percolation in R^4?

For a lattice in $\mathbb{R}^2$, if we include each edge independently with probability $p$ (i.e. bond percolation), it is well known that there is a critical probability $0 < p_c < 1$ depending ...
5
votes
2answers
195 views

Symmetric colorings of regular tesselations

Given a regular tesselation, i.e. either a platonic solid (a tesselation of the sphere), the tesselation of the euclidean plane by squares or by regular hexagons, or a regular tesselation of the ...
11
votes
3answers
746 views

To what extent is convexity a local property?

A polyhedron is the intersection of a finite collection of halfspaces. These halfspaces are not assumed to be linear, i.e. their bounding hyperplanes are not assumed to contain the origin. The ...
11
votes
1answer
382 views

Does a triangulation without fixed simplex property always exist?

Suppose we are given a triangulable topological space $X$. If $X$ has the fixed point property (FPP), then obviously for every triangulation $K$ of $X$ and every simplicial map $f:K\to K$ a simplex ...
3
votes
3answers
372 views

Uniqueness of a polygon

Suppose I have two $n$-sided polygons A and B. Is there a non-trivial upper bound on the number of parameters (eg. area, perimeter, etc) of the two polygons, that need to be the same, for A and B to ...
5
votes
3answers
588 views

How can I embed an N-points metric space to a hypercube with low distortion?

I have a N-point metric space defined by the pairwise distance matrix. I want to encode these N points with binary strings, i.e. each point will be mapped to a vertex in a hypercube. The lengths of ...