ON A RELATIVE FORM OF VERDIER SPECIALIZATION. Dedicated to Henry Laufer on his 70th birthday
|
|
- Preston Silas Grant
- 5 years ago
- Views:
Transcription
1 ON A RELATIVE FORM OF VERDIER SPECIALIZATION JAMES FULLWOOD AND DONGXU WANG Dedicated to Henry Laufer on his 70th birthday Abstract. We prove a relative form of Verdier s specialization formula, and apply it to derive a Chern class identity predicted by string dualities. 1. Introduction Let Y be a family over a disk about the origin in C such that the total space of the family is a topological locally trivial fibration over \ 0. Denote a fiber over t 0 by Y t and the central fiber by Y 0. In [14], Verdier defines specialization morphisms σ H : H (Y t H (Y 0, σ F : F (Y F (Y 0, where H denotes the integral homology functor and F denotes the functor that takes a variety to its group of constructible functions. These morphisms are functorial in the sense that they commute with taking Chern classes, as Verdier proves that for any constructible function ϑ F (Y and t sufficiently small σ H c SM (ϑ Yt = c SM (σ F (ϑ, (1.1 where c SM ( denotes the morphism which takes a constructible function to its Chern- Schwartz-MacPherson class. Chern-Schwartz-MacPherson classes evaluated at the constant function 1 yield a generalization of the total homological Chern class to possibly singular varieties which extends the Gauß-Bonnet-Chern theorem to the singular setting, since for X possibly singular (and compact we have c SM (1 X = χ(x, X where 1 X denotes the indicator function of X (i.e., the constant function 1 and χ(x its topological Euler characteristic with compact support. For the indicator function 1 Y of the total space of the family Y, Verdier s specialization σ F 1 Y F (Y 0 to the central fiber is such that c SM (σ F 1 Y = χ(y t, Y 0 and thus yields a deformation invariant generalization of Euler characteristic to the realm of singular varieties. In the case that the central fiber Y 0 is regularly embedded the class c SM (σ F 1 Y H Y 0 coincides with a characteristic class for singular varieties and schemes referred to as the Chern-Fulton class ([10], 4.2.6, in which case we have c SM (σ F 1 Y = c(t vir Y 0 [Y 0 ] H Y 0, where T vir Y 0 denotes the virtual tangent bundle of Y 0, i.e., T M Y0 N Y0 M. In this note, we fix a smooth complex base variety B and consider the case where all fibers of the family 1
2 Y come equipped with a morphism ϕ t : Y t B, and prove a relative version of formula (1.1 for the case ϑ = 1 Y. In particular, we fix a proper morphism f : X B of smooth complex varieties, a vector bundle E X, and let s : X E be a regular morphism such that s t = s(, t is a generic section of E X for all t \ 0, with s 0 possibly non-generic. Considering the zero-schemes of the sections s t as t varies in gives rise to a family Y, such that each fiber is a closed subscheme of X regularly ι t embedded by the natural inclusion Y t X, whose normal bundle is ι t E. By composing the natural inclusion associated with each fiber with the morphism f yields proper morphisms ϕ t = f ι t : Y t B for all t. Our result is then given by the following Theorem 1.1. With notations as given above c SM ( ϕt 1 Y Yt = csm (ϕ 0 σ F 1 Y H B, (1.2 where ϕ t and ϕ 0 denote the proper pushforward of constructible functions associated with the morphisms ϕ t and ϕ 0 respectively. Explicitly computing both sides of equation (1.2 for a given family Y subject to the assumptions above then yields a non-trival Chern class identity between seemingly unrelated varieties, as the constructible functions ϕ t 1 Y Yt and ϕ 0 σ F 1 Y will in general be quite different. We were motivated to derive such a formula in our efforts to yield a purely mathematical explanation for the existence of certain Chern class identities predicted by string dualities in physics. In particular, a regime of string theory referred to as F-theory models the purported compactified dimensions of spacetime by an elliptic fourfold Y B (with B a Fano threefold, and the preservation of a quantity referred to as D3 charge under S-duality with a weakly coupled type-iib orientifold theory predicts a relation of the form χ(y = χ(d i, i where D i are hypersurfaces in B which support D7-branes in the type-iib theory. Such relations referred to as tadpole relations provide a consistency check between the two theories, as well as yield non-trivial mathematical identities among Euler characteristics of the varieties Y and the D i. Moreover, it has been shown that these tadpole relations coming from physics are degree-zero terms of Chern class identities which hold in a much broader context than their physical origins [2][3][7][8]. In particular, the Chern class identities which yield the tadpole relations in physics hold for elliptic fibrations ϕ : Y B with B of arbitrary dimension and Y not necessarily Calabi-Yau. In [9], it was shown by deriving a special case of Theorem 1.1 that the Chern class identities predicted by physics are manifestations of a relative form of Verdier specialization, thus providing a purely mathematical explanation for the existence of such identities. In what follows, we review the theory of Chern-Schwartz-MacPherson classes of constructible functions, prove Theorem 1.1, and then use Theorem 1.1 to derive a non-trivial Chern class identity predicted by string dualities. For those acquainted with the physical significance of such identities, we close with a proposed general definition of orientifold Euler characteristic, which captures the contribution of a singular brane to the D3 charge. 2
3 2. Chern-Schwartz-MacPherson classes and a proof of Theorem 1.1 Let X be a compact complex variety. A constructible function on X is an integer-valued function of the form a i 1 Wi, i with each a i Z, W i X a closed subvariety and 1 Wi the function that evaluates to 1 for points inside of W i and is zero elsewhere. The collection of all such functions forms an abelian group under addition, and is referred to as the group of constructible functions on X, denoted F (X. A proper morphism f : X Y induces a functorial group homomorphism f : F (X F (Y, which by linearity is determined by the prescription f 1 W (p = χ ( f 1 (p W, (2.1 where W X is a closed subvariety and χ denotes topological Euler characteristic with compact support. By taking F (f = f, we may view F as a covariant functor from varieties to abelian groups. Now denote by H homology functor, which takes a variety to its integral homology. Both the the constructible function functor and the homology functor are covariant with respect to proper maps. In the 1960s Deligne and Grothendieck conjectured the existence of a unique natural transformation c : F H such that for X smooth c (1 X = c(t X [X] H X, i.e., the total homological Chern class of X. For X possibly singular the class c (1 X would then be a generalization of Chern class to the realm of singular varieties. Moreover, functoriality would then imply c (1 X = χ(x, (2.2 X so that such a class would provide a natural generalization of the Gauß-Bonnet-Chern theorem to the singular setting. In 1974, Deligne and Grothendieck s conjecture was proved by Robert MacPherson [11], and as such the class c (1 X became known as MacPherson s Chern class. It was shown later by Brasselet and Schwartz that MacPherson s Chern class was in fact the Alexander dual in relative cohomology of singular Chern classes constructed by Marie-Hélène Schwartz in the 1960s using radial vector fields [4][13], thus the class c (1 X is referred to at present as the Chern-Schwartz-MacPherson class, and is denoted by c SM (X. The class c (δ of a general constructible function δ will be denoted from here on by c SM (δ. The proof of Theorem 1.1 essentially follows from the functoriality of Chern-Schwartz- MacPherson classes and elementary manipulations, but before doing so we recall our assumptions. So let B be a smooth complex variety, f : X B be a proper morphism with X smooth, and let E X be a vector bundle. Denote by a disk about the origin in C. We assume s : X E is a regular morphism such that s t = s(, t is a generic section of E X for t \ 0, with s 0 a possibly non-generic section. The zero-schemes of s t as t varies in then gives rise to a family Y, such that the fibers Y t come equipped with morphisms ϕ t : Y t B, where ϕ t = f ι t with ι t : Y t X the natural inclusion. In order to apply Verdier s specialization 3
4 morphisms we assume that the family is a topological locally trivial fibration over \ 0. We will hold off giving a precise definition of Verdier s specialization until 3 as it is not needed for the proof of Theorem 1.1 modulo the acceptance of formula (1.1. Proof of Theorem 1.1. We recall that our goal is to show c SM ( ϕt 1 Y Yt = csm (ϕ 0 σ F 1 Y. For this, we first note that it follows from the proof of Theorem 5.3 in [12] that for t 0 we have σ H c SM (Y t = ι 0c(T X ι 0c(E [Y 0], thus by formula (1.1 we have We then have c SM (σ F 1 Y = σ H c SM (1 Y Yt = σ H c SM (1 Yt = σ H c SM (Y t = ι 0c(T X ι 0c(E [Y 0]. c SM (ϕ 0 σ F 1 Y = ϕ 0 c SM (σ F 1 Y ( ι = ϕ 0 c(t X 0 ι 0c(E [Y 0] ( ι = f ι 0 c(t X 0 ι 0c(E [Y 0] ( c(t X = f c(e ι 0 [Y 0 ] ( c(t X = f c(e ι t [Y t ] ( ι = f ι t c(t X t ι t c(e [Y t] = ϕ t c SM (1 Yt = ϕ t c SM (1 Y Yt = c SM ( ϕt 1 Y Yt, as desired, where in the first and final equalities we use functoriality of c SM, the second equality follows from our first chain of equalities, the third and seventh by functoriality of proper pushforward, the fourth and sixth by the projection formula, and the fifth since Y t and Y 0 are both sections of E X. 4
5 3. Derivation of a Chern class identity predicted by F-theory/type-IIB duality The geometric apparatus of a regime of string theory referred to as F-theory is an elliptic fibration over a Fano threefold ϕ : Y B, whose total space Y which plays the rôle of the compactified dimensions of spacetime is a Calabi-Yau fourfold. A certain form of S-duality then identifies F-theory with a weakly coupled orientifold type-iib theory, which is realized geometrically by a singular degeneration (satisfying certain conditions coming from physics, not only of the total space Y, but of the fibration ϕ : Y B, to a fibration ϕ 0 : Y 0 B where all the fibers are singular degenerations of elliptic curves. The duality is then captured by the corresponding family over a disk Y, such that Y = Y t0 for some t 0 and each fiber Y t comes equipped with a morphism ϕ t : Y t B for all t. Such a family is often referred to as a weak coupling limit of F-theory. There are certain divisors D i in B associated with the central fiber of the family Y 0 whose Euler characteristics represent in the type-iib theory what physicists refer to as D3 charge. Since on the F-theory side the total D3 charge is given by the Euler characteristic of Y, the preservation of D3 charge under S-duality then leads one who is confident in the theory to predict the relation χ(y =? χ(d i, (3.1 i which should necessarily hold if indeed F-theory and type-iib are equivalent descriptions of nature. Such relations which equate D3 charge in dual theories are often referred to as tadpole relations. While in the physics literature tadpole relations are verified by explicitly computing both sides, there is no reason a priori from a purely mathematical standpoint why such relations should hold. In [9] however, it was observed that such identities are basically degree-zero manifestations of a special case of Theorem 1.1, and thus could be derived from solely mathematical principles without having to explicitly compute any Euler characteristics of Y or the D i. We now illustrate this phenomenon by considering an explicit weak coupling limit of F- theory first constructed in [8], and then deriving the Chern class identity which encodes the associated tadpole relation in degree zero via Theorem 1.1. In particular, we consider the elliptic fibration referred to in [8] as the Q 7 fibration, as it is constructed from an elliptic curve whose defining polynomial admits a Newton polygon which is a reflexive quadrilateral with seven lattice points on its boundary. So let B be a smooth compact variety over C endowed with an ample line bundle L B, and let E B be the vector bundle given by E = O B O B L. Denote by π : P(E B the projective bundle of lines in E. We then consider the Q 7 fibration (which was first constructed in [5], which is a hypersurface in the P 2 -bundle P(E given by Y : ( yx 2 e 1 y 3 + e 2 y 2 z + e 3 xz 2 + e 4 yz 2 + e 5 z 3 = 0 P(E, where e i is a general section of π L 2 for i 3 and e 3 is a general section of π L. With these prescriptions Y is then the zero-scheme associated with a section of O P(E (3 π L 2. 5
6 Composing the natural inclusion i : Y P(E with the bundle projection π : P(E B then endows Y with the structure of an elliptic fibration ϕ = π i : Y B. In the case that B is Fano we may take L to be the anticanonical bundle O( K B B and then a straightforward calculation using adjunction shows that in such a case Y is in fact Calabi- Yau. If we further restrict the base to be a Fano threefold then we are in the context of the physical setting but we require no such assumptions. A weak coupling limit of F-theory associated with the Q 7 fibration was then constructed in [8] by deforming the coefficient sections e i in terms of a deformation parameter t which gives rise to a family Y, in such a way that Y is given by Y : ( yx 2 βy 3 + 2ϑy 2 z + t 2 ρxz 2 + hyz 2 + tιz 3 = 0 P(E, where to emphasize the distinction between Y and Y we use the notation The central fiber is then given by e 1 = β, e 2 = 2ϑ, e 3 = t 2 ρ, e 4 = h, e 5 = tι. Y 0 : ( y(x 2 βy 2 + 2ϑyz + hz 2 = 0 P(E. For every t 0 there exists an associated discriminant D t B over which the singular fibers of Y t reside. The flat limit of such discriminants as t 0 will then be denoted by D 0, and will be referred to as the limiting discriminant associated with the family Y. The D3 charge on the type-iib side is then given by the sum of the Euler characteristics of the components of the limiting discriminant (taken with multiplicities and certain contributions from singularities. In the context at hand the associated limiting discriminant D 0 is given by D 0 : (h 2 ι 2 (ϑ 2 + hβ = 0 B. We then denote the components of D 0 by O : (h = 0, D 1 : (ι 2 = 0, D 2 : (ϑ 2 + hβ = 0. The notation comes from the fact that physicists refer to O as the orientifold plane and the D i as D-branes. We assume that both hypersurfaces given by h = 0 and ι = 0 are smooth and intersect transversally. Now notice that the branes D 1 and D 2 which arise in the limit admit singularities (as schemes, and in such a case physicists say that the charge associated with the brane is not just χ(d i, but χ(d i χ(s i, where the S i are subvarieties supported on the singular locus of D i given by S 1 : (ι = h = 0, S 2 : (ϑ = h = β = 0. Note that S i is the intersection of the singular scheme of D i with O for both i = 1, 2. In any case, the total D3 charge N D3 on the type-iib side is given by N D3 = 2χ(O + 2χ(D 1 χ(s 1 + χ(d 2 χ(s 2, while the total D3 charge N D3 on the F-theory side is given by N D3 = χ(y, so that the tadpole relation predicted by F-theory/type-IIB duality is given by χ(y? = 2χ(O + 2χ(D 1 χ(s 1 + χ(d 2 χ(s 2. (3.2 6
7 We now show that 3.2 in fact holds, as we show it is in fact the degree-zero term of c SM ( ϕt 1 Y Yt = csm (ϕ 0 σ F 1 Y (3.3 as given by Theorem 1.1, as the family Y satisfies all the hypotheses of the theorem, with π : P(E B playing the role of f : X B. For this, first note that c SM ( ϕt 1 Y Yt = csm (ϕ 1 Y = ϕ c SM (1 Y = ϕ c(y, so that the degree-zero term of the LHS of equation (3.3 indeed coincides with χ(y (since proper pushforwards necessarily preserve terms in degree-zero. As for the RHS of (3.3, we now show that c SM (ϕ 0 σ F 1 Y = c SM (21 O + 21 D1 1 S1 + 1 D2 1 S2, (3.4 which by Theorem 1.1 yields the Chern class identity c SM (ϕ 1 Y = c SM (21 O + 21 D1 1 S1 + 1 D2 1 S2, from which identity (3.2 immediately follows via formula (2.2. To show (3.4, we have to compute ϕ 0 σ F 1 Y, thus we now give a precise definition of σ F 1 Y. We use a characterization of σ F 1 Y Aluffi [1], which we state via the following given by Definition 3.1. Let Z be a family over a disk about the origin in C such that the total space Z is smooth over \{0}, denote its central fiber by Z 0, and let ψ : Z Z be a proper birational morphism such that Z is smooth, D = ψ 1 (Z 0 is a divisor with normal crossings with smooth components, and ψ restricted to the complement of D is an isomorphism (such a ψ exists by resolution of singularities. Let δ be the constructible function on D given by { m if p lies on a single component of D of multiplicity m, δ(p = 0 otherwise. We then set σ F 1 Z = ψ D δ, where ψ D denotes the proper pushforward of constrictible functions associated with the restriction of ψ to D (the definition of proper pushforward appears in (2.1. We now construct a resolution of singularities Ỹ Y satisfying the hypotheses of Definition 3.1 in order to arrive at our associated function δ F (Ỹ. The singular locus of Y is the codimension four locus given by Y sing : ( y = x 2 + h = ι = c = 0 P(E. As the singularities of Y are away from {z = 0}, we set z = 1 and work with a local equation for Y given by Y loc : ( yx 2 βy 3 + 2ϑy 2 + t 2 ρx + hy + tι = 0 A 2 B. We now blowup A 2 B along {y = c = 0}, and work in the chart where the associated pullback is given by y X 1, c X 1 X 2. 7
8 The total transform of Y loc is then given by Ỹ tot : ( X 1 (x 2 βx ϑX ρx 2 1X 2 2x + hx 1 + ιx 1 X 2 = 0 so that the proper transform of Y loc is given by Ỹ prop : ( x 2 βx ϑX 1 + ρx 1 X 2 2x + h + ιx 2 = 0 It is then straightforward to show that the restriction of the blowup Ỹ prop Y A2 B, A2 B. is indeed a resolution of singularities satisfying the hypotheses of Definition 3.1. Now since c = 0 pulls back to X 1 X 2 = 0 under the blowup, the pullback of the cental fiber Y 0 is given by Ỹ 0 : ( X 1 X 2 = x 2 βx ϑX 1 + ρx 1 X2x 2 + h + ιx 2 = 0 A2 B, which is a divisor with normal crossings with two smooth components given by D 1 = Ỹprop {X 1 = 0} : (x 2 + h + X 2 ι = 0 {X 1 = 0} D 2 = Ỹprop {X 2 = 0} : (x 2 βx ϑX 1 + h = 0 {X 2 = 0}, which intersect along X = D 1 D 2 : ( x 2 + h = 0 Ỹprop, which is a smooth double-cover of B ramified over the orientifold plane O : (h = 0 B. It follows from Definition 3.1 that the constructible function δ we need to pushforward via the resolution to yield σ F 1 Y is then given by We then have δ = 1 D1 + 1 D2 1 X. σ F 1 Y = p δ, where p denotes the restriction of the resolution to the pullback of the central fiber Ỹ0. Our goal is then to compute ϕ 0 σ F 1 Y For this, we use the following = ϕ 0 p δ = (ϕ 0 p (1 D1 + 1 D2 1 X F (B. Lemma 3.2. Let f : Z V be a proper morphism of varieties and let {U i } be a stratification of V with U i locally closed such that the fibers are topologically constant on each U i. Denote by F i the fiber over U i and write U i = V i \ W i with V i and W i closed subvarieties of V for each i. Then f 1 Z = χ(f i (1 Vi 1 Wi. i We omit the proof as it follows directly from the definition of proper pushforward given in (2.1. Thus to compute (ϕ 0 p (1 D1 + 1 D2 1 X, we view D 1, D 2 and X as fibrations over B and stratify B into strata over which the fibers of the corresponding fibration are topologically constant. 8
9 As for D 1, it may be viewed as a conic fibration over B, with fibers being smooth conics over B \ D 1, disjoint P 1 s over D 1 \ S 1, and finally two P 1 s meeting at a single point over S 1, where the varieties D 1 and S 1 are given by D 1 : ( ι 2 = 0, S 1 : (ι = h = 0. Now since the Euler characteristic of a smooth conic is 2, two disjoint P 1 s is 4, and two P 1 s meeting at a point is 3, it follows via Lemma 3.2 that the pushforward of 1 D1 is given by 1 D1 2(1 B 1 D1 + 4(1 D1 1 S S1 = 21 B + 21 D1 1 S1. As for D 2, it is also a conic fibration over B, with fibers being smooth conics over B \ D 2, two P 1 s intersecting at a point over D 2 \ S 2, and a double line over S 2, where the varieties D 2 and S 2 are given by D 2 : (ϑ 2 + βh, S 2 : (ϑ = β = h = 0. It then follows by computing Euler characteristics of the fibers that the pushforward of 1 D2 is given by 1 D2 2(1 B 1 D2 + 3(1 D2 1 S S1 = 21 B + 1 D2 1 S2. Now finally since X B is a double cover ramified over O : (h = 0 B we have that the pushforward of 1 X is given by Putting things all together we get thus by Theorem 1.1 we have 1 X 21 B 1 O. ϕ 0 σ F 1 Y = 21 O + 21 D1 1 S1 + 1 D2 1 S2, c SM (ϕ 1 Y = c SM (21 O + 21 D1 1 S1 + 1 D2 1 S2, as desired. We note that this identity which encodes the tadpole relations associated with the weak coupling limit in degree-zero hold over a base B of arbitrary dimension, and without any Calabi-Yau hypothesis on Y. We then close with two remarks. Remark 3.1. We would like to point out a couple of apparent differences between the form of our tadpole relations (and associated Chern class identities and similar relations derived in the physics literature. In particular, in [8], their presumed tadpole relation takes the form 2χ(Y = 4χ(O + 2χ(D 1 + χ(d 2 χ(s 2, where the overline over a variety denotes its pullback to the double cover X B, where we recall X is given by X : (x 2 + h = 0 Ỹ0. The difference in appearance from the tadpole relation given here, namely χ(y = 2χ(O + 2χ(D 1 χ(s 1 + χ(d 2 χ(s 2, comes from the fact that we prefer to state the tadpole relations in terms of subvarieties of the base B, rather than subvarieties of X, which the physicists prefer to do. Working in the double cover then produces certain factors of two to appear in the physicist s identities which don t appear ours. Another difference in our approach we would like to point out is that while in the physics literature the tadpole relations and associated Chern class identities 9
10 are first guessed and then verified by explicit computation, Theorem 1.1 yields the identities from first principles, without computing any Chern classes. Remark 3.2. One curious aspect of D3 charge on the type-iib side is that when an irreducible component D i of the limiting discriminant different from the orientifold O is singular, the contribution of D i to the D3 charge is not χ(d i but rather χ(d i χ(s i, where S i is the singular scheme of D i intersected with O. By singular scheme we mean the subscheme of D i corresponding to the ideal generated by its defining equation and its partial derivatives. For example D 1 is given by D 1 : (ι 2 = 0 B, thus its singular scheme is given by D 1sing : (ι = 0 B, so that S 1 : (ι = h = 0 B is precisely D 1sing O. Ad hoc explanations for negative contributions to the D3 charge coming from singularities were given in the physics literature for the case of D 2 [6], but in all examples known to our knowledge, the negative contribution to the D3 charge for a singular brane is precisely the Euler characteristic of its singular scheme intersected with O, and moreover this may be incorporated into a general definition of orientifold Euler characteristic. In particular, if D is an irreducible component of a limiting discriminant different from the orinetifold plane corresponding to a weak coupling limit of F-theory, we propose to define the orientifold Euler characteristic of D to be χ o (D = mχ(d χ(s O, where m is the multiplicity of D and S denotes its singular scheme. With this definition all known examples of tadpole relations may be written as χ(y = 2χ(O + χ o (D i. i In any case, Theorem 1.1 yields the proper negative contribution to the D3 charge coming from the singularities of branes without any need for further explanation from the mathematical viewpoint. Acknowledgements. The first author would like to thank the organizers of the conference International Conference on Singularity Theory, in Honor of Henry Laufer s 70th Birthday, which took place in December 2015 at the Tsinghua Sanya International Mathematics Forum in Sanya China, where he got to speak on the subject of this paper. The second author s research is supported by Tianyuan Grant No References [1] Paolo Aluffi. Verdier specialization via weak factorization. Ark. Mat., 51(1:1 28, [2] Paolo Aluffi and Mboyo Esole. Chern class identities from tadpole matching in type IIB and F-theory. J. High Energy Phys., (3:032, 29, [3] Paolo Aluffi and Mboyo Esole. New orientifold weak coupling limits in F-theory. J. High Energy Phys., (2:020, i, 52, [4] J.-P. Brasselet and M.-H. Schwartz. Sur les classes de Chern d un ensemble analytique complexe. In The Euler-Poincaré characteristic (French, volume 82 of Astérisque, pages Soc. Math. France, Paris, [5] Sergio L. Cacciatori, Andrea Cattaneo, and Bert van Geemen. A new CY elliptic fibration and tadpole cancellation. J. High Energy Phys., (10:031, 20,
11 [6] Andrés Collinucci, Frederik Denef, and Mboyo Esole. D-brane deconstructions in IIB orientifolds. J. High Energy Phys., (2:005, 57, [7] Mboyo Esole, James Fullwood, and Shing-Tung Yau. D 5 elliptic fibrations: non-kodaira fibers and new orientifold limits of F-theory. Commun. Number Theory Phys., 9(3: , [8] Mboyo Esole, Monica Jinwoo Kang, and S.-T. Yau. A New Model for Elliptic Fibrations with a Rank One Mordell-Weil Group: I. Singular Fibers and Semi-Stable Degenerations. arxiv: , [9] J. Fullwood. On tadpole relations via Verdier specialization. Journal of Geometry and Physics, (104C:54 63, [10] William Fulton. Intersection theory, volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Springer-Verlag, Berlin, second edition, [11] R. D. MacPherson. Chern classes for singular algebraic varieties. Ann. of Math. (2, 100: , [12] Adam Parusiński and Piotr Pragacz. Characteristic classes of hypersurfaces and characteristic cycles. J. Algebraic Geom., 10(1:63 79, [13] Marie-Hélène Schwartz. Classes caractéristiques définies par une stratification d une variété analytique complexe. I. C. R. Acad. Sci. Paris, 260: , [14] J.-L. Verdier. Spécialisation des classes de Chern. In The Euler-Poincaré characteristic (French, volume 82 of Astérisque, pages Soc. Math. France, Paris, Department of Mathematics, University of Hong Kong, Pokfulam Road, Hong Kong. address: fullwood@maths.hku.hk Department of Mathematics, Dongbei University of Finance and Economics, 217 Jianshan St, Shahekou District, Dalian, Liaoning, China. address: dxwang@dufe.edu.cn 11
ON THE SEN LIMIT SQUARED
ON THE SEN LIMIT SQUARED JAMES FULLWOOD AND DONGXU WANG Abstract. We introduce a class of F-theory vacua which may be viewed as a specialization of the so-called E 6 fibration, and construct a weak coupling
More informationarxiv: v1 [hep-th] 12 Oct 2007
CHERN CLASS IDENTITIES FROM TADPOLE MATCHING IN TYPE IIB AND F-THEORY PAOLO ALUFFI AND MBOYO ESOLE arxiv:0710.2544v1 [hep-th] 12 Oct 2007 Abstract. In light of Sen s weak coupling limit of F-theory as
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationVERDIER SPECIALIZATION VIA WEAK FACTORIZATION
VERDIER SPECIALIZATION VIA WEAK FACTORIZATION PAOLO ALUFFI Abstract. Let X V be a closed embedding, with V X nonsingular. We define a constructible function ψ X,V on X, agreeing with Verdier s specialization
More informationEXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION
EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in Calabi-Yau manifolds since Calabi-Yau 3-manifolds
More informationOn stringy invariants of GUT vacua
On stringy invariants of GUT vacua James Fullwood,, Mark van Hoeij 1 Institute of Mathematical Research, The University of Hong Kong, Pok Fu Lam Road, Hong Kong Department of Mathematics, Florida State
More informationGeometric Chevalley-Warning conjecture
Geometric Chevalley-Warning conjecture June Huh University of Michigan at Ann Arbor June 23, 2013 June Huh Geometric Chevalley-Warning conjecture 1 / 54 1. Chevalley-Warning type theorems June Huh Geometric
More informationNAIVE MOTIVIC DONALDSON THOMAS TYPE HIRZEBRUCH CLASSES AND SOME PROBLEMS
Journal of Singularities Volume 10 (2014), 26-53 Proc. of 12th International Workshop on Singularities, São Carlos, 2012 DOI: 10.5427/jsing.2014.10b NAIVE MOTIVIC DONALDSON THOMAS TYPE HIRZEBRUCH CLASSES
More informationHOW TO CLASSIFY FANO VARIETIES?
HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More informationALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv: v2 [math.ag] 18 Apr INTRODUCTION
ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv:1609.05627v2 [math.ag] 18 Apr 2018 KALYAN BANERJEE ABSTRACT. In this text we prove that if a smooth cubic in P 5 has its Fano variety
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
More information2 PAOLO ALUFFI Now assume that X is embedded as a closed subvariety of a nonsingular variety M, byix!m. We are interested in the image i Λ csm(x) ofth
DIFFERENTIAL FORMS WITH LOGARITHMIC POLES AND CHERN-SCHWARTZ-MACPHERSON CLASSES OF SINGULAR VARIETIES Paolo Aluffi April 999 Abstract. We express the Chern-Schwartz-MacPherson class of a possibly singular
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview Donaldson-Thomas theory: counting invariants
More informationBinomial determinants and positivity of Chern-Schwartz-MacPherson classes
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 6() (015), Pages 155 171 Binomial determinants and positivity of Chern-Schwartz-MacPherson classes Leonardo Constantin Mihalcea Department of Mathematics 460
More informationGlobalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1
Globalization and compactness of McCrory Parusiński conditions Riccardo Ghiloni 1 Department of Mathematics, University of Trento, 38050 Povo, Italy ghiloni@science.unitn.it Abstract Let X R n be a closed
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationDensity of rational points on Enriques surfaces
Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel
More informationarxiv: v1 [math.ag] 18 Jan 2019
PFAFFIAN INTEGRALS AND INVARIANTS OF SINGULAR VARIETIES PAOLO ALUFFI AND MARK GORESKY Dedicated to Lê Dũng Tráng on the occasion of his 70th birthday ariv:1901.06312v1 [math.ag] 18 Jan 2019 1. Introduction
More informationOn Flux Quantization in F-Theory
On Flux Quantization in F-Theory Raffaele Savelli MPI - Munich Bad Honnef, March 2011 Based on work with A. Collinucci, arxiv: 1011.6388 Motivations Motivations The recent attempts to find UV-completions
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationSTRINGY HIRZEBRUCH CLASSES OF WEIERSTRASS FIBRATIONS
STRINGY HIRZEBRUCH CLASSES OF WEIERSTRASS FIBRATIONS JAMES FULLWOOD AND MARK VAN HOEIJ Abstract A Weierstrass fibration is an elliptic fibration Y B whose total space Y may be given by a global Weierstrass
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationMordell-Weil Torsion, Anomalies, and Phase Transitions.
Mordell-Weil Torsion, Anomalies, and Phase Transitions. Mboyo Esole, Monica Jinwoo Kang, Shing-Tung Yau, arxiv:171.0337v1 [hep-th] 6 Dec 017 Department of Mathematics, Northeastern University, Boston,
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationEuler characteris-cs of crepant resolu-ons of Weierstrass models. Jonathan Mboyo Esole Northeastern University
Euler characteris-cs of crepant resolu-ons of Weierstrass models Jonathan Mboyo Esole Northeastern University Paolo Aluffi James Fullwood Ravi Jagadassan Patrick Jefferson Monica Kang Sabrina Pasterski
More informationThe Geometry of F 4 -Models
The Geometry of F 4 -Models Mboyo Esole, Patrick Jefferson, Monica Jinwoo Kang arxiv:704.0825v [hep-th] 26 Apr 207 Department of Mathematics, Northeastern University 360 Huttington Avenue, Boston, MA 025,
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More informationThe diagonal property for abelian varieties
The diagonal property for abelian varieties Olivier Debarre Dedicated to Roy Smith on his 65th birthday. Abstract. We study complex abelian varieties of dimension g that have a vector bundle of rank g
More informationLECTURE 6: THE ARTIN-MUMFORD EXAMPLE
LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As
More informationThe Geometry of the SU(2) G 2 -model.
The Geometry of the SU() G -model. Mboyo Esole and Monica Jinwoo Kang arxiv:85.4v [hep-th] 8 May 8 Department of Mathematics, Northeastern University 6 Huttington Avenue, Boston, MA 5, U.S.A. Department
More informationA NEW FAMILY OF SYMPLECTIC FOURFOLDS
A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth complex compact
More informationCHERN CLASSES OF SCHUBERT CELLS AND VARIETIES
CHERN CLASSES OF SCHUBERT CELLS AND VARIETIES PAOLO ALUFFI AND LEONARDO CONSTANTIN MIHALCEA Abstract. We give explicit formulas for the Chern-Schwartz-MacPherson classes of all Schubert varieties in the
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationTHE EUCLIDEAN DISTANCE DEGREE OF SMOOTH COMPLEX PROJECTIVE VARIETIES
THE EUCLIDEAN DISTANCE DEGREE OF SMOOTH COMPLEX PROJECTIVE VARIETIES PAOLO ALUFFI AND COREY HARRIS Abstract. We obtain several formulas for the Euclidean distance degree (ED degree) of an arbitrary nonsingular
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationNéron models of abelian varieties
Néron models of abelian varieties Matthieu Romagny Summer School on SGA3, September 3, 2011 Abstract : We present a survey of the construction of Néron models of abelian varieties, as an application of
More informationIntroduction To K3 Surfaces (Part 2)
Introduction To K3 Surfaces (Part 2) James Smith Calf 26th May 2005 Abstract In this second introductory talk, we shall take a look at moduli spaces for certain families of K3 surfaces. We introduce the
More informationON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES
ON THE COMPUTATION OF THE PICARD GROUP FOR K3 SURFACES BY ANDREAS-STEPHAN ELSENHANS (BAYREUTH) AND JÖRG JAHNEL (SIEGEN) 1. Introduction 1.1. In this note, we will present a method to construct examples
More informationThe Pfaffian-Grassmannian derived equivalence
The Pfaffian-Grassmannian derived equivalence Lev Borisov, Andrei Căldăraru Abstract We argue that there exists a derived equivalence between Calabi-Yau threefolds obtained by taking dual hyperplane sections
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationHodge structures from differential equations
Hodge structures from differential equations Andrew Harder January 4, 2017 These are notes on a talk on the paper Hodge structures from differential equations. The goal is to discuss the method of computation
More informationOn the computation of the Picard group for K3 surfaces
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On the computation of the Picard group for K3 surfaces By Andreas-Stephan Elsenhans Mathematisches Institut, Universität Bayreuth,
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationRESEARCH STATEMENT FEI XU
RESEARCH STATEMENT FEI XU. Introduction Recall that a variety is said to be rational if it is birational to P n. For many years, mathematicians have worked on the rationality of smooth complete intersections,
More informationSMOOTH FINITE ABELIAN UNIFORMIZATIONS OF PROJECTIVE SPACES AND CALABI-YAU ORBIFOLDS
SMOOTH FINITE ABELIAN UNIFORMIZATIONS OF PROJECTIVE SPACES AND CALABI-YAU ORBIFOLDS A. MUHAMMED ULUDAĞ Dedicated to Mehmet Çiftçi Abstract. We give a classification of smooth complex manifolds with a finite
More informationProjective Images of Kummer Surfaces
Appeared in: Math. Ann. 299, 155-170 (1994) Projective Images of Kummer Surfaces Th. Bauer April 29, 1993 0. Introduction The aim of this note is to study the linear systems defined by the even resp. odd
More informationEUCLIDEAN DISTANCE DEGREE OF THE MULTIVIEW VARIETY
EUCLIDEAN DISTANCE DEGREE OF THE MULTIVIEW VARIETY LAURENTIU G. MAXIM, JOSE ISRAEL RODRIGUEZ, AND BOTONG WANG Abstract. The Euclidean distance degree of an algebraic variety is a well-studied topic in
More informationDeformation groupoids and index theory
Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological
More informationA VERY GENERAL QUARTIC DOUBLE FOURFOLD IS NOT STABLY RATIONAL
A VERY GENERAL QUARTIC DOUBLE FOURFOLD IS NOT STABLY RATIONAL BRENDAN HASSETT, ALENA PIRUTKA, AND YURI TSCHINKEL Abstract. We prove that a very general double cover of the projective four-space, ramified
More informationLIMITS OF CHOW GROUPS, AND A NEW CONSTRUCTION OF CHERN-SCHWARTZ-MACPHERSON CLASSES
LIMITS OF CHOW GROUPS, AND A NEW CONSTRUCTION OF CHERN-SCHWARTZ-MACPHERSON CLASSES PAOLO ALUFFI Dedicated to Robert MacPherson on the occasion of his 60th birthday Abstract. We define an enriched notion
More informationarxiv:math/ v1 [math.ag] 24 Nov 1998
Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme
More informationPaolo Aluffi Mathematics Department, Florida State University
SINGULAR SCHEMES OF HYPERSURFACES Paolo Aluffi Mathematics Department, Florida State University June 1996 Contents 0. Introduction 1. The µ-class of the singularity of a hypersurface 2. Relations with
More informationHYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS
HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS LJUDMILA KAMENOVA Abstract. Every fibration of a projective hyper-kähler fourfold has fibers which are Abelian surfaces. In case the Abelian surface
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationOn the characteristic cycle of an étale sheaf
On the characteristic cycle of an étale sheaf Takeshi Saito 25-26 septembre 2014, à l IHES Abstract For an étale sheaf on a smooth variety over a perfect field of positive characteristic, the characteristic
More informationarxiv: v2 [math.dg] 6 Nov 2014
A SHARP CUSP COUNT FOR COMPLEX HYPERBOLIC SURFACES AND RELATED RESULTS GABRIELE DI CERBO AND LUCA F. DI CERBO arxiv:1312.5368v2 [math.dg] 6 Nov 2014 Abstract. We derive a sharp cusp count for finite volume
More informationThe moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fu-berlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More informationDavid R. Morrison. String Phenomenology 2008 University of Pennsylvania 31 May 2008
: : University of California, Santa Barbara String Phenomenology 2008 University of Pennsylvania 31 May 2008 engineering has been a very successful approach to studying string vacua, and has been essential
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationRemarks on the Milnor number
José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)
More informationarxiv:math/ v3 [math.at] 1 Jul 2007
EULER CHARACTERISTICS OF ALGEBRAIC VARIETIES SYLVAIN E. CAPPELL, LAURENTIU MAXIM, AND JULIUS L. SHANESON arxiv:math/0606654v3 [math.at] 1 Jul 2007 Abstract. This note studies the behavior of Euler characteristics
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.
More informationLecture VI: Projective varieties
Lecture VI: Projective varieties Jonathan Evans 28th October 2010 Jonathan Evans () Lecture VI: Projective varieties 28th October 2010 1 / 24 I will begin by proving the adjunction formula which we still
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationR-EQUIVALENCE ON DEL PEZZO SURFACES OF DEGREE 4 AND CUBIC SURFACES. Zhiyu Tian 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 19, No. 6, pp. 1603-1612, December 2015 DOI: 10.11650/tjm.19.2015.5351 This paper is available online at http://journal.taiwanmathsoc.org.tw R-EQUIVALENCE ON DEL PEZZO
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationInflection Points on Real Plane Curves Having Many Pseudo-Lines
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 2, 509-516. Inflection Points on Real Plane Curves Having Many Pseudo-Lines Johannes Huisman Institut Mathématique
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationPullbacks of hyperplane sections for Lagrangian fibrations are primitive
Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler
More informationRational Curves On K3 Surfaces
Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:
More informationThe weight filtration for real algebraic varieties
The weight filtration for real algebraic varieties joint work with Clint McCrory, University of Georgia Adam Parusiński Université de Nice Sophia Antipolis Bill Bruce 60 and Terry Wall 75 An international
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp , March THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN
ASIAN J. MATH. cfl 2002 International Press Vol. 6, No. 1, pp. 095 100, March 2002 005 THE WEAK LEFSCHETZ PRINCIPLE IS FALSE FOR AMPLE CONES Λ BRENDAN HASSETT y, HUI-WEN LIN z, AND CHIN-LUNG WANG x 1.
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationAlgebraic Cobordism. 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006.
Algebraic Cobordism 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006 Marc Levine Outline: Describe the setting of oriented cohomology over a
More informationarxiv:math/ v3 [math.ag] 1 Mar 2006
arxiv:math/0506132v3 [math.ag] 1 Mar 2006 A NOTE ON THE PROJECTIVE VARIETIES OF ALMOST GENERAL TYPE SHIGETAKA FUKUDA Abstract. A Q-Cartier divisor D on a projective variety M is almost nup, if (D, C) >
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More informationDiagonal Subschemes and Vector Bundles
Pure and Applied Mathematics Quarterly Volume 4, Number 4 (Special Issue: In honor of Jean-Pierre Serre, Part 1 of 2 ) 1233 1278, 2008 Diagonal Subschemes and Vector Bundles Piotr Pragacz, Vasudevan Srinivas
More informationCHAPTER 6. MOTIVIC INTEGRATION. Contents
CHAPTER 6. MOTIVIC INTEGRATION Contents. Grothendieck ring and generalized Euler characteristics 2. Motivic measure and integrals on smooth varieties 6 3. Change of variables formula 4. Kontsevich s theorem
More informationMinimal model program and moduli spaces
Minimal model program and moduli spaces Caucher Birkar Algebraic and arithmetic structures of moduli spaces, Hokkaido University, Japan 3-7 Sep 2007 Minimal model program In this talk, all the varieties
More information(Equivariant) Chern-Schwartz-MacPherson classes
(Equivariant) Chern-Schwartz-MacPherson classes Leonardo Mihalcea (joint with P. Aluffi) November 14, 2015 Leonardo Mihalcea (joint with P. Aluffi) () CSM classes November 14, 2015 1 / 16 Let X be a compact
More information2 PAOLO ALUFFI of a hypersurface; in this paper, we answer a question which we could not address previously: how to give a reasonable definition for a
WEIGHTED CHERN-MATHER CLASSES AND MILNOR CLASSES OF HYPERSURFACES Paolo Aluffi March 1999 Abstract. We introduce a class extending the notion of Chern-Mather class to possibly nonreduced schemes, and use
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics STABLE REFLEXIVE SHEAVES ON SMOOTH PROJECTIVE 3-FOLDS PETER VERMEIRE Volume 219 No. 2 April 2005 PACIFIC JOURNAL OF MATHEMATICS Vol. 219, No. 2, 2005 STABLE REFLEXIVE SHEAVES
More informationFANO VARIETIES OF CUBIC FOURFOLDS CONTAINING A PLANE. 1. Introduction
FANO VARIETIES OF CUBIC FOURFOLDS CONTAINING A PLANE EMANUELE MACRÌ AND PAOLO STELLARI Abstract. We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to
More information