BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Yuri Berest

Yuri Berest appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RTmath.QAmath.KTmath.RAmath.ATmath-phmath.MPmath.GTmath.AGmath.GR

Catalog footprint

What is connected

20works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2020arXiv

Representation homology of simply connected spaces

Let $G$ be an affine algebraic group defined over field $k$ of characteristic zero. We study the derived moduli space of G-local systems on a pointed connected CW complex X trivialized at the basepoint of $X$. This derived moduli space is represented by an affine DG scheme RLoc$_G(X,*)$: we call the (co)homology of the structure sheaf of RLoc$_G(X,*)$ the representation homology of $X$ in $G$ and denote it by HR$_*(X,G)$. The HR$_0(X,G)$ is isomorphic to the coordinate ring of the representation variety Rep$_G[π_1(X)]$ of the fundamental group of $X$ in $G$ -- a well-known algebro-geometric invariant of $X$ with many applications in topology. The case when X is simply connected seems much less studied: in this case, the HR$_0(X,G)$ is trivial but the higher representation homology is still an interesting rational invariant of $X$ depending on the algebraic group $G$. In this paper, we use rational homotopy theory to compute the HR$_*(X,G)$ for an arbitrary simply connected space $X$ (of finite rational type) in terms of its Quillen and Sullivan algebraic models. When $G$ is reductive, we also compute the $G$-invariant part of representation homology, HR$_*(X,G)^G$, and study the question when HR$_*(X,G)^G$ is free of locally finite type as a graded commutative algebra. This question turns out to be closely related to the so-called Strong Macdonald Conjecture, a celebrated result in representation theory proposed (as a conjecture) by B. Feigin and P. Hanlon in the 1980s and proved by S. Fishel, I. Grojnowski and C. Teleman in 2008. Reformulating the Strong Macdonald Conjecture in topological terms, we give a simple characterization of spaces $X$ for which HR$_*(X,G)^G$ is a graded symmetric algebra for any complex reductive group $G$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Representation homology of topological spaces

In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology parallel to the Loday-Pirashvili construction of higher Hochschild homology; in fact, we establish a direct geometric relation between the two theories by proving that the representation homology of the suspension of a (pointed connected) space is isomorphic to its higher Hochschild homology. We also construct some natural maps and spectral sequences relating representation homology to other homology theories associated with spaces (such as Pontryagin algebras, $S^1$-equivariant homology of the free loop space and stable homology of automorphism groups of f.g. free groups). We compute representation homology explicitly (in terms of known invariants) in a number of interesting cases, including spheres, suspensions, complex projective spaces, Riemann surfaces and some 3-dimensional manifolds, such as link complements in $\R^3$ and the lens spaces $ L(p,q) $. In the case of link complements, we identify the representation homology in terms of ordinary Hochschild homology, which gives a new algebraic invariant of links in $\R^3$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Affine cubic surfaces and character varieties of knots

It is known that the fundamental group homomorphism $π_1(T^2) \to π_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of knots arise from the natural (restriction) map induced by the above homomorphism on the $\mathrm{SL}_2$-character varieties of the corresponding fundamental groups. In our earlier work [BS16], we proposed a conjecture that the classical restriction map admits a canonical 2-parameter deformation into a smooth cubic surface. In this paper, we show that (modulo some mild technical conditions) our conjecture follows from a known conjecture of Brumfiel and Hilden [BH95] on the algebraic structure of the peripheral system of a knot. We then confirm the Brumfiel-Hilden conjecture for an infinite class of knots, including all torus knots, 2-bridge knots, and certain pretzel knots. We also show the class of knots for which the Brumfiel-Hilden conjecture holds is closed under taking connect sums and certain knot coverings.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Dual Hodge decompositions and derived Poisson brackets

We study general properties of Hodge-type decompositions of cyclic and Hochschild homology of universal enveloping algebras of (DG) Lie algebras. Our construction generalizes the operadic construction of cyclic homology of Lie algebras due to Getzler and Kapranov. We give a topological interpretation of such Lie Hodge decompositions in terms of $S^1$-equivariant homology of the free loop space of a simply connected topological space. We prove that the canonical derived Poisson structure on a universal enveloping algebra arising from a cyclic pairing on the Koszul dual coalgebra preserves the Hodge filtration on cyclic homology. As an application, we show that the Chas-Sullivan Lie algebra of any simply connected closed manifold carries a natural Hodge filtration. We conjecture that the Chas-Sullivan Lie algebra is actually graded, i.e. the string topology bracket preserves the Hodge decomposition.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Perverse Sheaves and Knot Contact Homology

