arXiv:2106.00435v1 [math.AG] 1 Jun 2021
FACTORIZATIONS
BUMSIG KIM
Abstract. We prove a Hirzebruch-Riemann-Roch type formula for global matrix factorizations. This is established by an explicit realization of the abstract Hirzebruch-Riemann-Roch type formula of Shklarov. We also show a Grothendieck-Riemann-Roch type theorem.
1. Introduction
Let k be a field of characteristic zero and let G be either the group Z or Z{2. We consider a G-graded dg enhancement DdgpX, wq of the derived
category of matrix factorizations for pX, wq. Here X is an n-dimensional nonsingular variety over k and w is a regular function on X. An object of DdgpX, wq is a G-graded vector bundle E on X equipped with a degree
1, OX-linear homomorphism δE : E Ñ E such that δ2E “ w ¨ idE. The
structure sheaf OX is by definition G-graded but concentrated in degree 0.
The degree of w is 2. If w is nonzero, then G is forced to be Z{2. Assume that the critical locus of w is set-theoretically in w´1p0q and proper over k. The Hochschild homology HH˚pDdgpX, wqq of DdgpX, wq is naturally
iso-morphic to
H´˚pX, pΩ‚X,´dwqq;
see [10, 14]. The isomorphism is called the Hochschild-Kostant-Rosenberg (in short HKR) type isomorphism, denoted by IHKR. Here pΩ‚X,´dwq is
a G-graded complex ÀpPZΩpXrps with the differential ´dw^. Let chpEq P H0pX, pΩ‚X,´dwqq be the image of the categorical Chern character ChpEq P HH0pDdgpX, wqq of E under IHKR. In this paper we prove the following
Hirzebruch-Riemann-Roch type formula.
Theorem 1.1. For matrix factorizations P and Q in DdgpX, wq we have
(1.1) ÿ iPG p´1qidim RiHompP, Qq “ p´1qpn`12 q ż X chpP q_^ chpQq ^ tdpXq,
where tdpXq P ‘pPZH0pX, ΩpXrpsq is the Todd class of X.
2010 Mathematics Subject Classification. Primary 14A22; Secondary 16E40, 18E30. Key words and phrases. Hirzebruch-Riemann-Roch, Matrix factorizations, Hochschild homology, Hodge cohomology, Pushforward.
The work is supported by KIAS individual grant MG016404.
We explain notation in the above theorem. Firstly, the operation^ is the wedge product inducing
(1.2)
H˚pX, pΩ‚X,´dwqqbH˚pX, pΩ‚X, dwqqbH˚pX, pΩ‚X,0qqÝÝÝÝÑ ‘wedge pHc˚pX, Ωp
Xrpsq;
see 3.2 for details. Secondly, şX is the composition (1.3) ‘pPZHc˚pX, Ω p Xrpsq proj ÝÝÑ Hc0pX, ΩnXrnsq trX ÝÝÑ k
of the projection and the canonical trace map trX for the properly supported
cohomology; see § 3.6.2. Thirdly,_ is induced from a chain map pΩ‚X, dwq Ñ pΩ‚X,´dwq, defined by p´1qpid : Ω p X Ñ Ω p X in each component.
For a proper dg category A there is an abstract Hirzebruch-Riemann-Roch formula (2.5) due to Shklyarov [18]. By an explicit realization of the formula for A“ DdgpX, wq we will obtain Theorem 1.1. Let
x, ycan: HH˚pAq b HH˚pAopq Ñ k
be the so-called canonical pairing for A. Here Aop is the opposite category
of A and there is an isomorphism Aop– D
dgpX, ´wq; see § 3.1. This yields
(1.4) HH˚pAq I HKR // _ H´˚pX, pΩ‚ X,´dwqq _ HH˚pAopq I HKR //H´˚pX, pΩ‚ X, dwqq,
where the left _ is defined to make the diagram commute. Shklyarov’s formula says that the left-hand side of (1.1) is equal toxChpQq, ChpP q_ycan.
Therefore Theorem 1.1 is reduced to an explicit realization of the pairing. Theorem 1.2. The canonical pairingx, ycan under IHKR corresponds to
p´1qpn`12 q ż
X
p¨ ^ ¨ ^ tdpXqq.
The following formula for chpEq is established in [4, 9, 14]. Let U “ tUiuiPI
be an affine open covering of X and let ∇i be a connection of E|Ui. In the ˇ
Cech hypercohomology ˇH˚pU, pΩ‚
X,p´1qidw^qq
chpEq “ str expp´pr∇i, δEsqiPI ´ p∇i´ ∇jqi,jPI,iăjq.
Here str means the supertrace and the products in the exponential are Alexander- ˇCech-Whitney cup products in the ˇCech complex ˇC˚pU, pEndpEqb Ω‚Xqq; see [4] for details.
Remarks on others’ related works are in order. When G“ Z and X is a projective variety over C, there is a natural isomorphism between Hodge co-homology and the singular (or equivalently C8-de Rham) cohomology of the
associated complex manifold Xan: ‘
p,qHqpX, ΩpXrpsq φ
Ñ H´‚pXan, Cq. Let
p2πi1 qpγp,q, then φptwpchpEqqq coincides with the topological Chern character
chtoppEq of E. The right-hand side of (1.1) becomes
ż
Xan
chtoppP_qchtoppQqtdtoppXq.
HereşXan denotes the usual integration and tdtoppXq is the usual Todd class
of Xan. Hence Theorem 1.1 is the usual Hirzebruch-Riemann-Roch theorem
[8]. When G“ Z and k “ C, Theorem 1.1 is the O’Brian – Toledo – Tong theorem for algebraic coherent sheaves [13]. When G“ Z, Theorem 1.1 and its generalization Corollary 3.4 coincide with Theorem 4 of Markarian [12] and some works of C˘ald˘araru – Willerton [2] and Ramadoss [16], respectively.
When G “ Z{2, X is an open subscheme of An
k containing the origin,
and w has only one singular point at the origin, the composition of wedge products (1.2) andşX in (1.3) is a residue pairing as shown in [1, Proposition 4.34]. Thus in this case, Theorem 1.1 is the Polishchuk – Vaintrob theorem [15, Theorem 4.1.4] and Theorem 1.2 is the Brown – Walker theorem [1, Theorem 1.8] proving a conjecture of Shklyarov [19, Conjecture 3].
It is natural to consider the stacky version of Theorem 1.1. It will be treated elsewhere [3].
Conventions: Unless otherwise stated a dg category is meant to be a G-graded dg category over k. For a variety X over k, we write simply ΩpX for the sheaf ΩpX{kof relative differential p-forms of X over k. For a homogenous element a in a G-graded k-space, |a| denotes the degree of a. For a dg category A we often write Apx, yq instead of the Hom complex HomApx, yq
between objects x, y of A. We write x P A if x is an object of A. For a dg algebra A, CpAq denotes the Hochschild G-graded complex Àně0Ab Ar1sbn with differential b. Similarly for a dg category A, CpAq denotes
the Hochschild complex of A; see for example [1, 18]. For ai P Apxi`1, xiq,
i “ 1, ..., n, xi P A, we write a0ra1|...|ans for a0 b sa1 b ... b san, where
s is the suspension so that |sa| “ |a| ´ 1. The symbol str stands for the supertrace. By a coherent factorization for pX, wq we mean a G-graded coherent OX-sheaf E with a curved differential δE such that δE2 “ w ¨ idE.
Acknowledgements: The author thanks David Favero, Taejung Kim, and Kuerak Chung for useful discussions.
2. Abstract Hirzebruch-Riemann-Roch
Following mainly [15, 18] we review the abstract Hirzebruch-Riemann-Roch theorem in the framework of Hochschild homology theory.
2.1. Categorical Chern characters. For a G-graded dg category A over k let CpAq be the Hochschild complex of A. For x P A, the identity morphism 1x of x is a 0-cycle element and hence it defines a class
Chpxq :“ r1xs P HH0pAq :“ H 0
which is called the categorical Chern character of x. For an object y of the dg category PerfA of perfect right A-modules, we also regard Chpyq as an element of HH0pAq by the canonical isomorphism HH˚pPerfAq – HH˚pAq.
2.2. K¨unneth isomorphism. Let A, B be dg categories. We define a natural chain map over k
CpAq b CpBq Ñ CpA b Bq a0ra1|...|ans b b0rb1|...|bms ÞÑ p´1q|b0|p řn i“1p|ai|´1qqa 0b b0 ÿ σ ˘rcσp1q|...|cσpn`mqs,
where σ runs for all pn, mq-shuffles, c1 “ a1 b 1, ..., cn “ an b 1, cn`1 “
1 b b1, ..., cn`m “ 1 b bm, and the rule of sign ˘ is determined by the
Koszul sign rule. Here after each shuffle, each 1 is uniquely replaced by an appropriate identity morphism so that the outcomes make sense as elements of the Hochschild complex CpAbBq. The Eilenberg-Zilber theorem says that the chain map is a quasi-isomorphism. We call the induced isomorphism
HH˚pAq b HH˚pBq Ñ HH˚pA b Bq
the K¨unneth isomorphism, denoted by K¨unn.
2.3. The diagonal bimodule. We denote by Aopthe opposite category of
A. For x P A we write x_ for the object of Aop corresponding to x. Let
Comdgkbe the dg category of complexes over k. The diagonal A-A-bimodule
∆A of a dg category A is defined to be the dg functor
∆A : Ab AopÑ Comdgk; yb x_ÞÑ HomApx, yq.
Since Ab Aop– pAopb Aqop, ∆
A is a right Aopb A-module. Assume that
Ais proper, i.e.,
ÿ
iPG
dim HipHomApx, yqq ă 8
for all x, yP A. Then we may replace the codomain of ∆Aby the dg category
Perfk of perfect dg k-modules.
2.4. The canonical pairing. For a proper dg category A, the canonical pairing x , ycan is defined as the composition
HH˚pAq ˆ HH˚pAopq K¨unn
ÝÝÝÑ HH˚pA b Aopq ∆˚
ÝÝÑ HH˚pPerfkq – k,
where ∆˚ is the homomorphism in Hochschild homology level induced from
the dg functor ∆A. Here we use the canonical isomorphism HH˚pPerfkq – k
making a commuting diagram for C P Perfk
where ZEndpCq is the graded k-space of closed endomorphisms of C and str denotes the supertrace. Since HH˚pPerfkq “ HH0pPerfkq, the pair xγ, γ1y
for γ P HHppAq, γ1 P HHp1pAopq can be nontrivial only when p ` p1 “ 0. 2.5. A proposition. Let A be a proper dg category. Let M be a perfect right Aopb B module, in other words, a perfect A-B-bimodule. Denote by
TM the dg functor
bAM : PerfAÑ PerfB sending N ÞÑ N bAM
and denote the induced map in Hochschild homology by pTMq˚ : HH˚pAq Ñ HH˚pBq.
Proposition 2.1. [18, Proposition 4.2] If we write ChpM q “ řiti b ti P
HH˚pAopqbHH˚pBq – HH˚pAopbBq – H˚pPerfpAopbBqq via the K¨unneth
isomorphism and the canonical isomorphism, then for every γ P HHppAq
we have
pTMq˚pγq “
ÿ
i
xγ, tiycanti P HHppBq.
Proof. The proof given in [18] also works for dg categories. Furthermore assume that A is smooth, i.e, the diagonal bimodule ∆A is
perfect. Then the Hochschild homology of A is finite dimensional and hence Proposition 2.1 can be rewritten as a commuting diagram
HH˚pAq x,ycan//
pTMq˚◆◆◆ ''◆ ◆ ◆ ◆ ◆ ◆ ◆ ◆ HH˚pAopq˚ ChpM q HH˚pBq.
Since T∆A “ idA, the above diagram for M “ ∆A shows that x, ycan is non-degenerate and the canonical pairing is characterized as follows.
Since ∆A P PerfpAopb Aq, via the K¨unneth isomorphism we can write
Chp∆Aq “
ÿ
i
Tib Ti, for some Ti P HH˚pAopq, Ti P HH˚pAq.
Then x, ycan is a unique nondegenerate k-bilinear map x, y : HH˚pAq ˆ
HH˚pAopq Ñ k satisfying
(2.2) ÿ
i
xγ, TiyxT
i, γ1y “ xγ, γ1y, for every γ P HH˚pAq, γ1P HH˚pAopq.
2.6. The chain map _. Define an isomorphism of complexes _ : pCpAq, bq Ñ pCpAopq, bq
a0ra1|...|ans ÞÑ p´1qn` ř
1ďiăjďnp|ai|´1qp|aj|´1qa
0ran|...|a1s.
2.7. Abstract generalized HRR. For a proper dg category A we may consider a sequence of natural maps
(2.3) HH˚pAq b HH˚pAqid b_ – //HH˚pAq b HH˚pAopq K¨unn – x,ycan ** ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ HH˚pA b Aopq ∆ ˚ //HH˚pPerfkq – k.
For two closed endomorphisms b P EndApyq, a P EndApxq, we define
an endomorphism Lb ˝ Ra of HomApx, yq by sending c P HomApx, yq to
p´1q|a||c|b˝ c ˝ a. Note that ∆˚pb b aq “ Lb˝ Ra. Hence from (2.3) and (2.1)
we obtain
(2.4) strpLb˝ Raq “ xrbs, ras_ycan,
Hererbs, ras are the homology classes in HH0pAq represented by b, a,
respec-tively.
2.8. Abstract HRR. When a “ 1x, b “ 1y, (2.4) yields the abstract
Hirzebruch-Riemann-Roch theorem [15, 18] for Hochschild homology:
(2.5) ÿ
iPG
p´1qidim HipHomApx, yqqq “ xChpyq, Chpxq_ycan.
This tautological HRR theorem can be useful when one expresses the right-hand side of (2.5) in an explicit form.
3. Proofs of Theorems
In this section we prove Theorems 1.1 and 1.2. As in § 1 let X be an n-dimensional nonsingular variety over k and w is a function on X such that the critical locus of w is in w´1p0q and proper over k.
3.1. A geometric realization of ∆A. Let A “ DdgpX, wq. It is proper
and smooth. There is the duality functor
D: AopÑ DdgpX, ´wq; pE, δEq ÞÑ pHomOXpE, OXq, δ_Eq,
which is an isomorphism. Hence we have the HKR type isomorphism HH˚pAopq – H´˚pΩ‚X, dwq.
Let X1 be another nonsingular variety with a global function w1. Assume that the critical locus of w1 is proper over k and located on the zero locus
of w1. Let B denote DdgpX1, w1q. Let rw:“ w b 1 ´ 1 b w1 a global function
on Z :“ X ˆ X1. We consider a dg functor
Ψ : DdgpZ, ´ rwq Ñ PerfpAopb Bq
defined by letting
Ψpzq : A b BopÑ Comdgpkq;
for y P A, x P B, z P DdgpZ, ´ rwq. Since Aopb B are saturated by [10], we
may apply Proposition 3.4 of [17] to see that Ψpzq is indeed a perfect right Aopb B-module.
Let f : X Ñ X1 be a proper morphism such that f˚w1 “ w. Then there is a dg functor
Rf˚: DdgpX, wq Ñ DdgpX1, w1q by derived pushforward; see [5, § 2.2]. Define
∆Rf˚ : Ab B
opÑ Com
dgk; yb x_Ñ HomBpx, Rf˚yq.
Again by Proposition 3.4 of [17], we see that ∆Rf˚ is a perfect right A
opb
B-module. Let Γf Ă X ˆ X1 denote the graph of f . Since Z “ X ˆ X1 is
nonsingular, there is an object Owr
Γf in DdgpZ, ´ rwq which is quasi-isomorphic
to the coherent factorization OΓf for pZ, rwq. Since
∆Rf˚py b x
_q “ Bpx, Rf ˚yq »
qisoHomDdgpZ,´ rwqpDpyq b x, O ˜ w Γfq,
by the projection formula [5, § 2.2], ∆Rf˚ and ΨpOr
w
Γfq are isomorphic in the
derived category of right AopbB-modules. Hence Chp∆
Rf˚q “ ChpΨpOr
w Γfqq.
Consider a dg functor
b: Aopb B Ñ DdgpZ, ´ rwq; u_b v ÞÑ Dpuq b v.
The following commutative diagram of natural isomorphisms transforms the abstract terms to the concrete terms:
(3.1) HH˚pAopq b HH˚pBq IHKR – K¨unn – //HH˚pAopb Bq b Y oneda – )) ❙ ❙ ❙ ❙ ❙ ❙ ❙ ❙ ❙ ❙ ❙ ❙ ❙ ❙ HH˚pDdgpZ, ´ rwqq IHKR – Ψ // HH˚pPerfpAopb Bqq H´˚ pΩ‚ X, dwq b H ´˚ pΩ‚ X1,´dwq – K¨unneth //H ´˚ pΩ‚ Z, dwrq.
The commutativity of the triangle is straightforward. The commutativity of the rectangle can be seen as follows. Using the Mayer-Vietoris sequence argument, we reduce it to the case when X and X1 are affine. We fur-ther reduce it to the curved smooth algebra case. In the curved smooth algebra case, the commutativity of a corresponding diagram for Hochschild complexes of the second kind is straightforward; see for example [4].
We conclude that (3.2) chp∆Rf˚q “ chpOr w Γfq P H 0 pΩ‚Z, dwrq
by the compatibility of the K¨unneth isomorphisms and the HKR type iso-morphisms in (3.1). In particular for f “ idX we have
(3.3) chp∆Aq “ chpOw∆rXq P H 0
3.2. Some definitions.
Definition 3.1. Considering a vector bundle F as an object in the derived category of coherent sheaves on X, we have the categorical Chern char-acter of F and hence chpF q P ‘pH0pX, ΩpXrpsq I –
HKR
HH0pDbpcohpXqqq.
Using this and the Todd class formula in terms of Chern roots we define tdpF q P ÀpH0pX, ΩpXrpsq, which we call the Todd class of F valued in Hodge cohomology. We write tdpXq for tdpTXq, called the Todd class of
X. Similarly, we define the i-th Chern class cipF q of F valued in Hodge
cohomology.
Definition 3.2. Let wi P ΓpX, OXq, i “ 1, 2 and let Zi be the critical locus
of wi. The wedge product ^ of twisted Hodge cohomology classes is defined
by the composition of à q1`q2“qPG Hq1pX, pΩ‚ X, dw1qq b Hq2pX, pΩ‚X, dw2qq K¨unneth ÝÝÝÝÝÑ HqpX2,pΩX‚ , dw1q b pΩ‚X, dw2qq ∆˚ X ÝÝÑ HqpX, pΩ‚X, dw1q bOXpΩ‚X, dw2qq wedge ÝÝÝÝÑ Hq Z1XZ2pX, pΩ ‚ X, dw1` dw2qq.
Here ∆˚X is the pullback of the diagonal morphism X Ñ X ˆ X. We sometimes omit the symbol ^ for the sake of simplicity.
Definition 3.3. Let Z denote the critical locus of w. Consider a sequence of maps (3.4) H˚pX, pΩ‚X,´dwqq ˆ H˚pX, pΩ‚X, dwqq ¨^¨ ÝÝÑ H˚ZpX, pΩ‚X,0qq ^tdpXq ÝÝÝÝÝÑ H˚ZpX, pΩ‚X,0qq proj ÝÝÑ H0ZpX, ΩnXrnsq ÝÑ H 0 cpX, ΩnXrnsq p´1qpn`12 qş X ÝÝÝÝÝÝÝÝÑ k. Denote the composition p´1qpn`12 q ş
Xp¨ ^ ¨ ^ tdpXqq by x, y.
3.3. Proof of Theorem 1.2. Since tdpXq is invertible, the nondegeneracy of x, y follows from Serre’s duality; see [6, § 4.1]. Therefore it is enough to show that x, y satisfies (2.2) under the HKR-type isomorphism in (3.1). Recalling (3.3), we write chpOwr ∆Xq “ ÿ i tib ti P à qPG HqpX, pΩ‚X, dwqq b H´qpX, pΩ‚X,´dwqq.
Since Owr
∆X is supported on the diagonal ∆X Ă X ˆ X, we will apply
the deformation of Xˆ X to the normal cone of ∆X. The normal cone is
isomorphic to the tangent bundle TX of X. Let π denote the projection
TX Ñ X. We claim a sequence of equalities
RHS of (3.5)p:q“ ż TX π˚pγ ^ γ1q ^ chpKospsqq ^ π˚tdpXq2 p::q “ p´1qpn`12 q ż X pγ ^ γ1^ tdpXqq “ xγ, γ1y,
whose proof will be given below. Here s is the ‘diagonal’ section of π˚TX
defined by spvq “ pv, vq P π˚TX for vP TX and Kospsq is the Koszul complex
pŹ‚π˚TX_, ιsq associated to s.
Forp:q consider the deformation space M˝ of Xˆ X to the normal cone of the diagonal ∆X; see [7]. It is a variety with morphisms h : M˝Ñ X ˆ X
and pr : M˝ Ñ P1
, satisfying that (i) the preimages of general points of P1
are Xˆ X, (ii) the preimage of a special point 8 of P1
is the normal cone N∆X{X2 “ TX, (iii) pr is a flat morphism, and (iv) h|T
X coincides with the composition ∆˝ π.
The morphism ∆ˆ idA1 : X ˆ A1 Ñ X ˆ X ˆ A1 extends to a closed immersion f : Xˆ P1
Ñ M˝. For a closed point p of P1
let Mp˝ denote the fiber pr´1ppq and consider the commuting diagram
X // ∆“f0 Xˆ P1 f X oo f8“ zero section X2 “ M0˝ g0 // M˝ h &&▼ ▼ ▼ ▼ ▼ ▼ ▼ ▼ ▼ ▼ ▼ ▼ pr M8˝ “ TX g8 oo ∆˝π 0 // P1 X2
with three fiber squares. Since X ˆ P1
and M˝
p are Tor independent over
M˝, we have
(3.6) Lgp˚f˚OXˆP1 „
qisopfpq˚OX,
i.e., they are quasi-isomorphic as coherent factorizations forpMp,´h˚w|rMpq. Note that h˚wr|PpTX‘OXq “ 0. Since s is a regular section with the zero locus
X Ă TX, two factorizations pf8q˚OX and Kospsq are quasi-isomorphic to
each other as coherent factorizations forpTX,0q:
(3.7) pf8q˚OX „
For ρ“ pγ b γ1q ^ ptdpXq b tdpXqq, we have a sequence of equalities ż XˆX ρ^ chppf0q˚OXq “ ż XˆX ρ^ chpLg0˚f˚OXˆP1qq by (3.6) “ ż XˆX g˚0ph˚ρ^ chpf˚OXˆP1qq by the functoriality of ch “ ż TX g˚8ph˚ρ^ chpf˚OXˆP1qq by Lemma 3.7 “ ż TX π˚∆˚ρ^ chpKospsqq by (3.6) & (3.7), which shows p:q.
The equality p::q immediately follows from some basic properties of the proper pushforward (3.11) in Hodge cohomology: the functoriality (3.18), the projection formula (3.19), and (3.21).
3.4. Proof of Theorem 1.1. For αP ‘iPGRiEndpP q and β P ‘iPGRiEndpQq,
let us define
Lβ˝ Rα:‘iPGRiHompP, Qq Ñ ‘iPGRiHompP, Qq, c ÞÑ p´1q|α||c|β˝ c ˝ α.
Since α and β are cycle classes of CpAq, they can be considered as elements of HH˚pAq. We denote by τ pαq, τ pβq be the image of α, β under the HKR
map. The map τ is sometimes called the boundary-bulk map. Combining (2.4) and Theorem 1.2 we obtain this.
Corollary 3.4. (The Cardy Condition) We have
(3.8) strpLβ˝ Rαq “ p´1qp n`1 2 q ż X τpβq ^ τ pαq_^ tdpXq.
In particular, Theorem 1.1 holds.
Corollary (3.8) is the matrix factorization version of Theorem 16 of [2] and the explicit Cardy condition in [16].
Let U“ tUiuiPI be an affine open covering of X and let ∇ibe a connection
of P|Ui, which always exists. By [4, 9, 14] the following formula for τpαq in the ˇCech cohomology ˇH0pU, pΩ‚
X, dwq is known:
τpαq “ str``expp´pr∇i, δEsqi´ p∇i´ ∇jqiăjq
˘ ˇ α˘, where ˇαis a ˇCech representative of α. Here we recall that Ω‚X “ ‘n
p“0Ω p Xrps
is G-graded.
In the local case, i.e., X is an open neighborhood of the origin 0 in An k and
pairing with a residue pairing. Let x “ px1, ..., xnq be a local coordinate
system and let Biw“BxBwi. Proposition 4.34 of [1] shows that
ż X pτ pβq ^ τ pαq_q “ Res x“0 „ gpxqf pxq B1w, ...,Bnw for τpαq “ f pxqdx1...dxn, τpβq “ gpxqdx1...xn in ΩnX{dw ^ Ωn´1X . Hence
from Theorem 1.2 and τpα_q “ τ pαq_ we immediately obtain this. Corollary 3.5. [1, 15] In the local case we have
xβ, α_ycan“ p´1qp n`1 2 qRes x“0 „ gpxqf pxq B1w, ...,Bnw .
The corollary above reproves a conjecture of Shklyarov [19, Conjecture 3].
3.5. GRR type theorem. Consider the proper morphism f : X Ñ X1 in § 3.1, inducing the dg functor Rf˚ and the module ∆Rf˚ P PerfpA
opb Bq.
They together make a commutative diagram
A:“ DdgpX, wq Y oneda Rf˚ //B:“ DdgpX1, w1q Y oneda PerfA T∆ Rf˚ //PerfB.
The paring defined by the composition
H˚pX1,pΩ‚X1,´dw1qq b H˚pX1,pΩX‚1, dw1qqÝ^Ñ Hc˚pX1,pΩ‚X1,0qq
ş
X1 ÝÝÑ k is nondegenerate by the Serre duality; see [6, § 4.1]. Using the paring we define the pushforward for qP G
ż
f
: HqpX, pΩ‚X,´dwqq Ñ HqpX1,pΩ‚X1,´dw1qq
by the projection formula requirement ż X1 p ż f αq ^ β “ ż X α^ f˚β for every β P H´qpX1,pΩ‚ X1, dw1qq.
Let n “ dim X and m “ dim X1. Denote by HHpRf˚q the map in
Hochschild homology level from Rf˚. Let K0pAq, K0pBq be the Grothendieck
Theorem 3.6. The diagram K0pAq Ch Rf˚ //K0pBq Ch HH˚pAq IHKR HHpRf˚q //HH˚pBq IHKR H´˚pX, pΩ‚ X,´dwqq p´1q7ş f¨^tdpTfq //H´˚pX1,pΩ‚ X1,´dw1qq
is commutative. Here tdpTfq :“ tdpXq{f˚tdpX1q and 7 “
`n`1 2 ˘ ´`m`12 ˘ . Proof. By the definition of categorical Chern characters the upper rectangle is commutative. Consider γ P HH˚pAq. Let α :“ IHKRpγq and α1 :“
IHKRpHHpRf˚qpγqq. If we write chp∆Rf˚q “ ř
iTibTi P H˚pX, pΩ‚X, dwqqb
H˚pX1,pΩ‚X1,´dwqq, then by Proposition 2.1 and Theorem 1.2 we have for β P H´˚pX1,pΩ‚ X1, dw1qq (3.9)ż X1 α1^ β ^ tdpX1q “ p´1qpn`12 q ÿ i ż X α^ Ti^ tdpXq ż X1 Ti^ β ^ tdpX1q.
By (3.2) and a normal-cone deformation argument as in § 3.3 we have RHS of (3.9) “ p´1qpn`12 q ż XˆX1 pα b βq ^ chpOwΓrfq ^ ptdpXq b tdpX1qq “ p´1qpn`12 q ż f˚T X1 π˚pα ^ f˚β^ tdpf˚TX1q ^ tdpXqq ^ chpKospsqq “ p´1q7 ż X α^ f˚β^ tdpXq “ p´1q7 ż X1p ż f α^ tdpXqq ^ β,
where π denotes the projection f˚T
X1 Ñ X and s is the diagonal section of π˚f˚TX1 on f˚TX1. Hence LHS of (3.9) equals p´1q7şX1pşfα^ tdpXqq ^ β, which shows the commutativity of the lower rectangle. 3.6. Pushforward in Hodge cohomology. We collect some properties of pushforwards in Hodge cohomology that are used in § 3.3. For lack of a suitable reference we provide their proofs.
Throughout this subsection f : X Ñ Y will be a morphism between varieties X, Y with dimensions n, m respectively. Let d“ n ´ m.
3.6.1. Definition of f˚. Suppose that f is a proper locally complete
the duality map in the derived category Dqc`pOYq of cohomologically bounded
below quasi-coherent sheaves; see for example [11, § 4]. Since f is l.c.i, f!O Y
is taken to be an invertible sheaf up to shift and there is a canonical isomor-phism Lf˚Eb f!O
Y – f!E. For q P Z, let δ P HqpX, f!Eq, which can be
considered as a map δ : OXr´qs Ñ f!E in the derived category. We have a
composition of maps
OYr´qsÝÝÝÝÝÑ Rfnatural ˚f˚OYr´qsÝÝÝÝÑ RfRf˚pδq ˚f!E ÝÑ E,τf denoted by f˚pδq. This yields a homomorphism
f˚: HqpX, f!Eq Ñ HqpY, Eq.
Let g : Y Ñ Z be a proper l.c.i. morphism between varieties. The uniqueness of adjunction implies the functoriality of the pushforward (3.10) pg ˝ f q˚“ g˚˝ f˚: HqpX, pg ˝ f q!Fq Ñ HqpZ, F q
for F in D`qcpOZq
3.6.2. Definitions of şf and şX. Let f : X Ñ Y be a morphism between nonsingular varieties. For p ě 0 with p ´ d ě 0 we have a natural homo-morphism ΩpXrqs – n´pľ TXrqs b f˚ΩmYr´ds b f ! OY Ý Ñ n´pľ f˚TYrqs b f˚ΩmYr´ds b f ! OY – f˚Ωp´dY rq ´ ds b f!OY. denoted by Tf.
We define Hodge cohomology with proper supports along f as the direct limit: Hcfq pX, ΩpXq :“ lim ÝÑH q ZpX, Ω p Xq,
where Z runs over all closed subvarieties of X that are proper over Y . By Nagata’s compactification and the resolution of singularities there is a nonsingular variety ¯X including X as an open subvariety and a proper morphism ¯f : ¯X Ñ Y extending f . Recall the fact that if Z is a closed subvariety of X that is proper over Y , then Z is a closed subvariety of ¯X. Let
nat: H6q1pX, ΩpXq Ñ H6q2p ¯X,ΩpX¯q
be the natural map where p61,62q is either pc, cq or pcf, Hq. We define the
pushforward (for pě 0 with p ´ d ě 0) (3.11)
ż
f
: H6q1pX, ΩpXq Ñ H6q´d2 pY, Ωp´dY q; γ ÞÑ ¯f˚pTfpnatpγqqq.
If v : X1 Ñ X be a proper morphism between nonsingular varieties, we have the natural pullback map
v˚ : HcqpX, Ω p
Xq Ñ HcqpX1,Ω p X1q.
3.6.3. Base change I. Consider a fiber square diagram of varieties
(3.12) X1 v // g X f Y1 u //Y.
Assume that f is a flat, proper, l.c.i morphism. Then from the base change [11, § 4.4] we obtain a base change formula, for δP HqpX, f!
OYq
g˚pLv˚pδqq “ Lu˚pf˚pδqq
(3.13) in HqpY1, O
Y1q. Here Lv˚pδq P HqpX1, g!OYq is the naturally induced map OX1r´qs Ñ Lv˚f!OY – g!Lu˚OY “ g!OY1
in the derived category.
Furthermore suppose that all varieties X, Y, X1 are nonsingular and Y1 is a closed point of Y . Then for γ P Hd
cpX, ΩdXq we easily check that
v˚pγq “ Lv˚pTfpγqq in Hd cpX1,ΩdX1q “ H 0 cpX1, g !
OY1q. Hence (3.13) for δ “ Tfpγq means that ż X1 v˚pγq “ u˚p ż f γq. (3.14)
3.6.4. Base change II. Let Y be a connected nonsingular complete curve and let Y1 be a closed point of Y . Consider the fiber square diagram (3.12) of nonsingular varieties. Assume that f is flat but possibly non-proper. Lemma 3.7. For γ P Hd cpX, ΩdXq we have (3.15) ż X1 v˚pγq “ ż f γ P k.
Proof. By Nagata’s compactification f is extendible to a proper flat mor-phism ¯f : ¯X Ñ Y with an open immersion X ãÑ ¯X. By the resolution of singularities we can make that ¯X is nonsingular and the closure ¯X1 of X1 in
¯
X is also nonsingular. Let ¯v: ¯f´1pY1q Ñ ¯X be the induced morphism and
let ¯v˝:“ ¯v|X¯1. Thus we have a commutative diagram
with a fiber square. To show (3.15) we may assume γP Hd
ZpX, ΩdXq for some
complete subvariety Z of X. Let nat denote the natural map Hd
ZpX, ΩdXq Ñ
Hdp ¯X,Ωd ¯
Xq. Then by the support condition of γ we have
(3.17) p¯g˝q˚L¯v˝˚pTf¯pnatpγqqq “ ¯g˚L¯v˚pTf¯pnatpγqqq P k.
Since ¯v˚˝pnatpγqq “ L¯v˝˚pTf¯pnatpγqqq under ΩdX¯1 – g
!
OY1, LHS of (3.17) be-comesşX¯1¯v˝˚pnatpγqq, which equals to LHS of (3.15) by the support condi-tion of γ. On the other hand by (3.13), RHS of (3.17) becomes u˚şf¯natpγq,
which equals to RHS of (3.15) by the support condition and H0
pY, OYq “
k.
3.6.5. Projection formula. Let X, Y , Z be nonsingular varieties and let f : X Ñ Y , g : Y Ñ Z be morphisms. Let d1 “ dim Y ´ dim Z. The uniqueness of adjunction implies the functoriality of the pushforward, for pě 0 with p ´ d ě 0 and p ´ d ´ d1 ě 0 (3.18) ż g˝f “ ż g ˝ ż f : HcqpX, ΩpXq Ñ Hcq´d´d1pZ, Ω p´d´d1 Z q.
Let f : X Ñ Y be a (possibly non-proper) morphism between nonsingular varieties. Then for γ P Hd
cfpX, ΩdXq and σ P HqpY, Ω p Yq the projection formula ż f pf˚σ^ γq “ σ ^ ż f γ (3.19) holds in HqpY, Ωp
Yq. This can be verified as follows. We may assume that f
is proper. Consider the commuting diagram
ΩpY //Rf˚ΩpX Rf˚p¨^γq //Rf˚pΩpX ^ Ωd Xrdsq Rf˚pTfq //ΩpY b Rf˚f!OY OYr´qs σ OO //Rf˚OX Rf˚f˚σ OO Rf˚pf˚σ^γq 33 Rf˚pTfpf˚σ^γqq 44
We note that the composition of the maps in the top horizontal line is idΩp
Y b Rf˚pTfpγqq using the generic smoothness of f and local coordinate systems for compatible bases of Ω1
X and Ω 1
Y. The clockwise compositions
of maps starting from OYr´qs followed by τf yields LHS of (3.19) and the
counterclockwise compositions of maps followed by τf yields RHS of (3.19).
3.6.6. Some computations. Let Q be the tautological quotient bundle on the projective space Pn. We want to compute ş
Pn of the top Chern class cnpQq P H0pPn,ΩXnrnsq. The class cnpQq is equal to p´1qnc1pOp´1qqn. Let
Ui “ txi‰ 0u where x0, ..., xnare homogeneous coordinates. On each Ui, we
may identify Op´1q with the i-th component of OP‘n`1n by the tautological monomorphism Op´1q Ñ O‘n`1Pn . This yields connections ∇i on Op´1q|Ui. Let zi “ xi{x0. Note that ∇0´ ∇i “ ´dzzii. Hence ∇i´ ∇j “ dzzii ´
dzj
U0X UiX Uj. By the n-th fold Alexander- ˇCech-Whitney cup product of a
ˇ
Cech representative p∇i´ ∇jqiăj of c1pOp´1qq we conclude that cnpQq is
representable by a ˇCech cycle p´1qpn`12 q dz1...dzn
z1...zn
P ΩnPnpU0X ... X Unq.
Here the sign contribution of`n2
˘
among `n`12
˘
comes from the exchanges of odd ˇCech ‘elements’ and differential one forms dzi
zi; see [1, 4]. Thus (3.20) ż Pn k cnpQq “ p´1qp n`1 2 qresrdz1...dzn z1...zn s “ p´1qp n`1 2 q.
Let E be a rank n vector bundle on a nonsingular variety X and let π : E Ñ X be the projection. We have the diagonal section s of π˚E by letting speq “ pe, eq. Let ¯π : PpE ‘ OXq Ñ X be the projection, which is a
proper extension of π:
PpE ‘ OXq “ PpEq \ E Ą E Ą PpOXq “ X.
Let Q be the tautological quotient bundle on PpE ‘ OXq. It has a section
¯
sby the composition OÝÝÝÝÑ πp0,´idq ˚E‘ O ÝÝÑ Q. Note that the zero locusquot
¯
s is PpOXq, since p0, ´idq is factored through the kernel of quot exactly
on PpOXq. Note that the composition quot ˝ pid, 0q|E : π˚E Ñ Q|E is an
isomorphism sending s to ¯s|E. Therefore we have
(3.21) ż π chpKospsqqtdpπ˚Eq “ ż ¯ π chpKosp¯sqqtdpQq “ ż ¯ π cnpQq (by letting ¯s“ 0) “ p´1qp n`1 2 q (by (3.14) & (3.20)). References
[1] M. Brown and M. Walker, A proof of a conjecture of Shklyarov. arXiv:1909.04088. [2] A. C˘ald˘araru and S. Willerton, The Mukai pairing, I: a categorical approach. New
York J. Math. 16 (2010) 61-98.
[3] D. Choa, B. Kim, and B. Sreedhar, In preparation.
[4] K. Chung, B. Kim, and T. Kim, A chain-level HKR-type map and a Chern character formula. In preparation.
[5] I. Ciocan-Fontanine, D. Favero, J. Gu´er´e, B. Kim, M. Shoemaker, Fundamental Fac-torization of a GLSM, Part I: Construction. To appear in Memoirs of the American Mathematical Society, arXiv:1802.05247v3.
[6] D. Favero and B. Kim, General GLSM Invariants and Their Cohomological Field Theories. arXiv:2006.12182.
[7] W. Fulton, Intersection theory. Second edition. Springer-Verlag, Berlin, 1998. [8] F. Hirzebruch, Topological methods in algebraic geometry. Classics in Mathematics.
Springer-Verlag, Berlin, 1995.
[9] B. Kim and A. Polishchuk, Atiyah class and Chern character for global matrix fa-corizations. To appear in J. Inst. Math. Jussieu, arXiv:1907.11441v3.
[11] J. Lipman and M. Hashimoto, Foundations of Grothendieck duality for diagrams of schemes. Lecture Notes in Mathematics, 1960. Springer-Verlag, Berlin, 2009. [12] N. Markarian, The Atiyah class, Hochschild cohomology and the Riemann-Roch
the-orem. J. London Math. Soc. (2) 79 (2009) 129-143.
[13] N. O’Brian, D. Toledo, and Y. Tong, Hirzebruch-Riemann-Roch for coherent sheaves. Amer. J. Math. 103 (1981), no. 2, 253-271.
[14] D. Platt, Chern character for global matrix factorizations. arXiv:1209.5686.
[15] A. Polishchuk and A. Vaintrob, Chern characters and Hirzebruch-Riemann-Roch for-mula for matrix factorizations. Duke Math. J. 161 (2012), no. 10, 1863-1926. [16] A. Ramadoss, A generalized Hirzebruch Riemann-Roch theorem. C. R. Math. Acad.
Sci. Paris 347 (2009), no. 5-6, 289-292.
[17] D. Shklyarov, On Serre duality for compact homologically smooth DG algebras. arXiv:math/0702590.
[18] D. Shklyarov, Hirzebruch-Riemann-Roch-type formula for DG algebras. Proc. Lond. Math. Soc. (3) 106 (2013), no. 1, 1-32.
[19] D. Shklyarov, Matrix factorizations and higher residue pairings. Adv. Math. 292 (2016), 181-209.
Korea Institute for Advanced Study, 85 Hoegiro, Dongdaemun-gu, Seoul 02455, Republic of Korea
