Related papers: A Note on Touching Cones and Faces
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…
We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces,…
It is proved that every convex body in the plane has a point such that the union of the body and its image under reflection in the point is convex. If the body is not centrally symmetric, then it has, in fact, three affinely independent…
We study isogenies between K3 surfaces in positive characteristic. Our main result is a characterization of K3 surfaces isogenous to a given K3 surface $X$ in terms of certain integral sublattices of the second rational $\ell$-adic and…
It is classically known that complete flat surfaces in Euclidean 3-space are cylinders over space curves. This implies that the study of global behaviour of flat surfaces requires the study of singular points as well. If a flat surface $f$…
A cosmological polytope is a lattice polytope introduced by Arkani-Hamed, Benincasa, and Postnikov in their study of the wavefunction of the universe in a class of cosmological models. More concretely, they construct a cosmological polytope…
A locally finite face-to-face tiling of euclidean d-space by convex polytopes is called combinatorially multihedral if its combinatorial automorphism group has only finitely many orbits on the tiles. The paper describes a local…
We study three families of polyhedral cones whose sections are regular simplices, cubes, and crosspolytopes. We compute solid angles and conic intrinsic volumes of these cones. We show that several quantities appearing in stochastic…
A polyhedral surface~$\mathcal{C}$ in $\mathbb{R}^3$ with convex polygons as faces is a side-contact representation of a graph~$G$ if there is a bijection between the vertices of $G$ and the faces of~$\mathcal{C}$ such that the polygons of…
We study a notion of convex cocompactness for discrete subgroups of the projective general linear group acting (not necessarily irreducibly) on real projective space, and give various characterizations. A convex cocompact group in this…
In this article we study adjoint hypersurfaces of geometric objects obtained by intersecting simple polytopes with few facets in $\mathbb{P}^5$ with the Grassmannian $\mathrm{Gr}(2,4)$. These generalize the positive Grassmannian, which is…
The structure of cones of positive and k-positive maps acting on a finite-dimensional Hilbert space is investigated. Special emphasis is given to their duality relations to the sets of superpositive and k-superpositive maps. We characterize…
One can define what it means for a compact manifold with corners to be a "contractible manifold with contractible faces." Two combinatorially equivalent, contractible manifolds with contractible faces are diffeomorphic if and only if their…
We present an algebraic investigation of generalized and equiaffine curvature tensors in a given pseudo-Euclidean vector space and study different orthogonal, irreducible decompositions in analogy to the known decomposition of algebraic…
We study singularities and geometric properties of surfaces given by the singular loci of normal congruence of frontals with pure-frontal singular points. These surfaces consist of the normal ruled surface and focal surfaces of the initial…
Considering the tangent plane at a point to a surface in the four-dimensional Euclidean space, we find an invariant of a pair of two tangents in this plane. If this invariant is zero, the two tangents are said to be conjugate. When the two…
The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as…
A convex geometry is a closure space satisfying the anti-exchange axiom. For several types of algebraic convex geometries we describe when the collection of closed sets is order scattered, in terms of obstructions to the semilattice of…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of…