Related papers: Many projectively unique polytopes
Consider a finite collection of affine hyperplanes in $\mathbb R^d$. The hyperplanes dissect $\mathbb R^d$ into finitely many polyhedral chambers. For a point $x\in \mathbb R^d$ and a chamber $P$ the metric projection of $x$ onto $P$ is the…
Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard…
We exhibit a family of complex manifolds, which has a member at each odd complex dimension and which has the same cohomology groups as the complex projective space at that dimension, but not homotopy equivalent to it. We also analyze the…
Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative,…
By a theorem of Kirchhoff if the six sphere admits an almost complex structure then the seven sphere is parallelizable, more crucial, he exhibited an explicit global frame constructed out of the given almost complex structure. This result…
Starting from computer experiments with the fundamental group of the Cartwright--Steger surface, we construct an infinite tower $(X_n)_{n\ge 1}$ of normal projective surfaces obtained by successive $\mathbb Z/3$-Galois covers $X_{n}\to…
This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The…
We use the notions of reflexivity and of reflexive dimensions in order to introduce probability measures for lattice polytopes and initiate the investigation of their statistical properties. Examples of applications to discrete geometry…
We call a polytope P of dimension 3 admissible if it has the following two properties: (1) for each vertex of P the set of its first-neighbours is coplanar; (2) all planes determined by the first-neighbours are distinct. It is shown that…
A "magic rectangle" of eleven observables of four qubits, employed by Harvey and Chryssanthacopoulos (2008) to prove the Bell-Kochen-Specker theorem in a 16-dimensional Hilbert space, is given a neat finite-geometrical reinterpretation in…
We study the problem of classifying the irreducible projective varieties $X$ of dimension $n\ge 2$ in $\Bbb P^N$ which contain an algebraic family $\Cal F$ of dimension $h+1$ ($h<n$) of subvarieties $Y$ of dimension $n-h$, each one…
Neighborly cubical polytopes exist: for any $n\ge d\ge 2r+2$, there is a cubical convex d-polytope $C^n_d$ whose $r$-skeleton is combinatorially equivalent to that of the $n$-dimensional cube. This solves a problem of Babson, Billera &…
Consider the problem of constructing an experimental design, optimal for estimating parameters of a given statistical model with respect to a chosen criterion. To address this problem, the literature usually provides a single solution.…
We give a complete enumeration of all 2-neighborly 0/1-polytopes of dimension 7. There are 13 959 358 918 different 0/1-equivalence classes of such polytopes. They form 5 850 402 014 combinatorial classes and 1 274 089 different f-vectors.…
We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…
This is the sequel to our first paper concerning the balanced embedding of a non-compact complex manifold into an infinite-dimensional projective space. We prove the uniqueness of such an embedding. The proof relies on fine estimates of the…
In 1970, Walkup completely described the set of $f$-vectors for the four 3-manifolds $S^3$, $S^2 twist S^1$, $S^2 \times S^1$, and $RP^3$. We improve one of Walkup's main restricting inequalities on the set of $f$-vectors of 3-manifolds. As…
Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and…
The main difficulty in solving the Helmholtz equation within polygons is due to non-analytic vertices. By using a method nearly identical to that used by Fox, Henrici, and Moler in their 1967 paper; it is demonstrated that such eigenvalue…
Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent…