arXiv++ Combinatorics

Let $X$ be a projective toric variety of dimension $n$ and let $L$ be a ample line bundle on $X$. For $k \geq 0$, it is in general difficult to determine whether $L^{\otimes k}$ is very ample and whether it additionally gives a projectively normal embedding. These two properties are equivalent to the very ampleness, respectively normality, of the corresponding polytope. By a result of Ewald-Wessels, both statements are classically known to hold for $k \geq n - 1$. We study embeddings of weighted projective spaces $\mathbb{P}(a_0, \ldots, a_n)$ via their corresponding rectangular simplices $Δ(λ_1, \ldots, λ_n)$. We give multiple criteria (depending on arithmetic properties of the weights $a_i$) to obtain bounds for the power $k$ which are sharp in many cases. We also introduce combinatorial tools that allow us to systematically construct families exhibiting extremal behaviour. These results extend earlier work of Payne, Hering and Bruns-Gubeladze.

We study some representations of symmetric groups arising from a certain ideal in the coordinate ring of affine n-space. Our results give graded and representation-theoretic enhancements of sequence 337 of the Online Encyclopaedia of Integer Sequences, involving a symmetric version of the Bernoulli triangle.

The family of graphs of reduced words of a certain subcollection of permutations in the union $\cup_{n\geq 4}\frak{S}_{n}$ of symmetic groups is investigated. The subcollection is characterised by the hook cycle type $(n-2,1,1)$ with consecutive fixed points. A closed formula for counting the vertices of each member of the family is given and the vertex-degree polynomials for the graphs with their generating series is realised. Lastly, some isomorphisms of these graphs with various combinatorial objects are established.

We study a family $\mathcal{B}$ of pseudo-multipartite graphs indexed by staircase partitions. They are realised from the reduced words of certain class of permutations. We investigate the vertex proper colouring of these graphs and give the general chromatic polynomial. For each member $B_λ$, we construct an affine toric ideal $\mathcal{I}_{B_λ}$ associated to vertex proper colouring using partition identity. It turns out that the projective version $\mathcal{V}(\mathcal{I}_{B_λ})$ is realised from the cartoon diagram associated with the vertex proper colouring.

A remarkable connection between the cohomology ring ${\rm H^{\ast}(Gr}(d, d+r),\Z)$ of the Grasssmannian ${\rm Gr}(d,d+r)$ and the lattice points of the dilation $rΔ_{d}$ of the standard d-simplex is investigated. The natural grading on the cohomology induces different gradings of the lattice points of $rΔ_{d}$. This leads to different refinements of the Ehrhart polynomial $L_{Δ_{d}}(r)$ of the standard $d$-simplex. We study two of these refinements which are defined by the weights $(1,1,\dots,1)$ and $(1,2,\dots, d)$. One of the refinements interprets the Poincaré polynomial ${\rm P(Gr}(d,d+r),z)$ as the counting of the lattice points which lie on the slicing hyperplanes of the dilation $rΔ_d$. Therefore, on the combinatorial level the Poincaré polynomial of the Grassmannian Gr$(d,d+r)$ is a refinement of the Ehrhart polynomial $L_{Δ_d}(r)$ of the standard $d$-simplex $Δ_{d}$.

We study a natural set of refinements of the Ehrhart series of a closed polytope, first considered by Chapoton. We compute the refined series in full generality for a simplex of dimension d, a cross-polytope of dimension d, respectively a hypercube of dimension d<4, using commutative algebra. We deduce summation formulae for products of q-integers with different arguments, generalizing a classical identity due to MacMahon and Carlitz. We also present a characterisation of a certain refined Eulerian polynomial in algebraic terms.

Billey and Braden defined maps on flag manifolds that are the geometric counterpart of permutation patterns. A section of their pattern map is an embedding of the flag manifold of a Levi subgroup into the full flag manifold. We give two expressions for the induced map on cohomology. One is in terms of generators and the other is in terms of the Schubert basis. We show that the coefficients in the second expression are naturally Schubert structure constants and therefore positive. These formulas also hold for K-theory, and generalize known formulas in type A for cohomology and K-theory.