THE MODULE STRUCTURE OF HOCHSCHILD HOMOLOGY IN SOME EXAMPLES EMANUELE MACR`I, MARC NIEPER-WISSKIRCHEN, AND PAOLO STELLARI Abstract. In this note we give a simple proof of a conjecture by A. C˘ ald˘ araru stating the compatibility between the modified Hochschild–Kostant–Rosenberg isomorphism and the action of Hochschild cohomology on Hochschild homology in the case of Calabi–Yau manifolds and smooth projective curves.

1. Introduction Let X be a smooth projective variety over the complex numbers and let ∆ : X → X × X denote the diagonal embedding. The Hochschild cohomology ring of X is defined as HH∗ (X) := H∗ (U), where U := Rp∗ RHom OX×X (∆∗ OX , ∆∗ OX ) ∼ = RHom OX (L∆∗ ∆∗ OX , OX ), the morphism p : X × X → X is one of the two projections and the multiplication ∪ is induced by the composition. On the other hand, the Hochschild homology of X is HH∗ (X) := H−∗ (F), where F := L∆∗ ∆∗ OX . L

The module structure over HH∗ (X) on HH∗ (X) is simply induced by the action ∩ : U ⊗OX F → F coming from the duality between U and F (see [2, 8]). More precisely, for any i, j ∈ Z, the action is given by a morphism ∩ : HHi (X) ⊗ HHj (X) → HHj−i (X). ∼

Denote by TX the tangent sheaf on X. The natural morphism I : S ∗ (TX [−1]) − → U given by the b adjoint of the universal Atiyah class (see [2]) is an isomorphism in D (X) := Db (Coh(X)) and it is known as the Hochschild–Kostant–Rosenberg isomorphism. On the level of cohomology, this induces an isomorphism ∼

I : HT∗ (X) := H∗ (S ∗ (TX [−1])) − → HH∗ (X). The wedge product yields a ring structure on S ∗ (TX [−1]) and hence on HT∗ (X), but the map I in general is not a isomorphism of rings. It was Kontsevich’s insight that the modified isomorphism ∼

I K := td−1/2 (X) y I −1 : HH∗ (X) − → HT∗ (X) preserves the ring structures (see [4, 1]). The differential operator y contracts a polyvector field with a differential form and td(X) is the Todd class of the tangent sheaf of X. ∼ If ΩX is the cotangent sheaf on X, the dual of I gives an isomorphim E : F − → S ∗ (ΩX [1]) in Db (X) which in turn induces the Hochschild–Kostant–Rosenberg isomorphism ∼

E : HH∗ (X) − → HΩ∗ (X) := H−∗ (S ∗ (ΩX [1])). 2000 Mathematics Subject Classification. 13D03, 14J32. Key words and phrases. Hochschild homology and cohomology, Calabi–Yau manifolds. 1

E. MACR`I, M. NIEPER-WISSKIRCHEN, AND P. STELLARI

2

Again, one modifies E getting the isomorphism ∼

IK := td1/2 (X) ∧ E : HH∗ (X) − → HΩ∗ (X). ∼



Locally, IK : F − → S ∗ (ΩX [1]) is the dual of (I K )−1 : S ∗ (TX [−1]) − → U in Db (X). The contraction ∗ ∗ y gives an action of S (TX [−1]) on S (ΩX [1]). ∼



Conjecture 1.1. (C˘ ald˘ araru) The isomorphisms I K : HH∗ (X) − → HT∗ (X) and IK : HH∗ (X) − → HΩ∗ (X) are compatible with the module structures on HH∗ (X) and HΩ∗ (X). This is the last unsolved part of a conjecture in [2]. The other pieces of it were treated in [1, 4, 5, 6]. The previous conjecture has been proved in [3] when X has trivial canonical bundle, using a result in [6]. In turn, the proof of the latter is rather technical. The purpose of this note is to give a simple proof of the following result, relaying only on [4, 1]: Theorem 1.2. Conjecture 1.1 is true when X has trivial canonical bundle or has dimension 1. It may be worth pointing out that, also in the Calabi–Yau case, our proof differs completely from the one in [3]. 2. The Proof In the case X is a projective space Pn , Conjecture 1.1 can be easily proved by elementary means. Indeed HH∗ (Pn ) = HH0 (Pn ). Since the action of HH∗ (Pn ) on HH∗ (Pn ) is graded, the only thing one has to check is that HH0 (Pn ) = C · idHH∗ (Pn ) acts compatibly with the modified Hochschild– Kostant–Rosenberg isomorphism I K . But this is clear since, by [4, 1], I K is a ring isomorphism and maps the identity to the identity. The same proof applies to all smooth projective varieties X whose derived category Db (X) is generated by a strong exceptional collection (e.g. quadric hypersurfaces). L

