Showing 1–44 of 44 results for author: Oblomkov, A

Discriminants and motivic integration

Authors: Oscar Kivinen, Alexei Oblomkov, Dimitri Wyss

Abstract: We study invariants of a plane cuve singularity $(f,0)$ coming from motivic integration on symmetric powers of a formal deformation of $f$. We show that a natural discriminant integral recovers the motivic classes of the principal Hilbert schemes of points on $f$, while the orbifold integral gives the plethystic exponential of the motivic Igusa zeta function of $f$. The latter result also holds in… ▽ More We study invariants of a plane cuve singularity $(f,0)$ coming from motivic integration on symmetric powers of a formal deformation of $f$. We show that a natural discriminant integral recovers the motivic classes of the principal Hilbert schemes of points on $f$, while the orbifold integral gives the plethystic exponential of the motivic Igusa zeta function of $f$. The latter result also holds in higher dimemsions. Combined with results of Gorsky and Némethi we obtain an interpretation of the discriminant integrals in terms of knot Floer homology, which is reminiscent of the relation between the cohomology of contact loci and fixed point Floer homology proven by de la Bodega and Poza. △ Less

Submitted 4 April, 2025; v1 submitted 24 March, 2025; originally announced March 2025.

Comments: 23 pages, Comments welcome!

Fixed loci of symplectic automorphisms of $K3^{[n]}$ and $n$-Kummer type manifolds

Authors: Ljudmila Kamenova, Giovanni Mongardi, Alexei Oblomkov

Abstract: The aim of this paper is to give an explicit description of the fixed loci of symplectic automorphisms for certain hyperkahler manifolds, namely for Hilbert schemes on K3 surfaces and for generalized Kummer varieties. Here we extend our previous results from the case of involutions to more general groups. In particular, under some conditions on the dimension, we give the full answer for finite gro… ▽ More The aim of this paper is to give an explicit description of the fixed loci of symplectic automorphisms for certain hyperkahler manifolds, namely for Hilbert schemes on K3 surfaces and for generalized Kummer varieties. Here we extend our previous results from the case of involutions to more general groups. In particular, under some conditions on the dimension, we give the full answer for finite group actions of symplectic automorphisms coming from K3 surfaces. We prove that the all irreducible components of the fixed loci are of $K3^{[k]}$ type of lower dimensions or isolated points. △ Less

Submitted 21 February, 2025; v1 submitted 28 August, 2023; originally announced August 2023.

Comments: 19 pages, comments are welcome, minor improvements in version 2 and 3

Matrix factorizations and $gl(m|k)$-quantum invariants

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: In our previous papers we used the Hilbert scheme of points on $C^2$ in order to construct a triply graded link homology and its $gl(m)$ version. Here we extend the $gl(m)$ construction to super-algebras $gl(m|k)$. In our previous papers we used the Hilbert scheme of points on $C^2$ in order to construct a triply graded link homology and its $gl(m)$ version. Here we extend the $gl(m)$ construction to super-algebras $gl(m|k)$. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: 17 pages, comments are welcome. arXiv admin note: text overlap with arXiv:1702.03569, arXiv:1706.00124

Generic curves and non-coprime Catalans

Authors: Eugene Gorsky, Mikhail Mazin, Alexei Oblomkov

Abstract: We compute the Poincaré polynomials of the compactified Jacobians for plane curve singularities with Puiseaux exponents $(nd,md,md+1)$, and relate them to the combinatorics of $q,t$-Catalan numbers in the non-coprime case. We also confirm a conjecture of Cherednik and Danilenko for such curves. We compute the Poincaré polynomials of the compactified Jacobians for plane curve singularities with Puiseaux exponents $(nd,md,md+1)$, and relate them to the combinatorics of $q,t$-Catalan numbers in the non-coprime case. We also confirm a conjecture of Cherednik and Danilenko for such curves. △ Less

Submitted 20 June, 2024; v1 submitted 22 October, 2022; originally announced October 2022.

Comments: 28 pages, revised version

Journal ref: Algebraic Geometry, 2024

The affine Springer fiber-sheaf correspondence

Authors: Eugene Gorsky, Oscar Kivinen, Alexei Oblomkov

Abstract: Given a semisimple element in the loop Lie algebra of a reductive group, we construct a quasi-coherent sheaf on a partial resolution of the trigonometric commuting variety of the Langlands dual group. The construction uses affine Springer theory and can be thought of as an incarnation of 3d mirror symmetry. For the group $GL_n$, the corresponding partial resolution is… ▽ More Given a semisimple element in the loop Lie algebra of a reductive group, we construct a quasi-coherent sheaf on a partial resolution of the trigonometric commuting variety of the Langlands dual group. The construction uses affine Springer theory and can be thought of as an incarnation of 3d mirror symmetry. For the group $GL_n$, the corresponding partial resolution is $\mathrm{Hilb}^n(\mathbb{C}^\times\times \mathbb{C})$. We also consider a quantization of this construction for homogeneous elements. △ Less

Submitted 2 February, 2025; v1 submitted 1 April, 2022; originally announced April 2022.

Comments: 48 pages, to appear in Advances in Mathematics

Soergel bimodules and matrix factorizations

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: We establish an isomorphism between the Khovanov-Rozansky triply graded link homology and the geometric triply graded homology due to the authors. Hence we provide an interpretation of the Khovanov-Rozansky homology of the closure of a braid $β$ as the space of derived sections of a $\mathbb{C}^*\times \mathbb{C}^*$- equivariant sheaf $Tr(β)$ on the Hilbert scheme $Hilb_n(\mathbb{C}^2)$, thus prov… ▽ More We establish an isomorphism between the Khovanov-Rozansky triply graded link homology and the geometric triply graded homology due to the authors. Hence we provide an interpretation of the Khovanov-Rozansky homology of the closure of a braid $β$ as the space of derived sections of a $\mathbb{C}^*\times \mathbb{C}^*$- equivariant sheaf $Tr(β)$ on the Hilbert scheme $Hilb_n(\mathbb{C}^2)$, thus proving a version of Gorsky-Negut-Rasmussen conjecture \cite{GorskyNegutRasmussen16}. As a consequence we prove that Khovanov-Rozansky homology of knots satisfies the $q\to t/q$ symmetry conjectured by Dunfield-Gukov-Rasmussen \cite{DunfieldGukovRasmussen06}. We also apply our main result to compute the Khovanov-Rozansky homology of torus links. △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: 51 pages, 1 figure, comments are welcome

