SearcharxivSearch

arXiv subjects

Changjian Su

Publications and source records attributed to Changjian Su.

At least 19 recordsLinked to original sources

Quantized Coulomb Branches of Separated Cotangent Type and Orthosymplectic Quivers

We propose a definition of the quantized Coulomb branches of separated cotangent type, and prove that the corresponding classical construction recovers the non-cotangent Coulomb branch. We also obtain a formula for quasi-minuscule monopole operators in arbitrary cotangent type. Applying these results, we compute the monopole operators for orthosymplectic quivers and construct a homomorphism from the shifted twisted Yangian of split ADE type to the corresponding quantized Coulomb branch algebra.

math.RT

Affine $\mathrm{i}$quantum groups and Steinberg varieties of type C, II

A geometric realization of the quasi-split affine iquantum group of type $\mathrm{AIII}_{2n-1}^{(\tau)}$ was given by Wang and the second author, in terms of equivariant K-groups of Steinberg varieties of type C. As a completion of that work, this paper focuses on the previously untreated case. We provide a similar construction of the quasi-split affine iquantum group of type $\mathrm{AIII}_{2n}^{(\tau)}$, using the same equivariant K-groups of Steinberg varieties of type C. In the appendix, we employ Steinberg varieties of type D to give a new realization of the quasi-split affine iquantum group of type $\mathrm{AIII}_{2n-1}^{(\tau)}$, thereby avoiding the localization method adopted in the previous work.

math.QA

Twisted Yangians and Steinberg varieties of type C

We study the equivariant homology of the generalized Steinberg variety of type C and show that there exists a surjective algebra homomorphism from the twisted Yangian of type $\AIII_{2n}^{(\tau)}$ to it.

math.RT

Motivic Chern Classes of Open Projected Richardson Varieties and of Affine Schubert Cells

The open projected Richardson varieties are images of the open Richardson varieties of the complete flag variety under the canonical projection to the partial flag variety. Our main result compares the Segre motivic Chern (SMC) classes of the open projected Richardson varieties with those of the affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. The main method is the recursive relation determined by the Demazure--Lusztig operators. As another application of this recursive relation, we relate the localization of the SMC classes to the twisted Kazhdan--Lusztig R-polynomials. In the case of Grassmannians, the open projected Richardson varieties are known as the open positroid varieties. We give a combinatorial formula for the SMC classes of these varieties.

math.AG

Quivers with Involutions and Shifted Twisted Yangians via Coulomb Branches

To a quiver with involution, we study the Coulomb branch of the 3d $\mathcal{N} = 4$ involution-fixed part of the quiver gauge theory. We show that there is an algebra homomorphism from the corresponding shifted twisted Yangian to the quantized Coulomb branch algebra. This gives a new instance of 3D mirror symmetries.

math.RT

Chern Classes of Open Projected Richardson Varieties and of Affine Schubert Cells

The open projected Richardson varieties form a stratification for the partial flag variety $G/P$. We compare the Segre--MacPherson classes of open projected Richardson varieties with those of the corresponding affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. In the case of the Grassmannian $G/P=\operatorname{Gr}_k(\mathbb{C}^n)$, the open projected Richardson varieties are known as open positroid varieties. We obtain symmetric functions that represent the Segre--MacPherson classes of these open positroid varieties, constructed explicitly in terms of pipe dreams for affine permutations.

math.AG

Dual conformal invariant kinematics and folding of Grassmannian cluster algebras

Grassmannian manifolds $\Gr(4,n)$ are closely related to the kinematic space of $n$-particle scattering processes in $D=4$, and their combinatorial and geometric structures have played an important role in the study of conformal invariant theories and scattering amplitudes. He, Li, and Yang \cite{HLY26} observed that restricting $D=4$ kinematics to a $D=3$ subspace can be interpreted as a folding of the Grassmannian cluster algebra $\CC[\Gr(4,n)]$ for $n\leq 8$. In this paper, we derive general expressions for the $D=3$ kinematic constraints in terms of Pl\"ucker coordinates of $\Gr(4,n)$ directly from the three-dimensional kinematic condition. We then construct a family of foldable seeds for $\CC[\Gr(4,n)]$, obtained explicitly from the standard initial seed by mutation, whose folding conditions reproduce these kinematic constraints. This establishes the connection between $D=3$ kinematics and folding of Grassmannian cluster algebras for general $n$.

math-ph

Affine $\imath$quantum groups and Steinberg varieties of type C

