Related papers: Doubling operation for polytopes and torus actions

It is shown how the Beneath-and-Beyond algorithm can be used to yield another proof of the equivalence of V- and H-representations of convex polytopes. In this sense this paper serves as the sketch of an introduction to polytope theory with…

We construct an explicit diagonal \Delta_P on the permutahedra P. Related diagonals on the multiplihedra J and the associahedra K are induced by Tonks' projection P --> K and its factorization through J. We introduce the notion of a…

We describe the action of the mod $2$ Steenrod algebra on the cohomology of various polyhedral products and related spaces. We carry this out for Davis-Januszkiewicz spaces and their generalizations, for moment-angle complexes as well as…

A new concept of meromorphic $\Sigma$-factorization, for H\"{o}lder continuous functions defined on a contour $\Gamma$ that is the pullback of $\dot{\mathbb{R}}$ (or the unit circle) in a Riemann surface $\Sigma$ of genus 1, is introduced…

We give an affirmative answer to the Halperin-Carlsson conjecture for the homologically injective torus actions on closed manifolds. This class contains holomorphic torus actions on compact Kahler manifolds, torus actions on compact…

We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads…

We use the multiplicative structure of the Koszul resolution to give short and simple proofs of some known estimates for the total dimension of the cohomology of spaces which admit free torus actions and analogous results for filtered…

Let $f:T^2\to\mathbb{R}$ be a Morse function on $2$-torus $T^2$ such that its Kronrod-Reeb graph $\Gamma(f)$ has exactly one cycle, i.e. it is homotopy equivalent to $S^1$. Under some additional conditions we describe a homotopy type of the…

We develop a collection of numerical algorithms which connect ideas from polyhedral geometry and algebraic geometry. The first algorithm we develop functions as a numerical oracle for the Newton polytope of a hypersurface and is based on…

This article mainly aims to give combinatorial characterizations and topological descriptions of quasitoric manifolds with string property. We provide a necessary and sufficient condition for a simple polytope in dimension 2 and 3 to be…

We report on enumerating the triangulations of cyclic polytopes with the new software mptopcom. This is relevant for its connection with higher Stasheff-Tamari orders, which occur in category theory and algebraic combinatorics.

Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this…

We describe some examples of classical and explicit h-transforms as particular cases of a general mechanism, which is related to the existence of symmetric diffusion operators having orthogonal polynomials as spectral decomposition.

The notion of PROP models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. We prove a Koszul duality theory for PROPs generalizing the one for…

When a group acts on a set, it naturally partitions it into orbits, giving rise to orbit problems. These are natural algorithmic problems, as symmetries are central in numerous questions and structures in physics, mathematics, computer…

A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as…

Fast algorithms for arithmetic on real or complex polynomials are well-known and have proven to be not only asymptotically efficient but also very practical. Based on Fast Fourier Transform (FFT), they for instance multiply two polynomials…

Let $G$ be a Lie group and $M$ a smooth proper $G$-manifold. Let $pi:Mto M/G$ denote the natural map to the orbit space. Then there exist a PL manifold $P$, a polyhedron $L$ and homeomorphisms $tau:Pto M$ and $\sigma:M/Gto L$ such that…

Marginal polytopes are important geometric objects that arise in statistics as the polytopes underlying hierarchical log-linear models. These polytopes can be used to answer geometric questions about these models, such as determining the…

We compute the integral torus-equivariant cohomology ring for weighted projective space for two different torus actions by embedding the cohomology in a sum of polynomial rings $\oplus_{i=0}^n \Z[t_1, t_2,..., t_n]$. One torus action gives…