Source author record

Ajay C. Ramadoss

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.QA math.KT math.RT math.AT math-ph math.MP math.GT math.RA

Catalog footprint

Research overview

10works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

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

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.

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

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.

preprint2011arXiv

A variant of the Mukai pairing via deformation quantization

We give a new method to prove a formula computing a variant of Caldararu's Mukai pairing \cite{Cal1}. Our method is based on some important results in the area of deformation quantization. In particular, part of the work of Kashiwara and Schapira in \cite{KS} as well as an algebraic index theorem of Bressler, Nest and Tsygan in \cite{BNT},\cite{BNT1} and \cite{BNT2} are used. It is hoped that our method is useful for generalization to settings involving certain singular varieties.

preprint2011arXiv

Integration of Cocycles and Lefschetz Number Formulae for Differential Operators

Let ${\mathcal E}$ be a holomorphic vector bundle on a complex manifold $X$ such that $\dim_{\mathbb C}X=n$ . Given any continuous, basic Hochschild $2n$ -cocycle $ψ_{2n}$ of the algebra ${\rm Diff}_n$ of formal holomorphic differential operators, one obtains a $2n$ -form $f_{{\mathcal E},ψ_{2n}}(\mathcal D)$ from any holomorphic differential operator ${\mathcal D}$ on ${\mathcal E}$ . We apply our earlier results [J. Noncommut. Geom. 2 (2008), 405-448; J. Noncommut. Geom. 3 (2009), 27-45] to show that $\int_X f_{{\mathcal E},ψ_{2n}}({\mathcal D})$ gives the Lefschetz number of $\mathcal D$ upto a constant independent of $X$ and ${\mathcal E}$ . In addition, we obtain a "local" result generalizing the above statement. When $ψ_{2n}$ is the cocycle from [Duke Math. J. 127 (2005), 487-517], we obtain a new proof as well as a generalization of the Lefschetz number theorem of Engeli-Felder. We also obtain an analogous "local" result pertaining to B. Shoikhet's construction of the holomorphic noncommutative residue of a differential operator for trivial vector bundles on complex parallelizable manifolds. This enables us to give a rigorous construction of the holomorphic noncommutative residue of $\mathcal D$ defined by B. Shoikhet when ${\mathcal E}$ is an arbitrary vector bundle on an arbitrary compact complex manifold $X$ . Our local result immediately yields a proof of a generalization of Conjecture 3.3 of [Geom. Funct. Anal. 11 (2001), 1096-1124].

preprint2008arXiv

A generalized Hirzebruch Riemann-Roch theorem

This short note proves a generalization of the Hirzebruch Riemann-Roch theorem equivalent to the Cardy condition described in [1]. This is done using an earlier result [4] that explicitly describes what the Mukai pairing in [1] descends to in Hodge cohomology via the Hochschild-Kostant-Rosenberg map twisted by the root Todd genus.

preprint2008arXiv

Integration over complex manifolds via Hochschild homology

Given a holomorphic vector bundle $\cale$ on a connected compact complex manifold X, [FLS] construct a $\compl$-linear functional $I_{\cale}$ on $\hh{2n}{\compl}$. This is done by constructing a linear functional on the 0-th completed Hochschild homology $\choch{0}{(\dif(\cale))}$ of the sheaf of holomorphic differential operators on $\cale$ using topological quantum mechanics. They show that this functional is $\int_X$ if $\cale$ has non zero Euler characteristic. They conjecture that this functional is $\int_X$ for all $\cale$. A subsequent work [Ram] by the author proved that the linear functional $I_{\cale}$ is independent of the vector bundle $\cale$. This note builds upon the work in [Ram] to prove that $I_{\cale}=\int_X$ for an arbitrary holomorphic vector bundle $\cale$ on an arbitrary connected compact complex manifold X. This is done using an argument that is very natural from the geometric point of view. This argument enables us to extend the construction in [FLS] to a construction of a linear functional $I_{\cale}$ on $\text{H}^{2n}_{c}(Y,\compl)$ for an arbitrary holomorphic vector bundle $\cale$ on an arbitrary connected complex manifold Y and prove that $I_{\cale} = \int_Y$. We also generalize a result of [Ram] pertaining to "cyclic homology analogs" of $I_{\cale}$.

preprint2008arXiv

The Mukai pairing and integral transforms in Hochschild homology

Let $X$ be a smooth proper scheme over a field of characteristic 0. Following D. Shklyarov [10], we construct a (non-degenerate) pairing on the Hochschild homology of $\per{X}$, and hence, on the Hochschild homology of $X$ . On the other hand the Hochschild homology of $X$ also has the Mukai pairing (see [1]). If $X$ is Calabi-Yau, this pairing arises from the action of the class of a genus 0 Riemann-surface with two incoming closed boundaries and no outgoing boundary in $\text{H}_{0}({\mathcal M}_0(2,0))$ on the algebra of closed states of a version of the B-Model on $X$ . We show that these pairings "almost" coincide. This is done via a different view of the construction of integral transforms in Hochschild homology that originally appeared in Caldararu's work [1]. This is used to prove that the more "natural" construction of integral transforms in Hochschild homology by Shklyarov [10] coincides with that of Caldararu [1]. These results give rise to a Hirzebruch Riemann-Roch theorem for the sheafification of the Dennis trace map.

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.

Ajay C. Ramadoss

Research overview

Is this your work?

10 publications

Representation homology of simply connected spaces

Representation homology of topological spaces

Dual Hodge decompositions and derived Poisson brackets

Chern-Simons forms and higher character maps of Lie representations

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

A variant of the Mukai pairing via deformation quantization

Integration of Cocycles and Lefschetz Number Formulae for Differential Operators

A generalized Hirzebruch Riemann-Roch theorem

Integration over complex manifolds via Hochschild homology

The Mukai pairing and integral transforms in Hochschild homology

See the researcher in context

Building this map preview