In this paper, which is mostly a research announcement, we give a new algebraic construction of knot contact homology in the sense of L. Ng [Ng05a]. For a link $L$ in $ {\mathbb R}^3 $, we define a differential graded (DG) $k$-category $ \tilde{\mathscr A} $ with finitely many objects, whose quasi-equivalence class is a topological invariant of $ L $. In the case when $L$ is a knot, the endomorphism algebra of a distinguished object of $ \tilde{\mathscr A} $ coincides with the fully noncommutative knot DGA as defined by Ekholm, Etnyre, Ng and Sullivan in [EENS13a]. The input of our construction is a natural action of the braid group $B_n$ on the category of perverse sheaves on a two-dimensional disk with singularities at $n$ marked points, studied by Gelfand, MacPherson and Vilonen in [GMV96]. As an application, we show that the category of finite-dimensional representations of the link $k$-category $ \tilde{A} = H_0(\tilde{\mathscr A}) $ defined as the $0$th homology of our DG category $ \tilde{\mathscr A} $ is equivalent to the category of perverse sheaves on $ {\mathbb R}^3 $ which are singular along the link $ L $. We also obtain several generalizations of the category $ \tilde{\mathscr A} $ by extending the Gelfand-MacPherson-Vilonen braid action.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Chern-Simons forms and higher character maps of Lie representations

