Related papers: Smooth Combinatorial Cubes are IDP
We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial…
We show that for fixed $d>3$ and $n$ growing to infinity there are at least $(n!)^{d-2 \pm o(1)}$ different labeled combinatorial types of $d$-polytopes with $n$ vertices. This is about the square of the previous best lower bounds. As an…
We introduce an information-theoretic framework for smooth structures on topological manifolds, replacing coordinate charts with small-scale entropy data of local probability probes. A concise set of axioms identifies admissible coordinate…
We describe a bijection between oriented cubes and adjoints of cross-polytopes. This correspondence is used to prove that the real affine cube is, up to reorientation in the same class, the unique oriented cube that is realizable. Moreover,…
We compute some numerical invariants of the lines on hyperplane sections of a smooth cubic threefold over complex numbers. We also prove that for any smooth hypersurface $X\subset \mathbb P^{n+1}$ of degree $d$ over an algebraically closed…
We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more…
We study the properties of Kokotsakis polyhedra of orthodiagonal anti-involutive type. Stachel conjectured that a certain resultant connected to a polynomial system describing flexion of a Kokotsakis polyhedron must be reducible. Izmestiev…
We show that any m-isometric tuples of commuting operators on a finite dimensional Hilbert space can be decomposed as a sum of a spherical isometry and a commuting nilpotent tuple. Our approach applies as well to tuples of algebraic…
In this paper, we show that every invertible subsheaf of the cotangent bundle of a smooth globally $F$-regular threefold of characteristic $p>3$ has Iitaka dimension less than or equal to one.
Let R=K[M] be a normal affine monoid algbera over a field K.Up to isomorphism the conic ideals are exactly the direct summands ofthe extension R^{1/n} of R. We show that the classes of the conic divisorial ideals can be identified with the…
We study hyperbolic polyhedral surfaces with faces isometric to regular hyperbolic polygons satisfying that the total angles at vertices are at least $2\pi.$ The combinatorial information of these surfaces is shown to be identified with…
Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum…
We compute the rational cohomology of the universal family of smooth cubic surfaces using Vassiliev's method of simplicial resolution. Modulo embedding, the universal family has cohomology isomorphic to that of $\mathbb{P}^2$. A consequence…
A single parameter cubic composite test for odd positive integers is given which relies on the discriminant always being a square integer. This test has no known counterexample despite extensive verifications. As well as a comparison with…
We give a direct combinatorial proof that the product of two descent classes in a symmetric group is a sum of descent classes. The proof is based on the fact that the group product gives a covering map when descent classes are endowed with…
In this expository article, we prove a birational classification of smooth projective models of surfaces with negative Kodaira dimension over $\mathbb{Z}$ and over more general rings of integers $\mathcal{O}_K$, depending on their…
A classification of all four-dimensional power-commutative real division algebras is given. It is shown that every four-dimensional power-commutative real division algebra is an isotope of a particular kind of a quadratic division algebra.…
We prove that every polytope described by algebraic coordinates is the face of a projectively unique polytope. This provides a universality property for projectively unique polytopes. Using a closely related result of Below, we construct a…
Let P be a d-dimensional lattice polytope. We show that there exists a natural number c_d, only depending on d, such that the multiples cP have a unimodular cover for every natural number c >= c_d. Actually, a subexponential upper bound for…
Any homogeneous polynomial $P(x, y, z)$ of degree $d$, being restricted to a unit sphere $S^2$, admits essentially a unique representation of the form $\lambda_0 + \sum_{k = 1}^d \lambda_k [\prod_{j = 1}^k L_{kj}]$, where $L_{kj}$'s are…