Virasoro constraints for stable pairs on toric 3-folds

Authors: M. Moreira, A. Oblomkov, A. Okounkov, R. Pandharipande

Abstract: Using new explicit formulas for the stationary GW/PT descendent correspondence for nonsingular projective toric 3-folds, we show that the correspondence intertwines the Virasoro constraints in Gromov-Witten theory for stable maps with the Virasoro constraints for stable pairs. Since the Virasoro constraints in Gromov-Witten theory are known to hold in the toric case, we establish the stationary Vi… ▽ More Using new explicit formulas for the stationary GW/PT descendent correspondence for nonsingular projective toric 3-folds, we show that the correspondence intertwines the Virasoro constraints in Gromov-Witten theory for stable maps with the Virasoro constraints for stable pairs. Since the Virasoro constraints in Gromov-Witten theory are known to hold in the toric case, we establish the stationary Virasoro constraints for the theory of stable pairs on toric 3-folds. As a consequence, new Virasoro constraints for tautological integrals over Hilbert schemes of points on surfaces are also obtained. △ Less

Submitted 28 August, 2020; originally announced August 2020.

Comments: 65 pages

A compactification of the moduli space of marked vertical lines in $\mathbb{C}^2$

Authors: Nathaniel Bottman, Alexei Oblomkov

Abstract: For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct a proper complex variety $\overline{2M}_{\mathbf{n}}$. $\overline{2M}_{\mathbf{n}}$ is locally toric, and it is equipped with a forgetful map $\overline{2M}_{\mathbf{n}} \to \overline M_{0,r+1}$. This space is a compactification of $2M_{\mathbf{n}}$, the configuration space of marked vertical lines in… ▽ More For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct a proper complex variety $\overline{2M}_{\mathbf{n}}$. $\overline{2M}_{\mathbf{n}}$ is locally toric, and it is equipped with a forgetful map $\overline{2M}_{\mathbf{n}} \to \overline M_{0,r+1}$. This space is a compactification of $2M_{\mathbf{n}}$, the configuration space of marked vertical lines in $\mathbb{C}^2$ up to translations and dilations. In the appendices, we give several examples and show how the stratification of $\overline{2M}_{\mathbf{n}}$ can be used to recursively compute its virtual Poincaré polynomial. △ Less

Submitted 4 October, 2019; originally announced October 2019.

Comments: 37 pages, 20 figures

Dualizable link homology

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: We modify our previous construction of link homology in order to include a natural duality functor $\mathfrak{F}$. To a link $L$ we associate a triply-graded module $HXY(L)$ over the graded polynomial ring $R(L)=\mathbb{C}[x_1,y_1,\dots,x_\ell,y_\ell]$. The module has an involution $\mathfrak{F}$ that intertwines the Fourier transform on $R(L)$, $\mathfrak{F}(x_i)=y_i$, $\mathfrak{F}(y_i)=x_i$.… ▽ More We modify our previous construction of link homology in order to include a natural duality functor $\mathfrak{F}$. To a link $L$ we associate a triply-graded module $HXY(L)$ over the graded polynomial ring $R(L)=\mathbb{C}[x_1,y_1,\dots,x_\ell,y_\ell]$. The module has an involution $\mathfrak{F}$ that intertwines the Fourier transform on $R(L)$, $\mathfrak{F}(x_i)=y_i$, $\mathfrak{F}(y_i)=x_i$. In the case when $\ell=1$ the module is free over $R(L)$ and specialization to $x=y=0$ matches with the triply-graded knot homology previously constructed by the authors. Thus we show that the corresponding super-polynomial satisfies the categorical version of $q\to 1/q$ symmetry. We also construct an isotopy invariant of the closure of a dichromatic braid and relate this invariant to $HXY(L)$. △ Less

Submitted 15 May, 2019; originally announced May 2019.

Comments: 30 pages, no figures; comments are welcome

Notes on matrix factorizations and knot homology

Authors: Alexei Oblomkov

Abstract: These are the notes of the lectures delivered by the author at CIME in June 2018. The main purpose of the notes is to provide an overview of the techniques used in the construction of the triply graded link homology. The homology is space of global sections of a particular sheaf on the Hilbert scheme of points on the plane. Our construction relies on existence on the natural push-forward functor f… ▽ More These are the notes of the lectures delivered by the author at CIME in June 2018. The main purpose of the notes is to provide an overview of the techniques used in the construction of the triply graded link homology. The homology is space of global sections of a particular sheaf on the Hilbert scheme of points on the plane. Our construction relies on existence on the natural push-forward functor for the equivariant matrix factorizations, we explain the subtleties on the construction in these notes. We also outline a proof of the Markov moves for our homology as well as some explicit localization formulas for knot homology of a large class of links. △ Less

Submitted 13 January, 2019; originally announced January 2019.

Comments: 33 pages, two figures. Comments are welcomed

EGL formula for DT/PT theory of local curves

Authors: A. Oblomkov

Abstract: In this note we prove an integral formula for the bare one-leg PT vertex with descendents. The formula follows from the PT version of Ellingsrud-Göttsche-Lehn formula that is explained here. We apply the integral formula to obtain an elementary proof of rationality of one-leg capped PT vertex with descendents. We also obtain an integral formula for degree zero DT invariants with descendents. F… ▽ More In this note we prove an integral formula for the bare one-leg PT vertex with descendents. The formula follows from the PT version of Ellingsrud-Göttsche-Lehn formula that is explained here. We apply the integral formula to obtain an elementary proof of rationality of one-leg capped PT vertex with descendents. We also obtain an integral formula for degree zero DT invariants with descendents. Finally we propose an explicit non-equivariant DT/PT correspondence as well as one descendent insertion fully-equivariant DT/PT formula. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Comments: 17 pages, no figures. Comments are welcome!

