
A vertextransitive map $X$ is a map on a closed surface on which the
automorphism group ${\rm Aut}(X)$ acts transitively on the set of vertices. If
the facecycles at all the vertices in a map are of same type then the map is
said to be a semiequivelar map. Clearly, a vertextransitive map is
semiequivelar. Converse of this is not true in general. We show that there are
eleven types of semiequivelar maps on the torus. Three of these are equivelar
maps. It is known that two of the three types of equivelar maps on the torus
are always vertextransitive. We show that this is true for the remaining one
type of equivelar map and one other type of semiequivelar maps, namely, if $X$
is a semiequivelar map of type $[6^3]$ or $[3^3, 4^2]$ then $X$ is
vertextransitive. We also show, by presenting examples, that this result is
not true for the remaining seven types of semiequivelar maps. There are ten
types of semiequivelar maps on the Klein bottle. We present examples in each
of the ten types which are not vertextransitive.

It is wellknown that the Pachner graph of $n$vertex triangulated
$2$spheres is connected, i.e., each pair of $n$vertex triangulated
$2$spheres can be turned into each other by a sequence of edge flips for each
$n\geq 4$. In this article, we study various induced subgraphs of this graph.
In particular, we prove that the subgraph of $n$vertex flag $2$spheres
distinct from the double cone is still connected. In contrast, we show that the
subgraph of $n$vertex stacked $2$spheres has at least as many connected
components as there are trees on $\lfloor\frac{n5}{3}\rfloor$ nodes with
maximum nodedegree at most four.

A vertextransitive map $X$ is a map on a closed surface on which the
automorphism group ${\rm Aut}(X)$ acts transitively on the set of vertices. If
the facecycles at all the vertices in a map are of same type then the map is
called a semiequivelar map. Clearly, a vertextransitive map is
semiequivelar. Converse of this is not true in general. In particular, there
are semiequivelar maps on the torus, on the Klein bottle and on the surface of
Euler characteristic $1$ which are not vertextransitive. Here we show that
every semiequivelar map on $\mathbb{S}^2$ and $\mathbb{RP}^2$ are
vertextransitive. In particular, we show that a semiequivelar map on
$\mathbb{S}^2$ is the boundary of a Platonic solid, an Archimedean solid, the
prism, a drum or an antiprism (Section 2).

If the facecycles at all the vertices in a map on a surface are of same type
then the map is called semiequivelar. There are eleven types of Archimedean
tilings on the plane. All the Archimedean tilings are semiequivelar maps. If a
map $X$ on the torus is a quotient of an Archimedean tiling on the plane then
the map $X$ is semiequivelar. We show that each semiequivelar map on the
torus is a quotient of an Archimedean tiling on the plane.
Vertextransitive maps are semiequivelar maps. We know that four types of
semiequivelar maps on the torus are always vertextransitive and there are
examples of other seven types of semiequivelar maps which are not
vertextransitive. We show that the number of ${\rm Aut}(Y)$orbits of vertices
for any semiequivelar map $Y$ on the torus is at most six. In fact, the number
of orbits is at most three except one type of semiequivelar maps. Our bounds
on the number of orbits are sharp.

In this paper, we explore minimal contact triangulations on contact
3manifolds. We give many explicit examples of contact triangulations that are
close to minimal ones. The main results of this article say that on any closed
oriented 3manifold the number of vertices for minimal contact triangulations
for overtwisted contact structures grows at most linearly with respect to the
relative $d^3$ invariant. We conjecture that this bound is optimal. We also
discuss, in great details, contact triangulations for a certain family of
overtwisted contact structures on 3torus.

Tight triangulations are exotic, but highly regular objects in combinatorial
topology. A triangulation is tight if all its piecewise linear embeddings into
a Euclidean space are as convex as allowed by the topology of the underlying
manifold. Tight triangulations are conjectured to be strongly minimal, and
proven to be so for dimensions $\leq 3$. However, in spite of substantial
theoretical results about such triangulations, there are precious few examples.
In fact, apart from dimension two, we do not know if there are infinitely many
of them in any given dimension.
In this paper, we present a computerfriendly combinatorial scheme to obtain
tight triangulations, and present new examples in dimensions three, four and
five. Furthermore, we describe a family of tight triangulated $d$manifolds,
with $2^{d1} \lfloor d / 2 \rfloor ! \lfloor (d1) / 2 \rfloor !$
isomorphically distinct members for each dimension $d \geq 2$. While we still
do not know if there are infinitely many tight triangulations in a fixed
dimension $d > 2$, this result shows that there are abundantly many.

