arXiv subjects

Farkhod Eshmatov

Publications and source records attributed to Farkhod Eshmatov.

At least 19 recordsLinked to original sources

arXiv2026

Algebraic $K$-theory, cohomotopy $K$-groups, and Koszul duality

Let $A$ be an augmented differential graded algebra over a field $k$ of characteristic zero, and let $A^!=\mathbf{R}\mathrm{Hom}_A(k,k)$ be its Koszul dual algebra. Blumberg and Mandell showed that, under some finiteness conditions of $A$, the derived Koszul duality provides an equivalence between the $K$-theory $K(\mathrm{thick}_A(k))$ of the triangulated thick subcategory generated by $k$ and the $K$-theory $K(A^!)$ of the derived category of perfect $A^!$-modules. Combining this equivalence with the Jones-Goodwillie Chern character and the Jones-McCleary isomorphism, we obtain that the $K$-groups $K_n(\mathrm{thick}_A(k))$ are a concrete candidate for Loday's conjectural contravariant $K$-groups.

math.KT↗

arXiv2025

Deformation and quantization of the Loday-Quillen-Tsygan isomorphism for Calabi-Yau categories

For an associative algebra $A$, the famous theorem of Loday, Quillen and Tsygan says that there is an isomorphism between the graded symmetric product of the cyclic homology of $A$ and the Lie algebra homology of the infinite matrices $\mathfrak{gl}(A)$, as commutative and cocommutative Hopf algebras. This paper aims to study a deformation and quantization of this isomorphism. We show that if $A$ is a Koszul Calabi-Yau algebra, then the primitive part of the Lie algebra homology $\mathrm{H}_\bullet (\mathfrak{gl}(A))$ has a Lie bialgebra structure which is induced from the Poincaré duality of $A$ and deforms $\mathrm{H}_\bullet (\mathfrak{gl}(A))$ to a co-Poisson bialgebra. Moreover, there is a Hopf algebra which quantizes such a co-Poisson bialgebra, and the Loday-Quillen-Tsygan isomorphism lifts to the quantum level, which can be interpreted as a quantization of the tangent map from the tangent complex of $\mathrm{BGL}$ to the tangent complex of K-theory.

math.RA↗

arXiv2025

On the coordinate rings of Calogero-Moser spaces and the invariant commuting variety of a pair of matrices

This paper presents a comprehensive description of the coordinate rings and Poisson brackets associated with the fourth Calogero-Moser space and invariant commuting pairs of matrices of size four. As an application, we compute their respective classes in the Grothendieck ring of the category of complex varieties and we offer some novel insights about the geometry of the Hilbert scheme of points on the affine plane.

math.AG↗

arXiv2024

Noncommutative Poisson structure and invariants of matrices

We introduce a novel approach that employs techniques from noncommutative Poisson geometry to comprehend the algebra of invariants of two $n\times n$ matrices. We entirely solve the open problem of computing the algebra of invariants of two $4 \times 4$ matrices. As an application, we derive the complete description of the invariant commuting variety of $4 \times 4$ matrices and the fourth Calogero-Moser space.

math.RA↗

arXiv2022

Twisted bi-symplectic structure on Koszul twisted Calabi-Yau algebras

For a Koszul Artin-Schelter regular algebra (also called twisted Calabi-Yau algebra), we show that it has a "twisted" bi-symplectic structure, which may be viewed as a noncommutative and twisted analogue of the shifted symplectic structure introduced by Pantev, Toën, Vaquié and Vezzosi. This structure gives a quasi-isomorphism between the tangent complex and the twisted cotangent complex of the algebra, and may be viewed as a DG enhancement of Van den Bergh's noncommutative Poincaré duality; it also induces a twisted symplectic structure on its derived representation schemes.

math.RA↗

arXiv2020

Calabi-Yau algebras and the shifted noncommutative symplectic structure

In this paper we show that for a Koszul Calabi-Yau algebra, there is a shifted bi-symplectic structure in the sense of Crawley-Boevey-Etingof-Ginzburg, on the cobar construction of its co-unitalized Koszul dual coalgebra, and hence its DG representation schemes, in the sense of Berest-Khachatryan-Ramadoss, have a shifted symplectic structure in the sense of Pantev-Toën-Vaquié-Vezzosi.

math.RA↗

arXiv2019

Gravity algebra structure on the negative cyclic homology of Calabi-Yau algebras

In this paper, we study the gravity algebra structure on the negative cyclic homology or the cyclic cohomology of several classes of algebras. These algebras include: Calabi-Yau algebras, symmetric Frobenius algebras, unimodular Poisson algebras, and unimodular Frobenius Poisson algebras. The relationships among these gravity algebras are also discussed under some additional conditions.

math.RA↗

arXiv2019

Poisson cohomology, Koszul duality, and Batalin-Vilkovisky algebras

We study the noncommutative Poincaré duality between the Poisson homology and cohomology of unimodular Poisson algebras, and show that Kontsevich's deformation quantization as well as Koszul duality preserve the corresponding Poincaré duality. As a corollary, the Batalin-Vilkovisky algebra structures that naturally arise in these cases are all isomorphic.

math-ph↗

arXiv2018

