Researcher profile

Ajay C. Ramadoss

Ajay C. Ramadoss contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
8topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

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

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

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

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.