We provide a geometric realization of the quasi-split affine $\imath$quantum group of type AIII$_{2n-1}^{(\tau)}$ in terms of equivariant K-groups of non-connected Steinberg varieties of type C. This uses a new Drinfeld type presentation of this affine $\imath$quantum group which admits very nontrivial Serre relations. We then construct \`a la Springer a family of finite-dimensional standard modules and irreducible modules of this $\imath$quantum group, and provide a composition multiplicity formula of the standard modules.

math.RT

A Pieri type formula for motivic Chern classes of Schubert cells in Grassmannians

We prove a Pieri formula for motivic Chern classes of Schubert cells in the equivariant K-theory of Grassmannians, which is described in terms of ribbon operators on partitions. Our approach is to transform the Schubert calculus over Grassmannians to the calculation in a certain affine Hecke algebra. As a consequence, we derive a Pieri formula for Segre motivic classes of Schubert cells in Grassmannians. We apply the Pieri formulas to establish a relation between motivic Chern classes and Segre motivic classes, extending a well-known relation between the classes of structure sheaves and ideal sheaves. As another application, we find a symmetric power series representative for the class of the dualizing sheaf of a Schubert variety.

math.CO

Hook formula for Coxeter groups via the twisted group ring

We use Kostant and Kumar's twisted group ring and its dual to formulate and prove a generalization of Nakada's colored hook formula for any Coxeter groups. For dominant minuscule elements of the Weyl group of a Kac--Moody algebra, this provides another short proof of Nakada's colored hook formula.

math.RT

Chevalley formulae for the motivic Chern classes of Schubert cells and for the stable envelopes

We prove a Chevalley formula to multiply the motivic Chern classes of Schubert cells in a generalized flag manifold $G/P$ by the class of any line bundle $\mathcal{L}_\lambda$. Our formula is given in terms of the $\lambda$-chains of Lenart and Postnikov. Its proof relies on a change of basis formula in the affine Hecke algebra due to Ram, and on the Hecke algebra action on torus-equivariant K-theory of the complete flag manifold $G/B$ via left Demazure--Lusztig operators. We revisit some wall-crossing formulae for the stable envelopes in $T^*(G/B)$. We use our Chevalley formula, and the equivalence between motivic Chern classes of Schubert cells and K-theoretic stable envelopes in $T^*(G/B)$, to give formulae for the change of polarization, and for the change of slope for stable envelopes. We prove several additional applications, including Serre, star, and Dynkin, dualities of the Chevalley coefficients, new formulae for the Whittaker functions, and for the Hall--Littlewood polynomials. We also discuss positivity properties of Chevalley coefficients, and properties of the coefficients arising from multiplication by minuscule weights.

math.AG

Automorphisms of the Quantum Cohomology of the Springer Resolution and Applications

In this paper, we introduce quantum Demazure--Lusztig operators acting by ring automorphisms on the equivariant quantum cohomology of the Springer resolution. Our main application is a presentation of the torus-equivariant quantum cohomology in terms of generators and relations. We provide explicit descriptions for the classical types. We also recover Kim's earlier results for the complete flag varieties by taking the Toda limit.

math.AG

From motivic Chern classes of Schubert cells to their Hirzebruch and CSM classes

The equivariant motivic Chern class of a Schubert cell in a `complete' flag manifold $X=G/B$ is an element in the equivariant K theory ring of $X$ to which one adjoins a formal parameter $y$. In this paper we prove several `folklore results' about the motivic Chern classes, including finding specializations at $y=-1$ and $y=0$; the coefficient of the top power of $y$; how to obtain Chern-Schwartz-MacPherson (CSM) classes as leading terms of motivic classes; divisibility properties of the Schubert expansion of motivic Chern classes. We collect several conjectures about the positivity, unimodality, and log concavity of CSM and motivic Chern classes of Schubert cells, including a conjectural positivity of structure constants of the multiplication of Poincaré duals of CSM classes. In addition, we prove a `star duality' for the motivic Chern classes. We utilize the motivic Chern transformation to define two equivariant variants of the Hirzebruch transformation, which appear naturally in the Grothendieck-Hirzebruch-Riemann-Roch formalism. We utilize the Demazure-Lusztig recursions from the motivic Chern class theory to find similar recursions giving the Hirzebruch classes of Schubert cells, their Poincar{é} duals, and their Segre versions. We explain the functoriality properties needed to extend the results to `partial' flag manifolds $G/P$.

math.AG

Shadows of characteristic cycles, Verma modules, and positivity of Chern-Schwartz-MacPherson classes of Schubert cells