For the other cases, assume that X is smooth and projective. Denote by h−, −iHH : U ⊗OX F → OX the duality pairing. Analogously, h−, −iH is the duality pairing S ∗ (TX [−1]) ⊗OX S ∗ (ΩX [1]) → OX . By definition, the following diagram h−,−iHH

L

/ OX

U ⊗OX F L

I K ⊗OX IK



S ∗ (TX [−1]) ⊗OX S ∗ (ΩX [1])

h−,−iH

/ OX

commutes in Db (X). Passing to cohomology, we get the commutative diagram HH∗ (X) ⊗ HH∗ (X) I K ⊗IK



HT∗ (X) ⊗ HΩ∗ (X)

h−,−iHH

/ H ∗ (OX )

h−,−iH

/ H ∗ (OX ),

which can equivalently be rewritten as (2.1)

/ HH∗ (X)∨ ⊗ H ∗ (OX )

HH∗ (X) IK



HΩ∗ (X)

((I K )∨ )−1 ⊗id

η

 / HT∗ (X)∨ ⊗ H ∗ (OX ).

THE MODULE STRUCTURE OF HOCHSCHILD HOMOLOGY IN SOME EXAMPLES

3

To prove Theorem 1.2, we have to show that the diagram HH∗ (X) ⊗ HH∗ (X)

(2.2)

I K ⊗IK



HT∗ (X) ⊗ HΩ∗ (X)

/ HH∗ (X)





IK

/ HΩ∗ (X)

y

is commutative. For this, assume that η in (2.1) is injective. Then (2.2) is commutative if and only if the following diagram is commutative (2.3)



HH∗ (X) ⊗ HH∗ (X) I K ⊗IK

/ HH∗ (X) IK



y

HT∗ (X) ⊗ HΩ∗ (X)



/ HΩ∗ (X)

/ HH∗ (X)∨ ⊗ H ∗ (OX ) 

η

((I K )∨ )−1 ⊗id

/ HT∗ (X)∨ ⊗ H ∗ (OX ).

Notice that, more or less by definition, one has L

L

L

L

h−, −iHH ◦ (id ⊗OX (− ∩ −)) = h−, −iHH ◦ ((− ∪ −) ⊗OX id) : U ⊗OX U ⊗OX F → OX in Db (X). Similarly h−, −iH ◦ (id ⊗OX (− y −)) = h−, −iH ◦ ((− ∧ −) ⊗OX id). Hence, passing to cohomologies, the main result of [1] (see also [4]) ensures that (2.3) commutes, provided that η is injective. The Calabi–Yau case. Consider the composition with the natural projection η

HΩ∗ (X) − → HT∗ (X)∨ ⊗ H ∗ (OX )  HT∗ (X)∨ ⊗ H n (OX ), where n is the dimension of X and the canonical sheaf of X is trivial. By Serre duality, an easy computation shows that this map is an isomorphism. Hence, the map η is injective when the canonical sheaf of X is trivial. The curve case. If X is a smooth projective curve of genus 0 or 1, the result follows from what we observed at the beginning of this section and from the previous case. Hence we can suppose that the genus of X is greater than 1. Under this assumption, we just need to check three non-trivial cases. Namely the actions HH2 (X) ⊗ HH1 (X) → HH−1 (X), HH1 (X) ⊗ HH0 (X) → HH−1 (X), and HH1 (X) ⊗ HH1 (X) → HH0 (X). To deal with the first two cases, we just need to show that η|HΩ−1 (X) is injective. This is proved as follows. Pick a non-trivial f ∈ HomDb (X) (OX , ωX ), where ωX is the canonical sheaf. Then the following diagram commutes: (2.4)

HomDb (X) (OX , ωX ) ⊗ HomDb (X) (ωX , OX [1]) id⊗(f [1]◦(−))



HomDb (X) (OX , ωX ) ⊗ HomDb (X) (ωX , ωX [1])

α

β

/ HomDb (X) (OX , OX [1]) 

f [1]◦(−)

/ HomDb (X) (OX , ωX [1]),

