The Canonical Module of GT-Varieties and the Normal Bundle of RL-Varieties

In this paper, we study the geometry of GT-varieties $$X_{d}$$ X d with group a finite cyclic group $$\Gamma \subset {{\,\mathrm{GL}\,}}(n+1,\mathbb {K})$$ Γ ⊂ GL ( n + 1 , K ) of order d. We prove that the homogeneous ideal $${{\,\mathrm{I}\,}}(X_{d})$$ I ( X d ) of $$X_{d}$$ X d is generated by binomials of degree at most 3 and we provide examples reaching this bound. We give a combinatorial description of the canonical module of the homogeneous coordinate ring of $$X_{d}$$ X d and we show that it is generated by monomial invariants of $$\Gamma $$ Γ of degree d and 2d. This allows us to characterize the Castelnuovo–Mumford regularity of the homogeneous coordinate ring of $$X_d$$ X d . Finally, we compute the cohomology table of the normal bundle of the so-called RL-varieties. They are projections of the Veronese variety $$\nu _{d}(\mathbb {P}^{n}) \subset \mathbb {P}^{\left( {\begin{array}{c}n+d\\ n\end{array}}\right) -1}$$ ν d ( P n ) ⊂ P n + d n - 1 which naturally arise from level GT-varieties.

Equivariant multiplicities of simply-laced type flag minors

Let g \mathfrak {g} be a finite simply-laced type simple Lie algebra. Baumann-Kamnitzer-Knutson recently defined an algebra morphism D ¯ \overline {D} on the coordinate ring C [ N ] \mathbb {C}[N] related to Brion’s equivariant multiplicities via the geometric Satake correspondence. This map is known to take distinguished values on the elements of the MV basis corresponding to smooth MV cycles, as well as on the elements of the dual canonical basis corresponding to Kleshchev-Ram’s strongly homogeneous modules over quiver Hecke algebras. In this paper we show that when g \mathfrak {g} is of type A n A_n or D 4 D_4 , the map D ¯ \overline {D} takes similar distinguished values on the set of all flag minors of C [ N ] \mathbb {C}[N] , raising the question of the smoothness of the corresponding MV cycles. We also exhibit certain relations between the values of D ¯ \overline {D} on flag minors belonging to the same standard seed, and we show that in any A D E ADE type these relations are preserved under cluster mutations from one standard seed to another. The proofs of these results partly rely on Kang-Kashiwara-Kim-Oh’s monoidal categorification of the cluster structure of C [ N ] \mathbb {C}[N] via representations of quiver Hecke algebras.

The Cohen-Macaulay representation type of arithmetically Cohen-Macaulay varieties

We show that all reduced closed subschemes of projective space that have a Cohen-Macaulay graded coordinate ring are of wild Cohen-Macaulay type, except for a few cases which we completely classify.

Regularity and the Gorenstein property of $L$-convex Polyominoes

We study the coordinate ring of an $L$-convex polyomino, determine its regularity in terms of the maximal number of rooks that can be placed in the polyomino. We also characterize the Gorenstein $L$-convex polyominoes and those which are Gorenstein on the punctured spectrum, and compute the Cohen–Macaulay type of any $L$-convex polyomino in terms of the maximal rectangles covering it. Though the main results are of algebraic nature, all proofs are combinatorial.

Algebraic Properties of the Coordinate Ring of a Convex Polyomino

We classify all convex polyominoes whose coordinate rings are Gorenstein. We also give an upper bound for the Castelnuovo-Mumford regularity of the coordinate ring of any convex polyomino in terms of the smallest interval which contains its vertices. We give a recursive formula for computing the multiplicity of a stack polyomino.

Nilpotence Varieties

We consider algebraic varieties canonically associated with any Lie superalgebra, and study them in detail for super-Poincaré algebras of physical interest. They are the locus of nilpotent elements in (the projectivized parity reversal of) the odd part of the algebra. Most of these varieties have appeared in various guises in previous literature, but we study them systematically here, from a new perspective: As the natural moduli spaces parameterizing twists of a super-Poincaré-invariant physical theory. We obtain a classification of all possible twists, as well as a systematic analysis of unbroken symmetry in twisted theories. The natural stratification of the varieties, the identification of strata with twists, and the action of Lorentz and R-symmetry are emphasized. We also include a short and unconventional exposition of the pure spinor superfield formalism, from the perspective of twisting, and demonstrate that it can be applied to construct familiar multiplets in four-dimensional minimally supersymmetric theories. In all dimensions and with any amount of supersymmetry, this technique produces BRST or BV complexes of supersymmetric theories from the Koszul complex of the maximal ideal over the coordinate ring of the nilpotence variety, possibly tensored with any equivariant module over that coordinate ring. In addition, we remark on a natural connection to the Chevalley–Eilenberg complex of the supertranslation algebra, and give two applications related to these ideas: a calculation of Chevalley–Eilenberg cohomology for the (2, 0) algebra in six dimensions, and a degenerate BV complex encoding the type IIB supergravity multiplet.

Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings

The elliptic algebras in the title are connected graded $\mathbb {C}$ -algebras, denoted $Q_{n,k}(E,\tau )$ , depending on a pair of relatively prime integers $n>k\ge 1$ , an elliptic curve E and a point $\tau \in E$ . This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$ . When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ , we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ are generated in degrees $\le 3$ and the noncommutative scheme $\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$ , respectively. When $X_{n/k}=E^g$ and $\tau =0$ , the results about $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ show that the morphism $\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.

Classification of all $\mathcal{N}\geq 3$ moduli space orbifold geometries at rank 2

We classify orbifold geometries which can be interpreted as moduli spaces of four-dimensional \mathcal{N}\geq 3𝒩≥3 superconformal field theories up to rank 2 (complex dimension 6). The large majority of the geometries we find correspond to moduli spaces of known theories or discretely gauged version of them. Remarkably, we find 6 geometries which are not realized by any known theory, of which 3 have an \mathcal{N}=2𝒩=2 Coulomb branch slice with a non-freely generated coordinate ring, suggesting the existence of new, exotic \mathcal{N}=3𝒩=3 theories.

THE COMBINATORICS OF TENSOR PRODUCTS OF HIGHER AUSLANDER ALGEBRAS OF TYPE A

We consider maximal non-l-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type A. We show that a higher preprojective algebra of the tensor product of two d-representation-finite algebras has a d-precluster-tilting subcategory. Finally, we relate mutations of these collections to a form of tilting for these algebras.

Full-Rank Valuations and Toric Initial Ideals

Let $V(I)$ be a polarized projective variety or a subvariety of a product of projective spaces, and let $A$ be its (multi-)homogeneous coordinate ring. To a full-rank valuation ${\mathfrak{v}}$ on $A$ we associate a weight vector $w_{\mathfrak{v}}$. Our main result is that the value semi-group of ${\mathfrak{v}}$ is generated by the images of the generators of $A$ if and only if the initial ideal of $I$ with respect to $w_{\mathfrak{v}}$ is prime. As application, we prove a conjecture by [ 7] connecting the Minkowski property of string polytopes to the tropical flag variety. For Rietsch-Williams’ valuation for Grassmannians, we identify a class of plabic graphs with non-integral associated Newton–Okounkov polytope (for ${\operatorname *{Gr}}_k(\mathbb C^n)$ with $n\ge 6$ and $k\ge 3$).