On transitive action on quiver varieties

Associated with each finite subgroup $Γ$ of $\rm{SL}_2(\mathbb{C})$ there is a family of noncommutative algebras $O_τ(Γ)$ quantizing $\mathbb{C}^2/\!\!/Γ$. Let $G_Γ$ be the group of $Γ$-equivariant automorphisms of $O_τ$. One of the authors earlier defined and studied a natural action of $G_Γ$ on certain quiver varieties associated with $Γ$. He established a $G_Γ$-equivariant bijective correspondence between quiver varieties and the space of isomorphism classes of $O_τ$-ideals. The main theorem in this paper states that when $Γ$ is a cyclic group, the action of $G_Γ$ on each quiver variety is transitive. This generalizes an earlier result due to Berest and Wilson who showed the transitivity of the automorphism group of the first Weyl algebra on the Calogero-Moser spaces. Our result has two important implications. First, it confirms the Bockland-Le Bruyn conjecture for cyclic quiver varieties. Second, it will be used to give a complete classification of algebras Morita equivalent to $O_τ(Γ)$.

math.QA↗

arXiv2017

The derived non-commutative Poisson bracket on Koszul Calabi-Yau algebras

Let $A$ be a Koszul (or more generally, $N$-Koszul) Calabi-Yau algebra. Inspired by the works of Kontsevich, Ginzburg and Van den Bergh, we show that there is a derived non-commutative Poisson structure on $A$, which induces a graded Lie algebra structure on the cyclic homology of $A$; moreover, we show that the Hochschild homology of $A$ is a Lie module over the cyclic homology and the Connes long exact sequence is in fact a sequence of Lie modules. Finally, we show that the Leibniz-Loday bracket associated to the derived non-commutative Poisson structure on $A$ is naturally mapped to the Gerstenhaber bracket on the Hochschild cohomology of its Koszul dual algebra and hence on that of $A$ itself. Relations with some other brackets in literature are also discussed and several examples are given in detail.

math.QA↗

arXiv2016

Noncommutative Noether's problem for complex reflection groups

We solve the noncommutative Noether's problem for the reflection groups by showing that the skew field of the invariants of the Weyl algebra under the action of any reection group is a Weyl field, that is isomorphic to a skew field of some Weyl algebra over a transcendental extension of the ground field. We also extend this result to the invariants of the ring of differential operators on any dimensional torus.The results are applied to obtain analogs of the Gelfand-Kirillov Conjecture for Cherednik algebras and Galois algebras.

math.RA↗

arXiv2016

Automorphisms and Ideals of Noncommutative Deformations of $\mathbb{C}^2/\mathbb{Z}_2$

Let $O_τ(Γ)$ be a family of algebras \textit{quantizing} the coordinate ring of $\mathbb{C}^2 / Γ$, where $Γ$ is a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$, and let $G_Γ$ be the automorphism group of $O_τ$. We study the natural action of $G_Γ$ on the space of right ideals of $O_τ$ (equivalently, finitely generated rank $1$ projective $O_τ$-modules). It is known that the later can be identified with disjoint union of algebraic (quiver) varieties, and this identification is $G_Γ$-equivariant. In the present paper, when $Γ\cong \mathbb{Z}_2$, we show that the $G_Γ$-action on each quiver variety is transitive. We also show that the natural embedding of $G_Γ$ into $\mathrm{Pic}(O_τ)$, the Picard group of $O_τ$, is an isomorphism. These results are used to prove that there are countably many non-isomorphic algebras Morita equivalent to $O_τ$, and explicit presentation of these algebras are given. Since algebras $O_τ(\mathbb{Z}_2)$ are isomorphic to primitive factors of $U(sl_2)$, we obtain a complete description of algebras Morita equivalent to primitive factors. A structure of the group $G_Γ$, where $Γ$ is an arbitrary cyclic group, is also investigated. Our results generalize earlier results obtained for the (first) Weyl algebra $A_1$.

math.QA↗

arXiv2014

The group of unimodular automorphisms of $\mathbb{C}^2$ is hopfian

Let $G$ be the group of unimodular automorphisms of $\mathbb C^2$. In the paper we prove two interesting results about this group. The first one is about absence of non-trivial finite-dimensional representations of $G$. The second one, we show that any non-trivial group endomorphism of $G$ is a monomorphism, which implies that $G$ is hopfian.

math.GR↗

arXiv2014

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).

math.RT↗

arXiv2012

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.

math.QA↗

arXiv2010

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.

math.QA↗

arXiv2009

Quantization of the Lie bialgebra of string topology

Let M be a smooth, simply-connected, closed oriented manifold, and LM the free loop space of M. Using a Poincare duality model for M, we show that the reduced equivariant homology of LM has the structure of a Lie bialgebra, and we construct a Hopf algebra which quantizes the Lie bialgebra.

math.AT↗

arXiv2008

Heat Kernel Coefficients for Two-Dimensional Schrodinger Operators

In this note, we compute the Hadamard coefficients of (algebraically) integrable Schrodinger operators in two dimensions. These operators first appeared in [BL] and [B] in connection with Huygens' principle, and our result completes, in a sense, the investigation initiated in those papers.

math-ph↗