We prove two results on stacked triangulated manifolds in this paper: (a)
every stacked triangulation of a connected manifold with or without boundary is
obtained from a simplex or the boundary of a simplex by certain combinatorial
operations; (b) in dimension $d \geq 4$, if $\Delta$ is a tight connected
closed homology $d$manifold whose $i$th homology vanishes for $1 < i < d1$,
then $\Delta$ is a stacked triangulation of a manifold.These results give
affirmative answers to questions posed by Novik and Swartz and by Effenberger.

For a field $\mathbb{F}$, the notion of $\mathbb{F}$tightness of simplicial
complexes was introduced by K\"uhnel. K\"uhnel and Lutz conjectured that any
$\mathbb{F}$tight triangulation of a closed manifold is the most economic of
all possible triangulations of the manifold. The boundary of a triangle is the
only $\mathbb{F}$tight triangulation of a closed 1manifold. A triangulation
of a closed 2manifold is $\mathbb{F}$tight if and only if it is
$\mathbb{F}$orientable and neighbourly. In this paper we prove that a
triangulation of a closed 3manifold is $\mathbb{F}$tight if and only if it is
$\mathbb{F}$orientable, neighbourly and stacked. In consequence, the
K\"uhnelLutz conjecture is valid in dimension $\leq 3$.

It is well known that a triangulation of a closed 2manifold is tight with
respect to a field of characteristic two if and only if it is neighbourly; and
it is tight with respect to a field of odd characteristic if and only if it is
neighbourly and orientable. No such characterization of tightness was
previously known for higher dimensional manifolds. In this paper, we prove that
a triangulation of a closed 3manifold is tight with respect to a field of odd
characteristic if and only if it is neighbourly, orientable and stacked. In
consequence, the K\"{u}hnelLutz conjecture is valid in dimension three for
fields of odd characteristic.
Next let $\mathbb{F}$ be a field of characteristic two. It is known that, in
this case, any neighbourly and stacked triangulation of a closed 3manifold is
$\mathbb{F}$tight. For triangulated closed 3manifolds with at most 71
vertices or with first Betti number at most 188, we show that the converse is
true. But the possibility of an $\mathbb{F}$tight nonstacked triangulation on
a larger number of vertices remains open. We prove the following upper bound
theorem on such triangulations. If an $\mathbb{F}$tight triangulation of a
closed 3manifold has $n$ vertices and first Betti number $\beta_1$, then
$(n4)(617n 3861) \leq 15444\beta_1$. Equality holds here if and only if all
the vertex links of the triangulation are connected sums of boundary complexes
of icosahedra.

Quasitoric manifolds, introduced by M. Davis and T. Januskiewicz in 1991, are
topological generalizations of smooth complex projective spaces. In 1992,
Banchoff and K\"uhnel constructed a 10vertex equilibrium triangulations of
$\CP^2$. We generalize this construction for quasitoric manifolds and construct
some equilibrium triangulations of $4$dimensional quasitoric manifolds. In
some cases, our constructions give vertex minimal equilibrium triangulations.

In 1987, Kalai proved that stacked spheres of dimension $d\geq 3$ are
characterised by the fact that they attain equality in Barnette's celebrated
Lower Bound Theorem. This result does not extend to dimension $d=2$. In this
article, we give a characterisation of stacked $2$spheres using what we call
the {\em separation index}. Namely, we show that the separation index of a
triangulated $2$sphere is maximal if and only if it is stacked. In addition,
we prove that, amongst all $n$vertex triangulated $2$spheres, the separation
index is {\em minimised} by some $n$vertex flag sphere for $n\geq 6$.
Furthermore, we apply this characterisation of stacked $2$spheres to settle
the outstanding $3$dimensional case of the LutzSulankeSwartz conjecture that
"tightneighbourly triangulated manifolds are tight". For dimension $d\geq 4$,
the conjecture has already been proved by Effenberger following a result of
Novik and Swartz.

Tight triangulated manifolds are generalisations of neighborly triangulations
of closed surfaces and are interesting objects in Combinatorial Topology. Tight
triangulated manifolds are conjectured to be minimal. Except few, all the known
tight triangulated manifolds are stacked. It is known that locally stacked
tight triangulated manifolds are strongly minimal. Except for three infinite
series and neighborly surfaces, very few tight triangulated manifolds are
known. From some recent works, we know more on tight triangulation. In this
article, we present a survey on the works done on tight triangulation. In
Section 2, we state some known results on tight triangulations. In Section 3,
we present all the known tight triangulated manifolds. Details are available in
the references mentioned there. In Section 1, we present some essential
definitions.