3D TQFT and HOMFLYPT homology

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: We describe a family of 3d topological B-models whose target spaces are Hilbert schemes of points in $\mathbb{C}^2$. The interfaces separating theories with different numbers of points correspond to braid strands. The Hilbert space of the picture of a closed braid is the HOMFLY-PT homology of the corresponding link. We describe a family of 3d topological B-models whose target spaces are Hilbert schemes of points in $\mathbb{C}^2$. The interfaces separating theories with different numbers of points correspond to braid strands. The Hilbert space of the picture of a closed braid is the HOMFLY-PT homology of the corresponding link. △ Less

Submitted 26 February, 2023; v1 submitted 15 December, 2018; originally announced December 2018.

Comments: 57 pages, many figures, section 2, that discusses physics theories, is expanded

Categorical Chern character and braid groups

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: To a braid $β\in Br_n$ we associate a complex of sheaves $S_β$ on $Hilb_n(C^2)$ such that the previously defined triply graded link homology of the closure $L(β)$ is isomorphic to the homology of $S_β$. The construction of $S_β$ relies on the Chern functor $CH: MF_n^{st}\to D^{per}_{C^*\times C^*}(Hilb_n(C^2))$ defined in the paper together with its adjoint functor $HC$. We prove a formu… ▽ More To a braid $β\in Br_n$ we associate a complex of sheaves $S_β$ on $Hilb_n(C^2)$ such that the previously defined triply graded link homology of the closure $L(β)$ is isomorphic to the homology of $S_β$. The construction of $S_β$ relies on the Chern functor $CH: MF_n^{st}\to D^{per}_{C^*\times C^*}(Hilb_n(C^2))$ defined in the paper together with its adjoint functor $HC$. We prove a formula for the closure of sufficiently positive elements of the Jucys-Murphy algebra previously conjectured by Gorsky, Negut and Rasmussen. △ Less

Submitted 26 December, 2022; v1 submitted 7 November, 2018; originally announced November 2018.

Comments: 55 pages, no figures; many proofs and definitions are expanded; the introductory sections on matrix factorizations are added

Symplectic involutions of $K3^{[n]}$ type and Kummer $n$ type manifolds

Authors: Ljudmila Kamenova, Giovanni Mongardi, Alexei Oblomkov

Abstract: In this paper we describe the fixed locus of a symplectic involution on a hyperkähler manifold of type $K3^{[n]}$ or of Kummer $n$ type. We prove that the fixed locus consists of finitely many copies of Hilbert schemes of $K3$ surfaces of lower dimensions and isolated fixed points. In this paper we describe the fixed locus of a symplectic involution on a hyperkähler manifold of type $K3^{[n]}$ or of Kummer $n$ type. We prove that the fixed locus consists of finitely many copies of Hilbert schemes of $K3$ surfaces of lower dimensions and isolated fixed points. △ Less

Submitted 12 June, 2025; v1 submitted 8 September, 2018; originally announced September 2018.

Comments: The erratum is added as a last section of the manuscript

MSC Class: 14J50; 53C26; 16G20

Journal ref: Bull. London Math. Soc. 54 (2022) 894-909

GW/PT descendent correspondence via vertex operators

Authors: Alexei Oblomkov, Andrei Okounkov, Rahul Pandharipande

Abstract: We propose an explicit formula for the GW/PT descendent correspondence in the stationary case for nonsingular projective 3-folds. The formula, written in terms of vertex operators, is found by studying the 1-leg geometry. We prove the proposal for all nonsingular projective toric 3-folds. An application to the Virasoro constraints for the stationary descendent theory of stable pairs will appear in… ▽ More We propose an explicit formula for the GW/PT descendent correspondence in the stationary case for nonsingular projective 3-folds. The formula, written in terms of vertex operators, is found by studying the 1-leg geometry. We prove the proposal for all nonsingular projective toric 3-folds. An application to the Virasoro constraints for the stationary descendent theory of stable pairs will appear in a sequel. △ Less

Submitted 7 April, 2020; v1 submitted 2 June, 2018; originally announced June 2018.

Comments: 36 pages, no pictures; few misprints are corrected; to appear in Communications in Mathematical Physics; slight change in the definition of the generating function for GW invariants; many misprints corrected

Journal ref: Comm. Math. Phys. 374 (2020), no. 3, 1321--1359

Affine Schubert calculus and double coinvariants

Authors: Erik Carlsson, Alexei Oblomkov

Abstract: We define an action of the double coinvariant algebra $DR_n$ on the equivariant Borel-Moore homology of the affine flag variety $\widetilde{Fl}_n$ in type $A$, which has an explicit form in terms of the left and right action of the (extended) affine Weyl group and multiplication by Chern classes. Up to first order in the augmentation ideal, we show that it coincides with the action of th… ▽ More We define an action of the double coinvariant algebra $DR_n$ on the equivariant Borel-Moore homology of the affine flag variety $\widetilde{Fl}_n$ in type $A$, which has an explicit form in terms of the left and right action of the (extended) affine Weyl group and multiplication by Chern classes. Up to first order in the augmentation ideal, we show that it coincides with the action of the Cherednik algebra on the equivariant homology of the homogeneous affine Springer fiber $\widetilde{S}_{n,m} \subset \widetilde{Fl}_n$ due to Yun and the second author, and therefore preserves the non-equivariant Borel-Moore homology groups $H_*(\widetilde{S}_{n,m})\hookrightarrow H_*(\widetilde{Fl}_n)$. We then define a geometric filtration $F_{a} H_*(\widetilde{S}_{n,n+1})=H_*(\widetilde{S}(a))$ by closed subspaces $\widetilde{S}(a)\subset \widetilde{S}_{n,n+1}$, which we prove recovers the Garsia-Stanton descent order on $DR_n$. We use this to deduce an explicit monomial basis of $DR_n$, as well as an independent proof of the (non-compositional) Shuffle Theorem. △ Less

Submitted 15 February, 2025; v1 submitted 26 January, 2018; originally announced January 2018.

Comments: 53 pages, we explain the relation of our construction to Hessenberg varieties and (re)prove the Shuffle Theorem

A categorification of a cyclotomic Hecke algebra

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of t… ▽ More We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of the Jucys-Murphy subalgebra. △ Less

Submitted 18 January, 2018; originally announced January 2018.

Comments: 18 pages, comments are welcome

The cohomology ring of certain compactified Jacobians

