Arxiv:2007.04625V2 [Math.AG]

Home , Coherent duality, Direct image functor, Verdier duality

arXiv:2007.04625v2 [math.AG] 8 Oct 2020 hoescnb nantdb ahnr of machinery a by incarnated be can theorems D)Vrirdaiyi h eie aeoyo hae over sheaves of category derived the étal in torsion duality Verdier of category (D3) derived quasi-cohe the of in étale category duality derived the (D2) in duality coherent (D1) Date frame several are there topology, and geometry algebraic In Künneth formula a References Application: results 6.3. Main revisited theorems 6.2. Scheiderer’s duality and complex 6.1. Gersten complex Gersten 6. A 5.3. transfer Twisted 5.2. residue Twisted map signature (twisted) 5.1. The 5. 4.4. complex Rost-Schmid 4.3. The complex Balmer-Walter-Gille 4.2. The Devissage 4.1. Borel-Moore paper the of results 4. Main complexes dualizing 3. On sheaves and schemes 2.2. On preliminaries and 2.1. Conventions 2. .Introduction 1. coe ,2020. 9, October : hc nsm ae a erltdt oooia rsemialge or topological to related be of can hypercohomology cases some with in coincides which complex this of homology ope fsevso elshms n hwta hsconstr this that show and schemes, real on sheaves of complex eie aeoy hc scmail ihteexceptional the with compatible is which category, derived A I I BSTRACT chmlg ihsupport with -cohomology complex dualizing with -cohomology edsusacneto ewe oeetdaiyadVerdi and duality coherent between connection a discuss We . ESE OPE NRA SCHEMES REAL ON COMPLEX GERSTEN A AGHUJNADHN XIE HENG AND JIN FANGZHOU .I 1. C NTRODUCTION ONTENTS rtedeksxfntr formalism functors six Grothendieck 1 hae vrascheme; a over sheaves e nes mg functor image inverse ri oe-or homology. Borel-Moore braic cingvsadaiigojc nthe in object dualizing a gives uction ok nwihlcladgoa duality global and local which in works etsevsoe scheme; a over sheaves rent h hafidGrtnWt complex, Gersten-Witt sheafified the oal opc oooia space; topological compact locally a rdaiyvaaGersten-type a via duality er f ! h hyperco- The . uhas such , 24 22 20 16 16 14 14 12 12 11 10 8 7 7 5 4 4 4 1 2 FANGZHOU JIN AND HENG XIE

(D4) A1-homotopic duality in triangulated categories of motivic sheaves. All these formalisms are modelled over (D1) in [Har66], where one of the main upshot is the existence of dualizing objects and the fact that they are preserved via the exceptional inverse image functor f !. However, (D1) behaves quite differently from the others: for example, in the coherent context, the exceptional direct image functor f! does not exist, and there is no suitable subcategory of constructible objects perserved by the six functors, while base change and purity theorems hold in a much greater generality. One of the main goals of this paper is to build up a bridge between (D1) and a variant of (D3) related to semialgebraic spaces, which is provided by a Gersten complex of real schemes. In this new way, dualizing complexes in (D1) generate naturally some explicit dualizing objects in (D3). Another motivation for us is about the following question What is the singular cohomology in algebraic geometry? Classically, for smooth varieties X over C, there are cycle class maps CHkpXqÑ H2kpXpCq, Zq from Chow groups to singular cohomology. Jacobson [Jac17] constructs a signature morphisms Sign : HipX, Ij qÑ HipXpRq, Zq from Ij-cohomology of an algebraic variety over R to singular cohomology, and shows that the signature morphism is an isomorphism if j ě dim X`1. In [HWXZ19], Jacobson’s results are generalized to “twists” by which we mean line bundles on smooth varieties X and local coefficients on XpRq, i.e. a twisted signature morphism Sign : HipX, IjpLqq Ñ HipXpRq, ZpLqq for any line bundle L on X, which is then shown to be compatible with pullbacks, pushforwards and intersection products. In [HWXZ19], the authors also prove that signature morphisms are isomorphisms in all degrees (removing the condition j ě dim X ` 1 in [Jac17]) for smooth cellular varieties. Following this vein, we show that, for singular varieties, the construction in [HWXZ19] naturally generalizes to the classical Borel homology, and provide the following signature isomorphism í I8 – BM Sign : H pX, pLqq ÝÑ Hi pXpRq, ZpLqq (see Corollary 6.3.6). Let X be a scheme. The associated real scheme Xr is a topological space constructed by gluing real spectra of rings (cf. [Sch95, 0.4.2]). Its points are pairs px, λq, where x is a point of X and λ is an ordering of the residue field of x. The real scheme has been much used in studying the link between real algebraic geometry and étale cohomology with 2-torsion coefficients ([Sch94]), and recent progress provides more interesting relations of this object with other areas of mathematics: for example, Jacobson ([Jac17, Theorem 8.6]) constructs an isomorphism I8 (1.0.0.1) » supp˚ Z relating the sheaf of the powers of the fundamental ideal in the Witt groups of quadratic forms with the constant sheaf on the real scheme; more recently, Bachmann shows that the minus part of the motivic stable homotopy category is precisely provided by the information on the real scheme ([Bac18, Theorem 35]). It turns out that these twists canonically correspond to the change of duality in Witt groups and compatible with pushforward, pullback , at least for smooth schemes over R (cf. loc. cit.). A GERSTEN COMPLEX ON REAL SCHEMES 3

On the other hand, within the framework of the six functors in motivic homotopy, a systematic theory that relates cohomology and Borel-Moore theories (also called bivariant theory) is developed by Déglise ([Dég18]), based on some ideas of Voevodsky. The table below indicates how these two types of theories can be philosophically compared (see also [DJK18]): cohomology Borel-Moore theory b-invertible objects dualizing objects preserved by f ˚ preserved by f ! ring structure module over cohomology For example, algebraic G-theory is the Borel-Moore theory associated to algebraic K-theory ([Jin18]). For smooth schemes, cohomology agree with Borel-Moore theory up to a twist by Poincaré duality. In general, cohomology theories usually have a ring structure, while Borel-Moore theories have better localization properties. From this point of view, Jacobson’s isomorphism (1.0.0.1) can be regarded as an identification of cohomology theories. Since Bachmann’s theorem relates sheaves on real schemes to motivic homotopy, a natural question arises whether there is a Borel-Moore type analogue of (1.0.0.1). Just as Grothendieck’s coherent duality ([Har66]) refines Serre’s duality by considering dualizing complexes instead of dualizing sheaves, it is attempting to think that such an analogue for real schemes should involve complexes of sheaves. On the Witt-theoretic side, a candidate of such a complex is constructed by Gille ([Gil07, 7.1]), which associates to a (coherent) dualizing complex a Gersten-type complex of Witt groups. We will reproduce this construction in Section 4.1, while avoiding the choices of injective hulls as in [Gil07]. It is worth mentioning that a very similar construction using residual complexes appears recently in [Plo19, §3]. For a discussion for the corresponding Gersten conjecture, see Remark 4.2.6. On the side of real schemes, our inspiration comes from a complex of sheaves defined by Schei- derer ([Sch95, Corollary 2.3]): for a regular scheme, Scheiderer’s result states that the constant sheaf over the real scheme has a canonical resolution by acyclic sheaves which comes from the E1-page of the coniveau spectral sequence. Since the structure sheaf of a regular scheme is a dualizing complex, by comparing with Gille’s complex, one tend to believe that a natural analogue on real schemes could be given by a complex of acyclic sheaves associated to a (coherent) dualizing complex. These considerations lead us to define, for a scheme X with a dualizing complex K, a new complex CpXr, Kq of sheaves of abelian groups on Xr, as a Rost-Schmid type complex where the residue homomorphisms are given by the information captured from the stalks of the dualizing complex, using the twisting techniques from [HWXZ19]. Such a construction is very natural to us, and maybe inherent to Grothendieck’s insights on “residues and duality”. Acknowledgments. We would like to thank Frédéric Déglise, Jean Fasel, Niels Feld, Adeel Khan, James Plowman, Marco Schlichting and Marcus Zibrowius for helpful discussions. Both authors are partially supported by the DFG Priority Programme SPP 1786. F. Jin is supported by Marc Levine’s ERC Advanced Grant QUADAG. H. Xie is supported by EPSRC Grant EP/M001113/1 and he would also like to thank Max Planck Institute for Mathematics in Bonn for its hospitality. H. Xie would like to acknowledge the DFG-funded research training group GRK 2240: Algebro-Geometric Methods in Algebra, Arithmetic and Topology. 4 FANGZHOU JIN AND HENG XIE

