Source author record

Isabella Novik

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

ResearcherUnclaimed source record

math.CO math.AC math.MG math.AG math.AT math.GT

Catalog footprint

Research overview

21works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Simplicial spheres with $g_k=1$

For $d\geq 4$ , Kalai (1987) characterized all simplicial $(d-1)$ -spheres with $g_2=0$ , and for $k\geq 2$ and $d\geq 2k$ , Murai and Nevo (2013) characterized all simplicial $(d-1)$ -spheres with $g_k=0$ . In addition, for $d\geq 4$ , Nevo and Novinsky (2011) characterized all simplicial $(d-1)$ -spheres with $g_2=1$ . Motivated by these results, we characterize, for any $k\geq 2$ and $d\geq 2k+1$ , all simplicial $(d-1)$ -spheres with no missing faces of dimension larger than $d-k$ that satisfy $g_k=1$ . When $d=2k$ , we obtain a characterization of simplicial $(d-1)$ -spheres with $g_k=1$ and no missing faces of dimension greater than $k$ , under the additional assumption that there exists at least one missing face of dimension $k$ . Finally, for $k=3$ , we are able to remove this assumption and characterize all simplicial $5$ -spheres with no missing faces of dimension larger than $3$ that satisfy $g_3=1$ .

preprint2022arXiv

Neighborly spheres and transversal numbers

We survey several old and new problems related to the number of simplicial spheres, the number of neighborly simplicial spheres, the number of centrally symmetric simplicial spheres that are cs-neighborly, and the transversal numbers of hypergraphs that arise from simplicial spheres.

preprint2022arXiv

New families of highly neighborly centrally symmetric spheres

In 1995, Josckusch constructed an infinite family of centrally symmetric (cs, for short) triangulations of $3$ -spheres that are cs- $2$ -neighborly. Recently, Novik and Zheng extended Jockusch's construction: for all $d$ and $n>d$ , they constructed a cs triangulation of a $d$ -sphere with $2n$ vertices, $Δ^d_n$ , that is cs- $\lceil d/2\rceil$ -neighborly. Here, several new cs constructions, related to $Δ^d_n$ , are provided. It is shown that for all $k>2$ and a sufficiently large $n$ , there is another cs triangulation of a $(2k-1)$ -sphere with $2n$ vertices that is cs- $k$ -neighborly, while for $k=2$ there are $Ω(2^n)$ such pairwise non-isomorphic triangulations. It is also shown that for all $k>2$ and a sufficiently large $n$ , there are $Ω(2^n)$ pairwise non-isomorphic cs triangulations of a $(2k-1)$ -sphere with $2n$ vertices that are cs- $(k-1)$ -neighborly. The constructions are based on studying facets of $Δ^d_n$ , and, in particular, on some necessary and some sufficient conditions similar in spirit to Gale's evenness condition. Along the way, it is proved that Jockusch's spheres $Δ^3_n$ are shellable and an affirmative answer to Murai--Nevo's question about $2$ -stacked shellable balls is given.

preprint2022arXiv

Reconstructing simplicial polytopes from their graphs and affine $2$ -stresses

A conjecture of Kalai from 1994 posits that for an arbitrary $2\leq k\leq \lfloor d/2 \rfloor$ , the combinatorial type of a simplicial $d$ -polytope $P$ is uniquely determined by the $(k-1)$ -skeleton of $P$ (given as an abstract simplicial complex) together with the space of affine $k$ -stresses on $P$ . We establish the first non-trivial case of this conjecture, namely, the case of $k=2$ . We also prove that for a general $k$ , Kalai's conjecture holds for the class of $k$ -neighborly polytopes.

preprint2020arXiv

Highly neighborly centrally symmetric spheres

In 1995, Jockusch constructed an infinite family of centrally symmetric $3$ -dimensional simplicial spheres that are cs- $2$ -neighborly. Here we generalize his construction and show that for all $d\geq 3$ and $n\geq d+1$ , there exists a centrally symmetric $d$ -dimensional simplicial sphere with $2n$ vertices that is cs- $\lceil d/2\rceil$ -neighborly. This result combined with work of Adin and Stanley completely resolves the upper bound problem for centrally symmetric simplicial spheres.

preprint2016arXiv

A generalized lower bound theorem for balanced manifolds

A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$ -colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an additional assumption that all proper links of these triangulations have the weak Lefschetz property. As a corollary, we show that if $Δ$ is an arbitrary balanced triangulation of any closed homology manifold of dimension $d-1 \geq 3$ , then $2h_2(Δ) - (d-1)h_1(Δ) \geq 4{d \choose 2}(\tildeβ_1(Δ)-\tildeβ_0(Δ))$ , thus verifying a conjecture by Klee and Novik. To prove these results we develop the theory of flag $h''$ -vectors.