Authors: Alexei Oblomkov, Zhiwei Yun

Abstract: We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multipli… ▽ More We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multiplicative, and the associated graded ring under the perverse filtration is a degeneration of the ring of functions on a moduli space of maps $\mathbb{P}^{1}\to C_{q/p}$. We also propose several conjectures about $J_{q/p}$ and more general compactified Jacobians. △ Less

Submitted 15 October, 2017; originally announced October 2017.

Comments: 34 pages; comments are welcomed

MSC Class: 14F20; 14F40

HOMFLYPT homology of Coxeter links

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: A Coxeter link is a closure of a product of two braids, one being a quasi-Coxeter element and the other being a product of partial full twists. This class of links includes torus knots \(T_{n,k}\) and torus links \(T_{n,nk}\). We identify the knot homology of a Coxeter link with the space of sections of a particular line bundle on a natural generalization of the punctual locus inside the flag Hilb… ▽ More A Coxeter link is a closure of a product of two braids, one being a quasi-Coxeter element and the other being a product of partial full twists. This class of links includes torus knots \(T_{n,k}\) and torus links \(T_{n,nk}\). We identify the knot homology of a Coxeter link with the space of sections of a particular line bundle on a natural generalization of the punctual locus inside the flag Hilbert scheme of points in \(\mathbb{C}^2\). △ Less

Submitted 26 December, 2022; v1 submitted 31 May, 2017; originally announced June 2017.

Comments: 23 pages, few misprints are corrected, abstract is expanded

Affine Braid group, JM elements and knot homology

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: In this paper we construct a homomorphism of the affine braid group $Br_n^{aff}$ in the convolution algebra of the equivariant matrix factorizations on the space $\overline{\mathcal{X}}_2=\mathfrak{b}_n\times GL_n\times\mathfrak{n}_n$ considered in the earlier paper of the authors. We explain that the pull-back on the stable part of the space $\overline{\mathcal{X}_2}$ intertwines with the natural… ▽ More In this paper we construct a homomorphism of the affine braid group $Br_n^{aff}$ in the convolution algebra of the equivariant matrix factorizations on the space $\overline{\mathcal{X}}_2=\mathfrak{b}_n\times GL_n\times\mathfrak{n}_n$ considered in the earlier paper of the authors. We explain that the pull-back on the stable part of the space $\overline{\mathcal{X}_2}$ intertwines with the natural homomorphism from the affine braid group $Br_n^{aff}$ to the finite braid group $Br_n$. This observation allows us derive a relation between the knot homology of the closure of $β\in Br_n$ and the knot homology of the closure of $β\cdotδ$ where $δ$ is a product of the JM elements in $Br_n$ △ Less

Submitted 29 January, 2018; v1 submitted 12 February, 2017; originally announced February 2017.

Comments: Many typos are corrected, published version, to appear in Transformation Groups

Knot Homology and sheaves on the Hilbert scheme of points on the plane

Authors: Alexei Oblomkov, Lev Rozansky

Abstract: For each braid $β\in Br_n$ we construct a $2$-periodic complex $\mathbb{S}_β$ of quasi-coherent $\mathbb{C}^*\times \mathbb{C}^*$-equivariant sheaves on the non-commutative nested Hilbert scheme $Hilb_{1,n}^{free}$. We show that the triply graded vector space of the hypecohomology $ \mathbb{H}( \mathbb{S}_β\otimes \wedge^\bullet (\mathcal{B}))$ with $\mathcal{B}$ being tautological vector bundle,… ▽ More For each braid $β\in Br_n$ we construct a $2$-periodic complex $\mathbb{S}_β$ of quasi-coherent $\mathbb{C}^*\times \mathbb{C}^*$-equivariant sheaves on the non-commutative nested Hilbert scheme $Hilb_{1,n}^{free}$. We show that the triply graded vector space of the hypecohomology $ \mathbb{H}( \mathbb{S}_β\otimes \wedge^\bullet (\mathcal{B}))$ with $\mathcal{B}$ being tautological vector bundle, is an isotopy invariant of the knot obtained by the closure of $β$. We also show that the support of cohomology of the complex $\mathbb{S}_β$ is supported on the ordinary nested Hilbert scheme $Hilb_{1,n}\subset Hilb_{1,n}^{free}$, that allows us to relate the triply graded knot homology to the sheaves on $Hilb_{1,n}$. △ Less

Submitted 29 January, 2018; v1 submitted 10 August, 2016; originally announced August 2016.

Comments: Many misprints are corrected, some proofs are expanded. To appear in Selecta Math. Comments are welcome!

Lectures on knot homology

Authors: Satoshi Nawata, Alexei Oblomkov

Abstract: We provide various formulations of knot homology that are predicted by string dualities. In addition, we also explain the rich algebraic structure of knot homology which can be understood in terms of geometric representation theory in these formulations. These notes are based on lectures in the workshop "Physics and Mathematics of Link Homology" at Centre de Recherches Mathematiques, Universite de… ▽ More We provide various formulations of knot homology that are predicted by string dualities. In addition, we also explain the rich algebraic structure of knot homology which can be understood in terms of geometric representation theory in these formulations. These notes are based on lectures in the workshop "Physics and Mathematics of Link Homology" at Centre de Recherches Mathematiques, Universite de Montreal. △ Less

Submitted 2 September, 2018; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: 46 pages, To appear in Proceedings of "Workshop on Physics and Mathematics of Link Homology", at Centre de Recherches Mathematiques, Universite de Montreal: v2 improvement in sec 2.2; v3 minor corrections and references added; v4 Figure 2.2 is corrected

Geometric representations of graded and rational Cherednik algebras

Authors: Alexei Oblomkov, Zhiwei Yun

Abstract: We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_ν$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_ν$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned automorphism $θ$. These modules are realized on the cohomology of affine Springer fibers (of finite type) that admit $\mathbb{C}^*$-actions. In the rational Cherednik… ▽ More We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_ν$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_ν$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned automorphism $θ$. These modules are realized on the cohomology of affine Springer fibers (of finite type) that admit $\mathbb{C}^*$-actions. In the rational Cherednik algebra case, the standard grading on these modules is derived from the perverse filtration on the cohomology of affine Springer fibers coming from its global analog: Hitchin fibers. When $θ$ is trivial, we show that our construction gives the irreducible finite-dimensional spherical modules $\mathfrak{L}_ν(triv)$ of $\mathfrak{H}^{gr}_ν$ and of $\mathfrak{H}^{rat}_ν$. We give a formula for the dimension of $\mathfrak{L}_ν(triv)$ and give a geometric interpretation of its Frobenius algebra structure. The rank two cases are studied in further details. △ Less

