Access the full text.
Sign up today, get DeepDyve free for 14 days.
Haoyu Hu, Enlin Yang (2017)
Relative singular support and the semi-continuity of characteristic cycles for étale sheavesSelecta Mathematica, 24
(1994)
Autour du théorème de monodromie locale
A. Beilinson (2015)
Constructible sheaves are holonomicSelecta Mathematica, 22
Takeshi Saito (2016)
On the proper push-forward of the characteristic cycle of a constructible sheafAlgebraic Geometry: Salt Lake City 2015
(1982)
Faisceaux pervers
P. Deligne (1973)
Cohomologie a supports propres
(1987)
Cycles on arithmetic schemes and Euler characteristics of curves
If C ⊂ T * X is isotropic, then f • C ⊂ T * Y is also isotropic. The author learned the following proof from Beilinson
F. Orgogozo (2005)
Modifications et cycles évanescents sur une base de dimension supérieure à unarXiv: Algebraic Geometry
A. Grothendieck (1964)
Étude locale des schémas et des morphismes de schémasPublications Mathématiques de l'Institut des Hautes Études Scientifiques, 32
Kazuya Kato, Takeshi Saito (2004)
On the conductor formula of BlochPublications mathématiques de l'IHÉS, 100
B. Toën, G. Vezzosi (2016)
The $$\ell $$ℓ-adic trace formula for dg-categories and Bloch’s conductor conjectureBollettino dell'Unione Matematica Italiana, 12
L. Nicolaescu (2011)
INTERSECTION THEORY
A. Grothendieck, J. Dieudonne (1960)
Éléments de géométrie algébriquePublications Mathématiques de l'Institut des Hautes Études Scientifiques, 20
M. Kashiwara, P. Schapira (1990)
Sheaves on Manifolds
Nicholas Katz, G. Laumon (1989)
Transformation de Fourier et majoration de sommes exponentiellesPublications Mathématiques de l'Institut des Hautes Études Scientifiques, 69
M. Artin (1973)
Theoreme de finitude pour un morphisme propre ; Dimension cohomologique des schemas algebriques affines
Let f : X → Y be a morphism of smooth schemes over k
DE L’I.H.É.S, A. Jong, J. Jong (1996)
Smoothness, semi-stability and alterationsPublications Mathématiques de l'Institut des Hautes Études Scientifiques, 83
M. Temkin (2007)
Stable modification of relative curvesJournal of Algebraic Geometry, 19
P. Deligné (1977)
Th'eor`emes de finitude en cohomologie `-adique
Takeshi Saito (2015)
The characteristic cycle and the singular support of a constructible sheafInventiones mathematicae, 207
Similarly as in the proof of Theorem 2.2.5, we may assume that Y is affine and f : X = P × Y → Y is the projection for a projective smooth scheme P over k. By resolution of singularity
A. Grothendieck (1970)
Elements Reguliers Des Groupes Algebriques Et Des Algebres De Lie
be the projection. The direct image f • C ⊂ T * Y equals the image by p 2 of the intersection
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect ﬁeld, under the assumption that the direct image of the singular support has the dimension at most that of the target of the morphism. The functoriality is deduced from a conductor formula which is a special case for morphisms to curves. The conductor formula in the constant coeﬃcient case gives the geometric case of a formula conjectured by Bloch. Let k be a perfect ﬁeld and Λ be a ﬁnite ﬁeld of characteristic invertible in k. For a constructible complex F of Λ-modules on a smooth scheme X over k, the characteristic cycle CCF is deﬁned in [17, Deﬁnition 5.10] as a cycle supported on the singular support SSF deﬁned by Beilinson in [2] as a closed conical subset of the cotangent bundle T X. We study the functoriality of characteristic cycles for proper push-forward. Let f : X → Y be a morphism of smooth projective schemes over k. Then, we prove in Theorem 2.2.5 the equality (2.11) CCRf F = f CCF ∗ ! conjectured in [18, Conjecture 1] under the assumption dim f SSF ≦ dim Y = m for the direct image f SSF ⊂ T Y . The precise deﬁnitions will be given in Subsection 2.1. We can slightly weaken the assumption, as is seen in Theorem 2.2.5. A typical example where the assumption dim f SSF ≦ dim Y = m fails is the case where f is the Frobenius. Without the assumption, the author does not know how to prove the equality (2.11) because the Milnor formula (1.8) on which the deﬁnition of characteristic cycles is based will not make sense. In the general case, the equality (2.11) implies an equality in the Chow group CH (T Y ) = CH (Y ). In the case where Y = m 0 Spec k for a ﬁnite ﬁeld k, the equality in CH (Y ) = Z is proved in [21] under the assumption that X is projective by a method diﬀerent from that in the present article using the product formula for the constant term of the functional equation of L-function. The formula (2.11) is an algebraic analogue of [13, Proposition 9.4.2] where functorial properties of characteristic cycles are studied in a transcendental context. In the case where Y = Spec k, the equality (2.11) is the index formula (2.12) χ(X¯,F) = (CCF, T X) T X computing the Euler-Poincar´e characteristic as an intersection number proved in [17, The- orem 7.13]. arXiv:1704.04832v4 [math.AG] 25 Feb 2020 We deduce the functoriality (2.11) from the index formula (2.12) in Subsection 2.2 as follows. By taking a projective embedding of Y and a good pencil, we reduce it to the case where Y is a projective smooth curve. By the index formula (2.12) applied to a general ﬁber, the equality (2.11) is equivalent to a conductor formula (2.17) −a Rf F = (CCF, df) y ∗ T X,Xy proved in Theorem 2.2.3, where the left hand side denotes the Artin conductor at a closed point y ∈ Y of the direct image. In the case where F is the constant sheaf Λ, the right hand side equals the localized self-intersection product deﬁned in [4] and the formula (2.17) specializes to the geometric case, Corollary 2.2.4, of the conductor formula conjectured in [4] by Bloch. In [20], the authors announce an attempt to prove the conductor formula by a diﬀerent approach. Further the index formula implies that we have an equality (2.18) for the sums over y ∈ Y of the both sides in (2.17). To deduce (2.17) from (2.18) for the sums, it suﬃces to show the existence of a covering of Y ´etale at a ﬁxed point y killing the contributions of the other points. For the vanishing of the left hand side, the local acyclicity of f : X → Y relative to F is a suﬃcient condition. The SSF-transversality of f : X → Y deﬁned in Deﬁnition 1.4.3 and studied in Subsection 1.4 after some preliminaries in Subsection 1.3 is a stronger condition and is a suﬃcient condition for the vanishing of the right hand side. Thus, the proof of (2.17) is reduced to showing variants of the stable reduction theorem on the ′ ′ existence of ramiﬁed covering Y of Y and of a modiﬁcation F of the pull-back of F on ′ ′ ′ ′ ′ ′ X = X × Y such that the base change f : X → Y is locally acyclic relatively to F and is SSF -transversal. We show that the existence of a modiﬁcation of a perverse sheaf F relatively to which f : X → Y is locally acyclic is equivalent to the condition that the inertia action on the nearby cycles complex RΨF is trivial in Proposition 1.2.2.2. This is rather a direct consequence of the relation of the direct image by the open immersion of the generic ﬁber with the nearby cycles complex. As we work with torsion coeﬃcients, the condition is satisﬁed over a ramiﬁed covering of Y . Further, we show that the local acyclicity of f : X → Y relatively to F implies the ′ ′ existence of a ramiﬁed covering Y → Y such that the base change of f : X → Y is SSF - transversal for the pull-back F of F in Corollary 1.6.4 of Theorem 1.6.2. Theorem 1.6.2 is deduced from a weaker version Proposition 1.5.4 which is proved by using the alteration [5, Theorem 8.2]. In Proposition 1.5.4, the ramiﬁed covering may be inseparable, while it is generically ´etale in Theorem 1.6.2. This improvement is crucial because in the proof of Theorem 2.2.3, we need to ﬁnd a covering of a curve Y which is ´etale at a ﬁxed point y ∈ Y . Theorem 1.6.2 is proved by an argument similar to that in the proof of [7, Proposition 3.2] by using a consequence of the stable reduction theorem [19, Theorem 1.5]. We also prove an index formula Proposition 2.3.3 for vanishing cycles complex. The author thanks A. Beilinson for the remark that Theorem 2.2.3 implies the geomet- ric case of the conductor formula conjectured by Bloch in [4] and for showing the proof of Lemma 2.2.6 in the characteristic zero case. The author thanks H. Haoyu for discussion on the subject of Subsection 2.3 and thanks H. Kato for pointing out an error in the proof of Proposition 2.3.3 in an earlier version. He also thanks an anonymous referee for careful reading, for pointing out gaps in the proofs of Lemma 1.4.9 and of Proposition 1.5.4 in an earlier version and proposing to improve the statement of Lemma 1.2.1. 2 The research was supported by JSPS Grants-in-Aid for Scientiﬁc Research (A) 26247002. Contents 1 Local acyclicity and transversality 3 1.1 Preliminaries on perverse sheaves . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Nearby cycles and local acyclicity . . . . . . . . . . . . . . . . . . . . . . . 5 1.3 C-transversality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.4 SSF-transversality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.5 Alteration and transversality . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.6 Potential transversality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2 Characteristic cycles and the direct image 28 2.1 Direct image of a cycle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 2.2 Characteristic cycle of the direct image . . . . . . . . . . . . . . . . . . . . 32 2.3 Index formula for vanishing cycles . . . . . . . . . . . . . . . . . . . . . . . 38 1 Local acyclicity and transversality 1.1 Preliminaries on perverse sheaves We ﬁx some conventions on perverse sheaves. Let X be a noetherian scheme and let Λ be a ﬁnite ﬁeld of characteristic ℓ invertible on X. We say that a complex F of Λ-modules on the ´etale site of X is constructible if the cohomology sheaf H F is constructible for every q b integer q and H F = 0 except for ﬁnitely many q. Let D (X, Λ) denote the category of constructible complexes of Λ-modules. First we recall the case where X is a scheme of ﬁnite type over a ﬁeld k. Let Λ be p ≦0 p ≧0 a ﬁnite ﬁeld of characteristic ℓ invertible in k. Then, the t-structure ( D , D ) on D (X, Λ) relative to the middle perversity is deﬁned in [3, 2.2.10] and the perverse sheaves p ≦0 p ≧0 on X form an abelian subcategory Perv(X, Λ) = D ∩ D . Every object of Perv(X, Λ) is of ﬁnite length by [3, Th´eor`eme 4.3.1 (i)]. Further by [3, Th´eor`eme 4.3.1 (ii)], simple objects are of the following form: Let V ⊂ X be an irreducible locally closed subset of dimension d such that the reduced part of the geometric ﬁber V¯ is smooth. Let j : V → X be the immersion and let G be an irreducible locally constant sheaf on V . Then, j G[d] is a simple perverse sheaf on X. !∗ Let j : U → X be an open immersion and F be a perverse sheaf on X. Let G ⊂ F be the largest sub perverse sheaf supported on the complement X U and let G ⊂ H ⊂ F be the smallest sub perverse sheaf such that F/H is supported on X U. Then, since ∗ ∗ j j F is the unique extension of j F without non-trivial sub or quotient perverse sheaf !∗ supported on X U by [3, Corollaire 1.4.25], there is a canonical isomorphism (1.1) H/G → j j F. !∗ Proposition 1.1.1. Let h: W → X be a ﬁnite and faithfully ﬂat morphism of schemes of ﬁnite type over a ﬁeld k and let F ∈ Perv(X, Λ) be a perverse sheaf on X. Then, the trace morphism h h F → F ([6, Th´eor`eme 6.2.3]) induces a surjection p 0 ∗ (1.2) h H h F → F 3 of perverse sheaves on X. Proof. Since h is right t-exact by [3, Proposition 2.2.5], and h is t-exact by [3, Corollaire ∗ ≦0 p 0 ∗ p 0 ∗ 4.1.3], for perverse sheaf F on X, we have h h F ∈ D and H h h F = h H h F and ∗ ∗ ∗ the trace morphism induces (1.2). First we show the surjectivity for a simple perverse sheaf F on X. Since F is simple, it suﬃces show that (1.2) is non trivial. By [3, Th´eor`eme 4.3.1 (ii)], we may assume that F = j G[d], for an irreducible locally closed subset V ⊂ X of dimension d such that !∗ the reduced part of the geometric ﬁber V is smooth, the immersion j : V → X and an irreducible locally constant sheaf G on V . Let h : V → V denote the base change of h. Shrinking X, we may assume that V ⊂ X is a closed subset. Further shrinking X, we may ′ ∗ assume that the reduced part of V is smooth over k and that h h G is a locally constant ¯ V ∗ ∗ ∗ sheaf on V . Then h F is a perverse sheaf on W and the trace morphism h h G → G is V ∗ a surjection. Hence the assertion follows in this case. We show the general case. Since h is right t-exact by [3, Proposition 2.2.5], and h is ′ ′′ t-exact by [3, Corollaire 4.1.3], for an exact sequence 0 → F → F → F → 0 of perverse sheaves on X, we have a commutative diagram p 0 ∗ ′ p 0 ∗ p 0 ∗ ′′ h H h F −−−→ h H h F −−−→ h H h F −−−→ 0 ∗ ∗ ∗ (1.3) y y y ′ ′′ 0 −−−→ F −−−→ F −−−→ F −−−→ 0 of exact sequences of perverse sheaves on X, where the vertical arrows are induced by the trace morphisms. Hence by the induction on the length of F, the assertion follows. Corollary 1.1.2. Let h: W → X be a proper morphism of schemes of ﬁnite type over a ﬁeld k. Let F be a perverse sheaf on X and F be a perverse sheaf on W . Assume that there exists an open subset U ⊂ X satisfying the following conditions: The base change h : U → U of h is ﬁnite and faithfully ﬂat. The perverse sheaf F is isomorphic to j F U !∗ U ∗ p 0 ∗ ′ for the open immersion j : U → X and F = j F. The perverse sheaf H h F on U is U U isomorphic to a subquotient of the restriction F | ′. p 0 ′ Then the perverse sheaf F on X is isomorphic to a subquotient of H Rh F . ′ p 0 ′ ′ Proof. Since h is t-exact, we have h (F | ′) = ( H Rh F )| . Hence j h (F | ′) = U∗ U∗ U ∗ U !∗ U∗ U p 0 ′ p 0 ′ p 0 ∗ ′ j ( H Rh F )| is isomorphic to a subquotient of H Rh F . Since H h F on U is !∗ ∗ U ∗ U isomorphic to a subquotient of the restriction F | ′, the perverse sheaf F is a subquotient U U of h F | ′ by Proposition 1.1.1. Hence F = j F is isomorphic to a subquotient of U∗ U !∗ U j (h F | ) and the assertion follows. !∗ U∗ U Next, we consider the case where X is a scheme of ﬁnite type over the spectrum S of a discrete valuation ring as in [12, 4.6]. Let s and η denote the closed point and the generic point of S respectively and let i: X → X and j : X → X be the closed immersion s η and the open immersion of the ﬁbers. Let Λ be a ﬁnite ﬁeld of characteristic ℓ invertible on S. Then, we consider the t-structure on D (X, Λ) obtained by gluing ([3, 1.4.10]) the p ≦0 p ≧0 b p ≦−1 p ≧−1 b t-structure ( D , D ) on D (X , Λ) and the t-structure ( D , D ) on D (X , Λ). s η c c b p ≦0 In particular, a constructible complex F ∈ D (X, Λ) is contained in D if and only if we ∗ p ≦0 ∗ p ≦−1 have i F ∈ D and j F ∈ D . Note that if the t-structure on D (X , Λ) where X is regarded as a scheme over η η η p ≦0 p ≧0 b is ( D , D ), then that on D (X , Λ) where X is regarded as a scheme over S is η η 4 p ≦−1 p ≧−1 ( D , D ). To distinguish them, we call the former the t-structure on X over η and the latter the t-structure on X over S. We use the same terminology for perverse sheaves on X . By the same argument as [3, Th´eor`eme 4.3.1], we see that every object of Perv(X, Λ) is of ﬁnite length. Further, simple objects are of the following form: Let V ⊂ X (resp. V ⊂ X ) be an irreducible locally closed subset of dimension d (resp. d − 1) such that the reduced part of the geometric ﬁber V (resp. V ) is smooth. Let j : V → X be the s¯ η¯ immersion and let G be an irreducible locally constant sheaf on V . Then, j G[d] is a !∗ simple perverse sheaf on X. b b The functors j , Rj : D (X , Λ) → D (X, Λ) are t-exact with respect to the t-structure ! ∗ η c c on X over S. This follows from [1, Th´eor`eme 3.1] by the argument in [12, 4.6 (a)]. Let F ∈ Perv(X , Λ) be a perverse sheaf on X over S. Then the intermediate extension η η j F ∈ Perv(X, Λ) is deﬁned as the image !∗ j F = Im(jF → Rj F). !∗ ! ∗ Similarly as [3, (4.1.11.1)], the distinguished triangle jF → Rj F → i i Rj F → and ! ∗ ∗ ∗ the t-exactness of the functors j and Rj [3, Appendix Remark (i)], imply the vanishing ! ∗ p q ∗ H i Rj F = 0 for q 6= 0,−1 and deﬁne an exact sequence p −1 ∗ p 0 ∗ 0 → i H i Rj F → jF → Rj F → i H i Rj F → 0 ∗ ∗ ! ∗ ∗ ∗ of perverse sheaves on X. This induces an isomorphism p −1 ∗ ∗ ∗ ∗ (1.4) H i Rj F → i Ker(jF → Rj F) = i Ker(jF → j F) ← i j F[−1] ∗ ! ∗ ! !∗ !∗ of perverse sheaves on X similarly as [3, (4.1.12.1)]. 1.2 Nearby cycles and local acyclicity Assume that S = Spec O is the spectrum of a strictly local discrete valuation ring. Let η¯ be a geometric point above η. Let X be a scheme of ﬁnite type over S, and let i: X → X and j : X → X denote the immersions and let π : X → X denote the s η η¯ η canonical morphism. Then, the nearby cycles functor ∗ ∗ b b RΨ = i R(jπ) π : D (X , Λ) → D (X , Λ) ∗ η s c c is t-exact with respect to the t-structure on X over η [12, Corollaire 4.5]. Let I = Gal(K /K) be the inertia group and let RΓ(I,−) denote the derived functor for the I- ∗ ∗ ﬁxed part. We have a canonical isomorphismF → RΓ(I, π π F) and we identify i Rj F = ∗ ∗ RΓ(I, RΨF) by the induced isomorphism. Lemma 1.2.1. Let S = Spec O be the spectrum of a strictly local discrete valuation ring and let s and η denote the closed and the generic point of S respectively. Let η¯ be the spectrum of a separable closure K of K and I = Gal(K /K) be the inertia group. s s Let X be a scheme of ﬁnite type over S, and let i: X → X and j : X → X denote the s η immersions. Let F be a perverse sheaf of Λ-modules on X over S. Then the morphism i Rj F → RΨF induces an isomorphism ∗ I (1.5) i j F[−1] → (RΨF[−1]) !∗ to the inertia ﬁxed part as a perverse sheaf on X . 5 Proof. Note that F[−1] is a perverse sheaf on X over η and hence RΨF[−1] is a perverse sheaf on X by the t-exactness of RΨ. Let P ⊂ I denote the wild inertia subgroup. Then, since the functor taking the P -invariant parts is an exact functor, we have an isomorphism ∗ P i Rj F[−1] → RΓ(I/P, (RΨF[−1]) ). Since the proﬁnite group I/P is cyclic, we have P P P an isomorphism [σ − 1: (RΨF[−1]) → (RΨF[−1]) ] → RΓ(I/P, (RΨF[−1]) ) for a topological generator σ of I/P . Thus we obtain an isomorphism p −1 ∗ I H i Rj F → (RΨF[−1]) of perverse sheaves on X . Hence the assertion follows from the isomorphism (1.4). We study the local acyclicity of a morphism to the spectrum of a discrete valuation ring with respect to a perverse sheaf. Proposition 1.2.2. Let S = Spec O be the spectrum of a discrete valuation ring and let s and η denote the closed and the generic point of S respectively. Let X be a scheme of ﬁnite type over S, and let i: X → X and j : X → X denote the immersions. s η 1. Let G be a perverse sheaf of Λ-modules on X. Assume that X → S is locally acyclic relatively to G. Then G has no non-zero subquotient supported on the closed ﬁber and is isomorphic to j j G. !∗ 2. For a perverse sheaf F of Λ-modules on X over S, the following conditions are equivalent: (1) The morphism X → S is locally acyclic relatively to j F. !∗ (2) Let s¯ be a geometric point above the closed point s ∈ S and let i: X → X denote s¯ the canonical morphism. Then, the canonical morphism (1.6) i j F → RΨF !∗ is an isomorphism. (3) The inertia group I of K acts trivially on the nearby cycles complex RΨF. (4) The formation of j F commutes with the pull-back by faithfully ﬂat morphisms !∗ S → S of the spectra of discrete valuation rings. Proof. 1. We ﬁrst show that G has no non-zero subquotient supported on the closed ﬁber. The local acyclicity is equivalent to the vanishing RΦG = 0. Since the shifted b b vanishing cycles functor RΦ[−1]: D (X, Λ) → D (X , Λ) is t-exact [12, Corollaire 4.6], it c c is reduced to the case where G is a simple perverse sheaf by the induction on length of G. If G is supported on the closed ﬁber, we have RΦG[−1] = G. Hence G has no non-zero subquotient supported on the closed ﬁber. ∗ ∗ Since j j G is the unique perverse sheaf extending j G without non-trivial sub or quo- !∗ tient perverse sheaf supported on the closed ﬁber by [3, Corollaire 1.4.25], G is canonically isomorphic to j j G. !∗ 2. (1)⇔(2): The condition (2) is equivalent to that for every geometric point x of X , the canonical morphism j F → RΓ(X × η¯,F) is an isomorphism. !∗ x (x) S (s) (2)⇔(3): Clear from the isomorphism (1.5). (2)⇒(4): Since the formation of nearby cycles complex RΨF commutes with base change [7, Proposition 3.7], the isomorphism (1.6) implies the condition (4). ′ ′ (4)⇒(2): There exists a ﬁnite extension K of K such that the inertia action I ⊂ I ′ ′ on RΨF is trivial, since Λ is a ﬁnite ﬁeld. Let j : X → X denote the base change K S 6 ′ ′ ′ ′ of the open immersion j by S = SpecO → S, let i : X → X denote the canonical K s¯ S morphism and let F denote the pull-back of F on X ′. We factorize the morphism (1.6) ∗ ′∗ ′ ′ ¯ ¯ as the composition of i j F → i j F → RΨF. By (3)⇒(2) already proven, the second !∗ !∗ arrow is an isomorphism. The condition (4) implies that the ﬁrst arrow is an isomorphism. Hence the composition (1.6) is an isomorphism. Finally, we consider the case where X is a scheme of ﬁnite type over a regular noetherian connected scheme S of dimension 1. Let Λ be a ﬁnite ﬁeld of characteristic ℓ invertible p ≦0 p ≧0 b on S. Then the t-structure ( D , D ) on D (X, Λ) is deﬁned as the intersection of the p ≦0 p ≧0 b inverse images of the t-structures ( D , D ) on D (X × S , Λ) for the base changes S s by the localizations S → S at closed points s ∈ S. If Y = S is a smooth curve over a ﬁeld k and if f : X → Y is a morphism of schemes of ﬁnite type over k, the t-structure on D (X, Λ) deﬁned above is the same as that deﬁned by considering X as a scheme of ﬁnite type over k. Corollary 1.2.3. Let S be a regular noetherian scheme of dimension 1. Let X be a scheme of ﬁnite type over S and F be a perverse sheaf of Λ-modules on X. Let V ⊂ S be a dense open subscheme such that the base change X → V is universally locally acyclic relatively to the restriction F of F. Then, there exists a ﬁnite faithfully ﬂat and generically ´etale morphism S → S of ′ ′ ′ regular schemes such that the base change X → S is locally acyclic relatively to j F !∗ ′ ′ ′ ′ ′ where F ′ denotes the pull-back of F on V = V × S and j : X → X denotes the base V S change. Proof. By Proposition 1.2.2.2 (1)⇒(4) and Lemma 1.2.4 below, it suﬃces to consider locally on a neighborhood of each point of the complement S V . Since the coeﬃcient ﬁeld Λ is ﬁnite, the assertion follows from Proposition 1.2.2.2 (3)⇒(1). Lemma 1.2.4. Let S be a regular noetherian scheme of dimension 1 and let s , . . . , s 1 n be closed points of Y . Let L , . . . , L be ﬁnite separable extensions of the local ﬁelds 1 n K , . . . , K of S at s , . . . , s . Then, there exists a ﬁnite, faithfully ﬂat and generically 1 n 1 n ′ ′ ´etale morphism S → S such that S × K is isomorphic to the disjoint union of ﬁnitely S i many copies of Spec L . Proof. Let m be a common multiple of the degrees [L : K ] and let A be the product of i i i copies of L such that dim A = m. Then, by weak approximation, there exists a ﬁnite i K i ´etale algebra A over the fraction ﬁeld K of S such that A⊗ K = A . Then, it suﬃces K i i to take the normalization S of S in A. 1.3 C-transversality We introduce some terminology on proper intersection. Lemma 1.3.1. Let f : C → X and h: W → X be morphisms of schemes of ﬁnite type over a ﬁeld k. Assume that C is irreducible of dimension n and that h is locally of complete intersection of relative virtual dimension d. Then every irreducible component of h C = C × W is of dimension ≧ n + d. Proof. Since the assertion is local on W , we may decompose h = gi as the composition of a smooth morphism g with a regular immersion of codimension c. Since the assertion is 7 clear for g, we may assume that h = i is a regular immersion. Then, it follows from [9, Proposition (5.1.7)]. Deﬁnition 1.3.2. Let f : C → X and h: W → X be morphisms of schemes of ﬁnite type over a ﬁeld k. Assume that every irreducible component of C is of dimension n and that h is locally of complete intersection of relative virtual dimension d. We say that h: W → X meets f : C → X properly if h C = C × W is of dimension n + d. By Lemma 1.3.1, the condition that h C = C× W is of dimension n+d is equivalent to the condition that every irreducible component of h C = C× W is of dimension n+d. Lemma 1.3.3. Let f : C → X be a morphism of schemes of ﬁnite type over a ﬁeld k. Assume that X is equidimensional of dimension m and that C is equidimensional of dimension n ≧ m. We consider the following conditions: (1) Every morphism h: W → X locally of complete intersection meets C properly. (2) For every closed point x of X, the ﬁber C × x is of the dimension n− m. 1. We have (2)⇒(1). Assume that the condition (2) is satisﬁed and let h: W → X be a morphism locally of complete intersection of relative virtual dimension d of schemes of ﬁnite type over k. Then C× W is equidimensional of dimension n+d and the morphism C × W → W satisﬁes the condition (2) and hence (1). 2. If X is regular, we have (1)⇒(2). 3. Assume that X = P is a projective space and let c be an integer. Then, the linear subspaces V ⊂ P of codimension c such that the immersion V → P meets C properly form a dense open subset of the Grassmannian variety G. Proof. 1. Assume that the condition (2) is satisﬁed and let h: W → X be a morphism locally of complete intersection of relative dimension d. Then, we have dim C × W ≦ dim W +n−m = n+d. Hence, C× W is equidimensional of dimension n+d by Lemma 1.3.1. The rest is clear. 2. If X is regular and x is a closed point, the closed immersion i: x → X is a regular immersion of codimension m and hence the condition (1) implies that dim C× x = n−m. 3. Let V ⊂ P × G be the universal family of linear subspaces of codimension c and we consider the cartesian diagram // C C }}⑤ oo // G V P. Then, since the projection V → P is smooth of relative dimension dim G − c, we have dim C = dim G + n− c. Hence the open subset of G consisting of V such that dim C× V P V ≦ n− c is dense. Recall that a closed subset C of a vector bundle E on a scheme X is said to be conical if it is stable under the action of the multiplicative group. For a closed conical subset C ⊂ E, the intersection B = C ∩ X with the 0-section identiﬁed with a closed subset of X is called the base of C. We say that a morphism f : X → Y of noetherian schemes is ﬁnite (resp. proper) on a closed subset Z ⊂ X if its restriction Z → Y is ﬁnite (resp. proper) with respect to a closed subscheme structure of Z ⊂ X. 8 Deﬁnition 1.3.4. Let f : X → Y be a morphism of smooth schemes over a ﬁeld k and let C ⊂ T X be a closed conical subset. 1. ([2, 1.2]) We say that f : X → Y is C-transversal if the inverse image of C by the ∗ ∗ ∗ ∗ canonical morphism X× T Y → T X is a subset of the 0-section X× T Y ⊂ X× T Y . Y Y Y 2. Assume that every irreducible component of X is of dimension n and that every irreducible component of C is of dimension n. Assume that every irreducible component of Y is of dimension m ≦ n. We say that f : X → Y is properly C-transversal if f : X → Y is C-transversal and if for every closed point y of Y , the ﬁber C × y is of dimension n− m. Deﬁnition 1.3.5. Let h: W → X be a morphism of smooth schemes over a ﬁeld k and ∗ ∗ let C ⊂ T X be a closed conical subset. Let K ⊂ W × T X be the inverse image of the ∗ ∗ ∗ ∗ 0-section T W ⊂ T W by the canonical morphism W × T X → T W . 1. ([2, 1.2]) We say that h: W → X is C-transversal if the intersection (W× C)∩K ⊂ ∗ ∗ W × T X is a subset of the 0-section W × T X. X X ◦ ∗ If h: W → X is C-transversal, a conical subset h C ⊂ T W is deﬁned to be the image ∗ ∗ ∗ of h C = W × C by W × T X → T W . X X 2. ([17, Deﬁnition 7.1]) Assume that every irreducible component of X is of dimension n and that every irreducible component of C is of dimension n. Assume that every irreducible component of W is of dimension m. We say that h: W → X is properly C-transversal if h: W → X is C-transversal and if h: W → X meets C → X properly. ∗ ∗ ∗ If h: W → X is C-transversal, the morphism W × T X → T W is ﬁnite on h C = ◦ ∗ W × C and hence h C ⊂ T W is a closed subset by [2, Lemma 1.2 (ii)]. For a morphism r : X → Y of smooth schemes proper on the base B = C ∩ T X ⊂ X of a closed conical ∗ ∗ subset C ⊂ T X, the closed conical subset r C ⊂ T Y is deﬁned to be the image by ∗ ∗ the projection X × T Y → T Y of the inverse image of C by the canonical morphism ∗ ∗ X × T Y → T X. Lemma 1.3.6. Let f : X → Y be a smooth morphism of smooth schemes over a ﬁeld k and let C ⊂ T X be a closed conical subset. Let X ←−−− W y y Y ←−−− Z be a cartesian diagram of smooth schemes over k. 1. Assume that f : X → Y is C-transversal (resp. properly C-transversal). Then, h: W → X is C-transversal (resp. properly C-transversal) and g : W → Z is h C- transversal (resp. properly h C-transversal). 2. Assume that f : X → Y is proper on the base of C. Then, i: Z → Y is f C- transversal if and only if h: W → X is C-transversal. If these equivalent conditions are ◦ ◦ satisﬁed, we have i f C = g h C. ◦ ◦ Proof. 1. The assertion for the transversality is proved in [17, Lemma 3.9.2]. The proper transversality of h: W → X follows from the transversality and Lemma 1.3.3 applied to C → Y and Z → Y . The proper h C-transversality of g : W → Z follows from that ∗ ◦ h C → h C is ﬁnite. 9 2. We consider the commutative diagram dh ∗ ∗ ∗ T X ←−−− W × T X −−−→ T W x x x g (di) ∗ ∗ ∗ X × T Y ←−−− W × T Y −−−→ W × T Z Y Y Z y y y di ∗ ∗ ∗ T Y ←−−− Z × T Y −−−→ T Z with cartesian squares indicated by . The upper vertical arrows are injections. Since dh ∗ ∗ induces an isomorphism W × T X/Y → T W/Z for the relative cotangent bundles and f : X → Y is smooth, the upper right square is also cartesian. ′ ∗ ∗ Let K and K be the inverse image of the 0-sections by dh: W × T X → T W ∗ ∗ and di: Z × T Y → T Z respectively. Since the upper right square is cartesian, K is ∗ ∗ ∗ identiﬁed with the inverse image of the 0-section by g (di): W × T Y → W × T Z Y Z −1 ′ ∗ which equals g (K ) ⊂ W × T Y . Since the lower left square is cartesian, the pull-back Z × f C is the image g (C ) of Y ◦ ∗ ′ ∗ ′ ′ C = (W × C) ∩ (W × T Y ). Hence the condition that (Z × f C) ∩ K = g (C ) ∩ X Y Y ◦ ∗ ′ ′ −1 ′ K = g (C ∩ g (K )) is a subset of the 0-section is equivalent to the condition that ′ −1 ′ (W × C)∩ K = C ∩ g (K ) is a subset of the 0-section. ◦ ◦ If these conditions are satisﬁed, the equality i f C = g h C follows from the cartesian ◦ ◦ diagram. Lemma 1.3.7. Let P be a projective space of dimension n and let C ⊂ T P be a closed conical subset. ∨ ∨ 1. Let P be the dual projective space, let Q ⊂ P × P be the universal family of hyperplanes and let p p (1.7) P ←−−− Q −−−→ P ∨ ∨ ◦ be the projections. Let C = p p C be the Legendre transform. Let V ⊂ P be a linear ∨ ∨ subspace and let V ⊂ P be the dual subspace. Then the immersion V → P is C- ∨ ∨ ∨ transversal if and only if V → P is C -transversal. 2. Assume that every irreducible component of C is of dimension n = dim P and let 0 ≦ c ≦ n be an integer. Then, the linear subspaces V ⊂ P of codimension c such that the immersion V → P is properly C-transversal form a dense open subset of the Grassmannian variety G. Proof. 1. The C-transversality of V → P means P(T P)∩P(C) = ∅ and similarly for the ∨ ∨ ∨ ∗ ∗ ∨ C -transversality of V → P . Then, the assertion follows from P(T P) = P(T P ) V V ∨ ∗ ∗ ∨ and P(C) = P(C ) under the identiﬁcation P(T P) = Q = P(T P ). 2. First, we show that the condition on V is an open condition. For the transversality, it suﬃces to apply a relative version of [17, Lemma 3.4.4] or equivalently [2, Lemma 1.2(i)] to the closed immersion of the universal family V → P×G since the projection V → G is proper. For the proper transversality, it follows from the semi-continuity of ﬁber dimension [9, Th´eor`eme (13.1.3)] It suﬃces to show the existence of V . By induction on c, it is reduced to the case c = 1. By 1, the hyperplanes H such that the immersion H → P is C-transversal is parametrized 10 ∨ ∨ by the complement of the image p (P(C)) $ P . Hence, the assertion follows from this and Lemma 1.3.3.3. 1.4 SSF-transversality For the deﬁnitions and basic properties of the singular support of a constructible complex on a smooth scheme over a ﬁeld, we refer to [2] and [17]. Let k be a ﬁeld and let Λ be a ﬁnite ﬁeld of characteristic ℓ invertible in k. Let X be a smooth scheme over k such that every irreducible component is of dimension n and let F be a constructible complex on X. The singular support SSF is deﬁned in [2] as a closed conical subset of the cotangent bundle T X. By [2, Theorem 1.3 (ii)], every irreducible component C of the singular support SSF = C = C is of dimension n = dim X. Further if k is perfect, the characteristic cycle CCF = m C a a is deﬁned as a linear combination with Z-coeﬃcients in [17, Deﬁnition 5.10]. It is charac- terized by the Milnor formula (1.8) − dim totφ (F, f) = (CCF, df) ∗ u T U,u for morphisms f : U → Y to smooth curves Y deﬁned on an ´etale neighborhood U of an isolated characteristic point u. For more detail on the notation, we refer to [17, Section 5.2]. Lemma 1.4.1. Let h: W → X be a morphism of smooth schemes over a ﬁeld k. Let F be a constructible complex of Λ-modules on X and let C denote the singular support SSF. If h: W → X is properly C-transversal, we have ∗ ◦ SSh F = h SSF. Proof. By [2, Theorem 1.4 (iii)], we may assume that k is perfect. Suppose dim W = dim X + d. If F is a perverse sheaf on X, then h F[d] is a perverse sheaf on W by the assumption that h: W → X is C-transversal and by [17, Lemma 8.6.5]. Hence by [2, Theorem 1.4 (ii)], we may assume that F is a perverse sheaf. By [17, Proposition 5.14.2], we have CCF ≧ 0 and the support of CCF equals the singular support SSF. Also we d ∗ ∗ ∗ have (−1) CCh F ≧ 0 and the support of CCh F equals the singular support SSh F. By the assumption that h: W → X is properly C-transversal and by [17, Theorem ∗ ! 7.6], we have CCh F = h CCF. Hence by the positivity [8, Proposition 7.1 (a)], the ∗ ◦ ! singular support SSh F equals the support h SSF of h CCF. Lemma 1.4.2. Let k be a ﬁeld and f : X → Y be a morphism of schemes of ﬁnite type over k. Assume that Y is smooth over k. Let F be a constructible complex of Λ-modules on X. Let X −−−→ P ′ g i y y P −−−→ Y 11 ′ be a commutative diagram of schemes over k such that i and i are closed immersions and ′ ∗ ∗ the schemes P and P are smooth over k. Let C = SSi F ⊂ X × T P ⊂ T P and ∗ P ′ ′ ∗ ′ ∗ ′ C = SSi F ⊂ X × T P ⊂ T P denote the singular supports of the direct images. Then, P → Y is C-transversal (resp. properly C-transversal) if and only if P → Y is ′ ′ C -transversal (resp. properly C -transversal). Proof. By factorizing P → Y as the composition of the graph P → P × Y and the projection P × Y , we may assume that P → Y is smooth. Similarly, we may assume that ′ ′ ′ P → Y is smooth. By considering the morphism (i, i ): X → P × P , we may assume that there exists a smooth morphism P → P compatible with the immersions of X and the morphisms to Y . Since the assertion is ´etale local on P , we may assume that there exists a section s: P → P compatible with the immersions of X and the morphisms to Y . Then, we have C = s C and the assertion follows from [17, Lemma 3.8]. Lemma 1.4.2 allows us to make the following deﬁnition. Deﬁnition 1.4.3. Let k be a ﬁeld and f : X → Y be a morphism of schemes of ﬁnite type over k. Assume that Y is smooth over k but we do not require X to be smooth. Let F be a constructible complex of Λ-modules on X. We say that f : X → Y is SSF-transversal (resp. properly SSF-transversal) if locally on X there exist a closed immersion i: X → P to a smooth scheme P over k and a morphism g : P → Y over k such that f = g◦ i and that g : P → Y is C-transversal (resp. properly C-transversal) for C = SSi F. In Deﬁnition 1.4.3, we obtain an equivalent condition by requiring that g is smooth. Let f : X → Y be a morphism of schemes of ﬁnite type over a ﬁeld k such that Y is smooth over k and let F be a constructible complex of Λ-modules on X. For an open subset U ⊂ X, we say f : X → Y is SSF-transversal (resp. properly SSF-transversal) on U if the restriction U → Y of f is SSF -transversal (resp. properly SSF -transversal) for U U the restriction F of F on U. Similarly, for an open subset V ⊂ Y , we say f : X → Y is SSF-transversal (resp. properly SSF-transversal) on V if the base change X × V → V of f is SSF -transversal (resp. properly SSF -transversal) for the restriction X× V X× V Y Y F of F on X × V . X× V Y Lemma 1.4.4. Let f : X → Y be a morphism of schemes of ﬁnite type over a ﬁeld k. Assume that Y is smooth over k. Let F be a constructible complex of Λ-modules on X. 1. Assume that f : X → Y is smooth and that F is locally constant. Then, f : X → Y is properly SSF-transversal. 2. Assume that f : X → Y is SSF-transversal. Or more weakly, suppose that there exists a quasi-ﬁnite faithfully ﬂat morphism Y → Y of smooth schemes over k such that the ′ ′ ′ ′ ′ ′ ′ base change f : X → Y is SSF -transversal for the pull-back F of F on X = X × Y . Then, f : X → Y is universally locally acyclic relatively to F. 3. The following conditions are equivalent: (1) f : X → Y is SSF-transversal (resp. properly SSF-transversal). p q (2) For every integer q and for every constituant G of the perverse sheaf H F, the morphism f : X → Y is SSG-transversal (resp. properly SSG-transversal). 4. Let k be an extension of k. Then f : X → Y is SSF-transversal (resp. properly ′ ′ ′ ′ SSF-transversal) if and only if the base change f : X → Y by Spec k → Spec k is ′ ′ ′ ′ SSF -transversal (resp. properly SSF -transversal) for the pull-back F on X of F. 12 Proof. 1. If F is locally constant, then the singular support SSF is a subset of the 0-section T X. Hence the assertion follows. Since the remaining assertions 2-4 are local on X, we may take a closed immersion i: X → P to a smooth scheme P over k such that f is the composition of i with a morphism P → Y over k. Replacing X and F by P and i F, we may assume that X is smooth over k. Set C = SSF. 2. If f : X → Y is C-transversal, the morphism f : X → Y is universally locally acyclic relatively to F by the deﬁnition of singular support. Thus under the weaker assumption, ′ ′ ′ ′ the morphism f : X → Y is universally locally acyclic with respect to the pull-back F . Since Y → Y is quasi-ﬁnite and faithfully ﬂat and since the local acyclicity descends for faithfully ﬂat morphisms, the morphism f : X → Y itself is universally locally acyclic with respect to F. 3. By [2, Theorem 1.4 (ii)], the singular support SSF equals the union of SSG for the p q constituants G of the perverse sheaves H F for integers q. Hence the assertion follows. 4. By [2, Theorem 1.4 (iii)], the construction of the singular support commutes with change of base ﬁelds. Hence the assertion follows. Lemma 1.4.5. Let f : X → Y be a morphism of schemes of ﬁnite type over a ﬁeld k. Assume that Y is smooth over k. Let F be a constructible complex of Λ-modules on X. Assume that f : X → Y is SSF-transversal. 1. Assume that F is a perverse sheaf. Let V ⊂ Y be a dense open subscheme and j : X = X × V → X be the open immersion. Then, there is a unique isomorphism V Y F → j j F such that the restriction on X is the identity. !∗ V 2. There exists a dense open subscheme V ⊂ Y such that the base change f : X → V is properly SSF-transversal on V . Proof. 1. By [3, Corollaire 1.4.25], it suﬃces to show that for every constituant of F, its restriction on X is non-trivial. Let G be a constituant of F. By Lemma 1.4.4.3 and 2, the morphism f : X → Y is locally acyclic relatively to G. Let x be a geometric point of X such that G 6= 0 and let y → f(x) be a specialization for a geometric point y of V . Then, since the canonical morphism G → RΓ(X × y,G) is an isomorphism, the x (x) Y (f (x)) restriction of G on X is non-trivial. Thus the assertion is proved. 2. As in the proof of Lemma 1.4.4, we may assume that X is smooth over k. Set C = SSF. There exists a dense open subset V ⊂ Y such that for every irreducible component C with the reduced scheme structure of C = C , the base change C × V → V is a a a Y ﬂat. Lemma 1.4.6. Let f : X → Y be a morphism of schemes of ﬁnite type over a ﬁeld k. Assume that Y is smooth over k. Let F be a constructible complex of Λ-modules on X. Let Y → Y be a morphism of smooth schemes over k and let X ←−−− X f f y y Y ←−−− Y , ′ ′ be a cartesian diagram. Let F denote the pull-back of F on X . 1. We consider the following conditions: (1) f : X → Y is SSF-transversal (resp. properly SSF-transversal). 13 ′ ′ ′ ′ ′ (2) f : X → Y is SSF -transversal (resp. properly SSF -transversal). Then, we have (1)⇒(2). Conversely, if Y → Y is ´etale surjective, we have (2)⇒(1). 2. Assume that f : X → Y is SSF-transversal, that F is a perverse sheaf on X and ′ ′ ′ that dim Y = dim Y + d. Then F [d] is a perverse sheaf on X . 3. Assume that f : X → Y is smooth and is properly SSF-transversal. Then, we have ′ ◦ ′ ! SSF = h SSF. Further if k is perfect, we have CCF = h CCF. Proof. Since the assertions are local on X, we may take a closed immersion i: X → P to a smooth scheme P over Y . As in the proof of Lemma 1.4.4, we may assume that f : X → Y is smooth. Set C = SSF. 1. Assume that f : X → Y is C-transversal. The pair (h, f ) of morphisms is C- ′ ∗ ◦ transversal by Lemma 1.3.6.1. Hence, F = h F is micro-supported on h C by [17, ′ ◦ ′ ′ Lemma 4.2.4] and we have an inclusion SSF ⊂ h C and f is SSF -transversal. Thus the implication (1)⇒(2) is proved for the C-transversality. The assertion on the proper C-transversality follows from this and Lemma 1.3.6.1. Since the formation of singular support is ´etale local, we have (2)⇒(1) if Y → Y is ´etale surjective. 2. Since h: X → X is C-transversal by Lemma 1.3.6.1, the assertion follows from [17, Lemma 8.6.5]. 3. Since h: X → X is properly C-transversal by Lemma 1.3.6.1, the assertion for ′ ′ SSF (resp. for CCF ) follows from Lemma 1.4.1 (resp. [17, Theorem 7.6]). Lemma 1.4.6.3 is closely related to the subject studied in [10]. Lemma 1.4.7. Let f : X → Y be a morphism of schemes of ﬁnite type over a ﬁeld k. Assume that Y is smooth over k. Let F be a constructible complex of Λ-modules on X. 1. Let g : Y → Z be a smooth morphism of smooth schemes over k. If f : X → Y is SSF-transversal (resp. properly SSF-transversal), then the composition gf : X → Z is SSF-transversal (resp. properly SSF-transversal). 2. Let h: W → X be a smooth morphism of schemes of ﬁnite type over k. If f : X → Y is SSF-transversal (resp. properly SSF-transversal), then the composition fh: W → Y ∗ ∗ is SSh F-transversal (resp. properly SSh F-transversal). 3. Let // X X ❇ ′ ❇ f f ❇ be a commutative diagram of morphisms of schemes of ﬁnite type over k. Assume that r : X → X is proper on the support of F and that f : X → Y is quasi-projective. If ′ ′ f : X → Y is SSF-transversal, then f : X → Y is SS Rr F-transversal. Proof. 1. As in the proof of Lemma 1.4.4, we may assume that X is smooth over k. Set C = SSF. Since g : Y → Z is smooth, the C-transversality of f implies that of gf by [17, Lemma 3.6.3]. The assertion on the proper C-transversality follows from this and the smoothness of g. 14 2. Since the question is ´etale local on W , we may assume that there exists a cartesian diagram // // W X Y ?? i ⑦ // Q P of morphisms of schemes over k such that the vertical arrows are closed immersions and the horizontal arrow Q → P is a smooth morphism of smooth schemes over k. By replacing ∗ ∗ X and F by P and i F, we may assume that X is smooth. Since W × T X → T W is ∗ X ∗ ◦ an injection and SSh F = h SSF by Lemma 1.4.1, the assertion follows. ′ ′ 3. Since the assertion is local on X , we may assume that X and Y are aﬃne and ′ ′ ′ hence X is quasi-projective. By taking a closed immersion i : X → P to an aﬃne space ′ ′ ′ ′ ′ and by factorizing X → Y as the composition of the immersion (i , f ): X → P × Y ′ ′ and the projection P × Y → Y , we may assume that X is smooth. Similarly, we take an open subscheme P of a projective space and a closed immersion i: X → P . Then, ′ ′ by factorizing X → X as the composition of the immersion (i, r): X → P × X and ′ ′ the projection P × X → X , we may also assume that X is smooth, by [17, Lemma 3.8 (2)⇒(1)]. By [2, Lemma 2.2 (ii)], we have SS Rr F ⊂ r SSF. Hence the assertion follows ∗ ◦ from [17, Lemma 3.8 (2)⇒(1)]. We give two methods to establish SSF-transversality. Lemma 1.4.8. Let Y → S be a smooth morphism of smooth schemes of ﬁnite type over a ﬁeld k and let f : X → Y be a morphism of schemes of ﬁnite type over a ﬁeld k. Let F be a constructible complex of Λ-modules on X. Assume that the composition X → S is properly SSF-transversal. 1. Assume that k is perfect. Then, the following conditions are equivalent: (1) f : X → Y is SSF-transversal (resp. properly SSF-transversal). (2) For every closed point s ∈ S, the ﬁber f : X → Y is SSF -transversal (resp. s s s s properly SSF -transversal) for the pull-back F of F on X = X × s. s s s S 2. Assume that F is a perverse sheaf on X and that f : X → Y is locally acyclic relatively to F. If there exists a closed subset Z ⊂ X quasi-ﬁnite over S such that f : X → Y is SSF-transversal (resp. properly SSF-transversal) on the complement of Z, then f : X → Y is SSF-transversal (resp. properly SSF-transversal) on X. Proof. 1. The implication (1)⇒(2) is a special case of Lemma 1.4.6.1. We show (2)⇒(1). Since the question is local on X, we may assume that f : X → Y is smooth. Let T X/S and T Y/S denote the relative cotangent bundles and let C = SSF. By the assumption ∗ ∗ that X → S is C-transversal, the canonical surjection T X → T X/S is ﬁnite on C by ¯ ¯ [2, Lemma 1.2 (ii)]. Hence its image C ⊂ T X/S is a closed conical subset and C → C is ﬁnite. The morphism X → Y is C-transversal if and only if the inverse image of C ⊂ T X/S ∗ ∗ by the canonical injection X × T Y/S → T X/S is a subset of the 0-section. This is equivalent to that for every closed point s ∈ S and the closed immersion i : X → X, the s s morphism f : X → Y is i C-transversal. Further, under the assumption that f : X → Y s s s is C-transversal, this is properly C-transversal if and only if f : X → Y is properly s s s i C-transversal for every closed point s ∈ S. 15 By the assumption that X → S is properly SSF-transversal and by Lemma 1.4.6.3, ◦ ◦ we have SSF = i SSF = i C for every closed point s ∈ S. Hence the assertion is proved. s s 2. By Lemma 1.4.4.4, we may assume that k is perfect. By 1 and Lemma 1.4.6.2, we may assume that S is a point and further that S = Spec k. As in the proof of Lemma 1.4.6, after replacing X by a smooth scheme P over Y containing X as a closed subscheme, we may assume that f : X → Y is smooth of relative dimension d. Let u ∈ Z. By replacing X by a neighborhood of u, we may assume Z = {u}. Set C = SSF, v = f(u) ∈ Y and ∗ ∗ regard X × T Y as a closed subscheme of T X. We show that f : X → Y is C-transversal, assuming that f : X → Y is locally acyclic ′ ∗ relatively to F. Namely, we show that the intersection C = C ∩ (X × T Y ) is a subset of the 0-section X× T Y . By the assumption that f : X → Y is C-transversal outside u, ′ ∗ ∗ ∗ the intersection C = C ∩ (X × T Y ) is a subset of the union (X × T Y )∪ (u× T Y ) Y Y Y ∗ ∗ with the ﬁber at u. Let v = f(u) and ω ∈ u × T Y = v × T Y be a non-zero Y Y element. After shrinking Y to a neighborhood of v if necessary, we take a smooth morphism Y → A = Spec k[t] such that dt(v) = ω. Then, by [17, Lemma 3.6.3], on a neighborhood of u, the composition g : X → Y → A is C-transversal except at most at u. In other words, the point u is at most an isolated C-characteristic point ([17, Deﬁnition 5.3.1]) of g : X → A . Since F is a perverse sheaf, the characteristic cycle CCF is an eﬀective cycle and its support equals C = SSF by [17, Proposition 5.14]. Let dg denote the section of ∗ ∗ ∗ 1 X × T Y ⊂ T X deﬁned by the function g (t). Since the composition X → Y → A is locally acyclic relatively to F by [11, Corollaire 5.2.7], we have (CCF, dg) ∗ = 0 by the T X,u Milnor formula (1.8). Therefore by the positivity [8, Proposition 7.1 (a)], the intersection ′ ′ SSF ∩ dg = C ∩ dg is empty and hence ω ∈/ C . Since ω is any non-zero element of ∗ ′ ∗ u× T Y , we conclude that C ∩ (u× T Y ) ⊂ 0 and that f : X → Y is C-transversal. Y Y Assume further that f : X → Y is properly C-transversal outside u. Since f : X → Y ∗ ∗ is C-transversal, the morphism T X → T X/Y to the relative cotangent bundle is ﬁnite on C by [2, Lemma 1.2 (ii)] and the image C ⊂ T X/Y of C is a closed conical subset. It is suﬃcient to show that for every point y ∈ Y , the ﬁber C × y is of dimension ≦ d. For y 6= f(u), this follows from the assumption. Assume y = f(u). Then, every irreducible ¯ ¯ component of C × y is either a closure of an irreducible component of C × y ∩ (X × Y Y Y ∗ ∗ y {u}) or a subset of the ﬁber T (X × y). Since dim T (X × y) = d, the assertion is Y Y u u proved. Lemma 1.4.9. Let W −−−→ X −−−→ Y x x j j U −−−→ U be a cartesian diagram of schemes of ﬁnite type over a ﬁeld k. Assume that Y is smooth over k and that j is an open immersion. Let F and F be perverse sheaves of Λ-modules on ′ ′ X and on W respectively and letF and F be the restrictions on U and on U respectively. p 0 ∗ ′ Assume that F is isomorphic to j F and that the perverse sheaf H (h F ) on U is !∗ U U isomorphic to a subquotient of F . If one of the following conditions (1) and (2) below is satisﬁed and if f ◦ h: W → Y is SSF -transversal, then f : X → Y is SSF-transversal. (1) The morphism h: W → X is proper, surjective and generically ﬁnite and the composition W → Y is quasi-projective. The reduced geometric ﬁber U is smooth of 16 ¯ dimension d over k and there exists a locally constant sheaf G of Λ-modules on U such that F = G[d]. (2) The morphism h is quasi-ﬁnite and faithfully ﬂat and U = X. Proof. Assume that (1) is satisﬁed. Replacing X by the reduced closed subscheme, we may assume that X is reduced. Shrinking U if necessary, we may assume that h : U → U is ﬁnite and faithfully ﬂat. Then, by Corollary 1.1.2, F is isomorphic to a subquotient of p 0 ′ H Rh F . Since W → Y is quasi-projective, the assertion follows from Lemma 1.4.7.3 and Lemma 1.4.4.3. Assume that (2) is satisﬁed. Since the assertion is ´etale local on X by Lemma 1.4.6.1, we may assume that h: W → X is ﬁnite and faithfully ﬂat and that W, X and Y are aﬃne. Then, by Corollary 1.1.2, F is isomorphic to a subquotient of the perverse sheaf h F . Since W → Y is aﬃne and hence quasi-projective, the assertion also follows from Lemma 1.4.7.3 and Lemma 1.4.4.3. 1.5 Alteration and transversality Let f : X → Y be a morphism of smooth schemes over a ﬁeld k and let D ⊂ Y be a divisor smooth over k. In this article, we say that f : X → Y is semi-stable relatively to D if ´etale locally on X and on Y , there exists a cartesian diagram X −−−→ Y ←−−− D y y y n 1 A −−−→ A ←−−− 0 n 1 where the lower left horizontal arrow A = Spec k[t , . . . , t ] → A = Spec k[t] is deﬁned 1 n by t 7→ t ··· t and the lower right horizontal arrow is the inclusion of the origin 0 ∈ A . 1 n A semi-stable morphism f : X → Y is ﬂat and the base change f : X× V → V = Y D V Y is smooth. We recall statements on the existence of alteration. Lemma 1.5.1. Let k be a perfect ﬁeld and let f : X → Y be a dominant separated mor- phism of integral schemes of ﬁnite type over k. 1. There exists a commutative diagram X ←−−− W (1.9) f y y Y ←−−− Y of integral schemes of ﬁnite type over k satisfying the following condition: The bottom horizontal arrow Y → Y is dominant and is the composition gh of an ´etale morphism g and a ﬁnite ﬂat radicial morphism h. The schemes W and Y are smooth over k and the morphism q : W → Y is quasi-projective and smooth. The induced morphism W → X × Y is proper surjective and generically ﬁnite. 2. Let ξ ∈ Y be a point such that the local ring O is a discrete valuation ring. Then, Y,ξ there exists a commutative diagram (1.9) of integral schemes of ﬁnite type over k satisfying the following condition: The bottom horizontal arrow Y → Y is quasi-ﬁnite and ﬂat and its image is an open neighborhood of ξ. The schemes W and Y are smooth over k, the 17 ′ ′ closure D ⊂ Y of the inverse image of ξ is a divisor smooth over k and the morphism ′ ′ g : W → Y is quasi-projective and is semi-stable relatively to D . The induced morphism W → X × Y is proper surjective and generically ﬁnite. Proof. 1. Let η be the generic point of Y . Then, it suﬃces to apply [5, Theorem 4.1] to the generic ﬁber X × η. 2. Let S = Spec O be the localization at ξ. Then, it suﬃces to apply [5, Theorem Y,ξ 8.2] to the base change X × S → S. We prove an analogue of the generic local acyclicity theorem [7, Th´eor`eme 2.13]. Proposition 1.5.2. Let f : X → Y be a morphism of schemes of ﬁnite type over a perfect ﬁeld k. Let F be a constructible complex of Λ-modules on X. Then, there exists a cartesian diagram X ←−−− X (1.10) f f y y Y ←−−− Y of schemes of ﬁnite type over k satisfying the following conditions: The scheme Y is smooth over k and the morphism Y → Y is dominant and is the composition gh of an ′ ′ ′ ´etale morphism g and a ﬁnite ﬂat radicial morphism h. The morphism f : X → Y is ′ ′ ′ properly SSF -transversal for the pull-back F of F on X . Proof. We may assume that F is a simple perverse sheaf by Lemma 1.4.4.3 and Lemma 1.4.6. Hence, we may assume that there exist a locally closed immersion j : Z → X of a smooth irreducible scheme of dimension d and a simple locally constant sheaf G of Λ- modules such that j G[d] = F by [3, Th´eor`eme 4.3.1 (ii)]. By replacing X by the closure !∗ of j(Z), we may assume that j : Z → X is an open immersion. It suﬃces to consider the case where Z → Y is dominant since the assertion is clear if otherwise. Let Z → Z be a ﬁnite ´etale covering such that the pull-back of G is constant and let X be the normalization of X in Z . Namely, X is the scheme ﬁnite over X corresponding 1 1 1 to the integral closure of O in the quasi-coherent O -algebra deﬁned as the direct image X X of O . The inverse image of Z ⊂ X in X is canonically identiﬁed with Z . Applying Z 1 1 Lemma 1.5.1.1 to X → Y , we obtain a commutative diagram X ←−−− W (1.11) y y Y ←−−− Y of schemes over k satisfying the following conditions: The scheme Y is smooth and the morphism Y → Y is dominant and is the composition gh of an ´etale morphism g and a ﬁnite ﬂat radicial surjective morphism h. The morphism W → Y is quasi-projective ′ ′ ′ and smooth. The induced morphism r : W → X = X × Y is proper surjective and generically ﬁnite. The pull-back G of G on W × Z is a constant sheaf. We consider the cartesian diagram Z ←−−− Z ←−−− W × Z j j j y y y X ←−−− X ←−−− W 18 ′ ′ and let G be the pull-back of G on Z . After shrinking Z if necessary, we may assume that the reduced part of Z is smooth over the perfect ﬁeld k. Since the ﬁnite radicial ′ ′ ′ surjective morphism h is universally a homeomorphism, we have F = j G [d]. !∗ Since G is a constant sheaf on W × Z and W is smooth over k, the intermediate ′ ′ ′ extension j G [d] is constant. The smooth morphism W → Y is properly SSj G [d]- W !∗ W !∗ W W ′ ′ transversal by Lemma 1.4.4.1. Since W → X is proper and W → Y is quasi-projective, ′ ′ ′ the morphism X → Y is SSF -transversal by the case (1) in Lemma 1.4.9. After shrinking ′ ′ ′ ′ Y , the morphism X → Y is properly SSF -transversal by Lemma 1.4.5.2. Corollary 1.5.3. Let f : X → Y and F be as in Proposition 1.5.2 and assume that k is of characteristic p > 0. Then, there exist a dense open subscheme V ⊂ Y smooth ˜ ˜ ˜ over k and an iteration V → V of Frobenius such that the base change X × V → V is ˜ ˜ ˜ ˜ SSF-transversal for the pull-back F on X = X × V . V Y Proof. After shrinking Y in the conclusion of Proposition 1.5.2, we may assume that Y → Y is the composition jgh of an open immersion j : V → Y , a ﬁnite surjective radical morphism g and an ´etale surjective morphism h. By Lemma 1.4.6.1, we may assume that Y → Y is jg. Thus, the assertion follows. We show an analogue of the stable reduction theorem. Proposition 1.5.4. Let X ←−−− U (1.12) f f y y Y ←−−− V be a cartesian diagram of schemes of ﬁnite type over a perfect ﬁeld k. Assume that Y is normal and that V is a dense open subset of Y smooth over k. Let F be a perverse sheaf of Λ-modules on U such that f : U → V is SSF -transversal. V U Then, there exists a cartesian diagram ′ ′ ′ X ←−−− X ←−−− U = U × X (1.13) f f y y y ′ ′ ′ Y ←−−− Y ←−−− V = V × Y of schemes of ﬁnite type over k satisfying the following conditions: The scheme Y is ′ ′ ′ ′ smooth over k and V ⊂ Y is the complement of a divisor D ⊂ Y smooth over k. The ′ ′ morphism g : Y → Y is quasi-ﬁnite ﬂat and the complement Y g(Y ) is of codimension ′ ′ ′ ′ ′ ′ ≧ 2 in Y . The pull-back F of F is a perverse sheaf on U and for F = j F on X , ′ ′ U !∗ U ′ ′ ′ ′ the morphism f : X → Y is SSF -transversal. First, we prove a basic case. Lemma 1.5.5. Let X and Y be smooth schemes over a ﬁeld k. Let D ⊂ Y be a divisor smooth over k and V = Y D be the complement. Let f : X → Y be a morphism over k semi-stable relatively to D. Assume that dim X = n. For a cartesian diagram (1.13) ′ ′ such that Y → Y is a quasi-ﬁnite ﬂat morphism of smooth schemes over k, let F be the ′ ′ ′ perverse sheaf F = j Λ ′[n] on X . !∗ 19 ′ 1. Assume that dim Y = 1. Let Y → Y be a ﬂat morphism of smooth curves over k ′ ′ ′ such that for every y ∈ Y V , the action of the inertia group I ′ on RΨ ′Λ ′ is trivial. y y U ′ ′ ′ Then the morphism X → Y is properly SSF -transversal. 2. There exists a quasi-ﬁnite faithfully ﬂat morphism Y → Y of smooth schemes over ′ ′ k satisfying the following conditions: The open subscheme V ⊂ Y is the complement of ′ ′ ′ ′ a divisor D smooth over k and the morphism X → Y is properly SSF -transversal. Proof. 1. Since the question is ´etale local, we may assume that Y = A = Spec k[t], that X = X = A = Spec k[t , . . . , t ] and that the morphism f : X → Y is deﬁned by n 1 n t 7→ t ··· t . We prove the assertion by induction on n. If n = 1, then f : X → Y is ´etale 1 n and F is constant. Hence the assertion follows in this case by Lemma 1.4.4.1. Assume n > 1. Outside the closed point u ∈ X deﬁned by t = ··· = t = 0, locally 1 n there exists a smooth morphism X = X → X over Y . Hence, the induction hypothesis n n−1 implies the assertion on the complement X {u} by Lemma 1.4.7.2. Thus, the morphism ′ ′ ′ ′ f : X → Y is properly SSF -transversal outside the inverse image of u. By Proposition ′ ′ ′ ′ 1.2.2.2 (3)⇒(1), the morphism f : X → Y is locally acyclic relatively to F . Hence by ′ ′ ′ ′ ′ Lemma 1.4.8.2, the morphism f : X → Y is properly SSF -transversal on X . 2. It follows from 1 by Lemma 1.4.6.1 and Lemma 1.4.5.1. Proof of Proposition 1.5.4. The proof is similar to that of Proposition 1.5.2. By Lemma 1.4.6 and Lemma 1.4.5, it suﬃces to show the assertion on a neighborhood of each point ξ ∈ Y of codimension 1 not contained in V . Thus, we may assume that Y is smooth over k, the closure D of ξ is a divisor smooth over k and that V = Y D. We prove the assertion by the induction on the dimension d of the support of F . If d = 0, it suﬃces to take Y = Y . To prove the induction step, we show the following. ′′ ′ ′ Claim. 1. Let Y → Y be a morphism of quasi-ﬁnite ﬂat schemes over Y such that Y ′′ ′ ′ ′′ ′′ and Y are smooth over k and that V = V × Y and V = V × Y are complements Y Y ′ ′′ ′ ′ ′ of divisors D and D smooth over k. Assume that F = j F satisﬁes the conclusion !∗ U ′′ ′′ ′′ of Proposition 1.5.4. Then its pull-back F on X = X × Y also satisﬁes the same condition. 2. Let 0 → G → F → H → 0 be an exact sequence of perverse sheaves on U. U U U Then, if the assertion of Proposition 1.5.4 holds for G and for H , it also holds for F . U U U ′ ′ ′ ′′ Proof of Claim. 1. By Lemma 1.4.6, the SSF -transversality of X → Y implies that F ′′ ′′ ′′ ′′ is a perverse sheaf on X and that X → Y is SSF -transversal. By Lemma 1.4.5.1, we ′′ ′′ ′′ have F = j F . ′′ !∗ U ′ ′ 2. Let Y and Y be quasi-ﬁnite ﬂat schemes over Y satisfying the conditions in 1 2 Proposition 1.5.4 for G and for H are satisﬁed respectively. By Claim 1, replacing Y U U ′ ′ ′ ′ ′ and Y by the normalization Y of the ﬁber product Y × Y and shrinking Y if necessary, 2 3 1 2 3 ′ ′ ′ ′ ′ we may assume Y = Y . Let S → Y be the strict localization at a geometric point ξ ∈ Y 1 2 1 1 1 above the generic point ξ ∈ D. Then, by Proposition 1.2.2.2, there exists a ﬁnite ramiﬁed ′ ′ extension S → S such that the pull-back F of F to the generic ﬁber X ⊂ X × S X η Y satisﬁes the equivalent conditions loc. cit. Hence by Claim 1, further replacing Y , we may assume that S = S. ′ ′ ′ ′ ′ Let j : U = U × X → X = X × Y be the open immersion, F be the pull-back 1 X Y 1 1 1 1 ′ ′ ′ ′ of F on U and let A ⊂ X be the union of the supports of constituants of j F that 1 1 1!∗ U ′ ′ ′ do not meet U = X × V . Since F satisﬁes the condition (1) in Proposition 1.2.2.2, Y X ′ 1 1 1 20 ′ ′ ′ the intersection of A with the ﬁber X × ξ is empty. Hence by replacing Y by an 1 1 1 ′ ′ ′ ′ open neighborhood Y of ξ , we may assume that A itself is empty. Namely, j F has no 1 !∗ U ′ ′ non-trivial subquotient perverse sheaf supported on X × D . ′ ′ ′ ′ ′ ′ Then, we have an exact sequence 0 → j G → j F → j H → 0 and the assertion ′ ′ ′ !∗ U !∗ U !∗ U follows by Lemma 1.4.4.3. By Claim and by induction on the dimension of support, similarly as in the proof of Proposition 1.5.2, we may assume that there exist a dense open immersion j : Z → U of a smooth irreducible scheme of dimension d and a simple locally constant sheaf G of Λ-modules such that F = j G[d]. Further, we may assume that Z → Y is dominant. U !∗ Taking a ﬁnite ´etale covering trivializing G and applying Lemma 1.5.1.2 as in the proof of Proposition 1.5.2, we obtain a commutative diagram X ←−−− W (1.14) y y Y ←−−− Y of schemes over k satisfying the following conditions: The scheme Y is smooth over k, the morphism g : Y → Y is quasi-ﬁnite and ﬂat and Y g (Y ) is of codimension ≧ 2 1 1 1 1 in Y . The inverse image V × Y is the complement of a divisor D smooth over k Y 1 1 and the morphism W → Y is quasi-projective and is semi-stable relatively to D . The 1 1 1 induced morphism r : W → X = X × Y is proper surjective and generically ﬁnite. 1 1 1 Y 1 The pull-back G of G on W × Z is a constant sheaf. 1 X By Lemma 1.5.5.2 applied to the semi-stable morphism W → Y , we obtain a quasi- 1 1 ﬁnite faithfully ﬂat morphism Y → Y of smooth schemes satisfying the condition loc. cit. We consider the cartesian diagram ′ ′ Z ←−−− Z ←−−− W × Z j j ′ j Z W y Z y y ′ ′ X ←−−− X ←−−− W ′ ′ = X × Y = W × Y Y 1 Y ′ ′ ′ ′ and let G and G denote the pull-backs of G on Z and on W × Z respectively. After shrinking Z if necessary, we may assume that the reduced part of Z is smooth over k. Since ′ ′ ′ ′ ′ G is a constant sheaf on W × Z, the morphism W → Y is SSj G [d]-transversal ′ ′ X W !∗ W W by Lemma 1.5.5.2. ′ ′ The pull-back F is a perverse sheaf by Lemma 1.4.6. Let H ⊂ F be the largest ′ ′ U U ′ ′ ′ ′ sub perverse sheaf supported on the complement U Z and let H ⊂ H ⊂ F be the ′ ′ ′ ′ ′ ′ smallest sub perverse sheaf such that F /H is supported on U Z . Let u: Z → U ′ ′ ′ be the open immersion. Since the restriction of F on Z is identiﬁed with G [d], the ′ ′ subquotient H /H is canonically identiﬁed with u G [d] by [3, Corollaire 1.4.25]. Since !∗ ′ ′ ′ ′ ′ ′ r : W → X is proper surjective and generically ﬁnite and since r : W → Y is quasi- ′ ′ ′ ′ ′ ′ ′ projective, the morphism X → Y is SSF -transversal for F = j ′ G [d] = j (H /H) Z !∗ 1 1 !∗ ′ ′ by the case (1) in Lemma 1.4.9. Since dim(U Z ) < d, the assertion follows from the hypothesis of induction and Claim. Corollary 1.5.6. Let the cartesian diagram (1.12) and a perverse sheafF on U = X× V U Y be as in Proposition 1.5.4. Assume further that Y is smooth over k and that V is the 21 complement of a divisor D ⊂ Y smooth over k. Then, there exists a cartesian diagram ′ ′ ′ (1.13) satisfying the following conditions: The scheme Y is smooth over k and V ⊂ Y is ′ ′ ′ the complement of a divisor D ⊂ Y smooth over k. The morphism g : Y → Y is quasi- ′ ′ ﬁnite ﬂat, the morphism D → D is dominant and the morphism V → V is ´etale. The ′ ′ ′ ′ ′ pull-back F ′ of F is a perverse sheaf on U and the morphism f : X → Y is universally ′ ′ ′ locally acyclic relatively to F = j F . !∗ U ′ ′ ′′ Proof. Let V ⊂ Y be as in the conclusion of Proposition 1.5.4. Let Y be the normal- ization of Y in the separable closure of k(Y ) in k(Y ). Then, there exists a dense open ′′ ′′ ′ ′′ ′′ ′′ ¯ ¯ subset Y ⊂ Y smooth over k of the image of Y → Y such that g : Y → Y is ﬂat, that ′′ ′′ ′′ ′′ V = V × Y is the complement of a divisor D smooth over k, that D → D is dominant, ′′ ′ ′′ ′′ and that V → V is ´etale. Since Y × ′′ Y → Y is ﬁnite surjective radicial, the cartesian ′′ ′ diagram (1.13) deﬁned by Y → Y in place of Y → Y satisﬁes the conditions. Corollary 1.5.7. Let X → Y be a morphism of schemes of ﬁnite type over a ﬁeld k and assume that Y is smooth of dimension 1. Then, for a constructible complex F of Λ-modules on X, the following conditions are equivalent: (1) X → Y is locally acyclic relatively to F. (2) X → Y is universally locally acyclic relatively to F. (3) There exists a ﬁnite faithfully ﬂat morphism Y → Y of smooth curves over k such ′ ′ ′ ′ ′ that the base change X → Y is SSF -transversal for the base change F of F on X . The equivalence (1)⇔(2) is proved in [16]. Proof. We show (1)⇒(3). Since the nearby cycles functor is t-exact, we may assume that F is a perverse sheaf. Then, the assertion follows from Propositions 1.5.2, 1.5.4 and 1.2.2. The implication (3)⇒(2) is proved in Lemma 1.4.4.2. The implication (2)⇒(1) is trivial. The following example shows that taking a covering Y → Y in condition (3) is neces- sary. 1 1 Example 1.5.8. Let k be a ﬁeld of characteristic p ≧ 2. Let X = A × P and j : U = 1 1 A × A = Spec k[x, y] → X be the open immersion. Let W → X be the Artin-Schreier covering deﬁned by t − t = xy ramiﬁed along the divisor X U and let G be the locally constant sheaf of Λ-modules of rank 1 on U trivialized by W U and deﬁned by a non-trivial character F → Λ . Let F = jG. p ! Let W → X → Y = P be the composition with the second projection and let ′ 1 Y → Y = P be a ﬁnite ﬂat morphism of smooth curves over k such that the ramiﬁcation ′ ′ index at ∞ is divisible by p. Then, the normalization W → W × Y of the base change ′ ′ ′ is smooth over Y and W → X is ﬁnite and faithfully ﬂat. Hence by Lemma 1.4.9.2, ′ ′ ′ ′ ′ ′ for the pull-back F of F on X = X × Y , the morphism X → Y is SSF -transversal. By Corollary 1.5.7 (3)⇒(2), X → Y is local acyclicity relatively to F (cf. [15, Th´eor`eme 2.4.4]). On the other hand, on the complement of the origin (0,∞) ∈ X, the singular support ∗ ∗ C = SSF is the union of the zero-section T X and the conormal bundles T X of the X X −1 1 ﬁber X = pr (∞). Hence the projection pr : X → Y = P is not C-transversal. 2 2 22 1.6 Potential transversality We prove a reﬁnement of the analogue of the stable reduction theorem, using the following consequence of the stable reduction theorem for curves. Lemma 1.6.1. Let U −−−→ X f f Vy y ⊂ g V −−−→ Y −−−→ S be a cartesian diagram of morphisms of smooth schemes of ﬁnite type over a perfect ﬁeld k satisfying the following conditions: The morphism f : X → Y is ﬂat and the morphisms g : Y → S and f : U → V are smooth of relative dimension 1. The horizontal arrows are open immersions and the open subset V ⊂ Y is the complement of a divisor D ⊂ Y smooth over k and quasi-ﬁnite and ﬂat over S. Then, there exists a commutative diagram ′ ′ f g ′ ′ ′ X −−−→ Y −−−→ S y y y f g X −−−→ Y −−−→ S of smooth schemes over k satisfying the following conditions: The morphisms S → S, ′ ′ ′ ′ Y → Y × S and X → X × Y are quasi-ﬁnite ﬂat and dominant. The morphisms S Y ′ ′ ′ ′ ′ ′ ′ ′ g : Y → S and f : X → Y are smooth of relative dimension 1 and that V = V × Y ⊂ ′ ′ ′ Y is the complement of a divisor D ⊂ Y smooth over k and quasi-ﬁnite and ﬂat over ′ ′ ′ ′ ′ ′ ′ S . The morphism V → V × S is ´etale and the morphism U = X × V → U × V S Y V ′ ′ ′ ′ is an isomorphism. The quasi-ﬁnite morphisms D → D and X × D → X × D are Y Y dominant. Proof. Let η¯ be a geometric point of S deﬁned by an algebraic closure of the function ﬁeld of an irreducible component. Then, it suﬃces to apply [19, Theorem 1.5] to the base change of X → Y → S by η¯→ S. Theorem 1.6.2. Let U −−−→ X y y V −−−→ Y −−−→ S be a cartesian diagram of morphisms of schemes of ﬁnite type over a perfect ﬁeld k. Assume that Y and S are smooth over k, that Y → S is smooth of relative dimension 1 and that V ⊂ Y is the complement of a divisor D smooth over k and quasi-ﬁnite and ﬂat over S. Let F be a perverse sheaf of Λ-modules on U = X × V such that U → V is U Y SSF -transversal. Then, there exists a commutative diagram ′ ′ ′ V −−−→ Y −−−→ S (1.15) y y y V −−−→ Y −−−→ S 23 of smooth schemes over k satisfying the following conditions (1) and (2): ′ ′ ′ (1) The morphisms S → S and Y → Y × S are quasi-ﬁnite ﬂat and dominant. The ′ ′ horizontal arrow Y → S is smooth of relative dimension 1. The left square is cartesian ′ ′ ′ ′ and V ⊂ Y is the complement of a divisor D ⊂ Y smooth over k and quasi-ﬁnite and ′ ′ ′ ′ ﬂat over S . The induced morphism V → V × S is ´etale and D → D is dominant. (2) Let ′ ′ j f ′ ′ ′ U −−−→ X −−−→ Y (1.16) y y y U −−−→ X −−−→ Y ′ ′ be a cartesian diagram and let F denote the pull-back of F on U . Then the morphism ′ U ′ ′ ′ ′ ′ ′ ′ f : X → Y is SSF -transversal for F = j F . !∗ U Proof. Since the assertion is local on X, we may assume that there exists a closed immer- n n n sion i: X → A for an integer n ≧ 0. By replacing X and F by A and i| F on A , U U U Y Y ∗ V we may assume that X is an open subscheme of A . We prove the assertion by induction on n. Assume n = 0 and hence X → Y is an open immersion. Since the open immersion U → V is SSF -transversal, the singular support SSF is a subset of the 0-section T U U U by Lemma [17, Lemma 3.6.3]. Hence F is locally constant by [2, Lemma 2.1(iii)]. Let U → U be a ﬁnite ´etale covering such that the pull-back of F is constant. Let Y be 1 U 1 the normalization of Y in U . There exists a quasi-ﬁnite ﬂat and dominant morphism ′ ′ ′ ′ S → S of smooth scheme such that the normalization Y of Y × S is smooth over S 1 S ′ ′ ′ ′ ′ and that V ⊂ Y is the complement of a divisor D ´etale over S . After shrinking S , we ′ ′ ′ ′ may assume that Y → Y × S is ﬂat. After shrinking Y keeping D dominant over D, ′ ′ ′ we may assume that V → V × S ´etale. Then, the condition (1) is satisﬁed. Since F on ′ ′ X ⊂ Y is constant, the condition (2) is also satisﬁed by Lemma 1.4.4.1. Assume that n ≧ 1 and that the assertion holds for n−1. For the proof of the induction step, we ﬁrst show the following weaker assertion. n 1 n Claim. Let X ⊂ A → A be a projection and assume that its restriction U ⊂ A → Y Y V A is SSF -transversal. Then, there exist a commutative diagram (1.15) satisfying the ′ 1 condition (1) and an open subset W ⊂ A satisfying the following condition: ′ ′ 1 1 (2 ) The intersection W ∩ A is dense in A . For the cartesian diagram (1.16) and ′ ′ D D ′ ′ ′ ′ ′ ′ ′ ′ ′ for the pull-back F of F on U and F = j F on X , the morphism f : X → Y is ′ ′ U !∗ U ′ ′ ′ ′ SSF -transversal on the inverse image X × 1 W ⊂ X . n 1 1 Proof of Claim. By the induction hypothesis applied to X ⊂ A → A → A , there Y Y S exists a commutative diagram Y −−−→ S 1 1 y y 1 1 A −−−→ A Y S 24 satisfying the conditions (1) and (2) in Theorem 1.6.2. We consider the cartesian diagram U −−−→ X −−−→ Y 1 1 1 y y y U −−−→ X −−−→ A and let F be the pull-back of F . Then, for F = j F on X , the morphism X → Y U U 1 1!∗ U 1 1 1 1 1 is SSF -transversal. The inverse image V = V × Y ⊂ Y is the complement of a divisor 1 1 Y 1 1 D ⊂ Y smooth over k and quasi-ﬁnite and ﬂat over S . The quasi-ﬁnite morphism 1 1 1 V → V × S is ´etale and the quasi-ﬁnite morphism D → A is dominant. 1 S 1 1 Since the morphism S → A is quasi-ﬁnite and ﬂat, there exists a quasi-ﬁnite, ﬂat ′ ′ and dominant morphism S → S of smooth schemes over k such that the normalization S ′ ′ ′ of S × S is smooth over S and that the induced morphism S → S is also quasi-ﬁnite, 1 S 1 ﬂat and dominant. After shrinking S if necessary, we may assume that the morphism ′ 1 ′ ′ Y × S → A × 1 S of smooth curves over S is ﬂat. Hence, by replacing S, Y, S and 1 S 1 1 1 Y A 1 1 ′ ′ ′ ′ Y by S , Y × S , S and Y × S , we may assume that S → S is smooth of relative 1 S 1 S 1 1 1 1 dimension 1. We consider the commutative diagram V −−−→ Y −−−→ S 1 1 1 (1.17) y y y V −−−→ Y −−−→ S where the left square is cartesian. Since V → V × S is ´etale, the left vertical arrow 1 S 1 V → V is also smooth of relative dimension 1. The middle vertical arrow Y → Y is ﬂat. 1 1 Hence, by Lemma 1.6.1 applied to (1.17), there exists a commutative diagram ′ ′ ′ Y −−−→ Y −−−→ S y y y Y −−−→ Y −−−→ S of smooth schemes over k satisfying the following conditions: The morphisms S → S, ′ ′ ′ ′ Y → Y × S and Y → Y × Y are quasi-ﬁnite ﬂat and dominant. The morphisms S 1 Y ′ ′ ′ ′ ′ ′ Y → S and Y → Y are smooth of relative dimension 1. The inverse image V = V × Y ′ ′ ′ ′ is the complement Y D of a divisor D ⊂ Y smooth over k and quasi-ﬁnite and ﬂat ′ ′ ′ ′ ′ ′ over S . The morphism V → V × S is ´etale and the morphism Y × ′ V → V × V S Y 1 V ′ ′ ′ ′ is an isomorphism. The quasi-ﬁnite morphisms D → D and Y × D → Y × D are Y 1 Y dominant. Thus the condition (1) in Theorem 1.6.2 is satisﬁed. ′ ′ 1 The composition Y → Y × Y → A is quasi-ﬁnite and ﬂat. We consider the 1 Y 1 Y cartesian diagram ′′ ′ X −−−→ Y y y ′ 1 ′ X −−−→ A −−−→ Y ′′ ′′ and the pull-back F of F on X . Then, since X → Y is SSF -transversal, the mor- 1 1 1 1 ′′ ′ ′′ ′ ′ phism X → Y is SSF -transversal by Lemma 1.4.6.1. Since Y → Y is smooth, the 1 1 25 ′′ ′ ′′ ′ 1 composition X → Y is also SSF -transversal by Lemma 1.4.7.1. Since Y → A is 1 Y ′ ′ ′ ′ ′′ quasi-ﬁnite and ﬂat, the morphism f : X → Y is SSF -transversal on the image of X by the case (2) in Lemma 1.4.9. ′ 1 ′ ′′ ′ Let W ⊂ A be the image of Y . The image of X → X equals the inverse image Y 1 ′ ′ ′ ′ ′ ′ ′ ′ ′ 1 1 X × W . Hence, f : X → Y is SSF -transversal on X × W ⊂ X . Since A A ′ ′ Y Y ′ ′ ′ 1 ′ 1 Y × ′ D → Y × D and D → A are dominant, the intersection W ∩ A is dense in Y 1 Y 1 1 D D 1 ′ A . Thus the condition (2 ) in Claim is also satisﬁed. To complete the proof of the induction step, we use the following elementary lemma. Lemma 1.6.3. Let X be an open subset of a vector space V of dimension n over an inﬁnite ﬁeld k regarded as a smooth scheme over k. Let C ⊂ T X be a closed conical subset of dimension ≦ n. Then, there exists an isomorphism V → A of vector spaces over k such n 1 that the compositions X → V → A → A with the projections pr , i = 1, . . . , n have at most isolated C-characteristic points. ∗ ∨ Proof. Identify the cotangent bundle T X with the product X × V with the dual and ∗ ∨ let P(C) ⊂ P(T X) = X × P(V ) be the projectivization. Then, by the assumption dim C ≦ n, the projection P(C) → P(V ) is generically ﬁnite. By the assumption that k ∨ ∨ is inﬁnite, there exists a basis p , . . . , p of V such that the ﬁbers of P(C) → P(V ) at 1 n p¯ , . . . , p¯ ∈ P(V ) are ﬁnite. 1 n ∗ ∗ 1 ∗ ∗ Since the projectivization p : X × 1 T A → T X is the section X → P(T X) = X × P(V ) deﬁned by p¯ , the closed subset of X where p is not C-transversal equals the i i image of p¯ × P(C) → X and is ﬁnite for each i = 1, . . . , n. Hence the product of i P(V ) p , . . . , p : V → A satisﬁes the condition. 1 n ∗ n Set C = SSF ⊂ T U. By the assumption that U ⊂ A → V is SSF -transversal, U U U ∗ ∗ the morphism T U → T U/V to the relative cotangent bundle is ﬁnite on C by [2, ∗ ∗ ¯ ¯ Lemma 1.2 (ii)]. The image C ⊂ T U/V of C and its closure C ⊂ T X/Y are closed U U conical subsets. Since every irreducible component of C is of dimension dim X, every irreducible component of C is also of dimension dim X. Hence, for the generic point of each irreducible component of Y , the ﬁber of C is of dimension ≦ n = dim X − dim Y . Consequently, for the generic point of each irreducible component of D ⊂ Y , the ﬁber of C is also of dimension ≦ n. By Lemma 1.6.3 applied to the ﬁbers of the generic points of irreducible components of D, after replacing S by a dense open subset, there exists a coordinate of A ⊃ X such that, for each i = 1, . . . , n, there exist a dense open subset W ⊂ A and an open neighborhood X ⊂ X of the inverse image W × X by the i-th projection pr satisfying the following i i A i ∗ ∗ 1 ∗ condition: The inverse image of C ⊂ T X/Y by the morphism X× T A /Y → T X/Y of the relative cotangent bundles induced by pr is a subset of the 0-section on X . Then, the restriction U → A of pr is SSF -transversal on X ∩U. By Claim applied U i to the restriction X → A of pr , there exist a commutative diagram (1.15) satisfying Y i ′ 1 the condition (1) and for each i = 1, . . . , n a dense open subset W ⊂ A satisfying the −1 ′ ′ ′ ′ ′ ′ condition (2 ). Hence X → Y is SSF -transversal on the union W = pr W ⊂ i=1 i i ′ n ′ ′ ′ X ⊂ A of the inverse images by the projections. Since X → Y is SSF -transversal on ′ ′ ′ ′ ′ U , it is SSF -transversal on W ∪ U . By shrinking S if necessary, we may assume that ′ ′ ′ ′ 1 1 ′ n ′ Z = X (W ∪ U ) = (A (A ∩ W )) ⊂ A is quasi-ﬁnite over S . ′ ′ ′ D D i D i=1 26 By Corollary 1.5.6, there exists a cartesian diagram ′′ ′′ j f ′′ ′′ ′′ ′′ U −−−→ X −−−→ Y ←−−− V y y y y ′ ′ j f ′ ′ ′ ′ U −−−→ X −−−→ Y ←−−− V ′′ ′ of smooth schemes over k satisfying the following condition: The morphism V → V is ′′ ′′ ′′ ′′ ´etale and V ⊂ Y is the complement of a divisor D ⊂ Y smooth over k. The morphism ′′ ′ ′′ ′ ′′ ′′ ′′ ′′ D → D is dominant. For the pull-backF ofF on U andF = j F , the morphism ′′ ′ ′′ U U !∗ U ′′ ′′ ′′ ′′ f : X → Y is universally locally acyclic relatively to F . ′′ ′ By Lemma 1.4.6.1 and Lemma 1.4.5.1, F is the pull-back of F outside the inverse ′′ ′ ′′ ′′ ′′ ′′ ′′ image Z of Z and f : X → Y is SSF -transversal outside the inverse image Z . ′′ ′ Let S → S be a quasi-ﬁnite ﬂat dominant morphism of smooth schemes over k such ′′′ ′′ ′′ ′′ that the normalization Y of Y × ′ S is smooth over S of relative dimension 1 and ′′′ ′′ ′′′ ′′′ ′′′ ′′ that V = V × Y is the complement of a divisor D smooth over k. Let F be ′′ ′′′ ′ ′′′ the pull-back of F on X = X × ′ Y . By Proposition 1.5.2, we may assume that the ′′′ ′′′ ′′ ′′′ morphism f : X → S is SSF -transversal. ′′ ′ ′′ ′ ′′′ ′′ ′′ Since V → V is ´etale, the morphism V → S is smooth and V → V × ′ S is an ′′′ ′ ′′ ′′′ ′ isomorphism. Hence the morphism V → V × S is ´etale. The morphism D → D is dominant. We consider the commutative diagram ′′′ ′′′ j f ′′′ ′′′ ′′′ ′′ U −−−→ X −−−→ Y −−−→ S y y y y ′ ′ j f ′ ′ ′ ′ U −−−→ X −−−→ Y −−−→ S ′′′ ′′′ ′′′ where the left and middle squares are cartesian. Then the morphism f : X → Y is ′′′ ′′′ ′′ universally locally acyclic and is SSF -transversal outside the inverse image Z of Z ′′ quasi-ﬁnite over S . ′′ ′′′ ′′ ′′′ Shrinking S , we may further assume that X → S is properly SSF -transversal ′′′ ′′′ ′′′ ′′′ by Lemma 1.4.5.2. Then, the morphism f : X → Y is SSF -transversal by Lemma ′′′ ′′′ ′′′∗ ′′′ 1.4.8.2. Further we have an isomorphism F = j j F by Lemma 1.4.5.1. Thus, the !∗ commutative diagram ′′′ ′′′ ′′ V −−−→ Y −−−→ S y y y V −−−→ Y −−−→ S satisﬁes the required conditions. Corollary 1.6.4. Let f : X → Y be a morphism of scheme of ﬁnite type over a perfect ﬁeld k. Assume that Y is smooth of dimension 1. Let F be a constructible complex of Λ-modules on X. Assume that f : X → Y is locally acyclic relatively to F and that there exists a dense open subset V ⊂ Y such that f : X → Y is SSF-transversal on V . Then, there exists a cartesian diagram X ←−−− X f f y y Y ←−−− Y 27 of morphisms of schemes of ﬁnite type over k satisfying the following condition: The morphism Y → Y is a ﬁnite generically ´etale morphism of smooth curves. For the pull- ′ ′ ′ ′ ′ ′ back F of F on X , the morphism f : X → Y is SSF -transversal. Proof. Since the shifted vanishing cycles functor RΦ[−1] is t-exact, we may assume that F is a perverse sheaf. Then the assertion follows from the case where S = Spec k in Theorem 1.6.2, Proposition 1.2.2.1 and Lemma 1.2.4. 2 Characteristic cycles and the direct image 2.1 Direct image of a cycle To state the compatibility with push-forward, we ﬁx some terminology and notations. Recall that a morphism f : X → Y of noetherian schemes is said to be proper on a closed subset Z ⊂ X if its restriction Z → Y is proper with respect to a closed subscheme structure of Z ⊂ X. Let f : X → Y be a morphism of smooth schemes over a ﬁeld k and we consider the diagram ∗ ∗ ∗ (2.1) T X ←−−− X × T Y −−−→ T Y ∗ ∗ as an algebraic correspondence from T X to T Y . Assume that every irreducible com- ponent of X (resp. of Y ) is of dimension n (resp. m). Let B ⊂ X be a closed subset on ∗ ∗ which f : X → Y is proper and let C ⊂ T X be a closed subset of B × T X. Then, the closed subset f C ⊂ T Y is deﬁned as the image by the right arrow in (2.1) of the inverse image of C by the left arrow. It is a closed subset by the assumption that f is proper on B. The composition of the Gysin map [8, 6.6] for the ﬁrst arrow and the push-forward map for the second arrow deﬁnes a morphism (2.2) f : CH (C) −−−→ CH (f C) ! n m ◦ ∗ ∗ since dim T X− dim X× T Y = n− m. If every irreducible component of C (resp. f C) Y ◦ is of dimension ≦ n (resp. ≦ m), the morphism (2.2) deﬁnes a morphism (2.3) f : Z (C) −−−→ Z (f C) ! n m ◦ of free abelian groups of cycles. Lemma 2.1.1. Let // X X ❇ ′ ❇ f f ❇ be a commutative diagram of morphisms of smooth schemes over k. Assume that every ′ ′ irreducible component of X (resp. of X and Y ) is of dimension n (resp. n and m). Let B ⊂ X be a closed subset on which f : X → Y is proper and let C ⊂ T X be a closed subset of B × T X. Then, the diagram // CH (C) CH ′(g C) n n ◦ ◆ ′ ! ◆ && CH (f C) m ◦ 28 is commutative. Proof. We consider the diagram ∗ ∗ ′ ∗ ′ T X ←−−− X × ′ T X −−−→ T X x x ∗ ′ ∗ ∗ X × T Y −−−→ X × T Y −−−→ T Y Y Y with cartesian square. After decomposing the right vertical arrow into the composition of a smooth morphism and a regular immersion, it suﬃces to apply [8, Theorem 6.2 (a)]. Lemma 2.1.2. Let f : X → Y be a smooth morphism of smooth irreducible schemes over a perfect ﬁeld k. Assume that X (resp. of Y ) is of dimension n (resp. m). Let C = C ⊂ T X be a closed conical subset such that every irreducible component C is a a of dimension n and that f : X → Y is properly C-transversal and is proper on the base B = C ∩ T X ⊂ X. Let A = m C be a linear combination. Let y ∈ Y be a closed point, let A = i A a a y a y be the pull-back [17, Deﬁnition 7.1] by the closed immersion i : X → X of the ﬁber and y y let (A , T X ) denote the intersection number. Then, we have y y T Xy m ∗ ∗ (2.4) f A = (−1) (A , T X ) ∗ · [T Y ] ! y y T X X y Y in Z (T Y ). Proof. Since the closed immersion i : X → X is properly C-transversal by Lemma y y 1.3.6.1, the pull-back A = i A is deﬁned. Further by the assumption that f : X → Y is C-transversal, we have an inclusion f C ⊂ T Y and f A is deﬁned as an element of ◦ ! ∗ ∗ CH (f C) = Z (f C) ⊂ Z (T Y ). Hence it suﬃces to show that the coeﬃcient of T Y m ◦ m ◦ m Y Y m ∗ in f A equals the intersection number (−1) (A , T X ) . ! y y T Xy We consider the cartesian diagram ∗ ∗ ∗ T X ←−−− X × T Y −−−→ T Y x x x ∗ ∗ ∗ X × T X ←−−− X × T Y −−−→ y × T Y y X y Y Y y y y T X ←−−− X −−−→ y. y y We regard the four sides of the exterior square of the diagram as algebraic correspondences. Since f is assumed properly C-transversal, f A on the upper right corner is some multiple of the 0-section T Y . Hence, the coeﬃcient of f A is the image of A by the composition via the upper right corner. It equals the composition via the lower left corner by [8, Theorem 6.2 (a)] applied to the upper right and the lower left squares. The image of A on the lower m ! ! left corner is (−1) -times i A since the deﬁnition of i A in [17, Deﬁnition 7.1] involves y y dim X−dim X m the sign (−1) = (−1) . Since the bottom line deﬁnes the intersection number (−, T X ) , the assertion follows. y T X We study the case where Y is a smooth curve and dim f C = 1. Let f : X → Y be a morphism of smooth schemes over k. Assume that every irreducible component of X 29 ∗ (resp. of Y ) is of dimension n (resp. 1). Let C ⊂ T X be a closed conical subset such that every irreducible component C of C = C is of dimension n and that f : X → Y a a is proper on the base B = C ∩ T X ⊂ X. Let V ⊂ Y be a dense open subscheme such that the base change f : X → V is properly C -transversal for the restriction C of C V V V V on X . Let y ∈ Y V be a closed point on the boundary and let t be a uniformizer at y and let df denote the section of T X deﬁned on a neighborhood of the ﬁber X by the pull-back ∗ ∗ f dt. Then, on a neighborhood of X , the intersection C ∩ df ⊂ T X is supported on the inverse image of the intersection B ∩ X . Hence for a linear combination A = m C , y a a the intersection product (2.5) (A, df) ∗ T X,X supported on the ﬁber X is deﬁned as an element of CH (B∩X ). Since C is conical, the y 0 y intersection product (A, df) ∗ does not depend on the choice of t. Thus the intersection T X,X number also denoted (A, df) is deﬁned as its image by the degree mapping CH (B∩ T X,X 0 X ) → CH (y) = Z. y 0 Lemma 2.1.3. Let f : X → Y be a morphism of smooth irreducible schemes over a perfect ﬁeld k. Assume that X (resp. of Y ) is of dimension n (resp. 1). Let C = C ⊂ T X be a closed conical subset as in Lemma 2.1.2. 1. The following conditions are equivalent: (1) dim f C ≦ 1. (2) There exists a dense open subscheme V ⊂ Y such that the base change f : X → V V V is C -transversal for the restriction C of C on X . V V V (3) There exists a dense open subscheme V ⊂ Y such that the base change f : X → V V V is properly C -transversal for the restriction C of C on X . V V V 2. Let V ⊂ Y be a dense open subscheme satisfying the condition (3) above. Let A = m C be a linear combination, let v ∈ V be a closed point and deﬁne the intersection a a number (A , T X ) as in Lemma 2.1.2. Then, we have v v T X ∗ ∗ ∗ (2.6) f A = −(A , T X ) ∗ · [T Y ] + (A, df) ∗ · [T Y ] ! v v T X T X,X X v Y y y y∈Y V in Z (f C). 1 ◦ Proof. 1. Since f C is a closed conical subset of the line bundle T Y , the condition (1) is equivalent to the existence of a dense open subset V ⊂ Y such that f C ⊂ T Y ∪ T Y . This is equivalent to the condition (2). The equivalence (2)⇔(3) follows y∈Y V from Lemma 1.4.5.2. ∗ ∗ 2. It suﬃces to compare the coeﬃcients of the 0-section T Y and of the ﬁbers T Y Y y ∗ ∗ respectively. For those of T Y , it is proved in Lemma 2.1.2. For those of T Y , it follows Y y from the projection formula [8, Theorem 6.2 (a)] applied to the cartesian square in the commutative diagram ∗ ∗ ∗ oo // T X X × T Y T Y ii❘ OO ❘ OO ❘ dt df // X Y. 30 Lemma 2.1.4. Let X be a scheme of ﬁnite type of dimension d over a ﬁeld k and let E be a vector bundle on X associated to a locally free O -module E of rank n. Let s: X → E be a section, 0: X → E be the zero section and Z = Z(s) = 0(X)∩ s(X) ⊂ X be the zero locus of s. Let K = [O → E] be the complex of O -modules where E is put on degree 0 X X and let c (K) be the localized Chern class deﬁned in [4, Section 1]. Then, we have (0(X), s(X)) = c (K)∩ [X] E n in CH (Z). d−n Proof. We may assume that X is integral and Z $ X. By taking the blow-up at Z and by [14, Proposition 2.3.1.6], we may assume that Z is a Cartier divisor D ⊂ X. Then, we have an exact sequence of 0 → L → E → F → 0 of locally free O -modules where L and F are of rank 1 and n− 1 respectively and s ∈ Γ(X,E) is deﬁned by s ∈ Γ(X,L). Then, the right hand side equals c (F)∩ [D] by [4, Proposition (1.1) (iii)]. The left hand side n−1 also equals c (F)∩ [D] by the excess intersection formula [8, Theorem 6.3]. n−1 We deﬁne the specialization of a cycle. Let f : X → Y be a smooth morphism of smooth schemes over a perfect ﬁeld k and assume that X (resp. Y ) is equidimensional of dimension n+1 (resp. 1). Let y ∈ Y be a closed point, V = Y {y} be the complement and U = X× V be the inverse image. Let C ⊂ T U be a closed conical subset equidimensional of dimension n + 1 and assume that U → V is properly C-transversal. We deﬁne its specialization sp C ⊂ T X as follows. By the assumption that U → V is properly C-transversal and [17, Lemma ∗ ∗ 3.1], the morphism T U → T U/V to the relative cotangent bundle is ﬁnite on C. Hence ′ ∗ ′ ∗ its image C ⊂ T U/V is a closed conical subset. Let C ⊂ T X/Y be the closure and ∗ ′ ∗ ∗ deﬁne sp C ⊂ T X to be the ﬁber C × y ⊂ T X/Y × y = T X . The specialization y Y Y y sp C ⊂ T X is a closed conical subset equidimensional of dimension n. P S For a linear combination A = m C of irreducible components of C = C , we a a a a a deﬁne its specialization sp A ∈ Z (sp C) y y ′ ′ as follows. First, we deﬁne A ∈ Z (C ) as the push-forward of A by the morphism n+1 ∗ ∗ ′ ′ ′ ¯ ¯ T U → T U/V ﬁnite on C. Let A ∈ Z (C ) be the unique element extending A ∈ n+1 ′ ′ Z (C ). Then, we deﬁne sp A ∈ Z (sp C) to be the minus of the pull-back of A by the n+1 n y y Gysin map for the immersion i : X → X. If X → Y is proper, for a closed point v ∈ V y y and the closed immersion i : X → X, we have v v ∗ ! ∗ (2.7) (sp A, T X ) ∗ = (i A, T X ) ∗ y T X v T X y X y v X v y v ! dim X−dim X since the deﬁnition of i A in [17, Deﬁnition 7.1] involves the sign (−1) = −1. Lemma 2.1.5. Let f : X → Y be a smooth morphism of smooth schemes over a perfect ﬁeld k and assume that X (resp. Y ) is equidimensional of dimension n + 1 (resp. 1). Let y ∈ Y be a closed point, i : X → X be the closed immersion of the ﬁber, V = Y {y} be y y the complement and U = X × V be the inverse image. Let C ⊂ T X be a closed conical subset equidimensional of dimension n + 1 such that f : X → Y is properly C-transversal. 1. For the restriction C of C on U, we have (2.8) sp C = i C. y y 31 P S 2. For a linear combination A = m C of irreducible components of C = C a a a a a and its restriction A on U, we have (2.9) sp A = i A. Proof. 1. By the assumption that f : X → Y is properly C-transversal and [17, Lemma ∗ ∗ 3.1], the morphism T X → T X/Y to the relative cotangent bundle is ﬁnite on C and ′ ∗ ′ hence its image C ⊂ T X/Y is a closed conical subset. Further C with reduced scheme structure is ﬂat over Y . Hence it equals the closure of the restriction C and we obtain (2.8). 2. We consider the cartesian diagram ∗ ∗ T X −−−→ T X/Y x x ∗ ∗ X × T X −−−→ T X . y X y The right hand side is the minus of the image of A by the push-forward and the pull-back via upper right. The left hand side is the minus of the image of A by the pull-back and the push forward via lower left. Hence the assertion follows from the projection formula [8, Theorem 6.2 (a)]. 2.2 Characteristic cycle of the direct image Let k be a ﬁeld and let Λ be a ﬁnite ﬁeld of characteristic ℓ invertible in k. Let X be a smooth scheme over k such that every irreducible component is of dimension n. Let F be a constructible complex of Λ-modules on X and C = SSF be the singular support. Then, every irreducible component C of C = C has the same dimension as X [2, Theorem a a ∗ ∗ 1.3 (ii)] and the base B = C ∩ T X ⊂ T X = X deﬁned as the intersection with the X X 0-section equals the support of F [2, Lemma 2.1 (i)]. Let f : X → Y be a morphism of smooth schemes over k, proper on the support of F. Then, we have an inclusion (2.10) SSRf F ⊂ f SSF ∗ ◦ by [2, Lemma 2.2 (ii)]. We restate a conjecture from [18, Conjecture 1]. Conjecture 2.2.1. Let f : X → Y be a morphism of smooth schemes over a perfect ﬁeld k. Assume that every irreducible component of X (resp. of Y ) is of dimension n (resp. m). Let F be a constructible complex of Λ-modules on X and C = SSF be the singular support. Assume that f is proper on the support of F. Then, we have (2.11) CCRf F = f CCF ∗ ! in CH (f SSF). m ◦ If dim f SSF ≦ m, the equality (2.11) is an equality as cycles in CH (f SSF) = ◦ m ◦ Z (f SSF) without rational equivalence. m ◦ A weaker version of Conjecture 2.2.1 is proved in the case k is ﬁnite and X and Y are projective in [21] using ε-factors. 32 If Y = Spec k, the equality (2.11) means the index formula (2.12) χ(X¯,F) = (CCF, T X) T X k X where the right hand side denotes the intersection number. Further if X is projective, the equality (2.12) is proved in [17, Theorem 7.13]. Lemma 2.2.2. Let f : X → Y be a morphism of smooth schemes over k and let F be a constructible complex of Λ-modules. Assume that f : X → Y is proper on the support of F. Assume that every irreducible component of X (resp. of Y ) is of dimension n (resp. m). 1. Let // X X ❇ ′ ❇ f f ❇ be a commutative diagram of morphisms of smooth schemes over k. Then, we have (2.13) f CCF = f (g CCF) ! ! in CH (f SSF). m ◦ 2. Assume that one of the following conditions (1) and (2) is satisﬁed: (1) f : X → Y is an immersion. (2) f : X → Y is quasi-projective and SSF-transversal. Then, we have dim(f SSF) ≦ m = dim Y and (2.11) CCRf F = f CCF ∗ ! in Z (f SSF). m ◦ Proof. 1. It follows from Lemma 2.1.1. 2. The case (1) is proved in [17, Lemma 5.13.2]. We show the case (2). Since f SSF is a subset of the 0-section T Y , we have dim(f SSF) ≦ m = dim Y . We may assume that Y is connected and aﬃne and hence X is quasi-projective. Let X → P be an immersion to a projective space and factorize X → Y as the composition of an immersion X → Y × P and the projection Y × P → Y . Then, by 1 and the case (1), we may assume that f : X → Y is projective and smooth. By the assumption that f : X → Y is SSF-transversal, it is locally acyclic relatively to F by Lemma 1.4.4.1. Since f : X → Y is proper, the direct image Rf F is locally constant by [11, 5.2.4]. By Lemma 1.4.5.2, there exists a dense open subscheme V ⊂ Y such that f : X → Y is properly SSF-transversal on V . By [17, Lemma 5.11.1] and Lemma 2.1.2, it suﬃces to show the equality ! ∗ (2.14) rank Rf F = (i CCF, T X ) ∗ y T X y X y for a closed point y ∈ V . Since rank Rf F = χ(X , i F), the equality (2.14) follows from ∗ y¯ ∗ ! the compatibility CCi F = i CCF with the pull-back [17, Theorem 7.6] and the index y y formula [17, Theorem 7.13]. We consider the case where Y is a smooth curve and dim f SSF ≦ 1. We recall the deﬁnition of the Artin conductor and the description of the characteristic cycle of a 33 sheaf on a curve. Let Y be a smooth irreducible curve over a perfect ﬁeld k and let G be a constructible complex of Λ-modules on Y . Let V ⊂ Y be a dense open subscheme such that the restriction G is locally constant i. e. the cohomology sheaf H G is locally V V constant for every integer q. For a closed point y ∈ Y , the Artin conductor a G is deﬁned by (2.15) a G = rank G − rank G + Sw G. y V y¯ y Here y¯ denotes a geometric point above y and Sw denotes the alternating sum of the Swan conductor. The characteristic cycle is given by ∗ ∗ (2.16) CCG = − rank G · [T Y ] + a G · [T Y ] V y Y y y∈Y V ∗ ∗ by [17, Lemma 5.11.3]. Here T Y is the ﬁber of T Y at y. Let f : X → Y be a morphism of smooth schemes over a perfect ﬁeld k and y ∈ Y be a closed point. Assume that dim Y = 1. Let F be a constructible complex of Λ-modules on X. Assume that f : X → Y is proper on the support of F. Under the assumption dim f SSF ≦ 1, the equality CCRf F = f CCF (2.11) in Z (f SSF) is equivalent to ◦ ∗ ! 1 ◦ the equality (2.17) − a Rf F = (CCF, df) ∗ . y ∗ T X,X for every closed point y ⊂ Y V by (2.16), Lemma 2.2.2.2 (2) and Lemma 2.1.3.2, where the right hand side is deﬁned as in (2.5). Theorem 2.2.3. Let f : X → Y be a quasi-projective morphism of smooth schemes over a perfect ﬁeld k and y ∈ Y be a closed point. Assume that dim Y = 1. Let F be a constructible complex of Λ-modules on X. Assume that f : X → Y is proper on the support of F and is properly SSF-transversal on a dense open subscheme V ⊂ Y . Then, we have (2.17) −a Rf F = (CCF, df) . y ∗ T X,X Proof. We may assume that k is algebraically closed. By the same argument as in the proof of Lemma 2.2.2.2, we may assume that f : X = Y × P → Y is the projection for a projective space P . By Lemma 2.1.3.1 and by replacing Y by a projective smooth curve over k containing Y as a dense open subscheme, we may assume that Y is projective and smooth. By Lemma 2.2.2 applied to X → Y → Spec k, we obtain ∗ ∗ ∗ ∗ (f CCF, T Y ) = (CCF, T X) . ! T Y T X Y X By the index formula [17, Theorem 7.13], we have ∗ ∗ (CCRf F, T Y ) ∗ = χ(Y , Rf F) = χ(X ,F) = (CCF, T X) ∗ . ¯ ¯ ∗ T Y ∗ T X Y k k X Thus, we have (CCRf F − f CCF, T Y ) ∗ = 0. ∗ ! T Y 34 ∗ Since the coeﬃcients of T Y in CCRf F and f CCF are equal by (2.4), (2.16) and the ∗ ! index formula [17, Theorem 7.13], we obtain X X (2.18) −a Rf F = (CCF, df) ∗ . y ∗ T X,X y∈Y V y∈Y V By d´evissage using Lemma 1.4.4.3 and [17, Lemma 5.13.1], we may assume that F is a e e perverse sheaf. Set V = V ∪{y} and Z = Y V . By Corollary 1.2.3, Corollary 1.6.4 and Lemma 1.2.4, there exists a faithfully ﬂat ﬁnite morphism Y → Y of projective smooth curves ´etale at y satisfying the following condition: Let ′ ′ X ←−−− X ←−−− X e′ f f y y y ′ ′ ′ e e Y ←−−− Y ←−−− V = Y × V ′ ′ ′ ′ ′ be a cartesian diagram and set F = j F for the pull-back F of F on X . Then on !∗ e′ e′ e′ V V V ′ ′ ′ ′ ′ ′ ′ Y = Y Y × y, the morphism f : X → Y is SSF -transversal and hence is universally locally acyclic relatively to F . ′ ′ ′ ′ ′ ′ ′ ′ For each y ∈ Z = Z× Y , we have a ′Rf F = (CCF , df ) ∗ ′ ′ = 0. Since Y → Y Y y T X ,y ′ ′ ′ ′ is ´etale at y, for each y ∈ Y × y, we have a Rf F = a ′Rf F and (CCF, df) ∗ = Y y ∗ y T X,X ∗ y ′ ′ ′ ′ ′ ′ (CCF , df ) ∗ ′ ′. Thus, by applying (2.18) to f : X → Y and F , we obtain T X ,y ′ ′ −[Y : Y ]· a Rf F = [Y : Y ]· (CCF, df) y ∗ T X,y and hence (2.17). Corollary 2.2.4 (cf. [4, Conjecture]). Let f : X → Y be a projective ﬂat morphism of smooth schemes over a perfect ﬁeld k. Assume that dim X = n, dim Y = 1 and that there exists a dense open subscheme V ⊂ Y such that the base change f : X × V → V is V Y smooth. Then, for a closed point y ∈ Y , we have n X 1 (2.19) − a Rf Λ = (−1) c (Ω )∩ [X]. y ∗ n X X/Y n ∗ Proof. Applying Theorem 2.2.3 to the constant sheaf F = Λ and CCΛ = (−1) [T X], we n ∗ obtain −a Rf Λ = (−1) (T X, df) ∗ . By applying Lemma 2.1.4 to the right hand y ∗ T X,X X y ∗ 1 1 side and [f Ω → Ω ], we obtain (2.19). Y/k X/k [4, Conjecture] is stated for proper morphism. Here we need to assume f to be projec- tive since the index formula is known only for projective schemes. Theorem 2.2.5. Let f : X → Y be a morphism of smooth schemes over a perfect ﬁeld k. Let F be a constructible complex of Λ-modules on X and C = SSF be the singular support. Assume that Y is projective, that f : X → Y is quasi-projective and is proper on the support of F and that we have an inequality (2.20) dim f C ≦ dim Y = m. Then, we have (2.21) CCRf F = f CCF ∗ ! in Z (f SSF). m ◦ 35 Proof. We may assume that k is algebraically closed. Since X is quasi-projective, there exists a locally closed immersion i: X → P to a projective space P . By decomposing f as the composition of the immersion (i, f): X → P×Y and the second projection P×Y → Y , we may assume that f is projective and smooth by Lemma 2.2.2. Set C = f SSF ⊂ T Y . We have SSRf F ⊂ f SSF = C. By the assumption, we have dim C ≦ m. By the ∗ ◦ index formula [17, Theorem 7.13] and Theorem 2.2.3, the equality (2.21) is proved for Y of dimension ≦ 1. We show the general case by reducing to the case dim Y = 1. We take a closed immersion of Y to a projective space i: Y → P. We use the notations p p P ← Q → P in (1.7) and let p : X × Q → X be the projection. After replacing X P the immersion i by the composition with a Veronese embedding if necessary, we may ∗ ∨ ∨ assume that the restriction to P(i C) ⊂ Q = P(T P) of the projection p : Q → P is generically radicial by the assumption dim C ≦ m = dim Y and by [17, Corollary 3.21]. ∨ ∨ ◦ ∗ ∨ ∨ ∨ Let C = p p C ⊂ T P and let D denote the image p (P(i C)) ⊂ P . By Lemma ◦ Y 1.3.7, Lemma 1.3.3.3 and the Bertini theorem, there exists a line L ⊂ P satisfying ∨ ∨ the following conditions: The immersion h: L → P is properly C -transversal. The ∨ ◦ morphism h: L → P meets p SSF properly. The axis A of L meets Y transversely and L meets D transversely. Since the blow-up of P at A is the projection Q× L → P and since A meets Y L P L transversely, the blow-up Y of Y at Y ∩ A ﬁts in the cartesian diagram Y ←−−− Y × Q ←−−− Y y y y P ←−−− Q ←−−− Q× L y y P ←−−− L and is smooth over k. We consider the cartesian diagram p h X X X ←−−− X × Q ←−−− X f f y fy y Y Y (2.22) Y ←−−− Y × Q ←−−− Y p L y y P ←−−− L of projective smooth schemes over k. ∗ ∗ ∗ ∨ ∨ ◦ By the identiﬁcation P(T P× Y ) $ P(T P) = Q = P(T P ), the operation p p = Y ◦ Y ∨ ◦ p p i deﬁnes an injection from the set of irreducible closed conical subsets of dimension ∗ ∗ ∨ m = dim Y of T Y and to the set of irreducible closed conical subsets of T P . Hence the equality (2.21) is equivalent to ∨ ! ∨ ! (2.23) p p CCRf F = p p f CCF. ∗ ! Y ! Y Y ! Y ∨ ∨ ◦ ∗ ∨ It suﬃces to compare the coeﬃcients of C = p p C ⊂ T P for each irreducible a Y ◦ Y component of C = C of dimension m = dim Y . 36 ∨ ∨ Since the restriction P(i C) → D of the projection p : Q → P is radicial on a dense open subset, irreducible components P(i C ) of P(i C) correspond uniquely with ◦ a ◦ irreducible components D of D deﬁned as the images. Since L meets D transversely, each point of the intersection L∩ D is contained in exactly one irreducible component D of D. Hence, (2.23) is further equivalent to ! ∨ ! ! ∨ ! (2.24) h p p CCRf F = h p p f CCF. ∗ ! Y ! Y Y ! Y Let π : X → X denote the composition p ◦ h of the top line in (2.22). We show X X X that the equality (2.24) is equivalent to ′ ∗ ′ ∗ (2.25) CCR(p f ) π F = (p f ) CCπ F. L ∗ L ! X X First, we compare the left hand sides. By [17, Corollary 7.12] applied to i Rf F on P, the ∗ ∗ ! ∨ ∗ ∨ ∗ ∨ left hand side of (2.24) equals h CCRp p Rf F. Since SSRp p Rf F ⊂ C and since ∗ ∗ Y ∗ Y Y ∗ Y ∨ ∨ ∗ ∨ ∗ h: L → P is properly C -transversal, the left hand side further equals CCh Rp p Rf F Y ∗ Y by [17, Theorem 7.6]. By proper base change theorem, this is equal to the left hand side ′ ∗ CCR(p f ) π F of (2.25). L ∗ Next, we compare the right hand sides. The right hand side of (2.24) is equal to ′ ! ∨ ∨ (p f ) π CCF by the projection formula [8, Theorem 6.2 (a)]. Since h: L → P is C - L ! ∨ ∨ ◦ ∨ ◦ ′ transversal and C = p p C = (p f) p SSF, the immersion h : X → X × Q is ◦ X P Y ◦ Y Y X ◦ ∨ ◦ p SSF-transversal by Lemma 1.3.6.2. Further since h: L → P meets p SSF properly, X X ′ ◦ the immersion h : X → X × Q is properly p SSF-transversal. Since p is smooth, X P X the composition π = p ◦ h is properly SSF-transversal. Thus by [17, Theorem 7.6], X X X ′ ∗ it further equals to the right hand side (p f ) CCπ F of (2.25). L ! We show the equality (2.25) by applying Theorem 2.2.3 to complete the proof. The ∨ ∨ ◦ largest open subset where the projection p : Y × Q → P is p C-transversal equals the Y Y ∨ ∗ ∨ largest open subset where the immersion Y × Q → Y × P is C × T P -transversal and ∗ ◦ ◦ hence is the complement of P(i C) ⊂ Y × Q = P(Y × T P). Since p C = p f SSF = ◦ P P ◦ Y Y ◦ ∗ ∨ ∨ ∗ ˜ ˜ ˜ f p SSF = f SSp F, the composition p f : X × Q → P is SSp F-transversal on ◦ ◦ P X X Y X the complement P D by [17, Lemma 3.8 (1)⇒(2)]. By Lemma 1.3.6, the morphism ′ ′ ∗ p f : X → L is SSπ F-transversal on the dense open subset L L ∩ D. Hence the equality (2.25) follows from Theorem 2.2.3 applied to π F and the equality (2.21) is proved. To prove Theorem 2.2.5, we need the assumption that Y is projective, because we assume in Theorem 2.2.3 that f loc. cit. is projective on the support of F. If we can weaken this assumption on f in Theorem 2.2.3, we will be able to remove the assumption on Y in Theorem 2.2.5 since the characteristic cycle is characterized by the Milnor formula (1.8). In the case of characteristic 0, we recover the classical result as in [13, Proposition 9.4.2], under the extra assumption that Y is projective and that f is quasi-projective. Let 2 ∗ X be a smooth scheme equidimensional of dimension n over a ﬁeld k and let ω ∈ Ω (T X) ∗ ∗ denote the canonical symplectic form on the cotangent bundle T X. Let C ⊂ T X be a closed conical subset. We say that C is isotropic if the restriction of ω on C is 0. We say that C is Lagrangian if it is isotropic and if C is equidimensional of dimension n. Lemma 2.2.6. Let k be a ﬁeld of characteristic 0 and let f : X → Y be a morphism of smooth schemes over k. Assume that X (resp. Y ) is equidimensional of dimension n (resp. 37 ∗ ∗ ∗ m). Let C ⊂ T X be a closed conical subset. If C ⊂ T X is isotropic, then f C ⊂ T Y is also isotropic. The author learned the following proof from Beilinson. ∗ ∗ Proof. Let T (X × Y ) ⊂ T (X × Y ) be the normal bundle of the graph Γ ⊂ X × Y of ∗ ∗ ∗ ∗ f : X → Y and let p : T (X × Y ) = T X × T Y → T Y be the projection. The direct ∗ ∗ ∗ image f C ⊂ T Y equals the image by p of the intersection C = T (X×Y )∩(C×T Y ). ◦ 2 1 ∗ ∗ Since the normal bundle T (X × Y ) ⊂ T (X × Y ) is isotropic and since ω equals X×Y ∗ ∗ ∗ the sum p ω + p ω of the pull-backs by projections, the assumption that C ⊂ T X is X Y 1 2 isotropic implies that the restriction of p ω on C is 0. Since k is of characteristic 0, Y 1 ′ ∗ ′ for each irreducible component C of f C ⊂ T Y , there exists a closed subset C ⊂ C ◦ 1 generically ´etale over C . Hence the assertion follows. Proposition 2.2.7. Let k be a ﬁeld of characteristic 0 and let X be a smooth scheme over k. Let F be a constructible complex of Λ-modules on X. 1. The singular support SSF is Lagrangian. 2. Let f : X → Y be a morphism of smooth schemes over k. Assume that f is proper on the support of F. Then, the inequality (2.20) holds. Further if f : X → Y is quasi- projective, the equality (2.21) holds. Proof. 1. We may assume that X is equidimensional of dimension n. Since the singular support SSF is equidimensional of dimension n [2, Theorem 1.3 (ii)], it suﬃces to show that SSF is isotropic. By devissage, we may assume that there exist a locally closed immersion i: V → X of smooth scheme, a locally constant sheaf G on V and F = iG. Since the resolution of singularity is known in characteristic 0, the immersion i is decomposed by an open immersion j : V → W and a proper morphism h: W → X such that W is smooth and V is the complement of a divisor with simple normal crossings. Thus, by the inclusion SSF = SSRh jG ⊂ h SSjG and Lemma 2.2.6, it is reduced to ∗ ! ◦ ! the case where i = j is an open immersion of the complement of a divisor with simple normal crossings. Since k is of characteristic 0, this case is proved in [17, Proposition 4.11]. 2. By 1 and Lemma 2.2.6, the direct image f SSF is isotropic. Hence the inequality dim f SSF ≦ dim Y (2.20) holds. We show the equality CCRf F = f CCF (2.21). Similarly as in the proof of Theorem ∗ ! 2.2.5, we may assume that Y is aﬃne and f : X = P × Y → Y is the projection for a projective smooth scheme P over k. By resolution of singularity, we may assume that Y is projective and smooth. Then since the inequality (2.20) holds, we may apply Theorem 2.2.5. 2.3 Index formula for vanishing cycles We prepare some notation to formulate an index formula for vanishing cycle complex. Let f : X → Y be a smooth morphism of smooth schemes over a perfect ﬁeld k. Assume that X (resp. Y ) is equidimensional of dimension n + 1 (resp. 1). Let F be a constructible complex of Λ-modules on X. Let y ∈ Y be a closed point and i : X → X be the y y closed immersion of the ﬁber. Assume that f : X → Y is properly SSF-transversal on −1 the complement X X of the ﬁber X = f (y). Then, the specialization y y (2.26) sp SSF ⊂ T X 38 is deﬁned as a closed conical subset equidimensional of dimension n. Further, the special- ization (2.27) sp CCF ∈ Z (sp SSF) y y is deﬁned as a cycle. Lemma 2.3.1. Let f : X → Y be a smooth morphism of smooth schemes over a ﬁeld k and assume dim Y = 1. Let F be a constructible complex of Λ-modules on X and assume that f : X → Y is properly SSF-transversal. Let y ∈ Y be a closed point. Then, we have (2.28) SSRΨ F = sp SSF. Further if k is perfect, we have (2.29) CCRΨ F = sp CCF. Proof. Let i : X → X denote the closed immersion of the ﬁber. Then, by the assumption y y that f : X → Y is properly SSF-transversal, we have sp SSF = i SSF and sp CCF = y y y ! ! i CCF. Recall that the deﬁnitions of sp and i both involve the minus sign. y y y Since f : X → Y is locally acyclic relatively to F by Lemma 1.4.4.2, the canonical morphism i F → RΨ F is an isomorphism. Hence the equalities (2.28) and (2.29) follow from Lemma 1.4.1 and [17, Theorem 7.6] respectively. The following example shows that the inclusion SSRΨF ⊂ sp SSF does not hold in general. 1 1 Example 2.3.2. Let k be a ﬁeld of characteristic p > 2. Let X = A × P and j : U = 1 1 A × A = Spec k[x, y] → X be the open immersion. Let G be the locally constant sheaf p p 2 of Λ-modules of rank 1 on U deﬁned by the Artin-Schreier covering t − t = x y and by a non-trivial character F → Λ . Then, the nearby cycles complex RΨ F is acyclic except p ∞ at the closed point (0,∞) or at degree 1 and dim R ΨF = 1. Hence, the singular (0,∞) support SSRΨ F equals the ﬁber T X at the closed point and is not a subset of the ∞ ∞ (0,∞) zero-section sp SSF = T X . X∞ Let Z ⊂ X be a closed subset. Assume that f : X → Y is properly SSF-transversal on the complement of Z. Then, on the complement X Z, we have sp CCF = i CCF = y y CCi F by Lemma 2.1.5 and the compatibility with the pull-back [17, Theorem 7.6]. Thus, the diﬀerence (2.30) δ CCF = sp CCF − CCi F is deﬁned as a cycle in Z Z × (sp SSF ∪ SSi F) supported on Z. If Z is proper over n X y y Y , the intersection number (δ SSF, T X ) ∗ is deﬁned. y y T X X y Proposition 2.3.3. Let f : X → Y be a smooth morphism of smooth schemes over a perfect ﬁeld k. Assume that X (resp. Y ) is equidimensional of dimension n + 1 (resp. 1). Let F be a constructible complex of Λ-modules on X. Let y ∈ Y be a closed point and let Z ⊂ X be a closed subset. Assume that f : X → Y is properly SSF-transversal on the complement of Z and that either of the following conditions (1) and (2) is satisﬁed: (1) f : X → Y is projective. (2) dim Z = 0. Then, for the vanishing cycles complex RΦ F, we have (2.31) χ(Z , RΦ F) = (δ CCF, T X ) ∗ . y y y T X k X y 39 Proof. We may assume that k is algebraically closed. We show the case (1). Let v ∈ Y be a closed point diﬀerent from y and let i : X → X v v be the closed immersion. Then, since the projective morphism f : X → Y is locally acyclic relative to F outside Z by Lemma 1.4.4.2, the left hand side of (2.31) equals ∗ ∗ ∗ (2.32) χ(Z, RΦ F) = χ(X , RΨ F)− χ(X , i F) = χ(X , i F)− χ(X , i F) y y y y v y y v y The right hand side of (2.31) ∗ ∗ ∗ ∗ ∗ ∗ ∗ (δ CCF, T X ) = (sp CCF, T X ) − (CCi F, T X ) y y T X y T X y T X X y y X y y X y y y y equals ! ∗ ∗ ∗ ∗ ∗ (2.33) (i CCF, T X ) − (CCi F, T X ) v T X y T X v y v Xv y Xy by (2.7). Since i : X → X is properly SSF-transversal by Lemma 1.3.6, the right hand v v side of (2.32) equals (2.33) by the compatibility with the pull-back [17, Theorem 7.6] and the index formula [17, Theorem 7.13]. Thus the equality (2.31) is proved. We show the case (2). Since the formation of nearby cycles complex commutes with base change by [7, Proposition 3.7], we may assume that the action of the inertia group I on RΨ F is trivial. Since the vanishing cycles functor is t-exact by [12, Corollaire 4.6], y y we may assume that F is a simple perverse sheaf. First, we consider the case F is supported on the closed ﬁber X . By the assumption that f : X → Y is properly SSF-transversal on the complement of Z, the morphism f : X → Y is locally acyclic relatively to F on the complement of Z. Thus F is supported on Z and the assertion follows in this case. We may assume that the restriction F| on the generic ﬁber is non-trivial. Then, by Proposition 1.2.2.2, the morphism f : X → Y is locally acyclic relatively to F. Hence by Lemma 1.4.8.2, the morphism f : X → Y is properly SSF-transversal and the assertion follows from Lemma 2.3.1. In the case (2) dim Z = 0, Proposition 2.3.3 means CCRΦ F = δ CCF. However, y y Examples 1.5.8 and 2.3.2 show that one cannot expect to have CCRΨ F = sp CCF or equivalently CCRΦ F = δ CCF in general. y y References [1] M. Artin, Th´eor`eme de ﬁnitude pour un morphisme propre; dimension cohomologique des sch´emas alg´ebriques aﬃnes, SGA 4 Expos´e XIV, Th´eorie des Topos et Cohomolo- gie Etale des Sch´emas, Lecture Notes in Mathematics Volume 305, 1973, pp 145-167. [2] A. Beilinson, Constructible sheaves are holonomic, Selecta Math. New Ser. 22, Issue 4, (2016) 1797-1819. [3] A. Beilinson, J. Bernstein, P. Deligne, O. Gabber, Faisceaux pervers, 2e ´ed. Ast´erisque 100, (2018). [4] S. Bloch, Cycles on arithmetic schemes and Euler characteristics of curves, Algebraic geometry, Bowdoin, 1985, 421-450, Proc. Symp. Pure Math. 46, Part 2, Am. Math. Soc., Providence, RI (1987). 40 ´ [5] A. J. de Jong, Smoothness, semi-stability and alterations, Publ. Math. IHES, 83 (1996), 51-93. [6] P. Deligne, Cohomologie `a supports propres, SGA 4 Expos´e XVII, Th´eorie des Topos et Cohomologie Etale des Sch´emas, Lecture Notes in Mathematics Volume 305 (1972), 250–480. [7] —–, Th´eor`emes de ﬁnitude en cohomologie ℓ-adique, Cohomologie ´etale, SGA 4 , Springer Lecture Notes in Math. 569, (1977), 233–251. [8] W. Fulton, Intersection theory, 2nd edition (1998) Springer. ´ ´ ´ ´ ´ ´ [9] A. Grothendieck, Elements de geometrie algebrique IV, Etude locale des sch´emas et des morphismes de sch´emas, Publ. Math. IHES 20, 24, 28, 32 (1964-67). [10] H. Hu, E. Yang, Relative singular support and the semi-continuity of characteristic cycles for ´etale sheaves, Selecta Math., 2018, 24-3, pp. 2235-2273. [11] L. Illusie, Appendice `a Th´eor`emes de ﬁnitude en cohomologie ℓ-adique, Cohomologie ´etale SGA 4 , Springer Lecture Notes in Math. 569 (1977) 252–261. [12] —–, Autour du th´eor`eme de monodromie locale, Ast´erisque 223 (1994), 9-57, P´eriodes p-adiques (Bures-sur-Yvette, 1988). [13] M. Kashiwara, P. Schapira, Sheaves on manifolds, Springer-Verlag, Grundlehren der Math. Wissenschaften 292, (1990). [14] K. Kato, T. Saito, On the conductor formula of Bloch, Publ. Math., IHES 100 (2004), 5-151. [15] N. Katz, G. Laumon, Transformation de Fourier et majoration de sommes exponen- tielles, Publ. Math. IHES (1985) 62, pp 145-202. [16] F. Orgogozo, Modiﬁcations et cycles ´evanescents sur une base de dimension sup´erieure `a un, Int. Math. Res. Notices, (2006) No. 13, Article ID 25315, 1-38. [17] T. Saito, The characteristic cycle and the singular support of a constructible sheaf, Inventiones Math. 207(2) (2017), 597-695. [18] —–, On the proper push-forward of the characteristic cycle of a constructible sheaf, Proceedings of Symposia in Pure Mathematics, 97.2, 2018, pp. 485-494. [19] M. Temkin, Stable modiﬁcation of relative curves, J. of Algebraic Geometry, 19 (2010) 603-677. [20] B. Toen and G. Vezzosi, The ℓ-adic trace formula for dg-categories and Bloch’s con- ductor conjecture, Boll. Unione Mat. Ital. 12 (2019), no. 1-2, 3-17. [21] N. Umezaki, E. Yang, Y. Zhao, Characteristic class and the ε-factor of an ´etale sheaf, arXiv:1701.02841
Mathematics – arXiv (Cornell University)
Published: Apr 16, 2017
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.