preprint2016arXiv

Face numbers and the fundamental group

We resolve a conjecture of Kalai asserting that the $g_2$ -number of any simplicial complex $Δ$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(Δ)$ , where $m(Δ)$ denotes the minimum number of generators of the fundamental group of $Δ$ . Furthermore, we prove that a weaker bound, $h_2(Δ)\geq {d+1 \choose 2}m(Δ)$ , applies to any $d$ -dimensional pure simplicial poset $Δ$ all of whose faces of co-dimension $\geq 2$ have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset $Ψ$ all of whose vertex links satisfy Serre's condition $(S_r)$ , we establish lower bounds on $h_1(Ψ),\ldots,h_r(Ψ)$ in terms of the $μ$ -numbers introduced by Bagchi and Datta.

preprint2016arXiv

Face numbers of manifolds with boundary

We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$ - and $μ$ -numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$ -numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.

preprint2015arXiv

Face enumeration on simplicial complexes

Let $M$ be a closed triangulable manifold, and let $Δ$ be a triangulation of $M$ . What is the smallest number of vertices that $Δ$ can have? How big or small can the number of edges of $Δ$ be as a function of the number of vertices? More generally, what are the possible face numbers ( $f$ -numbers, for short) that $Δ$ can have? In other words, what restrictions does the topology of $M$ place on the possible $f$ -numbers of triangulations of $M$ ? To make things even more interesting, we can add some combinatorial conditions on the triangulations we are considering (e.g., flagness, balancedness, etc.) and ask what additional restrictions these combinatorial conditions impose. While only a few theorems in this area of combinatorics were known a couple of decades ago, in the last ten years or so, the field simply exploded with new results and ideas. Thus we feel that a survey paper is long overdue. As new theorems are being proved while we are typing this chapter, and as we have only a limited number of pages, we apologize in advance to our friends and colleagues, some of whose results will not get mentioned here.

preprint2015arXiv

Lower Bound Theorems and a Generalized Lower Bound Conjecture for balanced simplicial complexes

A $(d-1)$ -dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$ -coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs). Specifically, we prove the balanced analog of the celebrated Lower Bound Theorem for pseudomanifolds and characterize the case of equality; we introduce and characterize the balanced analog of the Walkup class; we propose the balanced analog of the Generalized Lower Bound Conjecture and establish some related results. We close with constructions of balanced manifolds with few vertices.

preprint2014arXiv

Bipartite Rigidity

We develop a bipartite rigidity theory for bipartite graphs parallel to the classical rigidity theory for general graphs, and define for two positive integers $k,l$ the notions of $(k,l)$ -rigid and $(k,l)$ -stress free bipartite graphs. This theory coincides with the study of Babson--Novik's balanced shifting restricted to graphs. We establish bipartite analogs of the cone, contraction, deletion, and gluing lemmas, and apply these results to derive a bipartite analog of the rigidity criterion for planar graphs. Our result asserts that for a planar bipartite graph $G$ its balanced shifting, $G^b$ , does not contain $K_{3,3}$ ; equivalently, planar bipartite graphs are generically $(2,2)$ -stress free. We also discuss potential applications of this theory to Jockusch's cubical lower bound conjecture and to upper bound conjectures for embedded simplicial complexes.

preprint2013arXiv

Bipartite Minors

We introduce a notion of bipartite minors and prove a bipartite analog of Wagner's theorem: a bipartite graph is planar if and only if it does not contain $K_{3,3}$ as a bipartite minor. Similarly, we provide a forbidden minor characterization for outerplanar graphs and forests. We then establish a recursive characterization of bipartite $(2,2)$ -Laman graphs --- a certain family of graphs that contains all maximal bipartite planar graphs.

preprint2013arXiv

Bounds on the diameters of $r$ -stacked and $k$ -neighborly polytopes

We improve Larman's bound on the diameter of a polytope by showing that if $Δ$ is a normal simplicial complex, all of whose missing faces have size at most $r$ , then the diameter of the facet-ridge graph of $Δ$ is not larger than $2^{r-2}n$ , where $n$ is the number of vertices of $Δ$ . We then use this result to provide new upper bounds on the diameters of the facet-ridge graphs of $k$ -neighborly spheres, $r$ -stacked spheres, and polytopes with small $g_r$ . Specifically, our bounds imply that $r$ -stacked spheres with $r=O(\log n)$ satisfy the polynomial Hirsch conjecture.