Submitted 18 February, 2016; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 82 pages; 8 pictures; some minor corrections; to appear in Advances in Mathematics

Torus knots and the rational DAHA

Authors: Eugene Gorsky, Alexei Oblomkov, Jacob Rasmussen, Vivek Shende

Abstract: We conjecturally extract the triply graded Khovanov-Rozansky homology of the (m, n) torus knot from the unique finite dimensional simple representation of the rational DAHA of type A, rank n - 1, and central character m/n. The conjectural differentials of Gukov, Dunfield and the third author receive an explicit algebraic expression in this picture, yielding a prescription for the doubly graded Kho… ▽ More We conjecturally extract the triply graded Khovanov-Rozansky homology of the (m, n) torus knot from the unique finite dimensional simple representation of the rational DAHA of type A, rank n - 1, and central character m/n. The conjectural differentials of Gukov, Dunfield and the third author receive an explicit algebraic expression in this picture, yielding a prescription for the doubly graded Khovanov-Rozansky homologies. We match our conjecture to previous conjectures of the first author relating knot homology to q, t-Catalan numbers, and of the last three authors relating knot homology to Hilbert schemes on singular curves. △ Less

Submitted 18 July, 2012; originally announced July 2012.

Comments: 54 pages

Journal ref: Duke Math. J. 163, no. 14 (2014), 2709-2794

On stable Khovanov homology of torus knots

Authors: Eugene Gorsky, Alexei Oblomkov, Jacob Rasmussen

Abstract: We conjecture that the stable Khovanov homology of torus knots can be described as the Koszul homology of an explicit non-regular sequence of quadratic polynomials. The corresponding Poincare series turns out to be related to the Rogers-Ramanujan identity. We conjecture that the stable Khovanov homology of torus knots can be described as the Koszul homology of an explicit non-regular sequence of quadratic polynomials. The corresponding Poincare series turns out to be related to the Rogers-Ramanujan identity. △ Less

Submitted 20 September, 2013; v1 submitted 11 June, 2012; originally announced June 2012.

Comments: 28 pages

MSC Class: 57M25; 13D02; 17B69; 11P84

Journal ref: Experimental Mathematics 22 (2013), no. 3, 265-281

The Hilbert scheme of a plane curve singularity and the HOMFLY homology of its link

Authors: Alexei Oblomkov, Jacob Rasmussen, Vivek Shende

Abstract: We conjecture an expression for the dimensions of the Khovanov-Rozansky HOMFLY homology groups of the link of a plane curve singularity in terms of the weight polynomials of Hilbert schemes of points scheme-theoretically supported on the singularity. The conjecture specializes to our previous conjecture relating the HOMFLY polynomial to the Euler numbers of the same spaces upon setting t = -1. By… ▽ More We conjecture an expression for the dimensions of the Khovanov-Rozansky HOMFLY homology groups of the link of a plane curve singularity in terms of the weight polynomials of Hilbert schemes of points scheme-theoretically supported on the singularity. The conjecture specializes to our previous conjecture relating the HOMFLY polynomial to the Euler numbers of the same spaces upon setting t = -1. By generalizing results of Piontkowski on the structure of compactified Jacobians to the case of Hilbert schemes of points, we give an explicit prediction of the HOMFLY homology of a (k, n) torus knot as a certain sum over diagrams. The Hilbert scheme series corresponding to the summand of the HOMFLY homology with minimal "a" grading can be recovered from the perverse filtration on the cohomology of the compactified Jacobian. In the case of (k,n) torus knots, this space furnishes the unique finite dimensional simple representation of the rational spherical Cherednik algebra with central character k/n. Up to a conjectural identification of the perverse filtration with a previously introduced filtration, the work of Haiman and Gordon and Stafford gives formulas for the Hilbert scheme series when k = mn + 1. △ Less

Submitted 10 January, 2012; originally announced January 2012.

Comments: with an Appendix by Eugene Gorsky

Journal ref: Geom. Topol. 22 (2018) 645-691

The Hilbert scheme of a plane curve singularity and the HOMFLY polynomial of its link

Authors: Alexei Oblomkov, Vivek Shende

Abstract: The intersection of a complex plane curve with a small three-sphere surrounding one of its singularities is a non-trivial link. The refined punctual Hilbert schemes of the singularity parameterize subschemes supported at the singular point of fixed length and whose defining ideals have a fixed number of generators. We conjecture that the generating function of Euler characteristics of refined punc… ▽ More The intersection of a complex plane curve with a small three-sphere surrounding one of its singularities is a non-trivial link. The refined punctual Hilbert schemes of the singularity parameterize subschemes supported at the singular point of fixed length and whose defining ideals have a fixed number of generators. We conjecture that the generating function of Euler characteristics of refined punctual Hilbert schemes is the HOMFLY polynomial of the link. The conjecture is verified for irreducible singularities y^k = x^n, whose links are the k,n torus knots, and for the singularity y^4 = x^7 - x^6 + 4 x^5 y + 2 x^3 y^2, whose link is the 2,13 cable of the trefoil. △ Less

Submitted 10 May, 2012; v1 submitted 8 March, 2010; originally announced March 2010.

Comments: 20 pages; some improvements are made

Journal ref: Duke Math. J. 161, no. 7 (2012), 1277-1303

Gromov-Witten/Donaldson-Thomas correspondence for toric 3-folds

Authors: D. Maulik, A. Oblomkov, A. Okounkov, R. Pandharipande

Abstract: We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting. We prove the equivariant Gromov-Witten theory of a nonsingular toric 3-fold X with primary insertions is equivalent to the equivariant Donaldson-Thomas theory of X. As a corollary, the topological vertex calculations by Agangic, Klemm, Marino, and Vafa of the Gromov-Witten theory of local Calabi-Yau toric 3-folds are proven to be correct in the full 3-leg setting. △ Less

