RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW
|
|
- Emery Bryant
- 6 years ago
- Views:
Transcription
1 Hedén, I. Osaka J. Math. 53 (2016), RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW ISAC HEDÉN (Received November 4, 2014, revised May 11, 2015) Abstract The famous Russell hypersurface is a smooth complex affine threefold which is diffeomorphic to a euclidean space but not algebraically isomorphic to the three dimensional affine space. This fact was first established by Makar-Limanov, using algebraic minded techniques. In this article, we give an elementary argument which adds a greater insight to the geometry behind the original proof and which also may be applicable in other situations. 1. Introduction Russell s hypersurface X Ï {(x, y, z, t) ¾ 4 x x 2 y z 3 t 2 0} 4, is one of the most prominent examples of an exotic variety, i.e. a variety which is diffeomorphic to an affine space ([1], [6, Lemma 5.1]), but not isomorphic to it. The latter is an immediate consequence of Theorem 1 below, which states that there are not sufficiently many actions of the additive group a on X, and the aim of this paper is to give an elementary argument for this theorem. It includes some important elements of the original proof, but gives a greater geometrical insight to the situation. The study of exotic varieties goes back to a paper of Ramanujam [16], where a nontrivial example of a topologically contractible smooth affine algebraic surface S over is constructed. Ramanujam observed that S is diffeomorphic to 3, and asked whether this product is also isomorphic to 3. This was later proven not to be the case, and thus the algebraic structure on 3 coming from S 2 is exotic [17]. Later on, many other exotic structures on 3 have been constructed, see e.g. the introduction of [18] for a list. Note also that there are no exotic structures on affine space in dimension 2 [16] Mathematics Subject Classification. 14R05, 14R20. This work was done as part of PhD studies at the Department of Mathematics, Uppsala University; the support from the Swedish graduate school in Mathematics and Computing (FMB) is gratefully acknowledged. Many thanks also go to Karl-Heinz Fieseler for his supervision. Finally, I am thankful to the reviewer for many valuable comments and references, especially concerning the historical background of the problem.
2 638 I. HEDÉN The motivation for studying Russell s hypersurface originally came from the linearization conjecture for 3, which claims that each m -action on 3 is linearizable. In the proof of this result by Koras and Russell, they described a list of smooth affine threefolds diffeomorphic to 3 which contains all the potential counterexamples to the conjecture, and thus it was reduced to determining whether all of these so called Koras Russell threefolds are exotic [13]. Kaliman and Makar-Limanov established exoticity for some of them [10], and Russell s hypersurface is the most simple among the remaining ones. The difficulty with Russell s hypersurface was that all the usual algebraic and geometric invariants failed to distinguish it from 3. Makar-Limanov finally established exoticity of Russell s hypersurface (Theorem 1), and later on Kaliman and Makar-Limanov were able to prove exoticity of the remaining Koras Russell threefolds [8, 9] as well, elaborating on Makar-Limanov s methods. This confirmed the linearization conjecture [7]. From now on, we will focus on Makar-Limanov s result, stated in the following theorem. Theorem 1 (Makar-Limanov, [14]). The projection pr 1 Ï X, (x, y, z, t) x is invariant with respect to any a -action on X. Some years after Makar-Limanov proved Theorem 1, Kaliman proved, using nonelementary birational geometry, that morphisms 3 with generic fiber 2 cannot have any other fibers [5]. Since all the fibers of pr 1 Ï X are 2 except the zero fiber pr 1 1(0), it follows also from Kaliman s result that X 3. In 2005, Makar- Limanov gave another proof of the exoticity of Russell s hypersurface [15]; yet another proof was given by Derksen [3], and Crachiola also proved the exoticity in the positive characteristic case [2]. The original proof of Theorem 1 used algebraic techniques, while we rather focus on a geometric approach using fibrations and quotient maps. An outline of our proof. In order to prove Theorem 1, we make use of an isomorphism X U M with an open subset U of a blowup Ï M 3, such that D Ï M Ò U is the strict transform of {0} 2 3 and X U M 3 is the map (x, y, z, t) (x, z, t). That is, X is isomorphic to an affine modification U of 3. The key-result is then that O(M) O(X) is invariant for any a -action on X. Since O(M) O( 3 ), this allows us to conclude that for any given a -action on X, there is an induced a -action on 3 which makes X Ï X 3 equivariant. Then (U) is obviously invariant, and it follows that its interior 2 is invariant as well. Theorem 1 is obtained from this by observing that any a -action on 2 leaves the first coordinate invariant: a nontrivial a -orbit is isomorphic to, but there are no non-constant morphisms from to.
3 GEOMETRIC PERSPECTIVE ON RUSSELL S HYPERSURFACE Russell s hypersurface in a blowup of 3 We recall the realization of Russell s hypersurface as an affine modification of 3, see also [11, Example 1.5]. Let N 2 Spec( [z, t]) denote the affine cuspidal cubic curve given by N Ï {(z, t) ¾ 2 z 3 t 2 0}, and let I Ï (g, h) [x, z, t] denote the ideal which is generated by the two relatively prime polynomials g(x, z, t) x 2 and h(x, z, t) x z 3 t 2. The zero set of I is {0} N, and the blowup M Ï Bl I ( 3 ) {((x, z, t), [u Ï Ú]) ¾ 3 È 1 h(x, z, t)u g(x, z, t)ú 0} of 3 along I is a hypersurface in 3 È 1 with singular locus of codimension two: Sing(M) {0} N {[0 Ï 1]}. In particular, M is a normal variety. REMARK 2.1. Russell s hypersurface is isomorphic to the open subset U of M given by u 0, via the embedding X M, (x, y, z, t) ((x, z, t), [1 Ï y]). We denote the complement of U in M by D. Note that D is then given by u 0, and that the image of U under the blowup morphism is (U) 2 ({0} N). 3. Additive group actions on Russell s hypersurface In order to see that O(M) A Ï O(X) is invariant for every a -action on X, we show the equivalent fact that O(M) A is stable under every locally nilpotent derivation Ï A A. This obviously holds for the trivial a -action on X, so we may assume that 0. The first step is to characterize O(M) in terms of a filtration on A. REMARK 3.1. With the filtration A n Ï O nd (M) { f ¾ (M) div( f ) nd} {0} we have A 0 O(M) (O( 3 )), so (O( 3 )) is stable with respect to a locally nilpotent derivation Ï A A if and only if (A 0 ) A 0. In order to understand the above filtration, we treat A as a subset of (x, z, t) and note that multiplicities along D are simply multiplicities along {0} 2 ; so x, y, z and t have multiplicities 1, 2, 0 and 0, respectively. Now every element f ¾ A Ò {0} can be written in the form f k i 0 y i p i (x, z, t),
4 640 I. HEDÉN where each p i is at most linear in x for i 1 (and p k 0). Thus A ½Å k ½ A k is a direct sum of free [z, t]-modules A k of rank 1 defined as (1) A k Ï [z, t]x k, if k 0, [z, t]y l, if k 2l 0, [z, t]xy l, if k 2l 1 0, and one can check that A n Å k n A k. We thus obtain an explicit description of the associated graded algebra B Ï Gr(A) Å n¾ B n with B n Ï A n A n 1. It is generated by the elements gr(x) ¾ B 1, gr(y) ¾ B 2, gr(z), gr(t) ¾ B 0 and W Ï Spec(B) {(x, y, z, t) ¾ 4 x 2 y z 3 t 2 0}. In particular B 0 [gr(z), gr(t)] ³ [z, t]. REMARK 3.2. This grading was also used by M. Zaidenberg, see [18, Lemma 7.4]. Let l l() ¾ be minimal with the property that (A n ) A n l for all n ¾ ; the existence of such an l follows from the fact that both A 0 and B are finitely generated graded algebras, and l ½ since we consider a nontrivial a -action. It follows that Ï A A induces a nontrivial homogeneous locally nilpotent derivation on B of degree l; we will denote it by Æ. With this notation it is enough to show that l 0 in order to obtain (A 0 ) A 0. In fact, more is true: Proposition 3.3. With B as above, any nontrivial locally nilpotent homogeneous derivation Æ Ï B B has degree l 0. Before going into the proof, let us start with a discussion of the geometry of W 4 and prove Lemma 3.6 below. As a hypersurface in 4, W is a normal variety since its singular set Sing(W ) {0} {0} {0} has codimension two. It admits two different group actions: the a -action (, Û) Û corresponding to the locally
5 GEOMETRIC PERSPECTIVE ON RUSSELL S HYPERSURFACE 641 nilpotent derivation Æ Ï B B; and the m -action corresponding to the grading of B. The latter is given by m W W, (, (x, y, z, t)) ( 1 x, 2 y, z, t), and since B 0 [z, t], the m -quotient morphism is given by p Ï W 2 Spec( [z, t]), (x, y, z, t) (z, t). It is trivial above 2 Ò N: the map ( 2 Ò N) m p 1 ( 2 Ò N), ((z, t), ) ( 1, (z 3 t 2 ) 2, z, t), is a m -equivariant isomorphism with inverse p 1 ( 2 Ò N) ( 2 Ò N) m, (x, y, z, t) ((z, t), x 1 ). As for N, we have p 1 (N) F F, where F and F are the subsets of p 1 (N) given by y 0 and x 0 respectively. REMARK 3.4. The set F consists exactly of the points Û ¾ W for which lim ½ Û exists, and F consists exactly of the points Û ¾ W for which lim 0 Û exists. REMARK 3.5. The above trivialization extends to a trivialization 2 m W Ò F, but for W Ò F there is no such trivialization since the m -isotropy group of a point in F Ò F has order 2. Now let us turn to the a -action a W W, (, Û) Û, corresponding to ÆÏ B B. Since Æ is homogeneous of degree l, it is normalized by the m -action, i.e. for Û ¾ W, ¾ a and ¾ m, we have ( l ) ( Û) ( Û). In particular this implies that O is a a -orbit for any a -orbit O. Lemma 3.6. Let Æ Ï B B be a nontrivial locally nilpotent derivation, homogeneous of degree l. Then either (1) l 0 and F is invariant, or (2) l 0 and F is invariant. Proof. Since the locally nilpotent derivation ÆÏ B B is homogeneous, its kernel B Æ Ï { f ¾ B Æ( f ) 0} { f ¾ B f ( Û) f (Û), ¾ a }
6 642 I. HEDÉN is a graded subalgebra, i.e.: B Æ Å n¾ B Æ n. Given f ¾ B k Ò {0}, we have Æ f ¾ Bk l Æ Ò {0} for a suitable ¾ Æ. It follows that (1) if l 0, we have Bn Æ {0} for all n 0, (2) if l 0 we have Bn Æ {0} for some n 0, (3) if l 0 we have Bn Æ {0} for some n 0. First assume that l 0, so that Bn Æ 0 for some n, and let f ¾ Bn Æ Ò {0}. Then f vanishes on F since f ( x) n f (x) and since lim ½ x exists in W for x ¾ F. It follows that F is invariant since it is an irreducible component of the invariant set V ( f ) W of dimension two. If l 0, it follows analogously that F W is invariant. It remains to show that l cannot be zero. If l 0, both F and F are invariant. So p 1 (N) is invariant and W Ò p 1 (N) as well. Then for any nontrivial a -orbit O W Ò p 1 (N) the map (z 3 t 2 ) Æ p O has no zeros, and thus must be constant, say with value a ¾, since O. However, any morphism p O Ï O V ( 2 Á z 3 t 2 a) from the complex line to the smooth affine elliptic curve V ( 2 Á z 3 t 2 a) is constant, so O is contained in a p-fiber. Since p(o) ¾ 2 Ò N, this p-fiber is isomorphic to m, as p is a m -principal bundle over 2 Ò N. This gives a contradiction since cannot be embedded into m. Proof of Proposition 3.3. By Lemma 3.6 it is enough to show show that F, given by y 0, is not invariant. Suppose to the contrary that F is invariant; then its complement in W, given by y 0, is invariant as well. Since there is no nonconstant invertible function on a -orbits, all a -orbits in W Ò F are contained in level hypersurfaces of y. In particular the hypersurface V W which is given by y 1 is invariant and we have V ³ {(x, y, z) ¾ 3 x 2 z 3 t 2 0}. The restriction of the m -quotient projection Ï p V Ï V 2, (x, z, t) (z, t) is a two sheeted branched covering of 2 with branch locus 1 (N) N and deck transformation Ï V V, (x, z, t) ( x, z, t), which is simply the action of 1 ¾ m. In particular (O) is a a -orbit for any a -orbit O. Assume for the moment that every nontrivial a -orbit intersects 1 (N) exactly once. Since the hypersurface V is a normal surface, there is a quotient map Ï V V a Ï Spec(O(V ) a ), the generic fiber of which is a a -orbit [4, Lemma 1.1]. Thus the restriction 1 (N) Ï 1 (N) V a
7 GEOMETRIC PERSPECTIVE ON RUSSELL S HYPERSURFACE 643 is injective on a nonempty open subset of 1 (N). Hence, V a being a smooth curve, it follows from Zariski s main theorem that this restriction is an open embedding. However, this is a contradiction since the affine cuspidal cubic curve 1 (N) has a singular point. Finally, any nontrivial a -orbit O intersects 1 (N): otherwise O would be a non-constant morphism to an affine elliptic curve z 3 t 2 a for some a ¾, which is impossible. Note that a point in O 1 (N) is a common point of the two a -orbits (O) and O, so (O) O. Choose an equivariant isomorphism O such that 0 ¾ corresponds to a point in 1 (N). Then the involution Ï O O corresponds to,, and as a consequence every nontrivial a -orbit O V intersects the branch locus 1 (N) W (the fixed point set of ) in exactly one point. References [1] A.D.R. Choudary and A. Dimca: Complex hypersurfaces diffeomorphic to affine spaces, Kodai Math. J. 17 (1994), [2] A.J. Crachiola: The hypersurface x x 2 y z 2 t 3 0 over a field of arbitrary characteristic, Proc. Amer. Math. Soc. 134 (2006), [3] H. Derksen: Constructive invariant theory and the Linearization problem, Ph.D. thesis, University of Basel, [4] K.-H. Fieseler: On complex affine surfaces with C -action, Comment. Math. Helv. 69 (1994), [5] S. Kaliman: Polynomials with general C 2 -fibers are variables, Pacific J. Math. 203 (2002), [6] S. Kaliman: Actions of and on affine algebraic varieties; in Algebraic Geometry Seattle 2005, Part 2, Proc. Sympos. Pure Math. 80, Part 2, Amer. Math. Soc., Providence, RI, 2009, [7] S. Kaliman, M. Koras, L. Makar-Limanov and P. Russell: C -actions on C 3 are linearizable, Electron. Res. Announc. Amer. Math. Soc. 3 (1997), [8] S. Kaliman and L. Makar-Limanov: On the Russell Koras contractible threefolds, J. Algebraic Geom. 6 (1997), [9] S. Kaliman and L. Makar-Limanov: AK-invariant of affine domains; in Affine Algebraic Geometry, Osaka Univ. Press, Osaka, 2007, [10] S. Kaliman and L. Makar-Limanov: Affine algebraic manifolds without dominant morphisms from Euclidean spaces, Rocky Mountain J. Math. 27 (1997), [11] S. Kaliman and M. Zaidenberg: Affine modifications and affine hypersurfaces with a very transitive automorphism group, Transform. Groups 4 (1999), [12] M. Koras and P. Russell: On linearizing good C -actions on C 3 ; in Group Actions and Invariant Theory (Montreal, PQ, 1988), CMS Conf. Proc. 10, Amer. Math. Soc., Providence, RI, 1989, [13] M. Koras and P. Russell: Contractible threefolds and C -actions on C 3, J. Algebraic Geom. 6 (1997), [14] L. Makar-Limanov: On the hypersurface x x 2 y z 2 t 3 0 in C 4 or a C 3 -like threefold which is not C 3, Israel J. Math. 96 (1996), [15] L. Makar-Limanov: Again x x 2 y z 2 t 3 0; in Affine Algebraic Geometry, Contemp. Math. 369, Amer. Math. Soc., Providence, RI, 2005,
8 644 I. HEDÉN [16] C.P. Ramanujam: A topological characterisation of the affine plane as an algebraic variety, Ann. of Math. (2) 94 (1971), [17] M. Zaĭdenberg: An analytic cancellation theorem and exotic algebraic structures on C n, n 3, Astérisque 217 (1993), [18] M. Zaĭdenberg: Exotic algebraic structures on affine spaces, St. Petersburg Math. J. 11 (2000), Mathematisches Institut Universität Basel Rheinsprung Basel Switzerland Isac.Heden@unibas.ch
Unipotent groups and some
Unipotent groups and some A 1 -contractible smooth schemes math.ag/0703137 Aravind Asok (joint w/ B.Doran) July 14, 2008 Outline 1. History/Historical Motivation 2. The A 1 -homotopy black box 3. Main
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 informationMOTIVES OF SOME ACYCLIC VARIETIES
Homology, Homotopy and Applications, vol.??(?),??, pp.1 6 Introduction MOTIVES OF SOME ACYCLIC VARIETIES ARAVIND ASOK (communicated by Charles Weibel) Abstract We prove that the Voevodsky motive with Z-coefficients
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationOn conjugacy classes of the Klein simple group in Cremona group
Loughborough University Institutional Repository On conjugacy classes of the Klein simple group in Cremona group This item was submitted to Loughborough University's Institutional Repository by the/an
More informationOn the Cancellation Problem for the Affine Space A 3 in characteristic p
On the Cancellation Problem for the Affine Space A 3 in characteristic p Neena Gupta School of Mathematics, Tata Institute of Fundamental Research Dr. Homi Bhabha Road, Colaba, Mumbai 400005, India e-mail
More informationTitleHYPERELLIPTIC SURFACES WITH K^2 < 4. Author(s) Rito, Carlos; Sánchez, María Martí. Citation Osaka Journal of Mathematics.
TitleHYPERELLIPTIC SURFACES WITH K^2 < 4 Author(s) Rito, Carlos; Sánchez, María Martí Citation Osaka Journal of Mathematics. 52(4) Issue 2015-10 Date Text Version publisher URL http://hdl.handle.net/11094/57673
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 informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN
VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no non-trivial automorphisms over k. 1. Statement
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 informationDETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP
Yaguchi, Y. Osaka J. Math. 52 (2015), 59 70 DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP YOSHIRO YAGUCHI (Received January 16, 2012, revised June 18, 2013) Abstract The Hurwitz
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves
More informationUnbounded Convex Semialgebraic Sets as Spectrahedral Shadows
Unbounded Convex Semialgebraic Sets as Spectrahedral Shadows Shaowei Lin 9 Dec 2010 Abstract Recently, Helton and Nie [3] showed that a compact convex semialgebraic set S is a spectrahedral shadow if the
More informationSurvey on Polynomial Automorphism Groups
David Washington University St. Louis, MO, USA November 3, 2012 Conference on Groups of Automorphisms in Birational and Affine Geometry, Levico Terme, Italy Group of polynomial automorphisms Notation We
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationARE LINEARIZABLE S. KALIMAN, M. KORAS, L. MAKAR-LIMANOV, AND P. RUSSELL. (Communicated by Hyman Bass)
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Pages 63 71 (July 31, 1997) S 1079-6762(97)00025-5 C -ACTIONS ON C 3 ARE LINEARIZABLE S. KALIMAN, M. KORAS, L. MAKAR-LIMANOV,
More informationHILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS
HILBERT S FOURTEENTH PROBLEM AND LOCALLY NILPOTENT DERIVATIONS DANIEL DAIGLE The first section of this text is a survey of Hilbert s Fourteenth Problem. However the reader will quickly realize that the
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationMODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION
Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic
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 information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationOLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection.
LOCAL STRUCTURE OF SU C (3) FOR A CURVE OF GENUS 2 OLIVIER SERMAN Abstract. The aim of this note is to give a precise description of the local structure of the moduli space SU C (3) of rank 3 vector bundles
More informationINVOLUTIONS ON A SURFACE OF GENERAL TYPE WITH p g q 0, K 2 7
Lee, Y. and Shin, Y. Osaka J. Math. 51 (2014), 121 139 INVOLUTIONS ON A SURFACE OF GENERAL TYPE WITH p g q 0, K 2 7 YONGNAM LEE and YONGJOO SHIN (Received April 22, 2011, revised May 15, 2012) Abstract
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 informationEXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES
EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationThe Rationality of Certain Moduli Spaces of Curves of Genus 3
The Rationality of Certain Moduli Spaces of Curves of Genus 3 Ingrid Bauer and Fabrizio Catanese Mathematisches Institut Universität Bayreuth, NW II D-95440 Bayreuth, Germany Ingrid.Bauer@uni-bayreuth.de,
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 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 informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationUNIQUENESS OF C - AND C + -ACTIONS ON GIZATULLIN SURFACES
UNIQUENESS OF C - AND C + -ACTIONS ON GIZATULLIN SURFACES HUBERT FLENNER, SHULIM KALIMAN, AND MIKHAIL ZAIDENBERG Abstract. A Gizatullin surface is a normal affine surface V over C, which can be completed
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationNONISOMORPHIC ALGEBRAIC MODELS OF A SMOOTH MANIFOLD WITH GROUP ACTION. Karl Heinz Dovermann, Mikiya Masuda and Dong Youp Suh. 1.
NONISOMORPHIC ALGEBRAIC MODELS OF A SMOOTH MANIFOLD WITH GROUP ACTION Karl Heinz Dovermann, Mikiya Masuda and Dong Youp Suh Abstract. Let G be a finite group and M a closed smooth G manifold. If M has
More informationThe tame and the wild automorphisms of an affine quadric threefold
c 2013 The Mathematical Society of Japan J. Math. Soc. Japan Vol. 65, No. 1 (2013 pp. 299 320 doi: 10.2969/jmsj/06510299 The tame and the wild automorphisms of an affine quadric threefold By Stéphane Lamy
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationNon-properness of the functor of F -trivial bundles
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 26, No. 2, May 206, pp. 79 86. c Indian Academy of Sciences Non-properness of the functor of F -trivial bundles V B MEHTA and S SUBRAMANIAN, School of Mathematics,
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
More information38 CHAPTER 2. COMPUTATIONAL METHODS. f n. n 1. X n 1. g n. X n
38 CHAPTER 2. COMPUTATIONAL METHODS 15 CW-complexes II We have a few more general things to say about CW complexes. Suppose X is a CW complex, with skeleton filtration = X 1 X 0 X 1 X and cell structure
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics RATIONAL POLYNOMIALS OF SIMPLE TYPE Walter D. Neumann and Paul Norbury Volume 204 No. 1 May 2002 PACIFIC JOURNAL OF MATHEMATICS Vol. 204, No. 1, 2002 RATIONAL POLYNOMIALS
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationMordell-Weil ranks of Jacobians of isotrivial families of plane curves
Mordell-Weil ranks of Jacobians of isotrivial families of plane curves Remke Kloosterman Humboldt-Universität zu Berlin October 23, 2015 Introduction Theorem (Hulek K., 2008) Let n be a positive integer.
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 informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationCitation Osaka Journal of Mathematics. 43(1)
TitleA note on compact solvmanifolds wit Author(s) Hasegawa, Keizo Citation Osaka Journal of Mathematics. 43(1) Issue 2006-03 Date Text Version publisher URL http://hdl.handle.net/11094/11990 DOI Rights
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationarxiv: v1 [math.sg] 6 Nov 2015
A CHIANG-TYPE LAGRANGIAN IN CP ANA CANNAS DA SILVA Abstract. We analyse a simple Chiang-type lagrangian in CP which is topologically an RP but exhibits a distinguishing behaviour under reduction by one
More information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the
More informationMinimal surfaces in quaternionic symmetric spaces
From: "Geometry of low-dimensional manifolds: 1", C.U.P. (1990), pp. 231--235 Minimal surfaces in quaternionic symmetric spaces F.E. BURSTALL University of Bath We describe some birational correspondences
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
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 informationBirational geometry and deformations of nilpotent orbits
arxiv:math/0611129v1 [math.ag] 6 Nov 2006 Birational geometry and deformations of nilpotent orbits Yoshinori Namikawa In order to explain what we want to do in this paper, let us begin with an explicit
More informationARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES
ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.
More informationOn Maps Taking Lines to Plane Curves
Arnold Math J. (2016) 2:1 20 DOI 10.1007/s40598-015-0027-1 RESEARCH CONTRIBUTION On Maps Taking Lines to Plane Curves Vsevolod Petrushchenko 1 Vladlen Timorin 1 Received: 24 March 2015 / Accepted: 16 October
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationOn Mordell-Lang in Algebraic Groups of Unipotent Rank 1
On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
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 informationArticle begins on next page
The class of the affine line is a zero divisor in the Grothendieck ring Rutgers University has made this article freely available. Please share how this access benefits you. Your story matters. [https://rucore.libraries.rutgers.edu/rutgers-lib/52024/story/]
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 16. Symplectic resolutions of µ 1 (0)//G and their deformations 16.1. GIT quotients. We will need to produce a resolution of singularities for C 2n
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
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 informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationGENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui
GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY Sampei Usui Abstract. This article is a geometric application of polarized logarithmic Hodge theory of Kazuya Kato and Sampei Usui. We prove generic Torelli
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 informationMathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch
Mathematical Research Letters 3, 619 627 (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION Hanspeter Kraft and Frank Kutzschebauch Abstract. We show that every algebraic action of a linearly reductive
More informationGrothendieck ring of varieties I.
Grothendieck ring of varieties I. Eckart Viehweg, informal notes for a seminar talk, Essen 6.0.08 Based on [Nic] and on some of the references given there.. Basic definitions Definition.. Let S be a noetherian
More informationMath 203A, Solution Set 6.
Math 203A, Solution Set 6. Problem 1. (Finite maps.) Let f 0,..., f m be homogeneous polynomials of degree d > 0 without common zeros on X P n. Show that gives a finite morphism onto its image. f : X P
More informationCANONICAL BUNDLE FORMULA AND VANISHING THEOREM
CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
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 informationGeometric invariant theory
Geometric invariant theory Shuai Wang October 2016 1 Introduction Some very basic knowledge and examples about GIT(Geometric Invariant Theory) and maybe also Equivariant Intersection Theory. 2 Finite flat
More informationFUNDAMENTAL GROUPS. Alex Suciu. Northeastern University. Joint work with Thomas Koberda (U. Virginia) arxiv:
RESIDUAL FINITENESS PROPERTIES OF FUNDAMENTAL GROUPS Alex Suciu Northeastern University Joint work with Thomas Koberda (U. Virginia) arxiv:1604.02010 Number Theory and Algebraic Geometry Seminar Katholieke
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space
More informationTHE ROLE OF EXOTIC AFFINE SPACES IN THE CLASSIFICATION OF HOMOGENEOUS AFFINE VARIETIES. Dennis Snow
Reprinted from: Algebraic Transformation Groups and Algebraic Varieties, Encyclopaedia of Mathematical Sciences, Vol. 132, Subseries Invariant Theory and Algebraic Transformation Groups, Vol. III, Springer-Verlag,
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
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 informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
More informationVERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP
VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note
More informationSubgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.
Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
More informationarxiv: v1 [math.ag] 3 Mar 2018
CLASSIFICATION AND SYZYGIES OF SMOOTH PROJECTIVE VARIETIES WITH 2-REGULAR STRUCTURE SHEAF SIJONG KWAK AND JINHYUNG PARK arxiv:1803.01127v1 [math.ag] 3 Mar 2018 Abstract. The geometric and algebraic properties
More informationThe Classification of Automorphism Groups of Rational Elliptic Surfaces With Section
University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations Spring 5-16-011 The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section Tolga Karayayla tkarayay@math.upenn.edu
More informationGeneric section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationAlmost-Bieberbach groups with prime order holonomy
F U N D A M E N T A MATHEMATICAE 151 (1996) Almost-Bieberbach groups with prime order holonomy by Karel D e k i m p e* and Wim M a l f a i t (Kortrijk) Abstract. The main issue of this paper is an attempt
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More information