Searcharxiv⌕ Search

arXiv subjects

Irit Huq-Kuruvilla

Publications and source records attributed to Irit Huq-Kuruvilla.

7 recordsLinked to original sources

Relations in Twisted Quantum K-Rings

We introduce twisted quantum $K$-rings, defined via twisted $K$-theoretic Gromov-Witten invariants. We develop a toolkit for computing relations by adapting some results about ordinary quantum K rings to our setting, and discuss some applications, including Ruan-Zhang's quantum $K$-theory with level structure, and complete intersections inside projective space, confirming some predictions coming from physics. In addition, we formulate a ring-theoretic abelian/non-abelian correspondence conjecture, relating the quantum K-ring of a GIT quotient $X//G$ to a certain twist of the quantum K-ring of $X//T$, the quotient by the maximal torus. We prove this conjecture for the case of Grassmanians, and use this to give another proof of the Whitney relations of Mihalcea-Gu-Sharpe-Zhou in that case. We work in the generality of permutation-equivariant invariants.

math.AG↗

An Explicit Characteristic-$2$ Counterexample to the Separable Jacobian Conjecture

Let $k$ be a field of characteristic $2$. We exhibit an explicit polynomial endomorphism $F: \mathbb{A}_k^3\to\mathbb{A}_k^3$ whose Jacobian determinant is identically $1$, whose induced extension of rational function fields has degree $3$, and which is nevertheless noninjective. Since $2\neq 3$, this gives a counterexample to the usual Adjamagbo, or separable, formulation of the Jacobian conjecture in characteristic $2$. Stabilization yields analogous counterexamples in every dimension $n\geq 3$

math.AG↗

On the $K$-theoretic logarithmic double ramification class

The logarithmic double ramification cycle is the virtual fundamental class of the locus where a line bundle on a family of curves is fiberwise trivial. We construct a K-theoretic logarithmic double ramification class and prove a product formula and a \(\mathrm{GL}_r(\mathbb Z)\)-invariance property. We also give an explicit formula for this class in terms of a Grothendieck polynomial via a novel $K$-theoretic Thom--Porteous formula for vector bundles on algebraic stacks.

math.AG↗

Toda-Type Presentations for the Quantum K Theory of Partial Flag Varieties

We prove a determinantal, Toda-type, presentation for the equivariant K theory of a partial flag variety ${\rm Fl}(r_1, \dots, r_k;n)$. The proof relies on pushing forward the Toda presentation obtained by Maeno, Naito and Sagaki for the complete flag variety ${\rm Fl}(n)$, via Kato's ${\rm K}_T({\rm pt})$-algebra homomorphism from the quantum K ring of ${\rm Fl}(n)$ to that of ${\rm Fl}(r_1, \dots, r_k;n)$. Starting instead from the Whitney presentation for ${\rm Fl}(n)$, we show that the same pushforward technique gives a recursive formula for polynomial representatives of quantum K Schubert classes in any partial flag variety which do not depend on quantum parameters. In an appendix, we include another proof of the Toda presentation for the equivariant quantum K ring of ${\rm Fl}(n)$, following Anderson, Chen, and Tseng, which is based on the fact that the ${\rm K}$-theoretic $J$-function is an eigenfunction of the finite difference Toda Hamiltonians.

math.AG↗

Quantum K-Rings of Partial Flag Varieties, Coulomb Branches, and the Bethe Ansatz

We give a purely geometric explanation of the coincidence between the Coulomb Branch equations for the 3D GLSM describing the quantum $K$-theory of a flag variety, and the Bethe Ansatz equations of the 5-vertex lattice model. In doing so, we prove two explicit presentations for the quantum $K$-ring of the flag variety, resolving conjectures of Gu-Sharpe-Mihalcea-Xu-Zhang-Zou and Rimanyi-Tarasov-Varchenko. We also prove that the stable map and quasimap $K$-theory of the partial flag varieties are isomorphic, using the work of Koroteev-Pushkar-Smirnov-Zeitlin identifying the latter ring with the Bethe algebra of the 5-vertex lattice model. Our isomorphism gives an additional interpretation of the quantum tautological bundles described in the quasimap ring.

math.AG↗

Multiplicative Quantum Cobordism Theory

We prove a twisting theorem for nodal classes in permutation-equivariant quantum $K$-theory, and combine it with existing theorems of Givental to obtain a twisting result for general characteristic classes of the virtual tangent bundle. Using this result, we develop complex cobordism-valued Gromov-Witten invariants defined via $K$-theory, and relate those invariants to $K$-theoretic ones via the quantization of suitable symplectic transformations. The resulting theory is a $K$-theoretic analogue of the quantum cobordism theory developed by Givental and Coates. Using the universality of cobordism theory, we study the example of "Hirzebruch $K$-theory", which is the cohomology theory determined by the Hirzebruch $χ_{-y}$-genus.

math.AG↗

Reeb Dynamics of the Link of the $A_n$ Singularity

The link of the $A_n$ singularity, $L_{A_n} \subset \mathbb{C}^3$ admits a natural contact structure $ξ_0$ coming from the set of complex tangencies. The canonical contact form $α_0$ associated to $ξ_0$ is degenerate and thus has no isolated Reeb orbits. We show that there is a nondegenerate contact form for a contact structure equivalent to $ξ_0$ that has two isolated simple periodic Reeb orbits. We compute the Conley-Zehnder index of these simple orbits and their iterates. From these calculations we compute the positive $S^1$-equivariant symplectic homology groups for $\left(L_{A_n}, ξ_0 \right)$. In addition, we prove that $\left(L_{A_n}, ξ_0 \right)$ is contactomorphic to the Lens space $L(n+1,n)$, equipped with its canonical contact structure $ξ_{std}$.

math.SG↗