Submitted 23 September, 2008; originally announced September 2008.

Comments: 46 pages

Donaldson-Thomas theory of A_n x P^1

Authors: D. Maulik, A. Oblomkov

Abstract: We study the relative Donaldson-Thomas theory of A_n x P^1, where A_n is the surface resolution of a type A_n singularity. The action of divisor operators in the theory is expressed in terms of operators of the affine algebra \hat{gl}(n+1) on Fock space. Assuming a nondegeneracy conjecture, this gives a complete solution for the theory. The results complete the comparison of this theory with the… ▽ More We study the relative Donaldson-Thomas theory of A_n x P^1, where A_n is the surface resolution of a type A_n singularity. The action of divisor operators in the theory is expressed in terms of operators of the affine algebra \hat{gl}(n+1) on Fock space. Assuming a nondegeneracy conjecture, this gives a complete solution for the theory. The results complete the comparison of this theory with the Gromov-Witten theory of A_n x P^1 and the quantum cohomology of the Hilbert scheme of points on A_n. △ Less

Submitted 17 September, 2008; v1 submitted 19 February, 2008; originally announced February 2008.

Comments: 30 pages, 2 figures; minor changes

Quantum cohomology of the Hilbert scheme of points on A_n-resolutions

Authors: D. Maulik, A. Oblomkov

Abstract: We determine the two-point invariants of the equivariant quantum cohomology of the Hilbert scheme of points of surface resolutions associated to type A_n singularities. The operators encoding these invariants are expressed in terms of the action of the affine Lie algebra \hat{gl}(n+1) on its basic representation. Assuming a certain nondegeneracy conjecture, these operators determine the full str… ▽ More We determine the two-point invariants of the equivariant quantum cohomology of the Hilbert scheme of points of surface resolutions associated to type A_n singularities. The operators encoding these invariants are expressed in terms of the action of the affine Lie algebra \hat{gl}(n+1) on its basic representation. Assuming a certain nondegeneracy conjecture, these operators determine the full structure of the quantum cohomology ring. A relationship is proven between the quantum cohomology and Gromov-Witten/Donaldson-Thomas theories of A_n x P^1. We close with a discussion of the monodromy properties of the associated quantum differential equation and a generalization to singularities of type D and E. △ Less

Submitted 14 January, 2009; v1 submitted 19 February, 2008; originally announced February 2008.

Comments: 37 pages, 2 figures; typos are corrected

A Lie-theoretic construction of spherical symplectic reflection algebras

Authors: P. Etingof, S. Loktev, A. Oblomkov, L. Rybnikov

Abstract: We propose a construction of the spherical subalgebra of a symplectic reflection algebra of an arbitrary rank corresponding to a star-shaped affine Dynkin diagram. Namely, it is obtained from the universal enveloping algebra of a certain semi-simple Lie algebra by the process of quantum Hamiltonian reduction. As an application, we propose a construction of finite-dimensional representations of t… ▽ More We propose a construction of the spherical subalgebra of a symplectic reflection algebra of an arbitrary rank corresponding to a star-shaped affine Dynkin diagram. Namely, it is obtained from the universal enveloping algebra of a certain semi-simple Lie algebra by the process of quantum Hamiltonian reduction. As an application, we propose a construction of finite-dimensional representations of the spherical subalgebra. △ Less

Submitted 1 August, 2008; v1 submitted 15 January, 2008; originally announced January 2008.

Comments: LaTeX, 17 pages, 2 figures. Final version

Report number: ITEP-TH-61/07

Journal ref: Transformation Groups, 13 (2008), no. 3, pp. 541-556

Harish-Chandra homomorphisms and symplectic reflection algebras for wreath-products

Authors: Pavel Etingof, Wee Liang Gan, Victor Ginzburg, Alexei Oblomkov

Abstract: The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflec… ▽ More The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflection functors and shift functors for generalized preprojective algebras and symplectic reflection algebras associated with wreath-products. △ Less

Submitted 26 November, 2005; v1 submitted 19 November, 2005; originally announced November 2005.

Comments: Introduction expanded

Deformed Harish-Chandra homomorphism for the cyclic quiver

Authors: A. Oblomkov

Abstract: In the case of cyclic quiver we prove that the deformed Harish-Chandra map whose existence was conjectured by Etingof and Ginzburg is well defined. As an application we prove Kirillov-type formula for the cyclotomic Bessel function. In the case of cyclic quiver we prove that the deformed Harish-Chandra map whose existence was conjectured by Etingof and Ginzburg is well defined. As an application we prove Kirillov-type formula for the cyclotomic Bessel function. △ Less

Submitted 19 December, 2006; v1 submitted 19 April, 2005; originally announced April 2005.

Comments: 12 pages, no pictures; some proofs are improved improved, references are added

Generalized double affine Hecke algebras of higher rank

Authors: Pavel Etingof, Wee Liang Gan, Alexei Oblomkov

Abstract: We define generalized double affine Hecke algebras (GDAHA) of higher rank, attached to a non-Dynkin star-like graph D. This generalizes GDAHA of rank 1 defined in math.QA/0406480 and math.QA/0409261. If the graph is extended D4, then GDAHA is the algebra defined by Sahi in q-alg/9710032, which is a generalization of the Cherednik algebra of type BCn. We prove the formal PBW theorem for GDAHA, an… ▽ More We define generalized double affine Hecke algebras (GDAHA) of higher rank, attached to a non-Dynkin star-like graph D. This generalizes GDAHA of rank 1 defined in math.QA/0406480 and math.QA/0409261. If the graph is extended D4, then GDAHA is the algebra defined by Sahi in q-alg/9710032, which is a generalization of the Cherednik algebra of type BCn. We prove the formal PBW theorem for GDAHA, and parametrize its irreducible representations in the case when D is affine (i.e. extended D4, E6, E7, E8) and q=1. We formulate a series of conjectures regarding algebraic properties of GDAHA. We expect that, similarly to how GDAHA of rank 1 provide quantizations of del Pezzo surfaces (as shown in math.QA/0406480), GDAHA of higher rank provide quantizations of deformations of Hilbert schemes of these surfaces. The proofs are based on the study of the rational version of GDAHA (which is closely related to the algebras studied in math.QA/0401038), and differential equations of Knizhnik-Zamolodchikov type. △ Less