Chern-Schwartz-MacPherson (CSM) classes generalize to singular and/or noncompact varieties the classical total homology Chern class of the tangent bundle of a smooth compact complex manifold. The theory of CSM classes has been extended to the equivariant setting by Ohmoto. We prove that for an arbitrary complex projective manifold $X$, the homogenized, torus equivariant CSM class of a constructible function $φ$ is the restriction of the characteristic cycle of $φ$ via the zero section of the cotangent bundle of $X$. This extends to the equivariant setting results of Ginzburg and Sabbah. We specialize $X$ to be a (generalized) flag manifold $G/B$. In this case CSM classes are determined by a Demazure-Lusztig (DL) operator. We prove a `Hecke orthogonality' of CSM classes, determined by the DL operator and its Poincar{é} adjoint. We further use the theory of holonomic $\mathcal{D}_X$-modules to show that the characteristic cycle of a Verma module, restricted to the zero section, gives the CSM class of the corresponding Schubert cell. Since the Verma characteristic cycles naturally identify with the Maulik and Okounkov's stable envelopes, we establish an equivalence between CSM classes and stable envelopes; this reproves results of Rim{á}nyi and Varchenko. As an application, we obtain a Segre type formula for CSM classes. In the non-equivariant case this formula is manifestly positive, showing that the expansion in the Schubert basis of the CSM class of a Schubert cell is effective. This proves a previous conjecture by Aluffi and Mihalcea, and it extends previous positivity results by J. Huh in the Grassmann manifold case. Finally, we generalize all of this to partial flag manifolds $G/P$.

math.AG

Whittaker functions from motivic Chern classes

We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on localization in equivariant K theory, and require a geometric interpretation of how the Hecke dual (or inverse) of a D-L operator acts on the class of a point. We prove that the Hecke dual operators give Grothendieck-Serre dual classes of the motivic classes, a result which might be of independent interest. In an Appendix joint with Dave Anderson we show that if the line bundle is trivial, we recover a generalization of a classical formula by Kostant, Macdonald, Shapiro and Steinberg for the Poincar{é} polynomial of $G/B$; the generalization we consider is due to Akyıldız and Carrell and replaces $G/B$ by any smooth Schubert variety.

math.AG

Hook formulae from Segre-MacPherson classes

Nakada's colored hook formula is a vast generalization of many important formulae in combinatorics, such as the classical hook length formula and the Peterson's formula for the number of reduced expressions of minuscule Weyl group elements. In this paper, we utilize cohomological properties of Segre-MacPherson classes of Schubert cells and varieties to prove a generalization of a cohomological version of Nakada's formula, in terms of smoothness properties of Schubert varieties. A key ingredient in the proof is the study of a decorated version of the Bruhat graph. Summing over weighted paths of this graph give the terms in the generalized Nakada's formula, and also provide algorithms to calculate structure constants of multiplications of Segre-MacPherson classes of Schubert cells. For simply laced Weyl groups, we also show the equality of `skew' and `straight' Nakada's formulae. This utilizes a criterion for smoothness in terms of excited diagrams of heaps of minuscule elements, which might be of independent interest.

math.CO

Motivic Chern classes of Schubert cells, Hecke algebras, and applications to Casselman's problem

Motivic Chern classes are elements in the K-theory of an algebraic variety $X$, depending on an extra parameter $y$. They are determined by functoriality and a normalization property for smooth $X$. In this paper we calculate the motivic Chern classes of Schubert cells in the (equivariant) K-theory of flag manifolds $G/B$. We show that the motivic class of a Schubert cell is determined recursively by the Demazure-Lusztig operators in the Hecke algebra of the Weyl group of $G$, starting from the class of a point. The resulting classes are conjectured to satisfy a positivity property. We use the recursions to give a new proof that they are equivalent to certain K-theoretic stable envelopes recently defined by Okounkov and collaborators, thus recovering results of Fehér, Rimányi and Weber. The Hecke algebra action on the K-theory of the Langlands dual flag manifold matches the Hecke action on the Iwahori invariants of the principal series representation associated to an unramified character for a group over a nonarchimedean local field. This gives a correspondence identifying the duals of the motivic Chern classes to the standard basis in the Iwahori invariants, and the fixed point basis to Casselman's basis. We apply this correspondence to prove two conjectures of Bump, Nakasuji and Naruse concerning factorizations and holomorphy properties of the coefficients in the transition matrix between the standard and the Casselman's basis.

math.AG

Wall-crossings and a categorification of $K$-theory stable bases of the Springer resolution

We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure-Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirković, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution.

math.RT