We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$$ -- {\it biaxial double} $$(\beta,q)$$-{\it Grothendieck polynomials} -- which specialize at $$q=0$ and $v=1$ to double $$\beta$$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $$n$$ pairs of variables is a Drinfeld twist of the $$U_q(\widehat{\mathfrak{sl}}_{n+1})$$ $$R$$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $$\beta$$-Grothendieck polynomials and dual double $$\beta$$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillov's Cauchy identity for $$\beta$$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $$\beta$$-Grothendieck polynomials, and prove a new branching rule for double $$\beta$$-Grothendieck polynomials. 
                        more » 
                        « less   
                    
                            
                            đŸ-classes of BrillâNoether Loci and a Determinantal Formula
                        
                    
    
            Abstract We compute the Euler characteristic of the structure sheaf of the BrillâNoether locus of linear series with special vanishing at up to two marked points. When the BrillâNoether number $$\rho $$ is zero, we recover the Castelnuovo formula for the number of special linear series on a general curve; when $$\rho =1$$, we recover the formulas of Eisenbud-Harris, Pirola, and ChanâMartĂnâPfluegerâTeixidor for the arithmetic genus of a BrillâNoether curve of special divisors. These computations are obtained as applications of a new determinantal formula for the $$K$$-theory class of certain degeneracy loci. Our degeneracy locus formula also specializes to new determinantal expressions for the double Grothendieck polynomials corresponding to 321-avoiding permutations and gives double versions of the flagged skew Grothendieck polynomials recently introduced by Matsumura. Our result extends the formula of BilleyâJockuschâStanley expressing Schubert polynomials for 321-avoiding permutations as generating functions for flagged skew tableaux. 
        more » 
        « less   
        
    
                            - Award ID(s):
- 1945212
- PAR ID:
- 10405706
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- Volume:
- 2022
- Issue:
- 16
- ISSN:
- 1073-7928
- Page Range / eLocation ID:
- 12653 to 12698
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            We study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (Sel Math 7(1):57â81, 2001). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are not determinantal point processes. This question is related to the principal minor assignment problem in algebraic geometry, and we employ a determinantal test first obtained by Nanson in 1897 for the 4 Ă 4 problem. We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size n â„ 4, which appear new for n â„ 5. By placing the Grothendieck measures into a new framework of tilted biorthogonal ensembles generalizing a rich class of determinantal processes introduced by Borodin (Nucl Phys B 536:704â732, 1998), we identify Grothendieck random partitions as a cross-section of a Schur process, a determinantal process in two dimensions. This identification expresses the correlation functions of Grothendieck measures through sums of Fredholm determinants, which are not immediately suitable for asymptotic analysis. A more direct approach allows us to obtain a limit shape result for the Grothendieck random partitions. The limit shape curve is not particularly explicit as it arises as a cross-section of the limit shape surface for the Schur process. The gradient of this surface is expressed through the argument of a complex root of a cubic equation.more » « less
- 
            The number of standard Young tableaux of a skew shape $$\lambda/\mu$$ can be computed as a sum over excited diagrams inside $$\lambda$$. Excited diagrams are in bijection with certain lozenge tilings, with flagged semistandard tableaux and also nonintersecting lattice paths inside $$\lambda$$. We give two new proofs of a multivariate generalization of this formula, which allow us to extend the setup beyond standard Young tableaux and the underlying Schur symmetric polynomials. The first proof uses multiple contour integrals. The second one interprets excited diagrams as configurations of a six-vertex model at a free fermion point, and derives the formula for the number of standard Young tableaux of a skew shape from the Yang-Baxter equation.more » « less
- 
            Abstract The BrillâNoether theory of curves plays a fundamental role in the theory of curves and their moduli and has been intensively studied since the 19th century. In contrast, BrillâNoether theory for higher dimensional varieties is less understood. It is hard to determine when BrillâNoether loci are nonempty and these loci can be reducible and of larger than the expected dimension. Let $$E$$ be a semistable sheaf on $${\mathbb{P}}^{2}$$. In this paper, we give an upper bound $$\beta _{r, \mu }$$ for $$h^{0}(E)$$ in terms of the rank $$r$$ and the slope $$\mu $$ of $$E$$. We show that the bound is achieved precisely when $$E$$ is a twist of a Steiner bundle. We classify the sheaves $$E$$ such that $$h^{0}(E)$$ is within $$\lfloor \mu (E) \rfloor + 1$$ of $$\beta _{r, \mu }$$. We determine the nonemptiness, irreducibility and dimension of the BrillâNoether loci in the moduli spaces of sheaves on $${\mathbb{P}}^{2}$$ with $$h^{0}(E)$$ in this range. When they are proper subvarieties, these BrillâNoether loci are irreducible though almost always of larger than the expected dimension.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    