2. CONVENTIONSANDPRELIMINARIES 2.1. On schemes and sheaves. All schemes considered are noetherian schemes of finite Krull dimension. Smooth morphisms are seperated of finite type. If X is a scheme and x is a point of X, denote by kpxq the residue field of x. (a) All sheaves considered are sheaves of abelian groups. We identify a vector bundle with the locally free sheaf given by the sheaf of its sections. (b) If X Ñ S and Y Ñ S are two morphisms of schemes, denote by pX : X ˆS Y Ñ X and pY : X ˆS Y Ñ Y the projections. If F (respectively G) is a sheaf of abelian groups on X ˚ ˚ (respectively Y ), denote by F bS G :“ pX F b pY G. (c) We denote by I8 (resp. I8) the colimit of the powers of the fundamental ideal (resp. the colimit of the sheaves of the powers of the fundamental ideal). (d) Let pX, OX q be a ringed space and let L be an invertible OX -module. If F is a sheaf on X ˆ with an action of the sheaf OX , we define the twisted sheaf FpLq to be the sheaf associated to the presheaf ˆ (2.1.0.1) U ÞÑ FpUqb Oˆ ZrLpUq s Zr X pUqs where for a set S, ZpSq denotes the free abelian group with basis S ([HWXZ19, Definition 2.28]). The sheaf FpLq is locally isomorphic to F. (e) Let X be a scheme, and let Xr be its real spectra. Recall that for any ordering P on a field ˆ F , there is a group homomorphism SignP : F Ñ t1, ´1u sending a to 1 if a P P and a to ´1 if a R P . ˆ Lemma 2.1.1. For any Zariski open subset U Ă X and regular function f P OX pUq, the sign map Signpfq: Ur Ñ t˘1u given by px, P q ÞÑ SignP pfxq is locally constant. Proof. We may assume that U “ SpecA is affine. The global section f : A Ñ A is an automorphism of A, viewed as a free module over itself, so we may consider f as a unit in A. Recall that a subbasis of the topology on the real spectrum sper A is given by the sets Dpaq :“ tpx, P q P SperA: ax ąP 0u for a P A. As fx is non-zero for any x, SperA is the disjoint union of Dpfq and Dp´fq. The value of SignP pfxq is constant `1 on Dpfq and constant ´1 on Dp´fq. ˆ We thus obtain a morphism of abelian sheaves OX Ñ supp˚t˘1u, and, by adjunction, a ˚ ˆ morphism supp pOX q Ñ t˘1u. We can upgrade this morphism to a morphism of sheaves ˚ ˆ of rings Zrsupp pOX qs Ñ Zrt˘1us. This allows us to view any abelian sheaf A on Xr as ˚ ˆ a Zrsupp pOX qs-module. In particular, we can twist A with any line bundle L, i.e. with any ˚ locally free supp OX -module of rank one over Xr to obtain a twisted sheaf ApLq ˚ ˆ U ÞÑ ApUqb ˚ Oˆ Zrsupp pL qs. Zrsupp p X qs (f) By a precomplex (of abelian groups), we mean a sequence of maps of abelian groups.

2.2. On dualizing complexes. Recall the following facts about dualizing complexes: b (a) If X is a scheme, denote by DcpQpXqq the derived category of bounded complexes of quasi- coherent sheaves on X with coherent cohomology. b (b) For M P DcpQpXqq, the support of M is the subset of X deﬁned as supp M “ tx P i X|H pMqx ‰ 0 for some i P Z u. A GERSTEN COMPLEX ON REAL SCHEMES 5

b (c) A dualizing complex on a scheme X is a complex K P DcpQpXqq which is quasi- b isomorphic to a bounded complex of injective OX -modules, such that for any F P DcpQpXqq the canonical map F Ñ RHompRHompF, Kq, Kq is an isomorphism ([Har66, V.2], [Con00, §3.1]). (d) A dualizing object will refer to an object in the derived category DpXrq in this paper, see Definition 6.2.6. (e) If X is a Gorenstein scheme, OX is a dualizing complex on X ([Har66, V 9.1]). ! ` (f) If f : X Ñ Y is a separated morphism of finite type, there is a functor f : Dc pY q Ñ ` Dc pXq, which can be constructed using smoothings ([Har66, III 8.7]) or Nagata compactifications ([LH09]). The functor f ! preserves dualizing complexes ([Har66, VI 3.1]). (g) Two dualizing complexes on a scheme differ by an invertible sheaf up to a shift ([Har66,V 3.1]). (h) If x is a point of X and K is a dualizing complex on X, denote by πx : Specpkpxqq Ñ b SpecpOX,xq the canonical map and Kx P D pOX,xq the stalk at x. Then there is a unique ! b integer µK pxq such that πxKx P D pkpxqq is quasi-isomorphic to a 1-dimensional kpxq- vector space concentrated in degree ´µK pxq; in addition, the association x ÞÑ µK pxq defines a codimension function on X ([Har66, V 3.4, 7.1]). pnq (i) If X is a regular scheme, we denote by X the set of points x P X with µOX pxq“ n. ! 1 Definition 2.2.1. We denote by Kkpxq the 1-dimensional kpxq-vector space πxKxrµK pxqs.

2.2.2. For any scheme X, denote by XQ “ X ˆSpecpZq SpecpQq its characteristic 0 fiber, with the canonical inclusion νX : XQ Ñ X. The points of Xr lie over points of X whose residue field are formally real, and therefore live in the characteristic 0 fiber pXQqr. Therefore we have Xr “ pXQqr. ˚ Furthermore, if K is a dualizing complex on X, then the pullback νX K is a dualizing complex ˚ on XQ ([Stacks, Tag 0A7G]). By definition, the two complexes K and νX K have isomorphic stalk at every point of XQ. It follows that in all the situations related to real schemes encountered in this paper, we can harmlessly assume that all schemes have characteristic 0.

3. MAIN RESULTS OF THE PAPER For a scheme X with a dualizing complex K, we recall in Section 4.1 the construction of the Balmer-Walter-Gille complex. In Section 4.2 we construct in a different way a Rost-Schmid complex of the form (3.0.0.1)

W pkpxq, KkpxqqÑ W pkpxq, KkpxqqÑ¨¨¨Ñ W pkpxq, Kkpxqq. µK pxq“m µK pxq“m`1 µK pxq“n à à à The construction follows the ideas of [Schmid], using the twisted residue and transfer maps on Witt groups. When 2 is invertible on X, the precomplex (3.0.0.1) agrees with the Balmer-Walter-Gille complex, and in particular is a complex (cf, Theorem 4.2.5). In Sections 4.3 and 4.4 we study the restriction of the complex (3.0.0.1) to the powers of the fundamental ideal, as well as its cohomology with support. The main upshot is the following devissage-type result (cf. Theorem 4.4.5):

1This construction can be done in one step by extending the functor f ! to morphisms essentially of ﬁnite type, see [Stacks, Tag 0A7K] and [DFKJ20, Appendix B]. 6 FANGZHOU JIN AND HENG XIE

Theorem 3.0.1. Let π : Z Ñ X be a closed immersion and assume that 2 is invertible on both schemes. Then there is a canonical isomorphism (3.0.1.1) HipZ, Ij ,π!Kq» HipX on Z, Ij, Kq.

Here HipX, Ij, Kq is the i-th hypercohomology of the sheafification of the complex (3.0.0.1), where we replace everywhere Witt groups by the j-th power of the fundamental ideal Ij, and HipX on Z, Ij, Kq is the variant with support in Z. In Sections 5.1 and 5.2 we define the twisted residue and transfer maps on real spectra. The former is modeled over [Jac17, §3], and the latter arises naturally as a particular case of coherent duality. We use them in Section 5.3 to define a precomplex of abelian groups of the form (3.0.1.2) Cpkpxqr, ZpKkpxqqq Ñ Cpkpxqr, ZpKkpxqqqÑ¨¨¨Ñ Cpkpxqr, ZpKkpxqqq. µK pxq“m µK pxq“m`1 µK pxq“n À À À We show that the precomplex (3.0.1.2) is a complex in Theorem 5.3.2 by comparing it with the complex (3.0.0.1). By sheafifying the complex (3.0.1.2) we obtain a complex of sheaves of abelian groups on Xr

(3.0.1.3) pixr q˚ZpKkpxqqÑ pixr q˚ZpKkpxqqÑ¨¨¨Ñ pixr q˚ZpKkpxqq µK pxq“m µK pxq“m`1 µK pxq“n à à à which we denote by CpXr, Kq. We have the following result (cf. Proposition 5.3.5), which is a Borel-Moore type analogue of [Jac17, Corollary 8.9]: Theorem 3.0.2. If 2 is invertible on X, then HipX, Ij, Kq agrees with the i-th hypercohomology group of CpXr, Kq.

Note that CpXr, Kq is a complex of acyclic sheaves, so its hypercohomology agree with the cohomology of the complex (3.0.1.2). In Sections 6.1 and 6.2 we justify the fundamental properties of the complex CpXr, Kq. We start by building some reﬁnements on the six functors on real schemes (cf. Theorems 6.1.9 and 6.1.11): Theorem 3.0.3. (1) (Poincare´ duality) If f : X Ñ Y is a smooth morphism of relative dimension d with tangent bundle Tf , there is a canonical isomorphism of functors ˚ ! (3.0.3.1) ZpdetpTf qqrdsb fr p´q Ñ frp´q. (2) (absolute purity) Let i : Z Ñ X be a closed immersion between regular schemes of pure codimension c, and denote by N the normal bundle of i. Then for any locally constant constructible sheaf F on Xr there is a canonical isomorphism in DpZrq ! ˚ ´1 (3.0.3.2) irF » ir F b ZpdetpNq qr´cs.

Here for L is an invertible OX -module, ZpLq is a locally constant sheaf locally isomorphic to Z (see 2.1). For a more detailed discussion about duality and purity results in the motivic context, see [DJK18] and [DFKJ20]. Now Theorem 3.0.3 allows us to prove the main results of the paper (cf. Corollary 6.1.18, Theorem 6.2.4 and Theorem 6.2.8):

Theorem 3.0.4. The complex of sheaves CpXr, Kq P DpXrq satisﬁes the following properties:

(1) If X is an excellent regular scheme and L is an invertible OX -module, then CpXr, Lq » ZpLq. A GERSTEN COMPLEX ON REAL SCHEMES 7

(2) For any quasi-projective morphism f : X Ñ Y between excellent schemes, there is an isomorphism ! ! (3.0.4.1) CpXr,f Kq» frCpYr, Kq.

(3) If X is excellent, the complex CpXr, Kq is a dualizing object of DpXrq (see Definition 6.2.6). Theorem 3.0.4 (1) is a generalization of [Sch95, Corollary 2.3]. The proof of Theorem 3.0.4 (2) uses Theorem 3.0.4 (1), Theorem 3.0.1 and Poincaréduality. We deduce Theorem 3.0.4 (3) from Theorem 3.0.4 (1) and (2) using some techniques with six functors. In Section 6.3 we discuss some relations with the semialgebraic Borel-Moore homology over a real closed field ([Del91, III §2]). In particular, over the field of real numbers we recover the classical Borel-Moore homology in topology ([BM60], see also [Ver66], [Bre97, III] and [Iver86, IX]).

4. BOREL-MOORE DEVISSAGE 4.1. The Balmer-Walter-Gille complex.

4.1.1. Throughout Section 4.1, we assume that 2 is invertible in all schemes. Our main references are [BW02] and [Gil07].

4.1.2. Let X be a scheme with a dualizing complex K, represented by a minimal dualizing complex ([Gil07, Deﬁnition 1.7]) (4.1.2.1) K “ pKm Ñ¨¨¨Ñ Knq. We consider the triangulated category with duality b K K (4.1.2.2) pDcpQpXqq, # , can q.