preprint2012arXiv

Explicit constructions of centrally symmetric k-neighborly polytopes and large strictly antipodal sets

We present explicit constructions of centrally symmetric 2-neighborly d-dimensional polytopes with about 3^{d/2} = (1.73)^d vertices and of centrally symmetric k-neighborly d-polytopes with about 2^{c_k d} vertices where c_k=3/20 k^2 2^k. Using this result, we construct for a fixed k > 1 and arbitrarily large d and N, a centrally symmetric d-polytope with N vertices that has at least (1-k^2 (gamma_k)^d) binom(N, k) faces of dimension k-1, where gamma_2=1/\sqrt{3} = 0.58 and gamma_k = 2^{-3/{20k^2 2^k}} for k > 2. Another application is a construction of a set of 3^{d/2 -1}-1 points in R^d every two of which are strictly antipodal as well as a construction of an n-point set (for an arbitrarily large n) in R^d with many pairs of strictly antipodal points. The two latter results significantly improve the previous bounds by Talata, and Makai and Martini, respectively.

preprint2012arXiv

From flag complexes to banner complexes

A notion of an $i$ -banner simplicial complex is introduced. For various values of $i$ , these complexes interpolate between the class of flag complexes and the class of all simplicial complexes. Examples of simplicial spheres of an arbitrary dimension that are $(i+1)$ -banner but not $i$ -banner are constructed. It is shown that several theorems for flag complexes have appropriate $i$ -banner analogues. Among them are (1) the codimension- $(i+j-1)$ skeleton of an $i$ -banner homology sphere $Δ$ is $2(i+j)$ -Cohen--Macaulay for all $0\leq j\leq \dimΔ+1-i$ , and (2) for every $i$ -banner simplicial complex $Δ$ there exists a balanced complex $Γ$ with the same number of vertices as $Δ$ whose face numbers of dimension $i-1$ and higher coincide with those of $Δ$ .

preprint2011arXiv

Centrally symmetric manifolds with few vertices

A centrally symmetric $2d$ -vertex combinatorial triangulation of the product of spheres $§^i\times§^{d-2-i}$ is constructed for all pairs of non-negative integers $i$ and $d$ with $0\leq i \leq d-2$ . For the case of $i=d-2-i$ , the existence of such a triangulation was conjectured by Sparla. The constructed complex admits a vertex-transitive action by a group of order $4d$ . The crux of this construction is a definition of a certain full-dimensional subcomplex, $\B(i,d)$, of the boundary complex of the $d$ -dimensional cross-polytope. This complex $\B(i,d)$ is a combinatorial manifold with boundary and its boundary provides a required triangulation of $§^i\times§^{d-i-2}$ . Enumerative characteristics of $\B(i,d)$ and its boundary, and connections to another conjecture of Sparla are also discussed.

preprint2011arXiv

Centrally symmetric polytopes with many faces

We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans an edge of P, second, for an integer k>1, we construct a d-dimensional centrally symmetric polytope P of an arbitrarily high dimension d and with an arbitrarily large number N of vertices such that for some 0 < delta_k < 1 at least (1-delta_k^d) {N choose k} k-subsets of the set of vertices span faces of P, and third, for an integer k>1 and a>0, we construct a centrally symmetric polytope Q with an arbitrary large number N of vertices and of dimension d=k^{1+o(1)} such that least (1 - k^{-a}){N choose k} k-subsets of the set of vertices span faces of Q.

preprint2011arXiv

Neighborliness of the symmetric moment curve

We consider the convex hull B_k of the symmetric moment curve U(t)=(cos t, sin t, cos 3t, sin 3t, ..., cos (2k-1)t, sin (2k-1)t) in R^{2k}, where t ranges over the unit circle S= R/2pi Z. The curve U(t) is locally neighborly: as long as t_1, ..., t_k lie in an open arc of S of a certain length phi_k>0, the convex hull of the points U(t_1), ..., U(t_k) is a face of B_k. We characterize the maximum possible length phi_k, proving, in particular, that phi_k > pi/2 for all k and that the limit of phi_k is pi/2 as k grows. This allows us to construct centrally symmetric polytopes with a record number of faces.

preprint2010arXiv

Face numbers of pseudomanifolds with isolated singularities

