Related papers: Smooth Combinatorial Cubes are IDP
We extend a result of Minh and Trung to get criteria for $\depth I=\depth\sqrt{I}$ where $I$ is an unmixed monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$. As an application we characterize all the pure simplicial complexes…
A. Booker and C. Pomerance (2017) have shown that any residue class modulo a prime $p\ge 11$ can be represented by a positive $p$-smooth square-free integer $s = p^{O(\log p)}$ with all prime factors up to $p$ and conjectured that in fact…
The group of combinatorial self-similarities of a pseudometric space $(X, d)$ is the maximal subgroup of the symmetric group $\mathbf{Sym} (X)$ whose elements preserve the four-point equality $d(x,y)=d(u,v)$. Let us denote by $\mathcal{IP}$…
We prove that every finite group is the automorphism group of a finite abstract polytope isomorphic to a face-to-face tessellation of a sphere by topological copies of convex polytopes. We also show that this abstract polytope may be…
A small cover was introduced by Davis and Januszkiewicz as an $n$-dimensional closed manifold with a locally standard $Z_2)^n$-action such that its orbit space is a simple convex polytope. There exist a one-to-one correspondence between…
A matrix polynomial is a polynomial in a complex variable $\lambda$ with coefficients in $n \times n$ complex matrices. The spectral curve of a matrix polynomial $P(\lambda)$ is the curve $\{ (\lambda, \mu) \in \mathbb{C}^2 \mid…
We introduce the notion of smooth cell complexes and its subclass consisting of gathered cell complexes within the category of diffeological spaces (cf. Definitions 1 and 3). It is shown that the following hold. (1) With respect to the…
Base on a conjecture, we prove that for any smooth separated stack of finite type over a number field, its descent obstruction equals its iterated descent obstruction. As a consequence, we show that for any algebraic stack over a number…
Cutting a polytope is a very natural way to produce new classes of interesting polytopes. Moreover, it has been very enlightening to explore which algebraic and combinatorial properties of the orignial polytope are hereditary to its…
We prove a closed formula for the derivative, of any order, of a implicit function, in terms of some binomial building blocks, and explain the combinatorics behind the coefficients appearing in the formula.
We characterize all the strongly monotypic polytopes. Hadwiger's conjecture for this class of polytopes is deduced from the characterization.
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
Symmetric Grothendieck polynomials are inhomogeneous versions of Schur polynomials that arise in combinatorial $K$-theory. A polynomial has saturated Newton polytope (SNP) if every lattice point in the polytope is an exponent vector. We…
We show that every ridge unfolding of an $n$-cube is without self-overlap, yielding a valid net. The results are obtained by developing machinery that translates cube unfolding into combinatorial frameworks. Moreover, the geometry of the…
We prove the Tate conjecture for integral degree 4 classes on a smooth cubic hypersurface X of dimension 4 over an algebraic closure of a field finitely generated over its prime subfield.
In this note, we show that the decomposition group $Dec(I)$ of a zero-dimensional radical ideal $I$ in ${\bf K}[x_1,\ldots,x_n]$ can be represented as the direct sum of several symmetric groups of polynomials based upon using Gr\"{o}bner…
We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…
Cycloids, hipocycloids and epicycloids have an often forgotten common property: they are homothetic to their evolutes. But what if use convex symmetric polygons as unit balls, can we define evolutes and cycloids which are genuinely…
A general problem in complex cobordism theory is to find useful representatives for cobordism classes. One particularly convenient class of complex manifolds consists of smooth projective toric varieties. The bijective correspondence…
We characterize the combinatorial types of stacked d-polytopes that are inscribable. Equivalently, we identify the triangulations of a simplex by stellar subdivisions that can be realized as Delaunay triangulations.