variety
2748 papers tagged with this keyword
The Combinatorics of $\mathsf{A_2}$-webs
Published
• View Publication
• BIB
The nonelliptic $\mathsf{A_2}$-webs with $k$ "$+$"s on the top boundary and $3n-2k$ "$-$"s on the bottom boundary combinatorially model the space $\mathsf{Hom}_{\mathfrak{sl}_3}(\mathsf{V}^{\otimes (3n-2k)}, \mathsf{V}^{\otimes k})$ of $\mathfrak{sl}_3$-module maps on tensor powers of the natural $3$-dimensional $\mathfrak{sl}_3$-module $\mathsf{V}$, and they have connections with the combinatorics of Springer varieties. Petersen, Pylyavskyy, and Rhodes showed that the set of such $\mathsf{A_2}$-webs and the set of semistandard tableaux of shape $(3^n)$ and type $\{1^2,\dots,k^2,k+1,\dots, 3n-k\}$ have the same cardinalities. In this work, we use the $\sf{m}$-diagrams introduced by Tymoczko and the Robinson-Schensted correspondence to construct an explicit bijection, different from the one given by Russell, between these two sets. In establishing our result, we show that the pair of standard tableaux constructed using the notion of path depth is the same as the pair constructed from applying the Robinson-Schensted correspondence to a $3\,2\,1$-avoiding permutation. We also obtain a bijection between such pairs of standard tableaux and Westbury's $\mathsf{A_2}$ flow diagrams.
Tropical Grassmannian and Tropical Linear Varieties from phylogenetic trees
In this paper we study tropicalization of Grassmannian and linear varieties. In particular, we study the tropical linear spaces cor- responding to the phylogenetic trees. We prove that corresponding to each subtree of the phylogenetic tree there is a point on the tropical grassmannian. We deduce a necessary and sufficient condition for it to be on the facet of the tropical linear space.
On the number of non-comparable pairs of elements in a distributive lattice
In this article we introduce the study of the number of pairs of non-comparable elements in a distributive lattice $Ł$. We give several tight lower and upper bounds for the number and give as an application the lattices precisely for which the algebraic variety associated to is a complete intersection.
On singularities of lattice varieties
Toric varieties associated with distributive lattices arise as a fibre of a flat degeneration of a Schubert variety in a minuscule. The singular locus of these varieties has been studied by various authors. In this article we prove that the number of diamonds incident on a lattice point $\a$ in a product of chain lattices is more than or equal to the codimension of the lattice. Using this we also show that the lattice varieties associated with product of chain lattices is smooth.
A diagram algebra for Soergel modules corresponding to smooth Schubert varieties
Published
• View Publication
• BIB
Using combinatorial properties of symmetric polynomials, we compute explicitly the Soergel modules for some permutations whose corresponding Schubert varieties are rationally smooth. We build from them diagram algebras whose module categories are equivalent to the subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$ which show up in categorification of $\mathfrak{gl}(1|1)$-representations. We construct diagrammatically the graded cellular structure and the properly stratified structure of these algebras.
Deciding first-order properties of nowhere dense graphs
Published
• View Publication
• BIB
Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of "sparse graphs" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and graph classes of bounded expansion.
We show that deciding properties of graphs definable in first-order logic is fixed-parameter tractable on nowhere dense graph classes. At least for graph classes closed under taking subgraphs, this result is optimal: it was known before that for all classes C of graphs closed under taking subgraphs, if deciding first-order properties of graphs in C is fixed-parameter tractable, then C must be nowhere dense (under a reasonable complexity theoretic assumption).
As a by-product, we give an algorithmic construction of sparse neighbourhood covers for nowhere dense graphs. This extends and improves previous constructions of neighbourhood covers for graph classes with excluded minors. At the same time, our construction is considerably simpler than those. Our proofs are based on a new game-theoretic characterisation of nowhere dense graphs that allows for a recursive version of locality-based algorithms on these classes. On the logical side, we prove a "rank-preserving" version of Gaifman's locality theorem.
Monk's Rule and Giambelli's Formula for Peterson Varieties of All Lie Types
Published
• View Publication
• BIB
A Peterson variety is a subvariety of the flag variety $G/B$ which appears in the construction of the quantum cohomology of partial flag varieties. Each Peterson variety has a one-dimensional torus $S^1$ acting on it. We give a basis of Peterson Schubert classes for $H_{S^1}^*(Pet)$ and identify the ring generators. In type $A$ Harada-Tymoczko gave a positive Monk formula, and Bayegan-Harada gave Giambelli's formula for multiplication in the cohomology ring. This paper gives Monk's rule and Giambelli's formula for all Lie types.
Source Code for Computing Giambelli's Formula for Type $E$ Peterson Varieties
This document is a companion to the paper "Monk's Rule and Giambelli's Formula for Peterson Varieties of All Lie Types." We provide the source code for computing the Giambelli's formula in types $E_6$ $E_7$ and $E_8$.
Root-theoretic Young diagrams and Schubert calculus II
Published
• View Publication
• BIB
We continue the study of root-theoretic Young diagrams (RYDs) from [Searles-Yong '13]. We provide an RYD formula for the $GL_n$ Belkale-Kumar product, after [Knutson-Purbhoo '11], and we give a translation of the indexing set of [Buch-Kresch-Tamvakis '09] for Schubert varieties of non-maximal isotropic Grassmannians into RYDs. We then use this translation to prove that the RYD formulas of [Searles-Yong '13] for Schubert calculus of the classical (co)adjoint varieties agree with the Pieri rules of [Buch-Kresch-Tamvakis '09], which were needed in the proofs of the (co)adjoint formulas.
On singularities in B-orbit closures of 2-nilpotent matrices
This paper deals with singularities of closures of $2$-nilpotent Borel conjugacy classes in either a $\text{GL}_n$-conjugacy class or in the nilpotent cone of $\text{GL}_n$. In the latter case we construct a resolution of singularities, in the former we show that singularities are rational by applying a result of M. Brion. We reason why this generalizes the result of N. Perrin and E. Smirnov on the rationality of singularities of Springer fiber components in the two-column case. In the case of Borel orbit closures being contained in orbital varieties, we give an alternative version of L. Fresse's recent singularity criterion.
Linear Toric Fibrations
Published
• View Publication
• BIB
These notes are based on three lectures given at the 2013 CIME/CIRM summer school. The purpose of this series of lectures is to introduce the notion of a toric fibration and to give its geometrical and combinatorial characterizations. Polarized toric varieties which are birationally equivalent to projective toric bundles are associated to a class of polytopes called Cayley polytopes. Their geometry and combinatorics have a fruitful interplay leading to fundamental insight in both directions. These notes will illustrate geometrical phenomena, in algebraic geometry and neighboring fields, which are characterized by a Cayley structure. Examples are projective duality of toric varieties and polyhedral adjunction theory.
Functorial relationships between quantum cohomology of complete and partial flag varieties, (II)
Published
• View Publication
• BIB
We show a canonical injective morphism from the quantum cohomology ring QH(G/P) to the associated graded algebra of QH(G/B), which is with respect to a nice filtration on QH(G/B) introduced by Leung and the author. This tells us the vanishing of a lot of genus zero, three-pointed Gromov-Witten invariants of flag varieties G/P.
Dimensionality reduction and spectral properties of multilayer networks
Published in Phys. Rev. E 89, 052815 (2014)
• View Publication
• BIB
Network representations are useful for describing the structure of a large variety of complex systems. Although most studies of real-world networks suppose that nodes are connected by only a single type of edge, most natural and engineered systems include multiple subsystems and layers of connectivity. This new paradigm has attracted a great deal of attention and one fundamental challenge is to characterize multilayer networks both structurally and dynamically. One way to address this question is to study the spectral properties of such networks. Here, we apply the framework of graph quotients, which occurs naturally in this context, and the associated eigenvalue interlacing results, to the adjacency and Laplacian matrices of undirected multilayer networks. Specifically, we describe relationships between the eigenvalue spectra of multilayer networks and their two most natural quotients, the network of layers and the aggregate network, and show the dynamical implications of working with either of the two simplified representations. Our work thus contributes in particular to the study of dynamical processes whose critical properties are determined by the spectral properties of the underlying network.
Polynomials for symmetric orbit closures in the flag variety
Published in Transformation Groups, Volume 22 (2017), Issue 1, pp 267-290
• View Publication
• BIB
In [Wyser-Yong '13] we introduced polynomial representatives of cohomology classes of orbit closures in the flag variety, for the symmetric pair $(GL_{p+q}, GL_p \times GL_q)$. We present analogous results for the remaining symmetric pairs of the form $(GL_n,K)$, i.e., $(GL_n,O_n)$ and $(GL_{2n},Sp_{2n})$. We establish the well-definedness of certain representatives from [Wyser '13]. It is also shown that the representatives have the combinatorial properties of nonnegativity and stability. Moreover, we give some extensions to equivariant $K$-theory.
A Poisson formula for the sparse resultant
Published
• View Publication
• BIB
We present a Poisson formula for sparse resultants and a formula for the product of the roots of a family of Laurent polynomials, which are valid for arbitrary families of supports. To obtain these formulae, we show that the sparse resultant associated to a family of supports can be identified with the resultant of a suitable multiprojective toric cycle in the sense of Remond. This connection allows to study sparse resultants using multiprojective elimination theory and intersection theory of toric varieties.
Homomesy in products of two chains
Published
• View Publication
• BIB
Many invertible actions $τ$ on a set ${\mathcal{S}}$ of combinatorial objects, along with a natural statistic $f$ on ${\mathcal{S}}$, exhibit the following property which we dub \textbf{homomesy}: the average of $f$ over each $τ$-orbit in ${\mathcal{S}}$ is the same as the average of $f$ over the whole set ${\mathcal{S}}$. This phenomenon was first noticed by Panyushev in 2007 in the context of the rowmotion action on the set of antichains of a root poset; Armstrong, Stump, and Thomas proved Panyushev's conjecture in 2011. We describe a theoretical framework for results of this kind that applies more broadly, giving examples in a variety of contexts. These include linear actions on vector spaces, sandpile dynamics, Suter's action on certain subposets of Young's Lattice, Lyness 5-cycles, promotion of rectangular semi-standard Young tableaux, and the rowmotion and promotion actions on certain posets. We give a detailed description of the latter situation for products of two chains.
Properties of metrics and infinite geometric graphs
Published
• View Publication
• BIB
We consider isomorphism properties of infinite random geometric graphs defined over a variety of metrics. In previous work, it was shown that for $\mathbb{R}^n$ with the $L_{\infty}$-metric, the infinite random geometric graph is, with probability 1, unique up to isomorphism. However, in the case $n=2$ this is false with either of the $L_2$-metric. We generalize this result to a large family of metrics induced by norms. Within this class of metric spaces, we show that the infinite geometric graph is not unique up to isomorphism if it has the new property which we name truncating: each step-isometry from a dense set to itself is an isometry. As a corollary, we derive that the infinite random geometric graph defined in $L_p$ space is not unique up to isomorphism with probability 1 for all finite $p>1.$
A Polyhedral Method to Compute All Affine Solution Sets of Sparse Polynomial Systems
To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible decomposition of a variety is typically understood in affine space, including also those components with zero coordinates. We present a polyhedral method to compute all affine solution sets of a polynomial system. The method enumerates all factors contributing to a generalized permanent. Toric solution sets are recovered as a special case of this enumeration. For sparse systems as adjacent 2-by-2 minors our methods scale much better than the techniques from numerical algebraic geometry.
On a canonical construction of tesselated surfaces via finite group theory, Part I
This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this construction results in a collection of compact, connected, oriented tesselated smooth surfaces equipped with a closed-cell structure which is face and edge transitive and which has at most 2 orbits of vertices. These tesselated surfaces can also be viewed as abstract 3-polytopes (or as graph embeddings in the corresponding surface) which are either equivar or dual to abstract quasiregular polytopes. This construction generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. We study the distribution of these surfaces in various groups and some interesting resulting tesselations. In a second paper, we show that extensions of groups result in branched coverings between the component surfaces in their decompositions. We also exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.
On a canonical construction of tesselated surfaces via finite group theory, Part II
Published
• View Publication
• BIB
This paper is the second part of a two-part study of an elementary functorial construction of tesselated surfaces from finite groups. This elementary construction was discussed in the first part and generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. These tesselations are face and edge transitive and consist of closed cell structures. In this paper, we continue to study the distribution of these surfaces in various groups and some interesting resulting tesselations with the aid of computer computations. We also show that extensions of groups result in branched coverings between the component surfaces in their decompositions. Finally we exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.