We investigate the face numbers of simplicial complexes with Buchsbaum vertex links, especially pseudomanifolds with isolated singularities. This includes deriving Dehn-Sommerville relations for pseudomanifolds with isolated singularities and establishing lower bound theorems when the singularities are also homologically isolated. We give formulas for the Hilbert function of a generic Artinian reduction of the face ring when the singularities are homologically isolated and for any pure two-dimensional complex. Some examples of spaces where the $f$ -vector can be completely characterized are described. Let $Δ$ and $Δ'$ be two simplicial complexes that are homeomorphic and have the same $f$ -vector. In \cite{MNS} the question is raised of whether or not the Hilbert functions of generic Artinian reductions of their face rings are identical. We prove that this is the case if the spaces have isolated singularities and are PL-homeomorphic.

preprint2010arXiv

Face rings of simplicial complexes with singularities

The face ring of a simplicial complex modulo m generic linear forms is shown to have finite local cohomology if and only if the link of every face of dimension m or more is `nonsingular', i.e., has the homology of a wedge of spheres of the expected dimension. This is derived from an enumerative result for local cohomology of face rings modulo generic linear forms, as compared with local cohomology of the face ring itself. The enumerative result is generalized in slightly weaker form to squarefree modules. A concept of `Cohen-Macaulay in codimension c' is defined and characterized for arbitrary finitely generated modules and coherent sheaves. For the face ring of an r-dimensional complex Delta, it is equivalent to nonsingularity of Delta in dimension r-c; for a coherent sheaf on projective space, this condition is shown to be equivalent to the same condition on any single generic hyperplane section. The characterization of nonsingularity in dimension m via finite local cohomology thus generalizes from face rings to arbitrary graded modules.

preprint2008arXiv

Gorenstein rings through face rings of manifolds

The face ring of a homology manifold (without boundary) modulo a generic system of parameters is studied. Its socle is computed and it is verified that a particular quotient of this ring is Gorenstein. This fact is used to prove that the sphere $g$ -conjecture implies all enumerative consequences of its far reaching generalization (due to Kalai) to manifolds. A special case of Kalai's manifold $g$ -conjecture is established for homology manifolds that have a codimension-two face whose link contains many vertices.

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.

Isabella Novik

Research overview

Is this your work?

21 publications

Simplicial spheres with $g_k=1$

Neighborly spheres and transversal numbers

New families of highly neighborly centrally symmetric spheres

Reconstructing simplicial polytopes from their graphs and affine $2$ -stresses

Highly neighborly centrally symmetric spheres

A generalized lower bound theorem for balanced manifolds

Face numbers and the fundamental group

Face numbers of manifolds with boundary

Face enumeration on simplicial complexes

Lower Bound Theorems and a Generalized Lower Bound Conjecture for balanced simplicial complexes

Bipartite Rigidity

Bipartite Minors

Bounds on the diameters of $r$ -stacked and $k$ -neighborly polytopes

Explicit constructions of centrally symmetric k-neighborly polytopes and large strictly antipodal sets

From flag complexes to banner complexes

Centrally symmetric manifolds with few vertices

Centrally symmetric polytopes with many faces

Neighborliness of the symmetric moment curve

Face numbers of pseudomanifolds with isolated singularities

Face rings of simplicial complexes with singularities

Gorenstein rings through face rings of manifolds

See the researcher in context

Building this map preview

Isabella Novik

Research overview

Is this your work?

21 publications

Simplicial spheres with gk=1g_k=1gk​=1

Neighborly spheres and transversal numbers

New families of highly neighborly centrally symmetric spheres

Reconstructing simplicial polytopes from their graphs and affine 222-stresses

Highly neighborly centrally symmetric spheres

A generalized lower bound theorem for balanced manifolds

Face numbers and the fundamental group

Face numbers of manifolds with boundary

Face enumeration on simplicial complexes

Lower Bound Theorems and a Generalized Lower Bound Conjecture for balanced simplicial complexes

Bipartite Rigidity

Bipartite Minors

Bounds on the diameters of rrr-stacked and kkk-neighborly polytopes

Explicit constructions of centrally symmetric k-neighborly polytopes and large strictly antipodal sets

From flag complexes to banner complexes

Centrally symmetric manifolds with few vertices

Centrally symmetric polytopes with many faces

Neighborliness of the symmetric moment curve

Face numbers of pseudomanifolds with isolated singularities

Face rings of simplicial complexes with singularities

Gorenstein rings through face rings of manifolds

See the researcher in context

Building this map preview

Simplicial spheres with $g_k=1$

Reconstructing simplicial polytopes from their graphs and affine $2$ -stresses

Bounds on the diameters of $r$ -stacked and $k$ -neighborly polytopes