where the horizontal maps are given by composition. By Serre duality, β is a non degenerate pairing. Since α is nothing but (a graded piece of) the pairing h−, −iH , it is straightforward to see that the morphism η is injective. The last case follows from the following general lemma since HH1 (X) ∼ = H 1 (OX ), for a curve of genus greater than 1.

E. MACR`I, M. NIEPER-WISSKIRCHEN, AND P. STELLARI

4

Lemma 2.1. Let X be a smooth projective variety. Then the following diagram commutes H ∗ (OX ) ⊗ HΩ∗ (X) ϕ⊗(IK )−1



HH∗ (X) ⊗ HH∗ (X) where ϕ : OX =

V0

y



/ HΩ∗ (X) 

(IK )−1

/ HH∗ (X),

(I K )−1

TX ,→ S ∗ (TX [−1]) −−−−→ U.

Proof. First of all, observe that ϕ is a morphism of rings in Db (X) (see, for example, [7]). Hence the following diagram commutes in Db (X) OX ⊗OX S ∗ (ΩX [1])

y

/ S ∗ (ΩX [1])

L

ϕ⊗(IK )−1 L



U ⊗OX F

(IK )−1 ∩

 / F.

Taking cohomology, one gets the desired commutative diagram.



References [1] D. Calaque, M. Van den Bergh, Hochschild cohomology and Atiyah classes, arXiv:0708.2725. [2] A. C˘ ald˘ araru, The Mukai pairing II: The Hochschild–Kostant–Rosenberg isomorphism, Adv. Math. 194 (2005), 34–66. [3] D. Huybrechts, M. Nieper-Wisskirchen, Remarks on derived equivalences of Ricci-flat manifolds, arXiv:0801.4747. [4] M. Kontsevich, Deformation quantization of Poisson manifolds, Lett. Math. Phys. 66 (2003), 157–216. [5] N. Markarian, The Atiyah class, Hochschild cohomology and the Riemann–Roch theorem, arXiv:math/0610553. [6] A. Ramadoss, The relative Riemann–Roch theorem from Hochschild homology, arXiv:math/0603127. [7] J. Roberts, S. Willerton, On the Rozansky–Witten weight systems, arXiv:math/0602653. [8] A. Yekutieli, The continuous Hochschild cochain complex of a scheme, Canadian J. Math. 54 (2002), 1319–1337. ¨t Bonn, Beringstr. E.M.: Hausdorff Center for Mathematics, Mathematisches Institut, Universita 1, 53115 Bonn, Germany E-mail address: [email protected] ¨r Mathematik, Johannes-Gutenberg-Universita ¨t, Staudinger Weg 9, 55128 M.N.-W.: Institut fu Mainz, Germany E-mail address: [email protected] ` degli Studi di Milano, Via Cesare P.S.: Dipartimento di Matematica “F. Enriques”, Universita Saldini 50, 20133 Milano, Italy E-mail address: [email protected]

THE MODULE STRUCTURE OF HOCHSCHILD HOMOLOGY IN ...

(X). The wedge product yields a ring structure on S∗(TX[−1]) and hence on HT. ∗. (X), but the map I in general is not a isomorphism of rings. It was Kontsevich's ...

170KB Sizes 0 Downloads 327 Views

Recommend Documents

THE MODULE STRUCTURE OF HOCHSCHILD HOMOLOGY IN ...
1. Introduction. Let X be a smooth projective variety over the complex numbers and let ∆: X → X ×X denote .... By definition, the following diagram. U. L. ⊗OX F. IK.

pdf-1330\combinatorial-floer-homology-memoirs-of-the-american ...
... apps below to open or edit this item. pdf-1330\combinatorial-floer-homology-memoirs-of-the-a ... ty-by-vin-de-silva-joel-w-robbin-dietmar-a-salamon.pdf.

Module I Module II Module III Module IV Module V
THANKS FOR YOUR SUPPORT.MORE FILES DOWNLOAD ... Module VII. Marketing-Importance ,Scope-Creating and Delivering customer value-The marketing.

Investigating the Performance of Module Acquisition in ...
Jun 29, 2005 - I.2.2 [Artificial Intelligence]: Automatic Programming – Program. Synthesis. ... The plan for the paper is as follows: Section 2 is an overview of.

concepts and tests of homology in the cladistic paradigm
supported. So-called transformational homology embodies two distinct logical components, one ... it is the fact that certain criteria enable us to match parts of things ... between homologs are meaningful within a hierarchic context, comparisons betw