Tightness is a generalisation of the notion of convexity: a space is tight if
and only if it is "as convex as possible", given its topological constraints.
For a simplicial complex, deciding tightness has a straightforward exponential
time algorithm, but efficient methods to decide tightness are only known in the
trivial setting of triangulated surfaces.
In this article, we present a new polynomial time procedure to decide
tightness for triangulations of $3$manifolds  a problem which previously was
thought to be hard. Furthermore, we describe an algorithm to decide general
tightness in the case of $4$dimensional combinatorial manifolds which is fixed
parameter tractable in the treewidth of the $1$skeletons of their vertex
links, and we present an algorithm to decide $\mathbb{F}_2$tightness for weak
pseudomanifolds $M$ of arbitrary but fixed dimension which is fixed parameter
tractable in the treewidth of the dual graph of $M$.

We have introduced the weight of a group which has a presentation with number
of relations is at most the number of generators. We have shown that the number
of facets of any contracted pseudotriangulation of a connected closed
3manifold $M$ is at least the weight of $\pi(M, \ast)$. This lower bound is
sharp for the 3manifolds $\mathbb{R P}^3$, $L(3,1)$, $L(5,2)$, $S^1\times S^1
\times S^1$, $S^2 \times S^1$, $S^2 \mbox{$\times \hspace{2.8mm}_{}$} S^1$
and $S^3/Q_8$, where $Q_8$ is the quaternion group. Moreover, there is a unique
such facet minimal pseudotriangulation in each of these seven cases. We have
also constructed contracted pseudotriangulations of $L(kq1,q)$ with $4(q+k1)$
facets for $q \geq 3$, $k \geq 2$ and $L(kq+1,q)$ with $4(q+k)$ facets for
$q\geq 4$, $k\geq 1$. By a recent result of Swartz, our pseudotriangulations of
$L(kq+1, q)$ are facet minimal when $kq+1$ are even. In 1979, Gagliardi found
presentations of the fundamental group of a manifold $M$ in terms of a
contracted pseudotriangulation of $M$. Our construction is the converse of
this, namely, given a presentation of the fundamental group of a 3manifold
$M$, we construct a contracted pseudotriangulation of $M$. So, our construction
of a contracted pseudotriangulation of a 3manifold $M$ is based on a
presentation of the fundamental group of $M$ and it is computerfree.

We give an explicit construction of vertextransitive tight triangulations of
$d$manifolds for $d\geq 2$. More explicitly, for each $d\geq 2$, we construct
two $(d^2+5d+5)$vertex neighborly triangulated $d$manifolds whose
vertexlinks are stacked spheres. The only other nontrivial series of such
tight triangulated manifolds currently known is the series of nonsimply
connected triangulated $d$manifolds with $2d+3$ vertices constructed by
K\"{u}hnel. The manifolds we construct are strongly minimal. For $d\geq 3$,
they are also tight neighborly as defined by Lutz, Sulanke and Swartz. Like
K\"{u}hnel's complexes, our manifolds are orientable in even dimensions and
nonorientable in odd dimensions.

We introduce the class $\Sigma_k(d)$ of $k$stellated (combinatorial) spheres
of dimension $d$ ($0 \leq k \leq d + 1$) and compare and contrast it with the
class ${\cal S}_k(d)$ ($0 \leq k \leq d$) of $k$stacked homology $d$spheres.
We have $\Sigma_1(d) = {\cal S}_1(d)$, and $\Sigma_k(d) \subseteq {\cal
S}_k(d)$ for $d \geq 2k  1$. However, for each $k \geq 2$ there are
$k$stacked spheres which are not $k$stellated. The existence of $k$stellated
spheres which are not $k$stacked remains an open question.
We also consider the class ${\cal W}_k(d)$ (and ${\cal K}_k(d)$) of
simplicial complexes all whose vertexlinks belong to $\Sigma_k(d  1)$
(respectively, ${\cal S}_k(d  1)$). Thus, ${\cal W}_k(d) \subseteq {\cal
K}_k(d)$ for $d \geq 2k$, while ${\cal W}_1(d) = {\cal K}_1(d)$. Let
$\bar{{\cal K}}_k(d)$ denote the class of $d$dimensional complexes all whose
vertexlinks are $k$stacked balls. We show that for $d\geq 2k + 2$, there is a
natural bijection $M \mapsto \bar{M}$ from ${\cal K}_k(d)$ onto $\bar{{\cal
K}}_k(d + 1)$ which is the inverse to the boundary map $\partial \colon
\bar{{\cal K}}_k(d + 1) \to {\cal K}_k(d)$.

