Schrijver graphs and projective quadrangulations

In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ contains a spanning subgraph which is a quadrangulation of $P^{n-2k}$. The purpose of this paper is to prove the conjecture

Cochains in 2-TQFT

John C.Baez reinterpreted 2-dimensional and 3-dimensional topological quantum field theories (abbreviated as 2-TQFT and 3-TQFT) in "A prehistory of n-categorical physics"[JC11]. Inspired by his idea, this paper utilizes cochains to prove some properties of 2-TQFT and 3-TQFT. We also prove that cochains form an $A_{\infty}$ algebra under certain conditions.Comment: 5 pages, 3 figure

A Geometric Approach to Combinatorial Fixed-Point Theorems

We develop a geometric framework that unifies several different combinatorial fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing them to be different geometric manifestations of the same topological phenomena. In doing so, we obtain (1) new Tucker-like and Sperner-like fixed-point theorems involving an exponential-sized label set; (2) a generalization of Fan's parity proof of Tucker's Lemma to a much broader class of label sets; and (3) direct proofs of several Sperner-like lemmas from Tucker's lemma via explicit geometric embeddings, without the need for topological fixed-point theorems. Our work naturally suggests several interesting open questions for future research.Comment: 10 pages; an extended abstract appeared at Eurocomb 201