This paper is a sequel to our earlier work [BFPRW], where we study the derived representation scheme DRep_{g}(A) parametrizing the representations of a Lie algebra A in a finite-dimensional reductive Lie algebra g. In [BFPRW], we defined two canonical maps Tr_{g}(A): HC^{(r)}(A) \to \H[\DRep_{g}(A)]^G and Φ_{g}(A): H[\DRep_{g}(A)]^G \to H[\DRep_{h}(A)]^W called the Drinfeld trace and the derived Harish-Chandra homomorphism, respectively. In this paper, we give an explicit formula for the Drinfeld trace in terms of Chern-Simons classes of a canonical g-torsor associated to the pair (A, g). Our construction is inspired by (and, in a sense, dual to) the classical construction of `additive regulator maps' due to Beilinson and Feigin. As a consequence, we show that, if A is an abelian Lie algebra, the composite map Phi_{g}(A) Tr_{g}(A) is represented by a canonical differential operator acting on differential forms on Sym(A) and depending only on the Cartan data (h, W, P), where P is a W-invariant polynomial on h. We derive a combinatorial formula for this operator that plays an important role in the study of derived commuting schemes in [BFPRW].

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Representation Homology, Lie Algebra Cohomology and Derived Harish-Chandra Homomorphism

We study the derived representation scheme DRep_n(A) parametrizing the n-dimensional representations of an associative algebra A over a field of characteristic zero. We show that the homology of DRep_n(A) is isomorphic to the Chevalley-Eilenberg homology of the current Lie coalgebra gl_n^*(C) defined over a Koszul dual coalgebra of A. We extend this isomorphism to representation schemes of Lie algebras: for a finite-dimensional reductive Lie algebra g, we define the derived affine scheme DRep_g(a) parametrizing the representations (in g) of a Lie algebra a; we show that the homology of DRep_g(a) is isomorphic to the Chevalley-Eilenberg homology of the Lie coalgebra g^*(C), where C is a cocommutative DG coalgebra Koszul dual to the Lie algebra a. We construct a canonical DG algebra map Φ_g(a) : DRep_g(a)^G -> DRep_h(a)^W, which is a homological extension of the classical restriction homomorphism. We call Φ_g(a) a derived Harish-Chandra homomorphism. We conjecture that, for a two-dimensional abelian Lie algebra a, the derived Harish-Chandra homomorphism is a quasi-isomorphism, and provide some evidence for this conjecture. For any complex Lie algebra g, we compute the Euler characteristic of DRep_g(a)^G in terms of matrix integrals over G and compare it to the Euler characteristic of DRep_h(a)^W.This yields an interesting combinatorial identity, which we prove for gl_n and sl_n (for all n). Our identity is analogous to the classical Macdonald identity, and our quasi-isomorphism conjecture is analogous to the strong Macdonald conjecture proved by S.Fishel, I.Grojnowski and C.Teleman. We explain this analogy by giving a new homological interpretation of Macdonald's conjectures in terms of derived representation schemes, parallel to our Harish-Chandra quasi-isomorphism conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Dixmier Groups and Borel Subgroups

Let G be the group of symplectic (unimodular) automorphisms of the free associative algebra on two generators. A theorem of G.Wilson and the first author asserts that G acts transitively the Calogero-Moser spaces C_n for all n. We generalize this theorem in two ways: first, we prove that the action of G on C_n is doubly transitive, meaning that G acts transitively on the configuration space of (ordered) pairs of points in C_n; second, we prove that the diagonal action of G on the product of (any number of) copies of C_n is transitive provided the corresponding n's are pairwise distinct. In the second part of the paper, we study the isotropy subgroups G_n of G in C_n. We equip each G_n with the structure of an ind-algebraic group and classify the Borel subgroups of these ind-algebraic groups for all n. Our classification shows that every Borel subgroup of G (= G_0) is conjugate to the subgroup B of triangular (elementary) automorphisms; on the other hand, for n > 0, the conjugacy classes of Borel subgroups of G_n are parametrized by certain orbits of B in C_n. Our main result is that the conjugacy classes of non-abelian Borel subgroups of G_n correspond precisely to the B-orbits of the C^*-fixed points in C_n and thus, are in bijection with the partitions of n. We also prove an infinite-dimensional analogue of the classical theorem of R.Steinberg, characterizing the (non-abelian) Borel subgroups of G_n in purely group-theoretic terms. Together with our classification this last theorem implies that the G_n are pairwise non-isomorphic as abstract groups. Our study of the groups G_n is motivated by the fact that these are the automorphism groups of non-isomorphic simple algebras Morita equivalent to the Weyl algebra A_1(C). From this perspective, our results generalize well-known theorems of J.Dixmier and L.Makar-Limanov about the automorphism group of A_1(C).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Stable representation homology and Koszul duality

This paper is a sequel to [BKR], where we studied the derived affine scheme DRep_n(A) of the classical representation scheme Rep_n(A) for an associative k-algebra A. In [BKR], we have constructed canonical trace maps Tr_n(A): HC(A) -> H[DRep_n(A)]^GL extending the usual characters of representations to higher cyclic homology. This raises a question whether a well known theorem of Procesi [P] holds in the derived setting: namely, is the algebra homomorphism Sym[Tr_n(A)]: Sym[HC(A)] -> H[DRep_n(A)]^GL defined by Tr_n(A) surjective ? In the present paper, we answer this question for augmented algebras. Given such an algebra, we construct a canonical dense DG subalgebra DRep_\infty(A)^Tr of the topological DG algebra DRep_\infty(A)^{GL_\infty}. It turns out that on passing to the inverse limit (as n -> \infty), the family of maps Sym[Tr_n(A)] "stabilizes" to an isomorphism Sym[\bar{HC}(A)] = H[DRep_\infty(A)^Tr]. The derived version of Procesi's theorem does therefore hold in the limit. However, for a fixed (finite) n, there exist homological obstructions to the surjectivity of Sym[Tr_n(A)], and we show on simple examples that these obstructions do not vanish in general. We compare our result with the classical theorem of Loday-Quillen and Tsygan on stable homology of matrix Lie algebras. We show that the relative Chevalley-Eilenberg complex C(gl_\infty(A), gl_\infty(k); k) equipped with the natural coalgebra structure is Koszul dual to the DG algebra DRep_\infty(A)^Tr. We also extend our main results to bigraded DG algebras, in which case we show that DRep_{\infty}(A)^Tr = DRep_{\infty}(A)^GL_{\infty}. As an application, we compute the (bigraded) Euler characteristics of DRep_\infty(A)^GL_{\infty} and \bar{HC}(A) and derive some interesting combinatorial identities.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Derived Representation Schemes and Cyclic Homology

We describe the derived functor DRep_V(A) of the affine representation scheme Rep_V(A), parametrizing the representations of an associative k-algebra A on a finite-dimensional vector space V. We construct the characteristic maps Tr_V(A)_n: HC_n(A) \to H_n[DRep_V(A)], extending the canonical trace Tr_V(A): HC_0(A) \to k[Rep_V(A)] to the higher cyclic homology of the algebra A, and describe a related derived version of the representation functor introduced recently by M. Van den Bergh. We study various operations on the homology of DRep_V(A) induced by known operations on cyclic and Hochschild homology of A.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Derived Representation Schemes and Noncommutative Geometry

Some 15 years ago M. Kontsevich and A. Rosenberg [KR] proposed a heuristic principle according to which the family of schemes ${Rep_n(A)}$ parametrizing the finite-dimensional represen- tations of a noncommutative algebra A should be thought of as a substitute or "approximation" for Spec(A). The idea is that every property or noncommutative geometric structure on A should induce a corresponding geometric property or structure on $Rep_n(A)$ for all n. In recent years, many interesting structures in noncommutative geometry have originated from this idea. In practice, however, if an associative algebra A possesses a property of geometric nature (e.g., A is a NC complete intersection, Cohen-Macaulay, Calabi-Yau, etc.), it often happens that, for some n, the scheme $Rep_n(A)$ fails to have the corresponding property in the usual algebro-geometric sense. The reason for this seems to be that the representation functor $Rep_n$ is not "exact" and should be replaced by its derived functor $DRep_n$ (in the sense of non-abelian homological algebra). The higher homology of $DRep_n(A)$, which we call representation homology, obstructs $Rep_n(A)$ from having the desired property and thus measures the failure of the Kontsevich-Rosenberg "approximation." In this paper, which is mostly a survey, we prove several results confirming this intuition. We also give a number of examples and explicit computations illustrating the theory developed in [BKR] and [BR].

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Dunkl Operators and Quasi-invariants of Complex Reflection Groups

These are lecture notes of a minicourse given by the first author at the Summer School on Quantization at the University of Notre Dame in June 2011. The notes were written up and expanded by the second author who took the liberty of adding a few interesting results and proofs from the literature. In a broad sense, our goal is to give an introduction to representation theory of rational Cherednik algebras and some of its recent applications. More specifically, we focus on the two concepts featuring in the title (Dunkl operators and quasi-invariants) and explain the relation between them. The course was originally designed for graduate students and nonexperts in representation theory. In these notes, we tried to preserve an informal style, even at the expense of making imprecise claims and sacrificing rigor.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Noncommutative Poisson structures, derived representation schemes and Calabi-Yau algebras

Recantly, William Crawley-Boevey proposed the definition of a Poisson structure on a noncommutative algebra $A$ based on the Kontsevich principle. His idea was to find the {\it weakest} possible structure on $A$ that induces standard (commutative) Poisson structures on all representation spaces $ \Rep_V(A) $. It turns out that such a weak Poisson structure on $A$ is a Lie algebra bracket on the 0-th cyclic homology $ \HC_0(A) $ satisfying some extra conditions; it was thus called in an {\it $ H_0$-Poisson structure}. This paper studies a higher homological extension of this construction. In our more general setting, we show that noncommutative Poisson structures in the above sense behave nicely with respect to homotopy (in the sense that homotopy equivalent NC Poisson structures on $A$ induce (via the derived representation functor) homotopy equivalent Poisson algebra structures on the derved representation schemes $\DRep_V(A) $). For an ordinary algebra $A$, a noncommutative Poisson structure on a semifree (more generally, cofibrant) resolution of $A$ yields a graded (super) Lie algebra structure on the full cyclic homology $ \HC_\bullet(A) $ extending Crawley-Boevey's $\H_0$-Poisson structure on $ \HC_0(A) $. We call such structures {\it derived Poisson structures} on $A$. We also show that derived Poisson structures do arise in nature: the cobar construction $Ω(C)$ of an $(-n)$-cyclic coassociative DG coalgebra (in particular, of the linear dual of a finite dimensional $n$-cyclic DG algebra) $C$ carries a $(2-n)$-double Poisson bracket in the sense of Van den Bergh. This in turn induces a corresponding noncommutative $(2-n)$-Poisson structure on $Ω(C)$. When (the semifree) DG algebra $Ω(C)$ resolves an honest algebra $A$, $A$ acquires a derived $(2-n)$-Poisson structure.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Simple Construction of Derived Representation Schemes

We present a simple algebraic construction of the (non-abelian) derived functors DRep_n(A) of the representation scheme Rep_n(A), parametrizing the n-dimensional representations of an associative algebra A. We construct a related derived version of the representation functor introduced recently by M. Van den Bergh and, as an application, compute the derived tangent spaces TDRep_n(A) to Rep_n(A). We prove that our construction of DRep_n(A) agrees with an earlier construction of derived action spaces, due to I. Ciocan-Fontanine and M. Kapranov; however, our approach, proofs and motivation are quite different. This paper is mainly a research announcement; detailed proofs and applications will appear elsewhere.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Cherednik algebras and differential operators on quasi-invariants

We develop representation theory of the rational Cherednik algebra H associated to a finite Coxeter group W in a vector space h. It is applied to show that, for integral values of parameter `c', the algebra H is simple and Morita equivalent to D(h)#W, the cross product of W with the algebra of polynomial differential operators on h. We further study an algebra Q of quasi-invariant polynomials on h introduced by Chalykh, Feigin, and Veselov [CV], [FV], such that C[h]^W \subset Q \subset C[h]. We prove that the algebra D(Q) of differential operators on quasi-invariants is a simple algebra, Morita equivalent to D(h). The subalgebra D(Q)^W of W-invariant operators turns out to be isomorphic to the spherical subalgebra eHe \subset H. We also show that D(Q) is generated, as an algebra, by Q and its `Fourier dual Q*, and that D(Q) is a rank one projective (Q-Q*)-module (via multiplication-action on D(Q) on opposite sides).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ideals of Rings of Differential Operators on Algebraic Curves (With an Appendix by George Wilson)