We introduce the $k$stellated spheres and consider the class ${\cal W}_k(d)$
of triangulated $d$manifolds all whose vertex links are $k$stellated, and its
subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$neighbourly members
of ${\cal W}_k(d)$. We introduce the muvector of any simplicial complex and
show that, in the case of 2neighbourly simplicial complexes, the muvector
dominates the vector of its Betti numbers componentwise; the two vectors are
equal precisely for tight simplicial complexes. We are able to estimate/compute
certain alternating sums of the components of the muvector of any
2neighbourly member of ${\cal W}_k(d)$ for $d\geq 2k$. As one consequence of
this theory, we prove a lower bound theorem for such triangulated manifolds, as
well as determine the integral homology type of members of ${\cal
W}^{\ast}_k(d)$ for $d \geq 2k+2$. As another application, we prove that, when
$d \neq 2k+1$, all members of ${\cal W}^{\ast}_k(d)$ are tight. We also
characterize the tight members of ${\cal W}^{\ast}_k(2k + 1)$ in terms of their
$k^{\rm th}$ Betti numbers. These results more or less answer a recent question
of Effenberger, and also provide a uniform and conceptual tightness proof for
all except two of the known tight triangulated manifolds.
We also prove a lower bound theorem for triangulated manifolds in which the
members of ${\cal W}_1(d)$ provide the equality case. This generalises a result
(the $d=4$ case) due to Walkup and Kuehnel. As a consequence, it is shown that
every tight member of ${\cal W}_1(d)$ is strongly minimal, thus providing
substantial evidence in favour of a conjecture of Kuehnel and Lutz asserting
that tight triangulated manifolds should be strongly minimal.

Walkup's class ${\cal K}(d)$ consists of the $d$dimensional simplicial
complexes all whose vertex links are stacked $(d1)$spheres. According to a
result of Walkup, the face vector of any triangulated 4manifold $X$ with Euler
characteristic $\chi$ satisfies $f_1 \geq 5f_0  15/2 \chi$, with equality only
for $X \in {\cal K}(4)$. K\"{u}hnel observed that this implies $f_0(f_0  11)
\geq 15\chi$, with equality only for 2neighborly members of ${\cal K}(4)$.
For $n = 6, 11$ and 15, there are triangulated 4manifolds with $f_0=n$ and
$f_0(f_0  11) = 15\chi$. In this article, we present triangulated 4manifolds
with $f_0 = 21, 26$ and 41 which satisfy $f_0(f_0  11) = 15\chi$. All these
triangulated manifolds are tight and strongly minimal.

Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that
any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the
generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are
$k$stacked spheres. This is surprising since the $k$stacked spheres minimize
the facevector (among all polytopal spheres with given $f_0,..., f_{k  1}$)
while the upper bound spheres maximize the face vector (among spheres with a
given $f_0$).
It has been conjectured that for $d\neq 2k + 1$, all $(k + 1)$neighborly
members of the class ${\cal K}_k(d)$ are tight. The result of this paper shows
that, for every $k$, the case $d = 2k +1$ is a true exception to this
conjecture.

Let $M$ be an $n$vertex combinatorial triangulation of a $\ZZ_2$homology
$d$sphere. In this paper we prove that if $n \leq d + 8$ then $M$ must be a
combinatorial sphere. Further, if $n = d + 9$ and $M$ is not a combinatorial
sphere then $M$ can not admit any proper bistellar move. Existence of a
12vertex triangulation of the lens space $L(3, 1)$ shows that the first result
is sharp in dimension three.
In the course of the proof we also show that any $\ZZ_2$acyclic simplicial
complex on $\leq 7$ vertices is necessarily collapsible. This result is best
possible since there exist 8vertex triangulations of the Dunce Hat which are
not collapsible.

After a brief discussion of the history of the problem, we propose a
generalization of the map colouring problem to higher dimensions.

