variety
2748 papers tagged with this keyword
Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs
Published
• View Publication
• BIB
In this paper we studied infinite weighted automata and a general methodology to solve a wide variety of classical lattice path counting problems in an uniform way. This counting problems are related to Dyck paths, Motzkin paths and some generalizations. These methodology uses weighted automata, equations of ordinary generating functions and continued fractions. It is a variation of the one proposed by J. Rutten.
Smooth monomial Togliatti systems of cubics
The goal of this paper is to solve the conjecture stated in a paper of Mezzetti, Miró-Roig, Ottaviani and classify all smooth minimal monomial Togliatti systems of cubics. More precisely, we classify all minimal monomial artinian ideals generated by cubics, failing the weak Lefschetz property and whose apolar cubic system defines a smooth toric variety or, equivalently, we classify all minimal monomial artinian ideals generated by cubics whose apolar cubic system defines a smooth toric variety satisfying at least a Laplace equation of order 2.
Stable Intersections of Tropical Varieties
Published in J. Algebraic Combin. 43 (2016), no. 1, 101-128
• View Publication
• BIB
We give several characterizations of stable intersections of tropical cycles and establish their fundamental properties. We prove that the stable intersection of two tropical varieties is the tropicalization of the intersection of the classical varieties after a generic rescaling. A proof of Bernstein's theorem follows from this. We prove that the tropical intersection ring of tropical cycle fans is isomorphic to McMullen's polytope algebra. It follows that every tropical cycle fan is a linear combination of pure powers of tropical hypersurfaces, which are always realizable. We prove that every stable intersection of constant coefficient tropical varieties defined by prime ideals is connected through codimension one. We also give an example of a realizable tropical variety that is connected through codimension one but whose stable intersection with a hyperplane is not.
FI_W-modules and stability criteria for representations of the classical Weyl groups
Published in Journal of Algebra, Volume 420, 15 December 2014, Pages 269-332
• View Publication
• BIB
In this paper we develop machinery for studying sequences of representations of any of the three families of classical Weyl groups, extending work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups S_n to the signed permutation groups B_n and the even-signed permutation groups D_n. For each family W_n, we present an algebraic framework where a sequence V_n of W_n-representations is encoded into a single object we call an FI_W-module. We prove that if an FI_W-module V satisfies a simple finite generation condition then the structure of the sequence is highly constrained. One consequence is that the sequence is uniformly representation stable in the sense of Church-Farb, that is, the pattern of irreducible representations in the decomposition of each V_n eventually stabilizes in a precise sense. Using the theory developed here we obtain new results about the cohomology of generalized flag varieties associated to the classical Weyl groups, and more generally the r-diagonal coinvariant algebras.
We analyze the algebraic structure of the category of FI_W-modules, and introduce restriction and induction operations that enable us to study interactions between the three families of groups. We use this theory to prove analogues of Murnaghan's 1938 stability theorem for Kronecker coefficients for the families B_n and D_n. The theory of FI_W-modules gives a conceptual framework for stability results such as these.
The Koszul property of pinched Veronese varieties
Let $K$ be an arbitrary field. Let $n,d \ge 2$ be positive integers. Let $V(n,d)$ be the set of all lattice points $\mathbf b = (b_1, ..., b_n)$ in ${\mathbb N}^n$ such that $\sum_{i=1}^n b_i = d$. Let $Γ= V(n,d) \setminus \{ \mathbf a \}$ for some element $\mathbf a \in V(n,d)$. In this paper we prove that the semigroup ring $K[Γ]$ is Koszul unless $d \ge 3$ and ${\mathbf a} = (0, ...,0, 2, d-2)$ or one of its permutations. This generalizes results of Caviglia, Conca, and Tancer.
Imbrex geometries
Published
• View Publication
• BIB
We introduce an axiom on strong parapolar spaces of diameter 2, which arises naturally in the framework of Hjelmslev geometries. This way, we characterize the Hjelmslev-Moufang plane and its relatives (line Grassmannians, certain half-spin geometries and Segre geometries). At the same time we provide a more general framework for a Lemma of Cohen, which is widely used to study parapolar spaces. As an application, if the geometries are embedded in projective space, we provide a common characterization of (projections of) Segre varieties, line Grassmann varieties, half-spin varieties of low rank, and the exceptional variety $\mathcal{E}_{6,1}$ by means of a local condition on tangent spaces.
Characterizations of finite classical polar spaces by intersection numbers with hyperplanes and speces of codimension 2
Published in Combinatorica 30, (2010), 25-45
• View Publication
• BIB
In this article we show that non-singular quadrics and non-singular Hermitian varieties are completely characterized by their intersection numbers with respect to hyperplanes and spaces of codimension 2. This strongly generalizes a result by Ferri and Tallini \cite{FT} and also provides necessary and sufficient conditions for quasi-quadrics (respectively their Hermitian analogues) to be non-singular quadrics (respectively Hermitian varieties).} \section{Introduction} When Segre \cite{Segre} proved his celebrated characterization of conics ("every set of $q+1$ points in $\mathrm{PG}(2,q)$, $q$ odd, no three of which are collinear, is a conic"), he did more than proving a beautiful and interesting theorem; he in fact provided the starting point of a new direction in combinatorial geometry. In this branch of combinatorics the idea is to provide purely combinatorial characterizations of objects classically defined in an algebraic way. This article wants to contribute to this theory by proving strong characterizations of classical finite polar spaces.
Canonical forms for free κ-semigroups
Published
• View Publication
• BIB
The implicit signature k consists of the multiplication and the (ω-1)-power. We describe a procedure to transform each κ-term over a finite alphabet A into a certain canonical form and show that different canonical forms have different interpretations over some finite semigroup. The procedure of construction of the canonical forms, which is inspired in McCammond's normal form algorithm for ω-terms interpreted over the pseudovariety A of all finite aperiodic semigroups, consists in applying elementary changes determined by an elementary set Σ of pseudoidentities. As an application, we deduce that the variety of κ-semigroups generated by the pseudovariety S of all finite semigroups is defined by the set Σ and that the free κ-semigroup generated by the alphabet A in that variety has decidable word problem. Furthermore, we show that each ω-term has a unique ω-term in canonical form with the same value over A. In particular, the canonical forms provide new, simpler, representatives for ω-terms interpreted over that pseudovariety.
The Expected Codimension of a Matroid Variety
Published
• View Publication
• BIB
Matroid varieties are the closures in the Grassmannian of sets of points defined by specifying which Plücker coordinates vanish and which don't. In general these varieties are very ill-behaved, but in many cases one can estimate their codimension by keeping careful track of the conditions imposed by the vanishing of each Plücker coordinates on the columns of the matrix representing a point of the Grassmannian. This paper presents a way to make this procedure precise, producing a number for each matroid variety called its expected codimension that can be computed combinatorially solely from the list of Plücker coordinates that are prescribed to vanish. We prove that for a special, well-studied class of matroid varieties called positroid varieties, the expected codimension coincides with the actual codimension.
Billey's formula in combinatorics, geometry, and topology
Published
• View Publication
• BIB
In this expository paper we describe a powerful combinatorial formula and its implications in geometry, topology, and algebra. This formula first appeared in the appendix of a book by Andersen, Jantzen, and Soergel. Sara Billey discovered it independently five years later, and it played a prominent role in her work to evaluate certain polynomials closely related to Schubert polynomials.
Billey's formula relates many pieces of Schubert calculus: the geometry of Schubert varieties, the action of the torus on the flag variety, combinatorial data about permutations, the cohomology of the flag variety and of the Schubert varieties, and the combinatorics of root systems (generalizing inversions of a permutation). Combinatorially, Billey's formula describes an invariant of pairs of elements of a Weyl group. On its face, this formula is a combination of roots built from subwords of a fixed word. As we will see, it has deeper geometric and topological meaning as well: (1) It tells us about the tangent spaces at each permutation flag in each Schubert variety. (2) It tells us about singular points in Schubert varieties. (3) It tells us about the values of Kostant polynomials. Billey's formula also reflects an aspect of GKM theory, which is a way of describing the torus-equivariant cohomology of a variety just from information about the torus-fixed points in the variety.
This paper will also describe some applications of Billey's formula, including concrete combinatorial descriptions of Billey's formula in special cases, and ways to bootstrap Billey's formula to describe the equivariant cohomology of subvarieties of the flag variety to which GKM theory does not apply.
Root-theoretic Young diagrams and Schubert calculus: planarity and the adjoint varieties
Published in J. Algebra, Volume 448, 15 February 2016, p. 238-293
• View Publication
• BIB
We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-type rules of P.Pragacz-J.Ratajski and of A.Buch-A.Kresch-H.Tamvakis. Specifically, our formula for OG(2,2n) is the first complete rule for a case where diagrams are non-planar. Yet the formulas possess both uniform and non-uniform features. Using these classical type rules, as well as results of P.-E.Chaput-N.Perrin in the exceptional types, we suggest a connection between polytopality of the set of nonzero Schubert structure constants and planarity of the diagrams. This is an addition to work of A.Klyachko and A.Knutson-T.Tao on the Grassmannian and of K.Purbhoo-F.Sottile on cominuscule varieties, where the diagrams are always planar.
Whittaker functions, geometric crystals, and quantum Schubert calculus
Published
• View Publication
• BIB
This mostly expository article explores recent developments in the relations between the three objects in the title from an algebro-combinatorial perspective.
We prove a formula for Whittaker functions of a real semisimple group as an integral over a geometric crystal in the sense of Berenstein-Kazhdan. We explain the connections of this formula to the program of mirror symmetry of flag varieties developed by Givental and Rietsch; in particular, the integral formula proves the equivariant version of Rietsch's mirror symmetry conjecture. We also explain the idea that Whittaker functions should be thought of as geometric analogues of irreducible characters of finite-dimensional representations.
The full Kostant-Toda hierarchy on the positive flag variety
Published
• View Publication
• BIB
We study some geometric and combinatorial aspects of the solution to the full Kostant-Toda (f-KT) hierarchy, when the initial data is given by an arbitrary point on the totally non-negative (tnn) flag variety of SL_n(R). The f-KT flows on the tnn flag variety are complete, and their asymptotics are completely determined by the cell decomposition of the tnn flag variety given by Rietsch. We define the f-KT flow on the weight space via the moment map, and show that the closure of each f-KT flow forms an interesting convex polytope generalizing the permutohedron which we call a Bruhat interval polytope. We also prove analogous results for the full symmetric Toda hierarchy, by mapping our f-KT solutions to those of the full symmetric Toda hierarchy. In the Appendix we show that Bruhat interval polytopes are generalized permutohedra, in the sense of Postnikov, and that their edges correspond to cover relations in the Bruhat order.
Polynomials for GL_p x GL_q orbit closures in the flag variety
Published in Selecta Math., Volume 20, Issue 4 (2014), 1083-1110
• View Publication
• BIB
The subgroup K=GL_p x GL_q of GL_{p+q} acts on the (complex) flag variety GL_{p+q}/B with finitely many orbits. We introduce a family of polynomials that specializes to representatives for cohomology classes of the orbit closures in the Borel model. We define and study K-orbit determinantal ideals to support the geometric naturality of these representatives. Using a modification of these ideals, we describe an analogy between two local singularity measures: the H-polynomials and the Kazhdan-Lusztig-Vogan polynomials.
Short Tops and Semistable Degenerations
Published
• View Publication
• BIB
One may construct a large class of Calabi-Yau varieties by taking anticanonical hypersurfaces in toric varieties obtained from reflexive polytopes. If the intersection of a reflexive polytope with a hyperplane through the origin yields a lower-dimensional reflexive polytope, then the corresponding Calabi-Yau varieties are fibered by lower-dimensional Calabi-Yau varieties. A top generalizes the idea of splitting a reflexive polytope into two pieces. In contrast to the classification of reflexive polytopes, there are infinite families of equivalence classes of tops. Tops may be used to describe either fibrations or degenerations of Calabi-Yau varieties. We give a simple combinatorial condition on tops which produces semistable degenerations of K3 surfaces, and, when appropriate smoothness conditions are met, semistable degenerations of Calabi-Yau threefolds. Our method is constructive: given a fixed reflexive polytope which will lie on the boundary of the top, we describe an algorithm for constructing tops which yields semistable degenerations of the corresponding hypersurfaces. The properties of each degeneration may be computed directly from the combinatorial structure of the top.
Type A quiver loci and Schubert varieties
Published in J. Commut. Algebra Volume 7, Number 2 (2015), 265-301
• View Publication
• BIB
We describe a closed immersion from each representation space of a type A quiver with bipartite (i.e., alternating) orientation to a certain opposite Schubert cell of a partial flag variety. This "bipartite Zelevinsky map" restricts to an isomorphism from each orbit closure to a Schubert variety intersected with the above-mentioned opposite Schubert cell. For type A quivers of arbitrary orientation, we give the same result up to some factors of general linear groups.
These identifications allow us to recover results of Bobinski and Zwara; namely we see that orbit closures of type A quivers are normal, Cohen-Macaulay, and have rational singularities. We also see that each representation space of a type A quiver admits a Frobenius splitting for which all of its orbit closures are compatibly Frobenius split.
Polynomiality for Bin Packing with a Constant Number of Item Types
Published
• View Publication
• BIB
We consider the bin packing problem with d different item sizes s_i and item multiplicities a_i, where all numbers are given in binary encoding. This problem formulation is also known as the 1-dimensional cutting stock problem.
In this work, we provide an algorithm which, for constant d, solves bin packing in polynomial time. This was an open problem for all d >= 3.
In fact, for constant d our algorithm solves the following problem in polynomial time: given two d-dimensional polytopes P and Q, find the smallest number of integer points in P whose sum lies in Q.
Our approach also applies to high multiplicity scheduling problems in which the number of copies of each job type is given in binary encoding and each type comes with certain parameters such as release dates, processing times and deadlines. We show that a variety of high multiplicity scheduling problems can be solved in polynomial time if the number of job types is constant.
Secondary fans and Tropical Severi varieties
Published
• View Publication
• BIB
This article studies the relationship between tropical Severi varieties and secondary fans. In the case when tropical Severi varieties are hypersurfaces this relationship is very well known; specifically, in this case, a tropical Severi variety of codimension 1 is a subfan of the corresponding secondary fan. It was expected for some time that this continues to hold more generally, but Katz found a counterexample in codimension 2, showing that this relationship is more subtle. The two main results in this paper are as follows. The first theorem finds a simple condition under which a tropical Severi variety cannot be a subfan of the corresponding secondary fan. The second theorem provides a partial converse, namely, we find conditions under which a cone of the secondary fan is fully contained in the tropical Severi variety. As a first application of these results, we also find a combinatorial formula for the tropical intersection multiplicities for secondary fans.
Stabilization of coefficients for partition polynomials
Published
• View Publication
• BIB
We find that a wide variety of families of partition statistics stabilize in a fashion similar to $p_k(n)$, the number of partitions of n with k parts, which satisfies $p_k(n) = p_{k+1}(n + 1), k \geq n/2$. We bound the regions of stabilization, discuss variants on the phenomenon, and give the limiting sequence in many cases as the coefficients of a single-variable generating function. Examples include many statistics that have an Euler product form, partitions with prescribed subsums, and plane overpartitions.
K-theory of minuscule varieties
Published
• View Publication
• BIB
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm.