Related papers: Polytopes with mass linear functions, part I

An abstract $n$-polytope $\mathcal{P}$ is a partially-ordered set which captures important properties of a geometric polytope, for any dimension $n$. For even $n \ge 2$, the incidences between elements in the middle two layers of the Hasse…

We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations…

In the class of nonlinear one-parameter real maps we study those with bifurcation that exhibits period doubling cascade. The fixed points of such a map form a finite discrete real set with dimension (2^n)m, where m is the (odd) number of…

We show that the group ${\Cal D}(M)$ of pseudoisotopy classes of diffeomorphisms of a manifold of dimension $\geq 5$ and of finite fundamental group is commensurable to an arithmetic group. As a result $\pi_0(\text{{\it Diff\,M}})$ is a…

Properly discontinuous actions of a surface group by affine automorphisms of $\mathbb R^d$ were shown to exist by Danciger-Gueritaud-Kassel. We show, however, that if the linear part of an affine surface group action is in the Hitchin…

Given any compact connected four dimensional symplectic manifold $(M,\omega)$ and smooth function $J\colon M\to \mathbb{R}$ which generates an effective $\mathbb{S}^1$-action, we show that there exists a smooth function $H\colon…

We initiate the study of the norm-squared of the momentum map as a rigorous tool in infinite dimensions. In particular, we calculate the Hessian at a critical point, show that it is positive semi-definite along the complexified orbit, and…

It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend…

Given a map $f: X\rightarrow Y$ of simply connected spaces of finite type such. The space of based loops at $f$ of the space of maps between $X$ and $Y$ is denoted by $\Omega_{f} Map(X,Y)$. For $n> 0$, we give a model categorical…

We prove that the discrete harmonic function corresponding to smooth Dirichlet boundary conditions on orthodiagonal maps, that is, plane graphs having quadrilateral faces with orthogonal diagonals, converges to its continuous counterpart as…

We establish a bijection between the set of finite topological $T_0$-spaces (or partially ordered sets) and equivalence classes of square matrices. The absolute value of the determinant or the rank of these matrices serve as simple homotopy…

Small covers arising from 3-dimensional simple polytopes are an interesting class of 3-manifolds. The fundamental group is a rigid invariant for wide classes of 3-manifolds, particularly for orientable Haken manifolds, which include…

We introduce a novel type of approximation spaces for functions with values in a nonlinear manifold. The discrete functions are constructed by piecewise polynomial interpolation in a Euclidean embedding space, and then projecting pointwise…

In this paper, we first discuss the linear independence of the complete elliptic integrals of the first, second and third kinds $K(k)$, $E(k)$ and $\Pi(\mu(k),k)$, and then obtain an upper bound for the number of zeros of a function of the…

Main Theorem (3.3): Let $M$ be a compact four-dimensional manifold either with curvature, positive on complex isotropic two-planes, or self-dual of positive scalar curvature. If $\pi_1 (M)$ admits a nontrivial unitary representation, and…

We study finite energy classes of quasiplurisubharmonic (qpsh) functions in the setting of toric compact K{\"a}hler manifolds. We characterize toric qpsh functions and give necessary and sufficient conditions for them to have finite…

The affine maximal type hypersurface has been a core topic in Affine Geometry. When the hypersurface is presented as a regular graph of a convex function $u$, the statement that the graph is of affine maximal type is equivalent to the…

Let $\Delta$ be a Delzant polytope in ${\mathbb R}^n$ and ${\bf b}\in{\mathbb Z}^n$. Let $E$ denote the symplectic fibration over $S^2$ determined by the pair $(\Delta, {\bf b})$. We prove the equivalence between the fact that $(\Delta,…

A new Z-basis for the space of quasisymmetric functions (QSym, for short) is presented. It is shown to have nonnegative structure constants, and several interesting properties relative to the space of quasisymmetric functions associated to…

Let $P$ be a compact hyperbolic Coxeter truncation polytope of dimension $d\ge 3$, and let $\Gamma$ be the orbifold fundamental group of the associated Coxeter orbifold $\mathcal{O}_P$. Let $\mathscr{G}(\Gamma,G)$ be the geometric component…