variety
2748 papers tagged with this keyword
Equivariant Ulrich bundles on flag varieties
In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. Our results provide counterexamples to conjectures by Costa and Miro-Roig.
On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1,q^t)$
Scattered linear sets of pseudoregulus type in $\mathrm{PG}(1,q^t)$ have been defined and investigated in [G. Lunardon, G. Marino, O. Polverino, R. Trombetti: Maximum scattered linear sets of pseudoregulus type and the Segre Variety ${\cal S}_{n,n}$. J. Algebr. Comb. 39 (2014), 807--831.; G. Donati, N. Durante: Scattered linear sets generated by collineations between pencils of lines. J. Algebr. Comb. 40 (2014), 1121-1134]. The aim of this paper is to continue such an investigation. Properties of a scattered linear set of pseudoregulus type, say $L$, are proved by means of three different ways to obtain $L$: (i) as projection of a $q$-order canonical subgeometry [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004), 663-669], (ii) as a set whose image under the field reduction map is the hypersurface of degree $t$ in $\mathrm{PG}(2t-1,q)$ studied in [M. Lavrauw, J. Sheekey, C. Zanella: On embeddings of minimum dimension of $\mathrm{PG}(n,q)\times \mathrm{PG}(n,q)$. Des. Codes Cryptogr. 74 (2015), 427-440], (iii) as exterior splash, by the correspondence described in [M. Lavrauw, J. Sheekey, C. Zanella: On embeddings of minimum dimension of $\mathrm{PG}(n,q)\times \mathrm{PG}(n,q)$. Des. Codes Cryptogr. 74 (2015), 427-440]. In particular, given a canonical subgeometry $Σ$ of $\mathrm{PG}(t-1,q^t)$, necessary and sufficient conditions are given for the projection of $Σ$ with center a $(t-3)$-subspace to be a linear set of pseudoregulus type. Furthermore, the $q$-order sublines are counted and geometrically described.
Combinatorial description of the cohomology of the affine flag variety
Published
• View Publication
• BIB
We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.
Algebraic Matroids and Set-theoretic Realizability of Tropical Varieties
Published
• View Publication
• BIB
To each prime ideal in a polynomial ring over a field we associate an algebraic matroid and show that it is preserved under tropicalization. This gives a necessary condition for a tropical variety to be set-theoretically realizable from a prime ideal. We also show that there are infinitely many Bergman fans that are not set-theoretically realizable as the tropicalization of any ideal.
On equivariant quantum Schubert calculus for G/P
Published
• View Publication
• BIB
We show a Z^2-filtered algebraic structure and a "quantum to classical" principle on the torus-equivariant quantum cohomology of a complete flag variety of general Lie type, generalizing earlier works of Leung and the second author. We also provide various applications on equivariant quantum Schubert calculus, including an equivariant quantum Pieri rule for any partial flag variety of Lie type A.
Genera of Brill-Noether curves and staircase paths in Young tableaux
Published in Trans. Amer. Math. Soc. 370 (2018), no. 5, 3405-3439
• View Publication
• BIB
In this paper, we compute the genus of the variety of linear series of rank $r$ and degree $d$ on a general curve of genus $g$, with ramification at least $α$ and $β$ at two given points, when that variety is 1-dimensional. Our proof uses degenerations and limit linear series along with an analysis of random staircase paths in Young tableaux, and produces an explicit scheme-theoretic description of the limit linear series of fixed rank and degree on a generic chain of elliptic curves when that scheme is itself a curve.
Group-Walk Random Graphs
Published
• View Publication
• BIB
We introduce a construction that gives rise to a variety of "geometric" finite random graphs, and describe connections to the Poisson boundary, Naim's kernel, and Sznitman's random interlacements.
Counting permutations by runs
Published in J. Combin. Theory Ser. A 142: 147-176, 2016
• View Publication
• BIB
In his Ph.D. thesis, Ira Gessel proved a reciprocity formula for noncommutative symmetric functions which enables one to count words and permutations with restrictions on the lengths of their increasing runs. We generalize Gessel's theorem to allow for a much wider variety of restrictions on increasing run lengths, and use it to complete the enumeration of permutations with parity restrictions on peaks and valleys, and to give a systematic method for obtaining generating functions for permutation statistics that are expressible in terms of increasing runs. Our methods can also be used to obtain analogous results for alternating runs in permutations.
Higher Order Maximum Persistency and Comparison Theorems
Published
• View Publication
• BIB
We address combinatorial problems that can be formulated as minimization of a partially separable function of discrete variables (energy minimization in graphical models, weighted constraint satisfaction, pseudo-Boolean optimization, 0-1 polynomial programming). For polyhedral relaxations of such problems it is generally not true that variables integer in the relaxed solution will retain the same values in the optimal discrete solution. Those which do are called persistent. Such persistent variables define a part of a globally optimal solution. Once identified, they can be excluded from the problem, reducing its size.
To any polyhedral relaxation we associate a sufficient condition proving persistency of a subset of variables. We set up a specially constructed linear program which determines the set of persistent variables maximal with respect to the relaxation. The condition improves as the relaxation is tightened and possesses all its invariances. The proposed framework explains a variety of existing methods originating from different areas of research and based on different principles. A theoretical comparison is established that relates these methods to the standard linear relaxation and proves that the proposed technique identifies same or larger set of persistent variables.
On graphs containing few disjoint excluded minors. Asymptotic number and structure of graphs containing few disjoint minors K4
Let ${\rm ex \,} {\mathcal B}$ be a minor-closed class of graphs with a set ${\mathcal B}$ of minimal excluded minors. We study (a) the asymptotic number of graphs without $k+1$ disjoint minors in ${\mathcal B}$ and (b) the properties of a uniformly random graph drawn from all such graphs on vertices $\{1,\dots,n\}$. We present new results in the case when ${\rm ex \,} {\mathcal B}$ contains arbitrarily large fans for a general (good enough) set of forbidden minors ${\mathcal B}$.
A particular case where our results hold is ${\mathcal B} = \{K_4\}$. For any fixed $k = 1, 2, \dots$ we derive precise asymptotic counting formulas and describe the structure of typical graphs that have at most $k$ disjoint minors $K_4$. For $k = 0$ this is the well-known class of series-parallel graphs. For $k \ge 1$ we show that typical instances have an elaborate tree-like structure with $2k+1$ special vertices of very high degree.
The proofs combine a variety of methods, including new structural results, Robertson and Seymour's graph minor theory and analytic combinatorics.
A non-existence result on symplectic semifield spreads
We prove that there do not exist non-Desarguesian symplectic semifield spreads of PG$(5,q^2)$, $q\geq 2^{14}$ even, whose associated semifield has center containing $\mathbb{F}_q$, by proving that the only $\mathbb{F}_q$-linear set of rank 6 disjoint from the secant variety of the quadric Veronese variety of PG$(5,q^2)$ is a plane with three points of the Veronese surface of PG$(5,q^6)\setminus$PG$(5,q^2)$.
A Comparison of Approaches for Solving Hard Graph-Theoretic Problems
Published
• View Publication
• BIB
In order to formulate mathematical conjectures likely to be true, a number of base cases must be determined. However, many combinatorial problems are NP-hard and the computational complexity makes this research approach difficult using a standard brute force approach on a typical computer. One sample problem explored is that of finding a minimum identifying code. To work around the computational issues, a variety of methods are explored and consist of a parallel computing approach using Matlab, a quantum annealing approach using the D-Wave computer, and lastly using satisfiability modulo theory (SMT) and corresponding SMT solvers. Each of these methods requires the problem to be formulated in a unique manner. In this paper, we address the challenges of computing solutions to this NP-hard problem with respect to each of these methods.
Dimensions of affine Deligne-Lusztig varieties: a new approach via labeled folded alcove walks and root operators
Published in Mem. Amer. Math. Soc. 261 (2019), no. 1260, v+101 pp
• Search Publication
Let G be a reductive group over the field F=k((t)), where k is an algebraic closure of a finite field, and let W be the (extended) affine Weyl group of G. The associated affine Deligne-Lusztig varieties $X_x(b)$, which are indexed by elements b in G(F) and x in W, were introduced by Rapoport. Basic questions about the varieties $X_x(b)$ which have remained largely open include when they are nonempty, and if nonempty, their dimension. We use techniques inspired by geometric group theory and representation theory to address these questions in the case that b is a pure translation, and so prove much of a sharpened version of Conjecture 9.5.1 of Görtz, Haines, Kottwitz, and Reuman. Our approach is constructive and type-free, sheds new light on the reasons for existing results in the case that b is basic, and reveals new patterns. Since we work only in the standard apartment of the building for G(F), our results also hold in the p-adic context, where we formulate a definition of the dimension of a p-adic Deligne-Lusztig set. We present two immediate consequences of our main results, to class polynomials of affine Hecke algebras and to affine reflection length.
A survey of consecutive patterns in permutations
Published
• View Publication
• BIB
A consecutive pattern in a permutation $π$ is another permutation $σ$ determined by the relative order of a subsequence of contiguous entries of $π$. Traditional notions such as descents, runs and peaks can be viewed as particular examples of consecutive patterns in permutations, but the systematic study of these patterns has flourished in the last 15 years, during which a variety of different techniques have been used. We survey some interesting developments in the subject, focusing on exact and asymptotic enumeration results, the classification of consecutive patterns into equivalence classes, and their applications to the study of one-dimensional dynamical systems.
Quantum Algebras and Cyclic Quiver Varieties
The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_{q,t}(sl_n^^), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot.
The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_{q,t}(sl_n^^), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_{q}(gl_m^), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_{q,t}(sl_n^^) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.
Torus fixed points in Schubert varieties and normalized median Genocchi numbers
Published in Séminaire Lotharingien de Combinatoire 75 (2016), Article B75f
• Search Publication
We give a new proof for the fact that the number of torus fixed points for the degenerated flag variety is equal to the normalized median Genocchi number, using the identification with a certain Schubert variety. We further study the torus fixed points for the symplectic degenerated flag variety and develop a combinatorial model, symplectic Dellac configurations, so parametrize them. The number of these symplectic fixed points is conjectured to be the median Euler number.
On Double Schubert and Grothendieck polynomials for Classical Groups
We give an algebra-combinatorial constructions of (noncommutative) generating functions of double Schubert and double $β$-Grothendieck polynomials corresponding to the full flag varieties associated to the Lie groups of classical types $A,B, C$ and $D$. Our approach is based on the decomposition of certain `` transfer matrices `` corresponding to the exponential solution to the quantum Yang--Baxter equations associated with either NiCoxeter or IdCoxeter algebras of classical types.
The "triple"~$β$-Grothendieck polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ we have introduced, satisfy, among other things, the coherency and (generalized) vanishing conditions. Their generating function has a nice factorization in the algebra $Id_βCoxeter(W)$, and as a consequence, the polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ admit a combinatorial description in terms of $W$-type pipe dreams.
Random Sampling in Computational Algebra: Helly Numbers and Violator Spaces
Published
• View Publication
• BIB
This paper transfers a randomized algorithm, originally used in geometric optimization, to computational problems in commutative algebra. We show that Clarkson's sampling algorithm can be applied to two problems in computational algebra: solving large-scale polynomial systems and finding small generating sets of graded ideals. The cornerstone of our work is showing that the theory of violator spaces of Gärtner et al.\ applies to polynomial ideal problems. To show this, one utilizes a Helly-type result for algebraic varieties. The resulting algorithms have expected runtime linear in the number of input polynomials, making the ideas interesting for handling systems with very large numbers of polynomials, but whose rank in the vector space of polynomials is small (e.g., when the number of variables and degree is constant).
Toric chordality
Published
• View Publication
• BIB
We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality to higher skeleta of simplicial complexes with a coordinatization over characteristic 0, leading us to a far-reaching generalization of Kalai's work on applications of rigidity of frameworks to polytope theory. In contrast to "homological" chordality, the notion that is usually studied as a higher-dimensional analogue of graph chordality, we will show that toric chordality has several advantageous properties and applications. -- Most strikingly, we will see that toric chordality allows us to introduce a higher version of Dirac's propagation principle. -- Aside from the propagation theorem, we also study the interplay with the geometric properties of the simplicial chain complex of the underlying simplicial complex, culminating in a quantified version of the Stanley--Murai--Nevo generalized lower bound theorem. -- Finally, we apply our technique to give a simple proof of the generalized lower bound theorem in polytope theory and -- prove the balanced generalized lower bound conjecture of Klee and Novik.
Scattering diagrams, theta functions, and refined tropical curve counts
Published
• View Publication
• BIB
Working over various graded Lie algebras and in arbitrary dimension, we express scattering diagrams and theta functions in terms of counts of tropical curves/disks, weighted by multiplicities given in terms of iterated Lie brackets. Over the tropical vertex group, our tropical curve counts are known to give certain descendant log Gromov-Witten invariants. Working over the quantum torus algebra yields theta functions for quantum cluster varieties, and our tropical description sets up for geometric interpretations of these. As an immediate application, we prove the quantum Frobenius conjecture of Fock and Goncharov. We also prove a refined version of the Carl-Pumperla-Siebert result on consistency of theta functions, and we prove the non-degeneracy of the trace-pairing for the Gross-Hacking-Keel Frobenius structure conjecture.