Investigating the Performance of Module Acquisition in Cartesian ...
Jun 29, 2005 - Cartesian Genetic Programming, Module Acquisition,. Modularity, Digital .... If any offspring has a better fitness; the best becomes the winner. ..... All of the experiments were run on a single processor desktop PC with 512MB of ...

Homology of GLn: injectivity conjecture for GL4
Jul 24, 2007 - Abstract The homology of GLn(R)and SLn(R)is studied, where R is a ... Our main theorem states that the natural map H4(GL3(R), k)→.

Third homology of general linear groups - ScienceDirect
Sep 1, 2008 - About ScienceDirectRemote accessShopping cartContact and supportTerms and conditionsPrivacy policy. Cookies are used by this site.

About the GSO-module in fplll - GitHub
Jul 6, 2017 - The GSO-module. Possible improvements. Summary. Questions. Givens rotations. Givens rotations. A Givens rotation G = G(i,j,θ) has rows: Gk =.. ek if k = i,j cei − sej if k = i sei + cej if k = j where c2 + s2 = 1. Note that b ↦→

Developmental changes in the structure of the social ...
Grey matter volume and cortical thickness in mBA10, TPJ and pSTS decreased from ... differences in functional recruitment of the social brain network be-.

Developmental changes in the structure of the social ...
with a network of brain regions often referred to as the “social brain.” These consist of: medial prefrontal cortex (mPFC; medial Brodmann Area 10), temporoparietal junction (TPJ), posterior superior temporal sulcus (pSTS) and anterior temporal c

A NOTE ON THIRD HOMOLOGY OF GL Introduction In ...
Introduction. In this article the third homology group of GL2(R) with integral coeffi- cients, i.e. H3(GL2(R),Z), is studied, where R is a commutative ring with.

THE LUNAR EXCURSION MODULE
The Ascent Stage on top houses the two man crew and contains the equip- .... A digital LEM Guidance Computer (LGC), which accepts inputs {ram the IMU, AOT ... control during all phases of the mission with varying degrees of astronaut par-.

ON THE ROLE OF STRUCTURE IN PART-BASED ...
normalisation factor Z(X; θ) in (1), and the likelihood is not a convex function of θ due to the hidden layer. Here, we use a. Newton gradient ascent method to find ...

Observation of the magnetic-dipole fine-structure transition in ... - naomib
We gratefully acknowledge the Natural Science and Engineering Research ... 1911. [4] Thøgersen J, Scheer M, Steele L D, Haugen H K and Wijesundera W P ...

Discovering Structure in the Universe of Attribute ... - Research at Google
Apr 15, 2016 - [email protected] ..... to design a simpler trainer: both frequency and embedding features are monotonic ...... In Tutorial at NAACL, 2013. [32] V. I. ...

Investigation of structure and dynamics in the sodium metallocenes ...
Solid-state 23Na NMR spectra of two organometallic complexes, cyclopentadienylsodium (CpNa) and the tetrahydrofuran (THF) solvate of CpNa (CpNa·THF), are presented. Analytical simulations of experimental spectra and calculated 23Na electric-field gr

the spatial structure of health inequalities in europe ...
Nov 5, 2006 - as circulatory system (app. 50%) ... (app. 25%), respiratory and digestive system. On the other hand, some causes of .... Paper WP, July 1999.

International Integration and the Structure of Exports in ...
Oct 28, 2008 - trade data disaggregated at a relatively high level. The authors' ... international economic integration from detailed evidence of past balance of payments and trade data ..... The product in the electrical and electronic equip-.

Discovering Structure in the Universe of Attribute Names
in extracted attribute names as a rule-based grammar. For example, for the class ..... Get frequency #(a), #(ma) in T & find F(a) ∀a ∈A∪N. Get embeddings ma ...

Exploring Common Factors in the Term Structure of ...
Jul 7, 2011 - The rating cate- gorization is ..... minimal for the eight rating classes AA1 to BB2, i.e. less than .02 on average. ... errors of another rating class.

Adjustment of tree structure in response to the ...
Soil resistivity per unit fine root biomass. MPa s kg m−3. R. Hydraulic resistance (superscript: f, per unit projected leaf area; g, per unit ground area; subscript: root, .... increase the hydraulic resistance of the soil–plant continuum (Cochar

Internal Structure of the DP in Javanese
May 5, 2007 - Dem séng RC a. aku tuku. I buy telong kilo. 3-ng kilo apel apple asu telu iku séng putih asu telu séng putih iku b. c. aku ndeloq d. I AT.see asu.