Submitted 12 June, 2006; v1 submitted 5 April, 2005; originally announced April 2005.

Comments: 25 pages, latex; minor corrections are made, some proofs were expanded

Finite dimensional representations of double affine Hecke algebra of rank 1

Authors: A. Oblomkov, E. Stoica

Abstract: We classify the finite dimensional representations of the double affine Hecke algebra of type $C^{\vee}C_1$ in the case when $q$ is not a root of 1. We classify the finite dimensional representations of the double affine Hecke algebra of type $C^{\vee}C_1$ in the case when $q$ is not a root of 1. △ Less

Submitted 17 September, 2008; v1 submitted 15 September, 2004; originally announced September 2004.

Comments: 8 pages, no figures; exposition is improved

Generalized double affine Hecke algebras of rank 1 and quantized Del Pezzo surfaces

Authors: Pavel Etingof, Alexei Oblomkov, Eric Rains

Abstract: Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D4,E6,E7,E8). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z_l\ltimes Z^2, where l is 2,3,4,… ▽ More Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D4,E6,E7,E8). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z_l\ltimes Z^2, where l is 2,3,4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D4 is the Cherednik algebra of type C^\check C_1, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlevé VI. △ Less

Submitted 12 June, 2006; v1 submitted 23 June, 2004; originally announced June 2004.

Comments: 44 pages, latex; in the new version there is a new appendix by W. Crawley-Boevey and P.Shaw

Vector valued spherical functions and Macdonald-Koornwinder polynomials

Authors: Alexei A. Oblomkov, Jasper V. Stokman

Abstract: We interpret the five parameter family of Macdonald-Koornwinder polynomials as vector valued spherical functions on quantum Grassmannians. We interpret the five parameter family of Macdonald-Koornwinder polynomials as vector valued spherical functions on quantum Grassmannians. △ Less

Submitted 27 November, 2003; originally announced November 2003.

Comments: 47 pages, no figures

Quantization, orbifold cohomology, and Cherednik algebras

Authors: Pavel Etingof, Alexei Oblomkov

Abstract: We compute the Hochschild homology of the crossed product $\Bbb C[S_n]\ltimes A^{\otimes n}$ in terms of the Hochschild homology of the associative algebra $A$ (over $\Bbb C$). It allows us to compute the Hochschild (co)homology of $\Bbb C[W]\ltimes A^{\otimes n}$ where $A$ is the $q$-Weyl algebra or any its degeneration and $W$ is the Weyl group of type $A_{n-1}$ or $B_n$. For a deformation qua… ▽ More We compute the Hochschild homology of the crossed product $\Bbb C[S_n]\ltimes A^{\otimes n}$ in terms of the Hochschild homology of the associative algebra $A$ (over $\Bbb C$). It allows us to compute the Hochschild (co)homology of $\Bbb C[W]\ltimes A^{\otimes n}$ where $A$ is the $q$-Weyl algebra or any its degeneration and $W$ is the Weyl group of type $A_{n-1}$ or $B_n$. For a deformation quantization $A_+$ of an affine symplectic variety $X$ we show that the Hochschild homology of $S^n A$, $A=A_+[\hbar^{-1}]$ is additively isomorphic to the Chen-Ruan orbifold cohomology of $S^nX$ with coefficients in $\Bbb C((\hbar))$. We prove that for $X$ satisfying $H^1(X,\Bbb C)=0$ (or $A\in VB(d)$) the deformation of $S^nX$ ($\Bbb C[S_n]\ltimes A^{\otimes n}$) which does not come from deformations of $X$ ($A$) exists if and only if $\dim X=2$ ($d=2$). In particular if $A$ is $q$-Weyl algebra (its trigonometric or rational degeneration) then the corresponding nontrivial deformations yield the double affine Hecke algebras of type $A_{n-1}$ (its trigonometric or rational versions) introduced by Cherednik. △ Less

Submitted 1 May, 2006; v1 submitted 2 November, 2003; originally announced November 2003.

Comments: 11 pages, no figures; proof and statement of Cor. 3.3, Cor 3.7 as well as proof of Theorem 4.1. are corrected; two references are added in the new version; minor corrections

Laplace transformations and spectral theory of two-dimensional semi-discrete and discrete hyperbolic Schroedinger operators

Authors: Alexei A. Oblomkov, Alexei V. Penskoi

Abstract: We introduce Laplace transformations of 2D semi-discrete hyperbolic Schroedinger operators and show their relation to a semi-discrete 2D Toda lattice. We develop the algebro-geometric spectral theory of 2D semi-discrete hyperbolic Schroedinger operators and solve the direct spectral problem for 2D discrete ones (the inverse problem for discrete operators was already solved by Krichever). Using t… ▽ More We introduce Laplace transformations of 2D semi-discrete hyperbolic Schroedinger operators and show their relation to a semi-discrete 2D Toda lattice. We develop the algebro-geometric spectral theory of 2D semi-discrete hyperbolic Schroedinger operators and solve the direct spectral problem for 2D discrete ones (the inverse problem for discrete operators was already solved by Krichever). Using the spectral theory we investigate spectral properties of the Laplace transformations of these operators. This makes it possible to find solutions of the semi-discrete and discrete 2D Toda lattices in terms of theta-functions. △ Less

Submitted 22 March, 2004; v1 submitted 20 November, 2003; originally announced November 2003.

Comments: AMS-LaTeX, 34 pages; v.2: minor corrections (typos, bibliography etc); v.3: minor corrections

MSC Class: 14H70; 39A70; 34K06

Journal ref: Int. Math. Res. Not. 2005, no. 18, 1089--1126

Double affine Hecke algebras of rank 1 and affine cubic surfaces

Authors: Alexei Oblomkov