The codimension function µK : X Ñ Z associated to K induces a ﬁltration on the derived category b DcpQpXqq as b m n (4.1.2.3) DcpQpXqq “ D Ě¨¨¨Ě D Ě p0q p b ppq where D :“ M P DcpQpXqq : µK pxq ě p for all x P supp M . We shall also denote X :“ tx P X : µ pxq ě pu. Since Dp`1 Ď Dp is a saturated subcategory, we have an exact sequence of K ( triangulated category with duality q (4.1.2.4) Dp`1 Ñ Dp ÝÑ Dp{Dp`1 which induces a long exact sequence of Witt groups (4.1.2.5) q ¨¨¨Ñ W ipDp`1, KqÑ W ipDp, Kq ÝÑ˚ W ipDp{Dp`1, Kq ÝÑB W i`1pDp`1, KqÑ¨¨¨ . Now, we get a complex

q q q m m m`1 B m`1 m`1 m`2 B B n (4.1.2.6) W pD {D , Kq ÝÑ W pD {D , Kq ÝÑ¨ ¨ ¨ ÝÑ W pDn, Kq. The localization functor (which is an equivalence of triangulated categories) p p`1 b Q O (4.1.2.7) D {D ÝÑ Dc,mx p p X,xqq µ x p Kžp q“ 8 FANGZHOU JIN AND HENG XIE induces an isomorphism of Witt groups i p p`1 i O (4.1.2.8) W pD {D , Kq» Wmx p X,x, Kxq. µK pxq“p à For x P X, denote by πx : Specpkpxqq Ñ SpecpOX,xq the canonical map. By [Xie20, Lemma 4.3], for any i there is a devissage isomorphism i ! i O (4.1.2.9) πx,˚ : W pkpxq,πxKxq» Wmx p X,x, Kxq. Putting all these together we get a complex (4.1.2.10) q p´1 ! B p´1 ! p´1 ! W pkpxq,πxKxq ÝÑ W pkpxq,πxKxqÑ¨¨¨Ñ W pkpxq,πxKxq. µK pxq“m µK pxq“m`1 µK pxq“n À À À 4.1.3. If µK pxq “ p, then the one-dimensional kpxq-vector space Kkpxq in Deﬁnition 2.2.1 can be written as ! p p (4.1.3.1) Kkpxq “ πxpKxq“ HomX pkpxq, Kxq with a canonical quasi-ismorphism ! (4.1.3.2) πxKx » Kkpxqr´ps. It follows that the complex (4.1.2.10) can be rewritten as (4.1.3.3) Bq W pkpxq, Kkpxqq ÝÑ W pkpxq, KkpxqqÑ¨¨¨Ñ W pkpxq, Kkpxqq. µK pxq“m µK pxq“m`1 µK pxq“n à à à 4.2. The Rost-Schmid complex.

4.2.1. Let X be a scheme and let K be a dualizing complex on X. We construct the Rost–Schmid precomplex (4.2.1.1) BRS W pkpxq, Kkpxqq ÝÝÑ W pkpxq, KkpxqqÑ¨¨¨Ñ W pkpxq, Kkpxqq µK pxq“m µK pxq“m`1 µK pxq“n à à à in a different way from the complex (4.1.3.3) by following the method of [Schmid]. This complex shall be denoted by CRSpX, W, Kq. Eventually in Theorem 4.2.5 we show that the two constructions agree when 2 is invertible on X.

4.2.2. If A is a one dimensional local domain with field of fractions F , we denote A˜ be its normalization. A˜ contains finitely many maximal ideals. Choose one maximal ideal m˜ of A˜ . Now, A˜m˜ is a discrete valuation ring with field of fractions F with residue field kpm˜ q, and A˜m˜ is a finitely generated A module. We have a map f˜ : SpecpA˜m˜ qÑ SpecpAq, and we form a commutative diagram

f˜ SpecpA˜m˜ q / SpecpAq O O (4.2.2.1) π˜ π g Specpkpm˜ qq / Specpkpmqq A GERSTEN COMPLEX ON REAL SCHEMES 9

! If K is a minimal dualizing complex on A, then f˜ K is a minimal dualizing complex on SpecpA˜m˜ q. The Rost–Schmid residue map (4.2.2.2) δ : W pF qÑ W pkpm˜ q, pm˜ {m˜ 2q˚q

πy˜ ˚ is defined by sending a form xay on F to δ2 pxayq b π where δ2 is Milnor’s second residue (cf. [MH73, Lemma 1.2]) and π˚ is the dual basis of the basis π in the free rank one kpm˜ q vector space m˜ {m˜ 2. ˜! Let Kkpm˜q :“ pf Kqkpm˜q and let Ω be the kernel of the first differential (which is a dualizing module). We have a twisted residue map m (4.2.2.3) δ : W pF, KF qÑ W pkp ˜ q, Kkpm˜ qq induced by the Rost-schmid residue map, this is because we have isomorphisms KF » ΩF and Ω m˜ m˜ 2 ˚ Ω m˜ m˜ 2 ˚ (4.2.2.4) Kkpm˜q » bA˜m˜ p { q » kpm˜q bkpm˜q p { q where the left isomorphism is obtained by the fundamental local isomorphism ([Har66, III 7.3, p. 180]). Note that kpmqĂ kpm˜ q is a finite field extension, and there are canonical isomorphisms ˜! ! (4.2.2.5) Kkpm˜q “ pf Kqkpm˜q » g Kkpmq, and we define the twisted transfer as m m ! g˚ m (4.2.2.6) tr : W pkp ˜ q, Kkpm˜ qq» W pkp ˜ q, g Kkpmqq Ñ W pkp q, Kkpmqq. Remark 4.2.3. The transfer map (4.2.2.6) is well-defined even if 2 is not invertible. Assume F is any field, and L is a finite field extension of F . Let g : SpecpLq Ñ SpecpF q be the canonical map, and ! let H be a rank one free module over F . Then, g H :“ HomF pL,Hq is a rank one free module over ! L. The transfer is defined to be g˚ : W pL, g HqÑ W pF,Hq by sending a symmetric space ϕ : V Ñ ! ! HomLpV, g Hq to e ˝ ϕ : V Ñ HomF pV,Hq where the map e : HomF pVF , g Hq Ñ HomF pV,Hq is the “evaluation at 1” map defined by sending f to v ÞÑ fpvqp1Lq. 4.2.4. Now we define the differential in the precomplex (4.2.1.1) RS (4.2.4.1) B : W pkpxq, KkpxqqÑ W pkpyq, Kkpyqq µK pxq“i µK pyq“i`1 à à as the composition

‘δ Σtr (4.2.4.2) W pkpxq, Kkpxqq ÝÑ W pkpy˜q, Kkpy˜qq ÝÑ W pkpyq, Kkpyqq y˜ à where the sum is taken over all points y˜ that dominate y and live inside the normalization txu of txu in its residue ﬁeld kpxq. Note that O is a discrete valuation ring dominating the one dimensional txu,y˜ Ą local domain O in its ﬁeld of fractions which is isomorphic to kpxq. txu,y Ą Theorem 4.2.5. Assume that 2 is invertible on X. Then the Rost–Schmid precomplex (4.2.1.1) coincides with the Balmer-Walter-Gille complex (4.1.3.3). In particular, the precomplex (4.2.1.1) is a complex. Proof. It is enough to check the one dimensional local domain case. The proof in this case can be extracted from [Gil07, Propostion 6.10]. 10 FANGZHOU JIN AND HENG XIE

Remark 4.2.6. (1) In [Plo19, §3], Plowman gave a construction similar to the precomplex (4.2.1.1) via a Rost-Schmid type construction with residue complexes. Our construction seems to be comparable to his by translating dualizing complexes to residue complexes, but such a comparison is beyond the scope of this paper. Plowman has also informed us that he is able to show that his precomplex is a complex even if 2 is not invertible. (2) The Gersten conjecture for Witt groups says that if X is the spectrum of a regular local RS ring, the precomplex C pX, W, OX q in (4.2.1.1) is an exact complex. When X has equal characteristic different from 2, this conjecture is proved in [BGP`02]. In mixed characteristic, the conjecture is proved by Jacobson ([Jac18, Theorem 3.8]) for any unramified 1 regular local ring with 2 invertible. For the two inverted Witt groups W pXqr 2 s, this conjecture is proved by Jacobson ([Jac17, Theorem 5.3]) for any excellent regular local ring, and the excellence condition is later removed in [DFKJ20, Corollary E.4]. In fact, one can RS O 1 RS O 1 see that C pX, W, X qr 2 s » C pXQ, W, XQ qr 2 s, since Witt groups of a field with finite characteristic can only have 2-primary torsions; therefore the Gersten conjecture for RS O 1 C pX, W, X qr 2 s (trivially) follows from the characteristic 0 case. 4.3. I-cohomology with dualizing complex. 4.3.1. Throughout Section 4.3, we assume that 2 is invertible in all schemes. Definition 4.3.2. If k is a field and L is a one-dimensional k-vector space, we define the fundamental module Ijpk,Hq Ă W pk,Hq as follows: consider W pk,Hq as a W pkq-module, and Ijpk,Hq is defined to be the submodule of Ijpkq ¨ W pk,Hq Ă W pk,Hq where Ijpkq Ă W pkq is the j-th fundamental ideal.

Lemma 4.3.3. For x P X with µI pxq “ p, and y P X with µIpyq “ p ` 1 such that y lies in the closure of x. Then we have q j j´1 (4.3.3.1) BppI pkpxq, Kkpxqqq Ď I pkpyq, Kkpyqq. Proof. It is enough to prove the clasim for X the spectrum of a one dimensional local domain A with dualizing complex K. Let F be the field of fractions, and πη : SpecpF q Ñ SpecpAq the canonical q map. In this case, we mush show that the map B : W pF, KηqÑ W pkm, Kmq from the Gersten-Witt complex preserves fundamental modules. Choosing suitable injective hulls (i.e. trivializations), one has a residue map dι : W pF qÑ W pkmq and a cubical commutative diagram Bq W pF, Kηq / W pkm, Kmq qq8 ♥♥♥7 qqq ♥♥♥ qq ♥♥♥ qqq ι ♥♥♥ q j B j´1 I pF, Kηq / I pkm, Kmq ι (4.3.3.2) ι dι ι W pF q / W pkmq q8 ♥7 qqq ♥♥♥ qqq ♥♥♥ qq ♥♥♥ qq ♥ j dι j 1 I pF q / I ´ pkmq The bottom diagram is commutative by [Gil07, Theorem 6.6]. The back vertical diagram is commutative by [Gil07, Diagram (15)] and our definition Bq via the devissage isomorphism (4.1.2.9). The upper diagram is therefore commutative by the commutativity of other five diagrams. A GERSTEN COMPLEX ON REAL SCHEMES 11

Definition 4.3.4. By Lemma 4.3.3, the Rost–Schmid complex (4.2.1.1) restricts to fundamental modules as (4.3.4.1) q j B j´1 j´pn´mq I pkpxq, Kkpxqq ÝÑ I pkpxq, KkpxqqÑ¨¨¨Ñ I pkpxq, Kkpxqq. µK pxq“m µK pxq“m`1 µK pxq“n À À À Denote this complex by CpX, Ij, Kq, which can be sheafified into a complex of Zariski sheaves of abelian groups CpX, Ij, Kq. 4.4. I-cohomology with support.

4.4.1. Throughout Section 4.4, we assume that 2 is invertible in all schemes.

4.4.2. Let π : Z Ñ X be a closed immersion, with j : U ãÑ X its open complement. From the complex CpX, Ij, Kq in Deﬁnition 4.3.4, we deﬁne the complexes of sheaves

j˚ (4.4.2.1) CpX on Z, Ij, Kq :“ ker CpX, Ij , Kq ÝÑ CpU, Ij, Kq . Definition 4.4.3. We define the I-cohomology of“ the scheme X with dualizing‰ complex K supported on Z to be the hypercohomology (4.4.3.1) HipX on Z, Ij, Kq :“ HipCpX on Z, Ij, Kqq We denote HipX, Ij, Kq“ HipX on X, Ij, Kq. b b 4.4.4. Let Dc,Z pQpXqq be the full triangulated subcategory of DcpQpXqq of complexes supported p on Z, that is, complexes F such that supp F Ď Z. Denote XI :“ tx P X|m ď µIpxqď p ´ 1u and ppq XI :“ tx P X|µI pxq“ pu. Define

p b p (4.4.4.1) DZ,X :“ M P Dc,ZpQpXqq|pMqx is acyclic for all x P XI

! b K ) considered as a full subcategory of Dc,Z pQpXqq. Since the duality functor # preserves the subcat- p p K p egory DZ,X , the pair pDZ,X , # q is a triangulated category with duality. The subcategories DZ,X provide a finite filtration b m m`1 p n (4.4.4.2) Dc,ZpQpXqq “ DZ,X Ě DZ,X Ě¨¨¨Ě DZ,X Ě¨¨¨Ě DZ,X Ě p0q which induces exact sequences of triangulated categories with duality p`1 p p p`1 (4.4.4.3) DZ,X ÝÑ DZ,X ÝÑ DZ,X {DZ,X. On the other hand, we define (4.4.4.4) Dp : M Db Q Z M is acyclic for all z Zp Z “ P cp p qq|p qz P π5I b ! ) as a full subcategory of DcpQpZqq. For the same reason, we have a finite filtration b m m`1 p n (4.4.4.5) DcpQpZqq “ DZ Ě DZ Ě¨¨¨Ě DZ Ě¨¨¨Ě DZ Ě p0q which induces exact sequences of triangulated categories with duality p`1 p p p`1 (4.4.4.6) DZ ÝÑ DZ ÝÑ DZ {DZ . 12 FANGZHOU JIN AND HENG XIE

p p Since µIpzq “ µπ5Ipzq for all z P Z, we have π˚pDZ q Ă DZ,X . It follows that we obtain a map of exact sequences of triangulated categories with duality p`1 π5K p π5K p p`1 π5K pDZ , # q ÝÝÝÝÑ pDZ , # q ÝÝÝÝÑpDZ,X {DZ,X , # q

(4.4.4.7) π˚ π˚ π˚ p`§1 K p § K p §p`1 K pDZ,X§, # q ÝÝÝÝÑpDZ,X§, # q ÝÝÝÝÑ pDZ,X {D§Z,X, # q đ đ đ which induces a map of long exact sequences of groups

i p π5K i p p`1 π5K i`1 p`1 π5K ¨ ¨ ¨ ÝÑW pDZ , # qÝÑW pDZ {DZ , # qÝÑW pDZ , # qÝÑ ¨ ¨ ¨

(4.4.4.8) π˚ π˚ π˚

p§ p § p`1 `1 §p`1 ¨ ¨ ¨ ÝÑW ipD § , #K qÝÑW ipD {§D , #K qÝÑ W i pD§ , #K q ÝÑ ¨ ¨ ¨ . Z,Xđ Z,X đ Z,X đZ,X On the other hand, the localization functors p p`1 b O (4.4.4.9) loc : DZ,X {DZ,X Ñ DmX,x p X,xq ppq xPZźXXI are equivalences of categories. From this, we deduce a morphism of complexes p 5 p`1 5 ¨ ¨ ¨ ÝÑ Wmx pOZ,x, π KxqÝÑ Wmx pOZ,x, π Kxq ÝÑ ¨ ¨ ¨ ppq pp`1q xPZ ! xPZ ! Àπ K Àπ K (4.4.4.10) π˚ π˚

p§ §p`1 ¨ ¨ ¨ ÝÑ Wm§x pOX,x,KxqÝÑ W§mx pOX,x,KxqÝÑ ¨ ¨ ¨ . p đ p 1 đ xPZXXp q xPZXXp ` q À K ÀK Now the devissage of Gille [Gil07] (or [Xie20, Lemma 4.5]) says that all the vertical arrows in (4.4.4.10) are isomorphisms, by reducing both groups to Witt groups of ﬁelds. The upper line of (4.4.4.10) computes HipZ, W,π!Kq and the lower line computes HipX on Z, W, Kq. By Lemma 4.3.3, we conclude that: Theorem 4.4.5. Let π : Z Ñ X be a closed immersion and let K be a dualizing complex on X. Assume that 2 is invertible on both schemes. Then the map i j ! i j (4.4.5.1) π˚ : H pZ, I ,π Kq ÝÑ H pX on Z, I , Kq induced by Diagram (4.4.4.10) is an isomorphism for any i, j P Z.

5. THE (TWISTED) SIGNATURE MAP 5.1. Twisted residue.

5.1.1. Let X be a scheme with a dualizing complex K. Let x,y P X be such that µKpxq “ p and ! p ! p`1 µKpyq“ p`1. Recall our convention Kkpxq :“ πxKx and Kkpyq :“ πyKy . Both Kkpxq and Kkpyq are one-dimensional vector spaces over their corresponding residue ﬁelds. Our goal in this section is to deﬁne a twisted differential

(5.1.1.1) Bre : Cpkpxqr, ZpKkpxqqq Ñ Cpkpyqr, ZpKkpyqqq. The map (5.1.1.1) will be deﬁned by a twisted residue map followed by a twisted transfer map on the real spectrum. We use the notation Fr :“ SperpF q for a ﬁeld F . A GERSTEN COMPLEX ON REAL SCHEMES 13

5.1.2. Let R be a discrete valuation ring with field of fractions F and let m be its maximal ideal. Let km be it is residue field. Choose a uniformizing parameter π of R. Suppose P is an ordering on F . We say R is convex on pF, P q whenever for all x,y,z P F , x ďP z ďP y and x,y P R implies z P R. For any ordering ξ¯ on km, the set ¯ ¯ (5.1.2.1) Yξ¯ :“ tP P SperpF q : R is convex in pF, P q, and ξ “ P on kmu π maps bijectively to t˘1u by sending P to SignP pπq [Jac17, Section 3]. Denote ξ˘ the ordering on F such that Sign π pπq“˘1. Jacobson [Jac17, Section 3] defines a group homomorphism ξ˘

βπ : CpFr, ZqÑ Cppkmqr, Zq (5.1.2.2) ¯ π π s ÞÑ ξ ÞÑ spξ`q´ spξ´q called the residue map. The map (5.1.2.2) depends` on the choice of uniformizing˘ parameter. Remark 5.1.3. Note that by 2.2.2, if kpmq is ﬁnite characteristic, then the target of the βπ is zero.

5.1.4. For a ﬁeld Q and a one-dimensional Q-vector space H, we deﬁne CpQr, ZpHqq as the group ˆ (5.1.4.1) CpQr, ZqbZrQˆs ZrH s where the underlying map ˆ (5.1.4.2) ζ : ZrQ sÑ CpQr, Zq is the ring homomorphism given by

(5.1.4.3) p naaq ÞÑ ξ ÞÑ naSignξa . The twisted residue map is the groupř homomorphism´ ÿ ¯ 1 2 ˚ β : CpFr, ZqÑ Cppkmqr, Zppm{m q qq (5.1.4.4) ˚ s ÞÑ βπpsqb π 2 where π˚ is the dual basis of the basis π of the one-dimensional km-vector space m{m . Lemma 5.1.5. The twisted residue map β1 does not depend on the choice of the uniformizing parameter. m 1 ¯ Proof. Let aπ be another uniformizing parameter with a P R ´ . Note that βaπpsqpξq “ 1 ¯ SignP paqβπpsqpξq and SignP paq“ Signξ¯paq. It follows that 1 ˚ 1 ˚ (5.1.5.1) βaπpsqb aπ “ βaπpsqζpaqb π 1 ¯ 2 1 ¯ 1 ¯ Now, βaπpsqζpaqpξq“ Signξ¯paq βπpsqpξq“ βπpsqpξq. The result follows. 5.1.6. Now let H be a free R-module of rank 1, and let t : R Ñ H be a trivialization. Then tF : F Ñ HF and tkm : km Ñ Hkm are both trivializations, which induce isomorphisms

(5.1.6.1) tF : CpFr, Zq» CpFr, ZpHF qq

(5.1.6.2) tkm : Cppkmqr, Zq» Cppkmqr, ZpHkm qq Deﬁnition 5.1.7. The twisted residue map is the group homomorphism 2 ˚ β : CpFr, ZpHF qq Ñ Cppkmqr, ZpHkm b pm{m q qq (5.1.7.1) ´1 s ÞÑ tkm βptF psqq which does not depend on the choice of trivialization. 14 FANGZHOU JIN AND HENG XIE

5.2. Twisted transfer.

5.2.1. Let F Ñ L be a finite field extension and let P be an ordering on F . We say that an ordering R on L is an extension of P if the image of P -positive elements in L are R-positive. Define a map

t: CpLr, ZqÑ CpFr, Zq (5.2.1.1) φ ÞÑ P ÞÑ φpRq ˜ RĄP ¸ ÿ where the sum runs through all extensions R of P . The map (5.2.1.1) is well-defined as the sum is finite, and will be called the transfer map.2 Denote by f : SpecpLqÑ SpecpF q the canonical map. If H is a one-dimensional F -vector space, ! then we have f H :“ HomF pL,Hq. There is a trace form tr : L Ñ HomF pL, F q which gives rise ! to an isomorphism trH : HL Ñ HomF pL,Hq“ f H by tensoring by H on both sides. Definition 5.2.2. The twisted transfer map is the group homomorphism ! t: CpLr, Zpf Hqq Ñ CpFr, ZpHqq (5.2.2.1) ´1 φ ÞÑ P ÞÑ trH φpRq ˜ RĄP ¸ ÿ which agrees with the composition

´1 ! idbtrH tbid (5.2.2.2) CpLr, Zpf Hqq ÝÝÝÝÝÑ CpLr, ZpHLqq “ CpLr, ZpHqq ÝÝÝÑ CpFr, ZpHqq. 5.3. A Gersten complex.

5.3.1. If A is a one dimensional local domain with field of fractions F , we denote A˜ be its normalization. A˜ contains finitely many maximal ideals. Choose one maximal ideal m˜ of A˜ . Now, A˜m˜ is a discrete valuation ring with field of fractions F with residue field kpm˜ q, and A˜m˜ is a finitely generated ! A module. We have a map f˜ : SpecpA˜m˜ qÑ SpecpAq. If K is a dualizing complex on A, then f˜ K is a dualizing complex on SpecpA˜m˜ q. We have a commutative diagram

f˜ SpecpA˜m˜ q / SpecpAq O O (5.3.1.1) π˜ π g Specpkpm˜ qq / Specpkpmqq

˜! Let Kkpm˜q :“ pf Kqkpm˜q and let Ω be the kernel of the ﬁrst differential. We have a residue map m (5.3.1.2) β : CpFr, ZpKF qq Ñ Cpkp ˜ qr, ZpKkpm˜qqq 1 induced by β above via Deﬁnition 5.1.7, since we have KF » ΩF and Ω m˜ m˜ 2 ˚ Ω m˜ m˜ 2 ˚ (5.3.1.3) Kkpm˜q » bA˜m˜ p { q » kpm˜q bkpm˜q p { q

2 Note that the number of such extensions equals SignP pTr˚x1yq, cf.[Schar85, §3, Theorem 4.5]). A GERSTEN COMPLEX ON REAL SCHEMES 15

where the left isomorphism is obtained from the fundamental local isomorphism ([Har66, III 7.3, p. 180]). Note that kpmq Ă kpm˜ q with kpm˜ q a ﬁnite extension of kpmq, and there is a canonical ! isomorphism Kkpm˜q » g Kkpmq. By Deﬁnition 5.2.2 the twisted transfer (5.2.2.1) can be expressed as

! (5.3.1.4) t: Cpkpm˜ qr, ZpKkpm˜qqq » Cpkpm˜ qr, Zpg Kkpmqqq Ñ Cpkpmqr, ZpKkpmqqq. Theorem 5.3.2. Let X be a scheme with dualizing complex K. Then for any open constructible subset U of Xr, the precomplex (5.3.2.1)

Bre Cpkpxqr X U, ZpKkpxqqq ÝÝÑ Cpkpxqr X U, ZpKkpxqqqÑ¨¨¨Ñ Cpkpxqr X U, ZpKkpxqqq µK pxq“m µK pxq“m`1 µK pxq“n À À À which we denote by CpU, Kq, where Bre is deﬁned by the twisted residues composed with twisted transfers via normalizations (as in the case of Witt groups), is a complex.

Proof. We may assume that U “ Xr, and by 2.2.2 we may assume that X has characteristic 0, therefore with 2 invertible. We construct a commutative ladder diagram

RS B / / / W pkpxq, Kkpxqq / W pkpxq, Kkpxqq / ¨ ¨ ¨ / W pkpxq, Kkpxqq µK pxq“m µK pxq“m`1 µK pxq“n À À À Sign 2¨Sign 2n´m¨Sign Bre / / / Cpkpxqr, ZpKkpxqqq / Cpkpxqr, ZpKkpxqqq / ¨ ¨ ¨ / Cpkpxqr, ZpKkpxqqq µK pxq“m µK pxq“m`1 µK pxq“n À À À We shall pick up one square in the ladder diagram to check the commutativity

δ / tr / W pkpxq, Kkpxqq / W pkpy˜q, Kkpy˜qq / W pkpyq, Kkpyqq y˜ Sign À 2¨Sign (5.3.2.2) 2¨Sign β / t / Cpkpxqr, ZpKkpxqqq / Cpkpy˜qr, ZpKkpy˜qqq / Cpkpyqr, ZpKkpyqqq y˜ À where the sum is taken over all points y˜ that dominate y and live inside the normalization txu of txu in its residue field kpxq. The problem is reduced to one dimensional case. To explain this, we shall denote A :“ pOX,xqy which is a one dimensional local domain, and therefore F :“ kpxq Ąis the field of fraction of A and kpmq :“ kpyq is the residue field of A. If A˜ is the normalization of A inside F , ˜ m then Akpm˜q is a discrete valuation ring with residue field kp ˜ q :“ kpy˜q. The commutativity of the left square is obtained by [Jac17, Lemma 3.1 and 3.2] and [HWXZ19, Lemma A.8]. The commutativity of the right square is obtained by a similar argument in [HWXZ19, Lemma A.9]. 8 Recall that I pkpxq, Kkpxqq is the colimit of the sequence

0 xx´1yy 1 xx´1yy j (5.3.2.3) I pkpxq, Kkpxqq ÝÝÝÝÑ I pkpxq, Kkpxqq ÝÝÝÝÑ¨ ¨ ¨ Ñ I pkpxq, KkpxqqÑ¨¨¨

8 One can promote the ladder diagram of Witt groups W pkpxq, Kkpxqq to the group I pkpxq, Kkpxqq, and we obtain an isomorphism of complexes (as in [HWXZ19, Corollary A.11 and Corollary A.12]) 16 FANGZHOU JIN AND HENG XIE

RS 8 B / 8 / / 8 I pkpxq, Kkpxqq / I pkpxq, Kkpxqq / ¨ ¨ ¨ / I pkpxq, Kkpxqq µK pxq“m µK pxq“m`1 µK pxq“n À À À Sign Sign Sign Bre / / / Cpkpxqr, ZpKkpxqqq / Cpkpxqr, ZpKkpxqqq / ¨ ¨ ¨ / Cpkpxqr, ZpKkpxqqq µK pxq“m µK pxq“m`1 µK pxq“n TheÀ vertical maps are isomorphismsÀ by a theorem of Arason-Knebusch ([Jac17À , Proposition 2.7]). The upper line is a complex by Theorem 4.2.5 and Lemma 4.3.3. We conclude that the lower line is also a complex. Definition 5.3.3. Let X be a scheme with dualizing complex K. By sheafifying the complex U ÞÑ CpU, Kq in (5.3.2.1), we obtain a complex of sheaves on Xr (5.3.3.1) Bre pixr q˚ZpKkpxqq ÝÝÑ pixr q˚ZpKkpxqqÑ¨¨¨Ñ pixr q˚ZpKkpxqq µK pxq“m µK pxq“m`1 µK pxq“n à à à which we denote by CpXr, Kq. 5.3.4. Recall that we have defined in Definition 4.3.4 a bounded complex of Zariski sheaves CpX, Ij , Kq on X. We denote (5.3.4.1) CRS pX, I8, Kq“ colim CRSpX, Ij, Kq. j Proposition 5.3.5. Let X be a scheme with a dualizing complex K. Assume that 2 is invertible in X. Then there are canonical isomorphism between hypercohomology groups i j i RS 8 i (5.3.5.1) H pX, I , Kq» H pC pX, I , Kqq » H pCpXr, Kqq. Proof. The first isomorphism is established in 4.2.5. By the proof of Theorem 5.3.2, there is a canon- RS I8 ical isomorphism of complexes C pX, , Kq » supp˚ CpXr, Z, Kq. Since the functor supp˚ is exact ([Sch95, Theorem 19.2]), the second isomorphism follows from [Jac17, Lemma 4.6] by replac- ing the Grothendieck spectral sequence in loc. cit. with the hypercohomology spectral sequence.

6. GERSTENCOMPLEXANDDUALITY 6.1. Scheiderer’s theorems revisited.

6.1.1. The goal of this section is to prove some generalizations of the results in [Sch95]. We first recall the six functors on real schemes. By [Bac18, Theorem 35], for any scheme X there is a canonical equivalence of categories ´1 (6.1.1.1) DpXrq» DA1 pXqrρ s 1 between the derived category of Xr and the ρ-inverted A -derived category of X; in addition, the association X ÞÑ DpXrq defines a motivic triangulated category in the sense of [CD19, Definition 2.4.45]. By [CD19, Theorem 2.4.50], we have the corresponding six functors formalism. In particular, if f : X Ñ Y is a separated morphism of schemes of finite type, there is a pair of adjoint functors given by the exceptional direct image and inverse image functors ! (6.1.1.2) Rfr! : DpXrqé DpYrq : fr. A GERSTEN COMPLEX ON REAL SCHEMES 17

These functors are also have more explicit descriptions: for the induced map fr : Xr Ñ Yr between the underlying real schemes, the functor Rfr! is the derived functor of the direct image with compact support functor on sheaves

(6.1.1.3) fr! : ShpXrqÑ ShpYrq ([Del91, II.8], [EP20, 3.1]). If f “ p ˝ j is a compactiﬁcation of f, that is, p is a proper morphism and j is an open immersion ([Con07]), then fr! “ pr˚ ˝ jr!, where jr! is the extension by zero functor.

6.1.2. Recall the following general definition of Thom spaces in motivic categories: Definition 6.1.3. Let T be a motivic triangulated category. Let p : V Ñ X be the projection of a vector bundle over a scheme X, with s : X Ñ V the zero section. The (T -valued) Thom space ˚ ! T hpV q P T pXq is defined as T hpV q“ Rp!Rs˚Ls p 1X, where 1X P T pXq is the unit object. As a consequence of the six functors formalism ([CD19, Theorem 2.4.50]), we have the following properties: Lemma 6.1.4. (1) (Localization) If i : Z Ñ X is a closed immersion with open complement j : U Ñ X, then there is a canonical distinguished triangle of endofunctors of DpXrq:

! ! `1 ! (6.1.4.1) Rir˚ir ÝÑ 1 ÝÑ Rjr˚jr ÝÝÑ Rir˚irr1s. (2) (Projection formula) There is a canonical isomorphism ! (6.1.4.2) RHompRfr!F, Gq» Rfr˚RHompF,frGq.

(3) (Relative purity) If f : X Ñ Y is a smooth morphism with tangent bundle Tf , then there is an isomorphism of functors ˚ ! (6.1.4.3) T hpTf qb fr p´q » frp´q. 6.1.5. For a vector bundle V over a scheme X, the cohomology of the Thom space compute the cohomology groups of V with support in X. Since the category DpXrq is ρ-stable ([Bac18, Theorem 35]), the Thom space of the trivial bundle can be computed as d (6.1.5.1) T hpOX q» Zrds. More generally, we have the following result:

Lemma 6.1.6. Let X be a scheme and let V be a vector bundle of rank d over X. Then in DpXrq there is a canonical isomorphism (6.1.6.1) T hpV q» ZpdetpV qqrds. Proof. We ﬁrst deal with the case where V “ L is a line bundle. Since both sides are Zariski sheaves, we will construct the isomorphism (6.1.6.1) by gluing local isomorphisms. Let X “ i Ui be an open cover of X such that the restriction of L to each Ui is trivial. Then for each i there is a canonical isomorphism Ť (6.1.5.1) O (6.1.6.2) φi : T hpLq|Ui » T hp Ui q » Zr1s» ZpL|Ui qr1s.

To show that the φi’s glue into a global isomorphism, it sufﬁces to show that φi|UiXUj “ φj|UiXUj . Let U “ Ui X Uj. By considering the transition maps attached to the local trivializations, it sufﬁces 18 FANGZHOU JIN AND HENG XIE to show that for any u P OˆpUq, the following diagram commute

„ / „ / ˚ ˆ T hpOU qr´1s / Z / Z b ˚ Oˆ Zrsupp pLU q s Zrsupp U s u v u (6.1.6.3) „ / „ / ˚ ˆ T hpOU qr´1s / Z / Z b ˚ Oˆ Zrsupp pLU q s. Zrsupp U s

To see this, consider the middle vertical map v P EndpZq“ CpUr, Zq given by sending px, P q, where x P U and P is an ordering on the residue ﬁeld of x, to SignP puxqP t˘1u. It is straightforward that both squares of the diagram (6.1.6.3) commute with this choice of v, and the result follows. 0 0 In the general case, we know that H pXr, Zq “ H pXret, Zq is a Zariski sheaf, so by [Ana19, Theorem 5.3] the category DpXrq has a canonical SL-orientation. By (6.1.5.1), for V a vector bundle of rank r we have an isomorphism

(6.1.6.4) T hpV q» T hpdetpV qqrd ´ 1s. The result then follows from the case of a line bundle.

Remark 6.1.7. (1) In the case where X is regular, one can construct the isomorphism (6.1.6.1) directly by combining [HWXZ19, Theorem 2.48] and a twisted variant of Jacobson’s theorem (see Appendix of loc. cit.), which states that for any line bundle L on X there is an isomorphism of sheaves

8 (6.1.7.1) I pLq» aretpZpLqq. The nature of this argument is the existence of a Gysin morphism for the zero section of L (see [DJK18, Proposition 4.3.10 1)]). Unfortunately for X singular we do not know how to construct such a Gysin morphism from the Witt-theoretic side, as all the constructions in the literature are built on coherent Witt groups instead of the usual ones. (2) The same arguments as in Lemma 6.1.6 gives an isomorphism T hpV q » ZpdetpV q´1qrds. This reﬂects the fact that for any line bundle L there is a canonical isomorphism T hpLq » T hpL´1q, which is a result due to Ananyevskiy, see [Ana19, Lemma 4.1]. 6.1.8. From Lemma 6.1.6 and relative purity we deduce the following result:

Theorem 6.1.9 (Poincar´eduality). If f : X Ñ Y is a smooth morphism of relative dimension d with tangent bundle Tf , there is a canonical isomorphism of functors

˚ ! (6.1.9.1) ZpdetpTf qqrdsb fr p´q Ñ frp´q.

6.1.10. Recall that an object F P DpXrq is called dualizable if the canonical map F b RHompF, ZqÑ RHompF, Fq is an isomorphism. In particular, any locally constant constructible sheaf (i.e. locally constant with ﬁnitely generated stalks) on Xr is dualizable. The following result is a reﬁnement of [Sch95, Theorem 1.7]:

Theorem 6.1.11 (Absolute purity). Let i : Z Ñ X be a closed immersion between regular schemes of pure codimension c, and denote by N the normal bundle of i. Then for any dualizable object F P DpXrq there is a canonical isomorphism in DpZrq

! ˚ ´1 (6.1.11.1) irF » ir F b ZpdetpNq qr´cs. A GERSTEN COMPLEX ON REAL SCHEMES 19

! Proof. Since F is dualizable, by [FHM03, Proposition 5.4] there is a canonical isomorphism irF » ˚ ! ir F b irZ. Therefore it sufﬁces to construct the isomorphism 6.1.11.1 for F “ Z. We know that i is a regular closed immersion, so by [DJK18, 4.3.1] there is a natural transformation of functors

˚ bp´1q ! (6.1.11.2) ir p´q b T hpNq Ñ irp´q called purity transformation, which is constructed using deformation to the normal cone. By Lemma 6.1.6 we have T hpNqbp´1q » ZpdetpNq´1qrćs, and it remains to show that the map (6.1.11.2) is an isomorphism when applied to the constant sheaf Z. By virtue of 2.2.2, we may assume that all schemes have characteristic 0. We may also assume that both X and Z are affine. By virtue of Popescu’s theorem ([Spi99, Theorem 1.1]), the pair of regular schemes pX,Zq is a projective limit of closed pairs of smooth Q-schemes with transverse affine transition morphisms. The result then follows from Poincaréduality (Theorem 6.1.9). See [DFKJ20, Appendix C] for more details. Remark 6.1.12. Theorem 6.1.11 refines Scheiderer’s absolute purity theorem ([Sch95, Theorem 1.7]) ! by giving a precise global identification of the object irF (instead of merely locally isomorphic to ˚ ir Frćs), and also by removing the restriction to excellent schemes. 6.1.13. In the rest of this section we study the Cousin complex. Let X be a regular scheme. For any point x P X, denote by ωx{X the inverse of the determinant of the normal bundle of the regular closed immersion x Ñ SpecpOX,xq. The following lemma is a variant of [Sch95, Corollary 2.2]:

Lemma 6.1.14. Let X be an excellent regular scheme, let U be an open constructible subset of Xr and let F be a locally constant constructible sheaf on U. Then there is a canonical complex of abelian groups (6.1.14.1) 0 0 0 H pxr X U, Fpωx{X qq Ñ H pxr X U, Fpωx{X qqÑ¨¨¨Ñ H pxr X U, Fpωx{X qq xPXp0q xPXp1q xPXpnq à à à natural in U and F, whose q-th coohmology group is canonically isomorphic to HqpU, Fq for all q ě 0.This complex shall be denoted by C1pU, ZpLqq. Proof. The proof is very similar to [Sch95, Corollary 2.2]: we have the coniveau spectral sequence p,q p`q F p`q F (6.1.14.2) E1 “ Hxr pU, q ùñ H pU, q. xPXppqXU à By absolute purity (Theorem 6.1.11), for any x P Xppq X U there is a canonical isomorphism p F 0 F n F Hxr pU, q » H pxr X U, pωx{X qq, and Hxr pU, q “ 0 if n ‰ p. Consequently the spectral sequence (6.1.14.2) degenerates at E2, and its E1-page is concentrated on the line q “ 0, which gives rise to the complex (6.1.14.1).

By sheaﬁfying the complex (6.1.14.1), one gets the following result: Corollary 6.1.15. Let X be an excellent regular scheme and let F be a locally constant constructible sheaf on Xr. Then there is a canonical resolution of F by acyclic sheaves:

(6.1.15.1) pixr q˚Fpωx{X qÑ pixr q˚Fpωx{X qÑ¨¨¨Ñ pixr q˚Fpωx{X q xPXp0q xPXp1q xPXpnq à à à 20 FANGZHOU JIN AND HENG XIE

6.1.16. Let X be an excellent regular scheme and let U be an open constructible subset of Xr. Let L be an invertible OX -module. In the case where F “ ZpLq, we have the following result: Lemma 6.1.17. The complex C1pU, ZpLqq in (6.1.14.1) agrees with the complex CpU, Lq in (5.3.2.1).

Proof. We may assume U “ Xr. For any point x of X, the fundamental local isomorphism ([Har66, III 7.3, p. 180]) gives an isomorphism

(6.1.17.1) Lx b ωx{X » Lkpxq,

so we have a canonical isomorphism ZpLqpωx{X q » ZpLkpxqq. To check differential maps agree in each degree, we only need to check the first differential maps agree, which follows our definition of differentials in 5.3.1 and [Jac17, Lemma 4.9] (see also [Sch95, Proposition 2.6]), which finishes the proof. By sheafifying we obtain the following result, generalizing [Sch95, Corollary 2.3]:

Corollary 6.1.18. Let X be an excellent regular scheme and let L be an invertible OX -module. Then the complex CpXr, Lq in (5.3.3.1) is a resolution of the sheaf ZpLq by acyclic sheaves. 6.2. Main results. 6.2.1. In this section we prove the main results of the paper. The ﬁrst result is a relation of the ! complex CpXr, Kq with the functor f (Theorem 6.2.4). We need two lemmas: Lemma 6.2.2. Let X be a scheme and let K be a dualizing complex on X. Then for any L locally free OX -module of rank 1, there is a canonical isomorphism of complexes

(6.2.2.1) CpXr, K b Lrnsq » CpXr, Kqb ZpLqrns. Proof. An easy exercise to the reader. Lemma 6.2.3. Let f : X Ñ Y be a smooth morphism of excellent schemes and let K be a dualizing complex on Y . Then there is a canonical isomorphism in the derived category DpXrq ˚ ˚ (6.2.3.1) CpXr,f Kq» fr CpYr, Kq. ˚ Proof. The complex fr CpYr, Kq has the form ˚ ˚ (6.2.3.2) fr piyr q˚ZpKkpyqqÑ fr piyr q˚ZpKkpyqqÑ¨¨¨ . µK pyq“m µK pyq“m`1 à à For every y P Y , consider the Cartesian square

τy Xy / X (6.2.3.3) f fy iy y / Y. By smooth base change ([Sch94, 16.11]) we have ˚ ˚ ˚ (6.2.3.4) fr piyr q˚ZpKkpyqq » pτyr q˚fyr ZpKkpyqq “ pτyr q˚Zpfyr Kkpyqq. O ˚ Applying Corollary 6.1.18 to the invertible Xy -module fyr Kkpyq, we know that the com- ˚ Z ˚ plex CpXyr,fyr Kkpyqq is a resolution of the sheaf pfyr Kkpyqq. It follows that the sheaf Z ˚ ˚ pτyr q˚ pfyr Kkpyqq is quasi-isomorphic to pτyr q˚CpXyr,fyr Kkpyqq, which is of the form ˚ Bre ˚ (6.2.3.5) pixr q˚Zppf Kqkpxqq ÝÝÑ pixr q˚Zppf KqkpxqqÑ¨¨¨ p0q p1q xPàXy xPàXy A GERSTEN COMPLEX ON REAL SCHEMES 21

˚ ˚ where we use the canonical isomorphism pfyr Kkpyqqx b ωx{Xy » pf Kqx for every point x P Xy, which is a consequence of [Har66, III 7.3, p. 180 and 8.7 5), p. 191]. It follows that the complex ˚ fr CpYr, Kq is quasi-isomorphic to the total complex of the bicomplex p,q ˚ (6.2.3.6) C “ pixr q˚Zppf Kqkpxqq. ppq µK pyq“q xPàXy à

Still by [Har66, III 7.3 and 8.7 5)], we obtain the equality µf ˚K pxq “ codimXy pxq ` µKpyq. Therefore the total complex of the bicomplex pCp,qq is canonically identified with the complex ˚ CpXr,f Kq, which finishes the proof. Theorem 6.2.4. Let f : X Ñ Y be a quasi-projective morphism of excellent schemes and let K be a dualizing complex on Y . Then there is an isomorphism ! ! (6.2.4.1) CpXr,f Kq» frCpYr, Kq. Proof. Since every quasi-projective morphism factors as a closed immersion followed by a smooth morphism, we only need to deal with these two cases. Case I. If f is a closed immersion, then f is in particular finite. The twisted transfer map (Defini- ! tion 5.2.2) induces, for any open constructible subset U of Yr, a canonical map CpXr X U, f KqÑ CpU, Kq for the complex CpU, Kq defined in (5.2.2) on each degree of the Gersten complexes. Sheafifying we obtain a push-forward map ! ! (6.2.4.2) Rfr!CpXr,f Kq“ fr˚CpXr,f KqÑ CpYr, Kq. On Witt-theoretic side the map (6.2.4.2) is induced by finite push-forwards on Witt groups ([Gil03], [Fas08, §5]). By adjunction the map (6.2.4.2) induces a map ! ! (6.2.4.3) CpXr,f KqÑ frCpYr, Kq which is an isomorphism by Theorem 4.4.5 and Proposition 5.3.5. Case II. If f is smooth of relative dimension d, we produce the isomorphism as ! ˚ frCpYr, Kq» fr CpYr, Kqb ZpdetpTf qqrds (by Theorem 6.1.9) ˚ » CpXr,f Kqb ZpdetpTf qqrds (by Lemma 6.2.3) ˚ » CpXr,f K b detpTf qrdsq (by Lemma 6.2.2) ! » CpXr,f Kq, ! ˚ where we use the identification f K » f K b detpTf qrds ([Har66, III §2]) in the last isomorphism.

6.2.5. In the rest of this section we show that the complex CpXr, Kq is a dualizing object. First recall the deﬁnition: Deﬁnition 6.2.6. Let X be a scheme.

(1) The subcategory of constructible objects of DpXrq is the thick subcategory DcpXrq gener- ! 3 ated by elements of the form fr!frZ, where f : Y Ñ X is a smooth morphism.

3 It is known that constructible objects in DpXrq are exactly the compact objects ([Jin20, Lemma 2.2]). Another equivalent characterization given by [Jin20, Theorem 1.4] states that a complex C in DpXr q is constructible if and only if there is a ﬁnite stratiﬁcation of Xr into locally closed constructible subsets such that the restriction of C to each stratum is a constant sheaf associated to a perfect complex. 22 FANGZHOU JIN AND HENG XIE

(2) We say that an object K P DpXrq satisﬁes biduality if for any constructible object A P DcpXrq, the canonical map A Ñ RHompRHompA, Kq, Kq is an isomorphism. (3) A dualizing object of DpXrq is a constructible object which satisiﬁes biduality. The following lemma is a variant of [CD19, Proposition 4.4.11]:

Lemma 6.2.7. Let X be a quasi-excellent scheme and let K P DpXrq. The following statements are equivalent: ! (1) For any projective morphism f : Y Ñ X, the object frK P DpYrq satisfies biduality; (2) For any projective morphism f : Y Ñ X with Y regular, the canonical map Z Ñ ! ! RHompfrK,frKq is an isomorphism. Proof. It is clear that the first condition implies the second, so it suffices to show the converse. By virtue of 2.2.2, we may assume that all schemes have characteristic 0. Since the scheme Y is quasi- excellent, we know that DcpYrq agrees with the thick subcategory generated by elements of the form Rpr˚Z, where p : W Ñ Y is a projective morphism with W regular ([BD17, Theorem 2.4.9]). Therefore it suffices to show that the following canonical map is an isomorphism: ! ! (6.2.7.1) Rpr˚Z Ñ RHompRHompRpr˚Z,frKq,frKq. But by assumptions we have ! ! ! ! ! ! ! Rpr˚Z » Rpr˚RHompprfrK,prfrKq» RHompRpr˚prfrK,frKq (6.2.7.2) ! ! » RHompRHompRpr˚Z,frKq,frKq which finishes the proof. We are now ready to prove the following theorem: Theorem 6.2.8. Let X be an excellent scheme and let K be a dualizing complex on X. Then the complex CpXr, Kq P DpXrq is a dualizing object.

Proof. First we show that the complex CpXr, Kq P DpXrq is constructible. We use noetherian induction on X. By working with each irreducible component, we may assume that X is integral. Since X is in addition quasi-excellent, there is a non-empty open immersion j : U Ñ X such that U is regular. Let i : Z Ñ X be its reduced complement. By localization and Theorem 6.2.4, there is a distinguished triangle in DpXrq ! ! ! (6.2.8.1) Rir˚CpZr, i KqÑ CpXr, KqÑ Rjr˚CpUr, j KqÑ Rir˚CpZr, i Kqr1s. ! By Corollary 6.1.18, we know that CpUr, j Kq is constructible, and by noetherian induction ! CpZr, i Kq is constructible. Since both Rir˚ and Rjr˚ preserve constructible objects ([BD17, Theo- rem 2.4.9]), this shows that CpXr, Kq is constructible. It remains to show that CpXr, Kq satisfies biduality. By Lemma 6.2.7 it suffices to show that for any projective morphism f : Y Ñ X with Y regular, the following canonical map is an isomorphism: ! ! (6.2.8.2) Z Ñ RHompfrCpXr, Kq,frCpXr, Kqq. ! ! But by Theorem 6.2.4 we have frCpXr, Kq » CpYr,f Kq. Since Y is regular, the map (6.2.8.2) is an isomorphism by Corollary 6.1.18, which finishes the proof.

6.3. Application: a Kunneth¨ formula. A GERSTEN COMPLEX ON REAL SCHEMES 23

6.3.1. Let S be a regular scheme, f : X Ñ S be a quasi-projective morphism. Then, f : X Ñ S induces a map fr : Xr Ñ Sr of real schemes. If L is a line bundle on X, we have an associated locally constant sheaf ZpLq on Xr as in [HWXZ19].

Definition 6.3.2. Define the Borel-Moore homology theory of fr : Xr Ñ Sr as the hypercohomology BM ń ! Hn pXr{Sr, ZpLqq :“ H C Xr, pfrZSr qb ZpLq Remark 6.3.3. (1) If L is the trivial bundle, the Borel-Moore` homology is˘ BM ń ! Hn pXr{Sr, Zq :“ H CpXr,frZSr q

where ZSr is the constant sheaf on Sr. (2) Definition 6.3.2 seems to be purely topological, but we can not find a corresponding definition in the literature. If S “ SpecpRq and R be a real closed field, the right hand side is isomorphic to the semi-algebraic Borel-Moore homology ([Del91, III §2]), that is, BM BM Hn pXr{Sr, Zq– Hn pXpRq, Zq where XpRq is the semialgebraic space defined by the R-points of X ([Del91, I Example 1.1]). This can be seen by [Del91, III 12.10]. It is worth to mention that, in the special case S “ SpecpRq, we get the classical Borel-Moore homology ([BM60]). Definition 6.3.4. Define the Borel-Moore real homology theory as the hypercohomology BMr ń ! (6.3.4.1) Hn pX{S,Lq“ H CpXr,f OS b Lq. BMr Note that by Proposition 5.3.5, the group Hn pX{S,Lq can also be computed as the hyperco- ń RS 8 ! homology H C pX, I ,f OS b Lq. The following lemma is a generalization of [Sch95, 3.2]: Proposition 6.3.5. Let S be a regular scheme and let X be a quasi-projective S-scheme. Let L be a line bundle on X. Then there is an isomorphism BMr BM (6.3.5.1) Hn pX{S,Lq» Hn pXr{Sr, ZpLqq. Proof. The result follows from Corollary 6.1.18, Lemma 6.2.2 and Theorem 6.2.4. Corollary 6.3.6. Let X be a quasi-projective R-scheme. Let L be a line bundle on X. Then the signature morphism í I8 – BM Sign : H pX, pLqq ÝÑ Hi pXpRq, ZpLqq. is an isomorphism. Proof. The result follows from Proposition 6.3.5 and Proposition 5.3.5. Corollary 6.3.7. Let X,Y be two quasi-projective R-schemes. Let L (respectively L1) be a line bundle on X (respectively Y ). Then there is a split short exact sequence BMr BMr 1 BMr 1 0 Ñ Hp pX{R,LqbZ Hq pY {R,L qÑ Hn pX ˆR Y {R,L bR L q p`q“n (6.3.7.1) à BMr BMr 1 Ñ TorpHp pX{R,Lq,Hq pY {R,L qq Ñ 0 p`q“n´1 à 1 (see 2.1 for the notation L bR L ). 24 FANGZHOU JIN AND HENG XIE

Proof. By [Del91, III 11.10] we are reduced to topological Borel-Moore homology ([Bre97, V.3]). Since pX ˆR Y qpRq» XpRqˆY pRq, the result then follows from [Bre97, V.14.1]: the hlc condition on XpRq and Y pRq is satisfied since both spaces are locally contractible. Remark 6.3.8. (1) The Tor-terms are non-zero in general, unless we work with rational coefficients. For example, for any pair of coprime integers pp,qq there exists a smooth R-scheme whose set of R-points is homeomorphic to the 3-dimensional lens space Lpp,qq, and consequently its Borel-Moore homology, which agrees with singular homology since lens spaces are compact, has p-torsion. (2) We expect the Künneth formula to hold over any real closed field, which we will investigate in a forthcoming work. However, when the base field k is not real closed, the situation is a priori more complicated as the real scheme of a fiber product over k is not necessarily the Cartesian product, and one also needs to take care of the geometric components. (3) Since the complex CpXr, Kq is a complex of acyclic sheaves, the hypercohomology BMr groups Hn pX{S,Lq can be computed as the cohomology groups of the complex of global sections. By [DFKJ20, Theorem 8.10] we know, after inverting 2, that the groups BMr 1 1 Hn pX{S,Lq agree with the twisted A -bivariant groups in the negative part of the A - 1 derived category DA . In a forthcoming work we will study a link of these groups with Chow-Witt groups.

REFERENCES [Ana19] A. Ananyevskiy, SL-oriented cohomology theories, arXiv:1901.01597. Ò18 [Bac18] T. Bachmann, Motivic and real étale stable homotopy theory, Compos. Math. 154 (2018), no. 5, 883-917. Ò2 , Ò16 , Ò17 [BGP`02] P. Balmer, S. Gille, I. Panin, C. Walter The Gersten Conjecture for Witt Groups in the Equicharacteristic Case, Documenta Math. 7 (2002) 203 -217. Ò10 [BW02] P. Balmer, C. Walter, A Gersten-Witt spectral sequence for regular schemes, Ann. Sci. Ecole´ Norm. Sup. (4) 35 (2002), no. 1, 127-152. Ò7 [BD17] M. Bondarko, F. Déglise, Dimensional homotopy t-structures in motivic homotopy theory, Adv. Math. 311 (2017), 91-189. Ò22 [BM60] A. Borel, J. C. Moore, Homology theory for locally compact spaces, Michigan Math. J. 7 (1960) 137-159. Ò7 , Ò23 [Bre97] G. Bredon, Sheaf theory, Second edition. Graduate Texts in Mathematics, 170. Springer-Verlag, New York, 1997. Ò7 , Ò24 [CD19] D.-C. Cisinski, F. Déglise, Triangulated categories of motives, Springer Monographs in Mathematics. Springer, Cham, 2019. Ò16 , Ò17 , Ò22 [Con00] B. Conrad, Grothendieck duality and base change, Lecture Notes in Mathematics, 1750. Springer-Verlag, Berlin, 2000. Ò5 [Con07] B. Conrad, Deligne’s notes on Nagata compactifications, J. Ramanujan Math. Soc. 22 (2007), no. 3, 205-257. Ò17 [Dég18] F. Déglise, Bivariant theories in motivic stable homotopy, Doc. Math. 23, 997-1076 (2018). Ò3 [DJK18] F. Déglise, F. Jin, A. Khan, Fundamental classes in motivic homotopy theory, to appear in J. Eur. Math. Soc.. Ò3 , Ò6 , Ò18 , Ò19 [DFKJ20] F. Déglise, J. Fasel, A. Khan, F. Jin, On the rational motivic homotopy category, arXiv:2005.10147. Ò5 , Ò6 , Ò10 , Ò19 , Ò24 [Del91] H. Delfs, Homology of locally semialgebraic spaces, Lecture Notes in Mathematics, 1484. Springer-Verlag, Berlin, 1991. Ò7 , Ò17 , Ò23 , Ò24 [EP20] M. Edmundo, L. Prelli, The six Grothendieck operations on o-minimal sheaves, Math. Z. 294 (2020), no. 1-2, 109-160. Ò17 [Fas08] J. Fasel, Groupes de Chow-Witt, Mém. Soc. Math. Fr. (N.S.) No. 113 (2008). Ò21 A GERSTEN COMPLEX ON REAL SCHEMES 25

[FHM03] H. Fausk, P. Hu, J. P. May, Isomorphisms between left and right adjoints, Theory Appl. Categ. 11 (2003), No. 4, 107-131. Ò19 [Gil03] S. Gille, A transfer morphism for Witt groups, J. Reine Angew. Math. 564 (2003), 215-233. Ò21 [Gil07] S. Gille, A graded Gersten-Witt complex for schemes with a dualizing complex and the Chow group, J. Pure Appl. Algebra 208 (2007), no. 2, 391-419. Ò3 , Ò7 , Ò9 , Ò10 , Ò12 [Har66] R. Hartshorne, Residues and duality, Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, No. 20. Springer-Verlag, Berlin-New York, 1966. Ò2 , Ò3 , Ò5 , Ò9 , Ò15 , Ò20 , Ò21 [HWXZ19] J. Hornbostel, M. Wendt, H. Xie, M. Zibrowius, The real cycle class map, arXiv:1911.04150. Ò2 , Ò3 , Ò4 , Ò15 , Ò18 , Ò23 [Iver86] B. Iversen Cohomology of sheaves, Universitext 413, Springer-Verlag, Berlin, 1986. Ò7 [Jac17] J. Jacobson, Real cohomology and the powers of the fundamental ideal in the Witt ring, Ann. K-Theory 2 (2017), no. 3, 357-385. Ò2 , Ò6 , Ò10 , Ò13 , Ò15 , Ò16 , Ò20 [Jac18] J. Jacobson, Cohomological invariants for quadratic forms over local rings, Math. Ann. 370 (2018), 309–329. Ò10 [Jin18] F. Jin, Algebraic G-theory in motivic homotopy categories, arXiv:1806.03927. Ò3 [Jin20] F. Jin, On some finiteness results in real étale cohomology, arXiv:2009.00396. Ò21 [LH09] J. Lipman, M. Hashimoto, Foundations of Grothendieck duality for diagrams of schemes, Lecture Notes in Math- ematics, 1960. Springer-Verlag, Berlin, 2009. Ò5 [MH73] J. Milnor and D. Husemoller Symmetric bilinear forms, 1973, Springer. Ò9 [Plo19] J. Plowman, The Chow-Witt group of a scheme with residual complex, thesis at University of Warwick, 2019. Ò3 , Ò10 [Schar85] W. Scharlau, Quadratic and Hermitian Forms, Grundlehren der mathematischen Wissenschaften 1985, Springer. Ò14 [Sch94] C. Scheiderer, Real and Etale´ cohomology, Lecture Notes in Mathematics, 1588. Springer-Verlag, Berlin, 1994. Ò2 , Ò20 [Sch95] C. Scheiderer, Purity theorems for real spectra and applications, in Real analytic and algebraic geometry (Trento, 1992), 229-250, de Gruyter, Berlin, 1995. Ò2 , Ò3 , Ò7 , Ò16 , Ò18 , Ò19 , Ò20 , Ò23 [Schmid] M. Schmid, Wittringhomologie, (1998) Thesis, available at https://www.math.uni-bielefeld.de/ rost/schmid.html Ò5 , Ò8 [Spi99] M. Spivakovsky, A New Proof of D. Popescu’s Theorem on Smoothing of Ring Homomorphisms, J. Amer. Math. Soc. 12 (1999), no. 2, 381-444. Ò19 [Stacks] The Stacks project, available at https://stacks.math.columbia.edu/, 2020. Ò5 [Ver66] J.-L. Verdier, Dualitédans la cohomologie des espaces localement compacts, Sem. Bourbaki ExposéNo. 300, 1966. Ò7 [Xie20] H.Xie, A transfer morphism for Hermitian K-theory of schemes with involution, to appear in J. Pure Appl. Algebra, 2020. Ò8 , Ò12

FANGZHOU JIN,FAKULTAT¨ FUR¨ MATHEMATIK,UNIVERSITAT¨ DUISBURG-ESSEN,THEA-LEYMANN-STRASSE 9, 45127 ESSEN,GERMANY Email address: [email protected]

HENG XIE,FACHGRUPPE MATHEMATIK/INFORMATIK, BERGISCHE UNIVERSITAT¨ WUPPERTAL, GAUSSS- TRASSE 20, 42119 WUPPERTAL,GERMANY Email address: [email protected]