Let X be a complex smooth affine irreducible curve, and let D = D(X) be the ring of global differential operators on X. In this paper, we give a geometric classification of left ideals in $ D $ and study the natural action of the Picard group of D on the space J(D) of isomorphism classes of such ideals. We recall that, up to isomorphism in the Grothendieck group K_0(D), the ideals of D are classified by the Picard group of X: there is a natural fibration γ: J(D) \to Pic(X), whose fibres are the stable isomorphism classes of ideals of D (see \cite{BW}). In this paper, we refine this classification by describing the fibres of γin terms of finite-dimensional algebraic varieties C_n(X, I), which we call the (generalized) Calogero-Moser spaces. We define these varieties as representation varieties of deformed preprojective algebras over a certain extension of the ring of regular functions on $ X $. As in the classical case (see \cite{Wi}), we prove that C_n(X, I) are smooth affine irreducible varieties of dimension 2n. Our results generalize the description of left ideals of the first Weyl algebra A_1(C) in \cite{BW1, BW2}; however, our methods are quite different.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Quasi-Invariants of Complex Reflection Groups

We introduce quasi-invariant polynomials for an arbitrary finite complex reflection group W. Unlike in the Coxeter case, the space Q_k of quasi-invariants of a given multiplicity is not, in general, an algebra but a module over the coordinate ring of some (singular) affine variety X_k. We extend the main results of Etingof, Ginzburg and the first author (see [BEG]) to this setting: in particular, we show that the variety X_k and the module Q_k are Cohen-Macaulay, and the rings of differential operators on X_k and Q_k are simple rings, Morita equivalent to the Weyl algebra A_n(C), where n = dim X_k . Our approach relies on representation theory of complex Cherednik algebras and is parallel to that of [BEG]. As a by-product, we prove the existence of shift operators for an arbitrary complex reflection group, confirming a conjecture of Dunkl and Opdam. Another result is a proof of a conjecture of Opdam, concerning certain operations (KZ twists) on the set of irreducible representations of W.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Picard Group of a Noncommutative Algebraic Torus