We introduce the $k$stellated spheres and compare and contrast them with
$k$stacked spheres. It is shown that for $d \geq 2k$, any $k$stellated sphere
of dimension $d$ bounds a unique and canonically defined $k$stacked ball. In
parallel, any $k$stacked polytopal sphere of dimension $d\geq 2k$ bounds a
unique and canonically defined $k$stacked ball. We consider the class ${\cal
W}_k(d)$ of combinatorial $d$manifolds with $k$stellated links. For $d\geq
2k+2$, any member of ${\cal W}_k(d)$ bounds a unique and canonically defined
"$k$stacked" $(d+1)$manifold.
We introduce the muvector of simplicial complexes, and show that the
muvector of any 2neighbourly simplicial complex dominates its vector of Betti
numbers componentwise, and the two vectors are equal precisely when the complex
is tight. When $d\geq 2k$, we are able to estimate/compute certain alternating
sums of the munumbers of any 2neighbourly member of ${\cal W}_k(d)$. This
leads to a lower bound theorem for such triangulated manifolds. As an
application, it is shown that any $(k+1)$neighbourly member of ${\cal W}_k(d)$
is tight, subject only to an extra condition on the $k^{th}$ Betti number in
case $d=2k+1$. This result more or less settles a recent conjecture of
Effenberger, and it also provides a uniform and conceptual tightness proof for
all the known tight triangulated manifolds, with only two exceptions. It is
shown that any polytopal upper bound sphere of odd dimension $2k+1$ belongs to
the class ${\cal W}_k(2k+1)$, thus generalizing a theorem due to Perles. This
shows that the case $d=2k+1$ is indeed exceptional for the tightness theorem.

In this paper we present a selfcontained combinatorial proof of the lower
bound theorem for normal pseudomanifolds, including a treatment of the cases of
equality in this theorem. We also discuss McMullen and Walkup's generalised
lower bound conjecture for triangulated spheres in the context of the lower
bound theorem. Finally, we pose a new lower bound conjecture for nonsimply
connected triangulated manifolds.

For $d \geq 2$, Walkup's class ${\cal K}(d)$ consists of the $d$dimensional
simplicial complexes all whose vertexlinks are stacked $(d1)$spheres. Kalai
showed that for $d \geq 4$, all connected members of ${\cal K}(d)$ are obtained
from stacked $d$spheres by finitely many elementary handle additions.
According to a result of Walkup, the face vector of any triangulated 4manifold
$X$ with Euler characteristic $\chi$ satisfies $f_1 \geq 5f_0  {15/2} \chi$,
with equality only for $X \in {\cal K}(4)$. K\"{u}hnel observed that this
implies $f_0(f_0  11) \geq 15\chi$, with equality only for 2neighborly
members of ${\cal K}(4)$. K\"{u}hnel also asked if there is a triangulated
4manifold with $f_0 = 15$, $\chi = 4$ (attaining equality in his lower
bound). In this paper, guided by Kalai's theorem, we show that indeed there is
such a triangulation. It triangulates the connected sum of three copies of the
twisted sphere product $S^3 \times {2.8mm}_{} S^1$. Because of K\"{u}hnel's
inequality, the given triangulation of this manifold is a vertexminimal
triangulation. By a recent result of Effenberger, the triangulation constructed
here is tight. Apart from the neighborly 2manifolds and the infinite family of
$(2d+ 3)$vertex sphere products $S^{d1} \times S^1$ (twisted for $d$ odd),
only fourteen tight triangulated manifolds were known so far. The present
construction yields a new member of this sporadic family. We also present a
selfcontained proof of Kalai's result.

The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate
permutation, and the quotient space $(S^2 \times S^2 \times S^2)/S_3$ is
homeomorphic to the complex projective space $\CC P^3$. In this paper, we
construct an 124vertex simplicial subdivision $(S^2 \times S^2 \times
S^2)_{124}$ of the 64vertex standard cellulation $S^2_4 \times S^2_4 \times
S^2_4$ of $S^2 \times S^2 \times S^2$, such that the $S_3$action on this
cellulation naturally extends to an action on $(S^2 \times S^2 \times
S^2)_{124}$. Further, the $S_3$action on $(S^2 \times S^2 \times S^2)_{124}$
is "good", so that the quotient simplicial complex $(S^2 \times S^2 \times
S^2)_{124}/S_3$ is a 30vertex triangulation $\CC P^3_{30}$ of $\CC P^3$. In
other words, we construct a simplicial realization $(S^2 \times S^2 \times
S^2)_{124} \to \CC P^3_{30}$ of the branched covering $S^2 \times S^2 \times
S^2 \to \CC P^3$. Finally, we apply the BISTELLAR program of Lutz on $\CC
P^3_{30}$, resulting in an 18vertex 2neighbourly triangulation $\CC P^3_{18}$
of $\CC P^3$. The automorphism group of $\CC P^3_{18}$ is trivial. It may be
recalled that, by a result of Arnoux and Marin, any triangulation of $\CC P^3$
requires at least 17 vertices. So, $\CC P^3_{18}$ is close to vertexminimal,
if not actually vertexminimal. Moreover, no explicit triangulation of $\CC
P^3$ was known so far.