Abstract: We study the algebraic properties of the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of double affine Hecke algebras of type $C^\vee C_1$. This family generalizes Cherednik's double affine Hecke algebras of rank 1. It was introduced by Sahi and studied by Noumi and Stokman as an algebraic structure which controls Askey-Wilson polynomials. We show that if $q=1$, then the spectrum of the center o… ▽ More We study the algebraic properties of the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of double affine Hecke algebras of type $C^\vee C_1$. This family generalizes Cherednik's double affine Hecke algebras of rank 1. It was introduced by Sahi and studied by Noumi and Stokman as an algebraic structure which controls Askey-Wilson polynomials. We show that if $q=1$, then the spectrum of the center of $H$ is an affine cubic surface $C$, obtained from a projective one by removing a triangle consisting of smooth points. Moreover, any such surface is obtained as the spectrum of the center of $H$ for some values of parameters. This result allows one to give a simple geometric description of the action of an extension of $PGL_2(\Bbb Z)$ by $\Bbb Z$ on the center of $H$. When $C$ is smooth, it admits a unique algebraic symplectic structure, and the spherical subalgebra $eHe$ of the algebra $H$ for $q=e^\hbar$ provides its deformation quantization. Using that $H^2(C,\Bbb C)=\Bbb C^5$, we find that the Hochschild cohomology $HH^2(H)$ (for $q=e^\hbar$) is 5-dimensional for generic parameter values. From this we deduce that the only deformations of $H$ come from variations of parameters. This explains from the point of view of noncommutative geometry why one cannot add more parameters into the theory of Askey-Wilson polynomials. We also prove that the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of algebras yields the universal deformation of $q$-Weyl algebra crossed with ${\Bbb Z}_2$ and the family of cubic surfaces $C=C_{\underline{t}}$, $\underline{t}\in \CC^4_{\underline{t}}$ gives the universal deformation of the Poisson algebra $\CC[X^{\pm 1},P^{\pm 1}]^{{\Bbb ZZ}_2}$. △ Less

Submitted 23 November, 2003; v1 submitted 27 June, 2003; originally announced June 2003.

Comments: 30 pages, no figures;some typos are corrected, the proofs and statements from the third section are improved

Double affine Hecke algebras and Calogero-Moser spaces

Authors: A. Oblomkov

Abstract: In this paper we prove that the spherical subalgebra $eH_{1,τ}e$ of the double affine Hecke algebra $H_{1,τ}$ is an integral Cohen-Macaulay algebra isomorphic to the center $Z$ of $H_{1,τ}$, and $H_{1,τ}e$ is a Cohen-Macaulay $eH_{1,τ}e$-module with the property $H_{1,τ}=End_{eH_{1,τ}e}(H_{1,τ}e)$. In the case of the root system $A_{n-1}$ the variety $Spec(Z)$ is smooth and coincides with the co… ▽ More In this paper we prove that the spherical subalgebra $eH_{1,τ}e$ of the double affine Hecke algebra $H_{1,τ}$ is an integral Cohen-Macaulay algebra isomorphic to the center $Z$ of $H_{1,τ}$, and $H_{1,τ}e$ is a Cohen-Macaulay $eH_{1,τ}e$-module with the property $H_{1,τ}=End_{eH_{1,τ}e}(H_{1,τ}e)$. In the case of the root system $A_{n-1}$ the variety $Spec(Z)$ is smooth and coincides with the completion of the configuration space of the relativistic analog of the trigomonetric Calogero-Moser system. This implies the result of Cherednik that the module $eH_{1,τ}$ is projective and all irreducible finite dimensional representations of $H_{1,τ}$ are regular representation of the finite Hecke algebra. △ Less

Submitted 15 March, 2003; originally announced March 2003.

Comments: 26 pages, no figures

Generalized Lame operators

Authors: Oleg Chalykh, Pavel Etingof, Alexei Oblomkov

Abstract: We introduce a class of multidimensional Schrödinger operators with elliptic potential which generalize the classical Lamé operator to higher dimensions. One natural example is the Calogero--Moser operator, others are related to the root systems and their deformations. We conjecture that these operators are algebraically integrable, which is a proper generalization of the finite-gap property of… ▽ More We introduce a class of multidimensional Schrödinger operators with elliptic potential which generalize the classical Lamé operator to higher dimensions. One natural example is the Calogero--Moser operator, others are related to the root systems and their deformations. We conjecture that these operators are algebraically integrable, which is a proper generalization of the finite-gap property of the Lamé operator. Using earlier results of Braverman, Etingof and Gaitsgory, we prove this under additional assumption of the usual, Liouville integrability. In particular, this proves the Chalykh--Veselov conjecture for the elliptic Calogero--Moser problem for all root systems. We also establish algebraic integrability in all known two-dimensional cases. A general procedure for calculating the Bloch eigenfunctions is explained. It is worked out in detail for two specific examples: one is related to B_2 case, another one is a certain deformation of the A_2 case. In these two cases we also obtain similar results for the discrete versions of these problems, related to the difference operators of Macdonald--Ruijsenaars type. △ Less

Submitted 13 February, 2003; v1 submitted 2 December, 2002; originally announced December 2002.

Comments: 38 pages, latex; in the new version a reference was added

Jack polynomials for the $BC_n$ root system and generalized spherical functions

Authors: Alexei Oblomkov

Abstract: We give a construction for three parameter family of Jack polynolials for the root system $BC_n$ through the generalized spherical functions on the symmetric space $GL(m+n)/GL(m)\times GL(n)$. We give a construction for three parameter family of Jack polynolials for the root system $BC_n$ through the generalized spherical functions on the symmetric space $GL(m+n)/GL(m)\times GL(n)$. △ Less

Submitted 30 December, 2002; v1 submitted 8 February, 2002; originally announced February 2002.

Comments: 24 pages

Two-dimensional algebro-geometric difference operators

Authors: Alexei A. Oblomkov, Alexei V. Penskoi

Abstract: A generalized inverse problem for a two-dimensional difference operator is introduced. A new construction of the algebro-geometric difference operators of two types first considered by I.M.Krichever and S.P.Novikov is proposed A generalized inverse problem for a two-dimensional difference operator is introduced. A new construction of the algebro-geometric difference operators of two types first considered by I.M.Krichever and S.P.Novikov is proposed △ Less

Submitted 12 November, 2000; v1 submitted 18 October, 2000; originally announced October 2000.

Comments: 11 pages; added references, enlarged introduction, rewritten abstract

MSC Class: 14H70; 14K25; 39A70

Journal ref: J. Phys. A 33 (2000) no. 50 9255-9264