Related papers: Inscribable fans I: Inscribed cones and virtual po…

This paper continues the study of a class of compact convex hypersurfaces in Euclidean space $R^{n+1}, ~n \geq 1$, which are boundaries of compact convex bodies obtained by taking the intersection of (solid) confocal paraboloids of…

Let $ M^{n+1} $ ($ n \ge 2 $) be a simply-connected space form of sectional curvature $ -\kappa^2 $ for some $ \kappa \geq 0 $, and $ I $ an interval not containing $ [-\kappa,\kappa] $ in its interior. It is known that the domain of a…

Let S be a closed orientable surface of genus at least two, and let C be an arbitrary (complex) projective structure on S. We show that there is a decomposition of S into pairs of pants and cylinders such that the restriction of C to each…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

Given an adaptable separated graph, we construct an associated groupoid and explore its type semigroup. Specifically, we first attach to each adaptable separated graph a corresponding semigroup, which we prove is an $E^*$-unitary inverse…

An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense…

Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy…

The group-theoretic method for constructing symmetric isometric embeddings is used to describe all possible four-dimensional surfaces in flat $(1,9)$-dimensional space, whose induced metric is static and spherically symmetric. For such…

The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudoreflection groups over Dedekind domains. In the special case of a principal ideal domain in which the group…

Many examples of nonpositively curved closed manifolds arise as blow-ups of projective hyperplane arrangements. If the hyperplane arrangement is associated to a finite reflection group W, and the blow-up locus is W-invariant, then the…

This paper studies extended formulations for radial cones at vertices of polyhedra, where the radial cone of a polyhedron $ P $ at a vertex $ v \in P $ is the polyhedron defined by the constraints of $ P $ that are active at $ v $. Given an…

In the paper: Fans in the Theory of Real Semigroups. I. Algebraic Theory (submitted) we introduced the notion of fan in the categories of real semigoups and their dual abstract real spectra and developed the algebraic theory of these…

The stable systolic category of a closed manifold M indicates the complexity in the sense of volume. This is a homotopy invariant, even though it is defined by some relations between homological volumes on M. We show an equality of the…

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…

We demonstrate the existence of branched immersed 2-spheres with prescribed mean curvature, with controlled Morse index and with arbitrary codimensions in closed Riemannian manifold $N$ admitting finite fundamental group, where $\pi_k(N)…

It is known that every lattice polytope is unimodularly equivalent to a face of some reflexive polytope. A stronger question is to ask whether every $(0,1)$-polytope is unimodularly equivalent to a facet of some reflexive polytope. A large…

A reflexive polytope, respectively its associated Gorenstein toric Fano variety, is called pseudo-symmetric, if the polytope has a centrally symmetric pair of facets. Here we present a complete classification of pseudo-symmetric simplicial…

Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map…

Suppose that X is a Fano manifold that corresponds under Mirror Symmetry to a Laurent polynomial f, and that P is the Newton polytope of f. In this setting it is expected that there is a family of algebraic varieties over the unit disc with…

A variety of codimension $c$ in complex affine space is called positively hyperbolic if the imaginary part of any point in it does not lie in any positive linear subspace of dimension $c$. Positively hyperbolic hypersurfaces are defined by…