We compute the Picard group $ Pic(A_q) $ of the noncommutative algebraic 2-torus $A_q$, describe its action on the space $ R(A_q) $ of isomorphism classes of rk 1 projective modules and classify the algebras Morita equivalent to $ A_q $. Our computations are based on a quantum version of the Calogero-Moser correspondence relating projective $A_q$-modules to irreducible representations of the double affine Hecke algebras (DAHA) $ H_{t, q^{-1/2}}(S_n) $ at $ t = 1 $. We show that, under this correspondence, the action of $ Pic(A_q) $ on $ R(A_q) $ agrees with the action of $ SL_2(Z) $ on $ H_{t, q^{-1/2}}(S_n) $ constructed by I.Cherednik. We compare our results with smooth and analytic cases. In particular, when $ |q| \not= 1 $, we find that $ Pic(A_q) $ is isomorphic to the group of auto-equivalences $ Auteq(D^b(X))/Z $ of the bounded derived category of coherent sheaves on the elliptic curve $ X = C*/Z $ modulo translations.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Trees, Amalgams and Calogero-Moser Spaces

We describe the structure of the automorphism groups of algebras Morita equivalent to the first Weyl algebra $ A_1 $. In particular, we give a geometric presentation for these groups in terms of amalgamated products, using the Bass-Serre theory of groups acting on graphs. A key rôle in our approach is played by a transitive action of the automorphism group of the free algebra $ \c < x, y > $ on the Calogero-Moser varieties $ \CC_n $ defined in \cite{BW}. Our results generalize well-known theorems of Dixmier and Makar-Limanov on automorphisms of $ A_1 $, answering an old question of Stafford (see \cite{St}). Finally, we propose a natural extension of the Dixmier Conjecture for $ A_1 $ to the class of Morita equivalent algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

$A_{\infty}$-modules and Calogero-Moser Spaces

We re-examine the bijective correspondence between the set of isomorphism classes of ideals of the first Weyl algebra and associated quiver varieties (Calogero-Moser spaces) \cite{BW1, BW2}. We give a new explicit construction of this correspondence based on the notion of $\A$-envelope of a rank one torsion-free $A_1$-module. Though perhaps less geometric than other methods, our approach is much simpler and seems more natural from the point of view of deformation theory.

0 citations0 reviewsNo code linkedOpen access