SearcharxivSearch

arXiv subjects

Ryan M. Shifler

Publications and source records attributed to Ryan M. Shifler.

11 recordsLinked to original sources

Curve neighborhoods and combinatorial property $\mathcal{O}$ for a family of odd symplectic partial flag manifolds

Let $E$ be an odd dimensional complex vector space and $\mbox{IF}:=\mbox{IF}(1,2;E)$ be the family of odd symplectic partial flag manifold. In this paper we give a full description of the irreducible components of the degree $d$ curve neighborhood of any Schubert variety of $\mbox{IF}$, study their lattice structure, and prove a combinatorial version of Conjecture $\mathcal{O}.$

math.AG

Minimum quantum degrees with Maya diagrams

We use Maya diagrams to refine the criterion by Fulton and Woodward for the smallest powers of the quantum parameter $q$ that occur in a product of Schubert classes in the (small) quantum cohomology of partial flags. Our approach using Maya diagrams yields a combinatorial proof that the minimal quantum degrees are unique for partial flags. Furthermore, visual combinatorial rules are given to perform precise calculations.

math.AG

Positivity determines the quantum cohomology of the odd symplectic Grassmannian of lines

Let $\mbox{IG}:=\mbox{IG}(2,2n+1)$ denote the odd symplectic Grassmannian of lines which is a horospherical variety of Picard rank 1. The quantum cohomology ring $\mbox{QH}^*(\mbox{IG})$ has negative structure constants. For $n \geq 3$, we give a positivity condition that implies the quantum cohomology ring $\mbox{QH}^*(\mbox{IG})$ is the only quantum deformation of the cohomology ring $\mbox{H}^*(\mbox{IG})$ up to the scaling of the quantum parameter. This is a modification of a conjecture by Fulton.

math.AG

On the spectral properties of the quantum cohomology of odd quadrics

Let $H^\bullet(\mbox{OG})$ be the quantum cohomology (specialized at $q=1$) of the $2n-1$ dimensional quadric $\mbox{OG}$. We will calculate the characteristic polynomial of the linear operators induced by quantum multiplication in $H^\bullet(\mbox{OG})$ and the Frobenius-Perron dimension. We also check that Galkin's lower bound conjecture holds for $\mbox{OG}$.

math.AG

Minimum Quantum Degrees for Isotropic Grassmannians in Types B and C

We give a formula in terms of Young diagrams to calculate the minimum positive integer $d$ such that $q^d$ appears in the quantum product of two Schubert classes for the submaximal isotropic Grassmannians in Types B and C. We do this by studying curve neighborhoods. We compute curve neighborhoods in several combinatorial models including $k$-strict partitions and a set of partitions where their inclusion is compatible with the Bruhat order.

math.AG

On Frobenius-Perron Dimension

We propose a notion of Frobenius-Perron dimension for certain free $\mathbb{Z}$-modules of infinite rank and compute it for the $\mathbb{Z}$-modules of finite dimensional complex representations of unitary groups with nonnegative dominant weights. We also provide a lower bound for the Frobenius-Perron dimension of Schubert classes in the quantum cohomology of complex Grassmannians.

math.AG

Conjecture $\mathcal{O}$ holds for some Horospherical Varieties of Picard Rank 1

Property $\mathcal{O}$ for an arbitrary complex, Fano manifold $X$, is a statement about the eigenvalues of the linear operator obtained from the quantum multiplication of the anticanonical class of $X$. Conjecture $\mathcal{O}$ is a conjecture that Property $\mathcal{O}$ holds for any Fano variety. Pasquier listed the smooth non-homogeneous horospherical varieties of Picard rank 1 into five classes. Conjecture $\mathcal{O}$ has already been shown to hold for the odd symplectic Grassmannians which is one of these classes. We will show that Conjecture $\mathcal{O}$ holds for two more classes and an example in a third class of Pasquier's list. The theory of Perron-Frobenius reduces our proofs to be graph-theoretic in nature.

math.AG

Curve neighborhoods of Schubert Varieties in the odd symplectic Grassmannian

Let $\mbox{IG}(k,2n+1)$ be the odd symplectic Grassmannian. It is a quasi-ho\-mo\-ge\-neous space with homogeneous-like behavior. A very limited description of curve neighborhoods of Schubert varieties in $\mbox{IG}(k,2n+1)$ was used by Mihalcea and the second named author to prove an (equivariant) quantum Chevalley rule. In this paper we give a full description of the irreducible components of curve neighborhoods in terms of the Hecke product of (appropriate) Weyl group elements, $k$-strict partitions, and BC-partitions. The latter set of partitions respect the Bruhat order with inclusions. Our approach follows the philosophy of Buch and Mihalcea's curve neighborhood calculations of Schubert varieties in the homogeneous cases.

math.AG

Galkin's lower bound conjecture holds for the Grassmannian

Let Gr$(k,n)$ be the Grassmannian. The quantum multiplication by the first Chern class $c_1({\rm Gr}(k,n))$ induces an endomorphism $\hat c_1$ of the finite-dimensional vector space $\mathrm{QH}^*({\rm Gr}(k,n))_{|q=1}$ specialized at $q=1$. Our main result is a case that a conjecture by Galkin holds. It states that the largest real eigenvalue of $\hat{c}_1$ is greater than or equal to $\dim {\rm Gr}(k,n)$+1 with equality if and only if Gr$(k,n)=\mathbb{P}^{n-1}$.

math.AG

Equivariant Quantum Cohomology of the Odd Symplectic Grassmannian

The odd symplectic Grassmannian $\mathrm{IG}:=\mathrm{IG}(k, 2n+1)$ parametrizes $k$ dimensional subspaces of $\mathbb{C}^{2n+1}$ which are isotropic with respect to a general (necessarily degenerate) symplectic form. The odd symplectic group acts on $\mathrm{IG}$ with two orbits, and $\mathrm{IG}$ is itself a smooth Schubert variety in the submaximal isotropic Grassmannian $\mathrm{IG}(k, 2n+2)$. We use the technique of curve neighborhoods to prove a Chevalley formula in the equivariant quantum cohomology of $\mathrm{IG}$, i.e. a formula to multiply a Schubert class by the Schubert divisor class. This generalizes a formula of Pech in the case $k=2$, and it gives an algorithm to calculate any multiplication in the equivariant quantum cohomology ring.

math.AG