Related papers: A diagrammatic approach to string polytopes

We prove that every finite distributive lattice $D$ can be represented as the congruence lattice of a rectangular lattice $K$ in which all congruences are principal. We verify this result in a stronger form as an extension theorem.

Let $L$ be a lattice. We call a congruence relation $\gQ$ of $L$ isoform, if any two congruence classes of $\gQ$ are isomorphic (as lattices). Let us call the lattice $L$ isoform, if all congruences of $L$ are isoform. G. Gr\"atzer and…

Let $G$ be a Lie-group and $\Ga\subset G$ a cocompact lattice. For a finite-dimensional, not necessarily unitary representation $\om$ of $\Ga$ we show that the $G$-representation on $L^2(\Ga\bs G,\om)$ admits a complete filtration with…

We introduce the principal representation category $\mathscr{O}({\bf G})$ of reductive algebraic groups with Frobenius maps and put forward a conjecture that this category is a highest weight category. When $\Bbbk$ is complex field…

We prove that if $\Gamma$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $\Gamma$-equivariantly homotopy equivalent to a proper cocompact $\Gamma$-CW complex of dimension the virtual cohomological…

The coefficient algebra of a finite-dimensional Lie algebra on a finite-dimensional representation is defined as the subalgebra generated by all coefficients of the corresponding characteristic polynomial. We explore connections between…

Within the known landscape of quantum gravity, most theories satisfy the Lattice Weak Gravity Conjecture (LWGC), which requires a superextremal particle at every site in the electric charge lattice $\Gamma$. However, counterexamples to the…

The h^*-polynomial of a lattice polytope is the numerator of the generating function of the Ehrhart polynomial. Let P be a lattice polytope with h^*-polynomial of degree d and with linear coefficient h^*_1. We show that P has to be a…

In this paper, we associate a family of infinite-rank pro-Euclidean lattices to elements of a formal loop group and a highest weight representation of the underlying affine Kac--Moody algebra. In the case that the element has a polynomial…

We define a set of PBW-semistandard tableaux that is in a weight preserving bijection with the set of monomials corresponding to integral points in the Feigin-Fourier-Littelmann-Vinberg polytope for highest weight modules of the symplectic…

Let G < SL(V) be a finite group, V is finite dimensional over a field F, p=char F and S(V) is the symmetric algebra of V. We determine when the subring of G-invariants S(V)^G is a polynomial ring. As a consequence, we classify, if F is…

Given a convex polytope, we define its geometric spectrum, a stacky version of Batyrev's stringy E-functions, and we prove a stacky version of a formula of Libgober and Wood about the E-polynomial of a smooth projective variety. As an…

We give an especially simple proof of a theorem in graph theory that forms the key part of the solution to a problem in commutative algebra, on how to characterize the integral closure of a polynomial ring generated by quadratic monomials.

For any reductive group G and a parabolic subgroup P with its Levi subgroup L, the first author in [Ku2] introduced a ring homomorphism $ \xi^P_\lambda: Rep^\mathbb{C}_{\lambda-poly}(L) \to H^*(G/P, \mathbb{C})$, where $…

For an affine, toric Q-Gorenstein variety Y (given by a lattice polytope Q) the vector space T^1 of infinitesimal deformations is related to the complexified vector spaces of rational Minkowski summands of faces of Q. Moreover, assuming Y…

Given any pair of positive integers m and n, we construct a new Hopf algebra, which may be regarded as a degenerate version of the quantum group of gl(m+n). We study its structure and develop a highest weight representation theory. The…

Let $\Gamma$ be a lattice in a simply-connected nilpotent Lie group $N$ whose Lie algebra $\mathfrak{n}$ is $p$-filiform. We show that $\Gamma$ is either abelian or 2-step nilpotent if $\Gamma$ is isomorphic to the fundamental group of a…

An integral convex polytope ${\mathcal P}$ is said to be Gorenstein if its toric ring $K[{\mathcal P}]$ is normal and Gorenstein. In this paper, Gorenstein cut polytopes of graphs are characterized explicitly. First, we prove that…

The Dowling lattice $Q_n(\mathfrak{G})$, $\mathfrak{G}$ a finite group, generalizes the geometric lattice generated by all vectors, over a field, with at most two nonzero components. Abstractly, it is a fundamental object in the…

Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a…