Algebraic Geometry, Autumn Term 2018

Total Page:16

File Type:pdf, Size:1020Kb

Load more

Algebraic Geometry, autumn term 2018 Christian B¨ohning Mathematics Institute University of Warwick ii Contents 1 Affine and projective algebraic sets 1 2 Algebraic varieties and regular maps 9 3 Hilbert's Nullstellensatz, primary decomposition 17 4 Segre embeddings, Veronese maps and products 27 5 Grassmannians, flag manifolds, Schubert varieties 35 6 Images of projective varieties under morphisms 45 7 Finite morphisms, Noether normalization 51 8 Dimension theory 59 9 Lines on surfaces, degree 69 10 Regular and singular points, tangent space 81 11 Cubic surfaces and their lines 91 12 Local parameters, power series methods, divisors 101 iii iv CONTENTS Chapter 1 Affine and projective algebraic sets; rational normal curves, finite point sets Below, k is an algebraically closed field of arbitrary characteristic, e.g. C, Q¯ ¯ n n or also Fp, and A is the n-dimensional affine space over k, i.e. k as a set (though we will want to make use of its vector space structure occasionally as well). Definition 1.1. For a k-vector space, P(V ) denotes the set of 1-dimensional subspaces of V , i.e. the projective space associated to V . For the vector space kn+1 with componentwise addition and scalar multiplication, we also write Pn = P(kn+1). Equivalently, Pn is the quotient of kn+1 − f0g by the equivalence relation: 0 0 0 0 n+1 (X0;:::;Xn) ∼ (X0;:::;Xn); (X0;:::;Xn); (X0;:::;Xn) 2 k − f0g ∗ 0 0 if there is a λ 2 k with λ(X0;:::;Xn) = (X0;:::;Xn). We denote the equivalence class [(X0;:::;Xn)] by (X0 : ··· : Xn) in that case and call the n Xi's homogeneous coordinates of the point in P . n Define a subset Ui ⊂ P by n Ui := f(X0 : ··· : Xn) 2 P j Xi 6= 0g : n Below we will often identify Ui with A via the bijection (X0 : ··· : Xn) 7! (i) (i) (xj )0≤j≤n = (Xj=Xi) (so xi = 1). 1 2 CHAPTER 1. AFFINE AND PROJECTIVE ALGEBRAIC SETS Definition 1.2. 1. An affine algebraic set X ⊂ An is the set of zeroes of a family (fα)α2A, of polynomials fα 2 k[x1; : : : ; xn]. Since k[x1; : : : ; xn] is Noetherian, we can assume jAj < 1 without loss of generality. 2. A projective algebraic set Y ⊂ Pn is the set of zeroes of a family of polynomials (Fα)α2A with Fα 2 k[X0;:::;Xn]. We have to say a few words what it means to be a zero in (2) above, n i.e. what is meant by F (p) = 0 for a p = (P0 : ··· : Pn) 2 P . This is so because the homogeneous coordinates Pi of p are not unique, and p being a zero must be independent of the representative coordinate tuple. We do this by defining F (p) = 0 : () F (P0;:::;Pn) = 0 n+1 for all (P0;:::;Pn) 2 k − f0g with [(P0;:::;Pn)] = p: This leads to the conclusion that we can assume, without loss of gen- erality, that the Fα in (2) of Definition 1.2 are homogeneous, which means the following: S = k[X0;:::;Xn] is a graded ring, which means there is a decomposition into k-vector subspaces M S = Sm m≥0 α0 αn where Sm := hX0 ·:::·Xn ik, α0 +: : : αm = m, such that Sm1 ·Sm2 ⊂ Sm1+m2 . Polynomials in Sm are called homogeneous of degree m. Now, since k is infinite, if F 2 k[X0;:::;Xn] vanishes in p as above, then all homogeneous components Fm of F with respect to the preceding direct sum decomposition vanish in p. n n Remark 1.3. If Y ⊂ P is a projective algebraic set, then Yi = Y \Ui ⊂ A is an affine algebraic set. To see this, consider for simplicity Y0; the argument in the other cases being the same. If Y is defined by homogeneous polynomials Fα of degree dα, then Y0 is the set of zeroes of polynomials fα(x1; : : : ; xn), xi = Xi=X0, where dα fα(x1; : : : ; xn) := Fα(X0;:::;Xn)=X0 = Fα(1; x1; : : : ; xn): n n Remark 1.4. Every affine algebraic subset Xi ⊂ A ' Ui ⊂ P is the intersec- n tion of Ui with a projective algebraic subset X ⊂ P . Again we show that for 3 U0 only since the other cases are only notationally different. If X0 is defined by fα(x1; : : : ; xn) of degree dα (of course not necessarily homogeneous now), we can define a suitable X by dα X1 Xn Fα(X0;:::;Xn) := X0 fα ;:::; : X0 X0 We can summarize the preceding two remarks by saying that X ⊂ Pn is n a projective algebraic subset if and only if each X \Ui ⊂ Ui ' A is an affine algebraic set. Example 1.5. 1. If W ⊂ kn+1 is an (m+1)-dimensional sub-vector space, then P(W ) ⊂ Pn is a projective algebraic set, called an m-dimensional projective linear subspace (for m = 1: line, m = 2: plane, m = n − 1: hyperplane). 2. Of course zeroes of a single homogeneous polynomial F 2 k[X0;:::;Xn] (of degree d, say) are a projective algebraic set; this is called a hy- persurface. We can assume F without multiple factors (note that k[X0;:::;Xn] is factorial). Then we call d the degree of the hyper- surface. 3. For a more interesting example, let C be the image of the map 1 3 ν : P ! P 3 2 2 3 (X0 : X1) 7! (X0 : X0 X1 : X0X1 : X1 ) := (Z0 : Z1 : Z2 : Z3): Then C is contained in the three quadrics Q0;Q1;Q2 defined as the zero sets of 2 F0(Z) = Z0Z2 − Z1 F1(Z) = Z0Z3 − Z1Z2 2 F2(Z) = Z1Z3 − Z2 and those define C, i.e. the zero set of them is exactly C (to see this, 3 note that if p 2 P , p = (P0 : P1 : P2 : P3) lies on Q0 \ Q1 \ Q2, then P0 6= 0 or P3 6= 0; in the former case, P = ν((P0 : P1)), in the latter case, P = ν((P2 : P3)). 4 CHAPTER 1. AFFINE AND PROJECTIVE ALGEBRAIC SETS We continue the study of (3) in the above examples a little: although we haven't introduced any notion of \dimension" yet into our geometric study of algebraic sets, it is intuitively plausible that C should be a one-dimensional thing, a curve. It is called a twisted cubic curve. It is remarkable that two of the above quadratic equations do not define C, more generally: 3 Proposition 1.6. For λ = (λ0; λ1; λ2) 2 k − f0g, write Fλ = λ0F0 + λ1F1 + λ2F2; the Fi being as in Example 1.5, (3). Denote the projective algebraic set that 2 Fλ defines by Qλ. Then for [µ] 6= [ν] 2 P , we have that Qµ \ Qν is equal to the union of C and a line Lµν intersecting C in two points. Proof. C is defined by the 2 × 2 minors of Z0 Z1 Z2 Z1 Z2 Z3 and Qµ is the determinant of 0 1 Z0 Z1 Z2 @Z1 Z2 Z3A 0 0 0 µ0 µ1 µ2 0 0 0 where the tuple (µ0; µ1; µ2) agrees with µ after a signed permutation. So the locus outside of C where Fµ and Fν vanish, is the rank ≤ 2 locus of 0 1 Z0 Z1 Z2 BZ1 Z2 Z3C B 0 0 0 C @µ0 µ1 µ2A 0 0 0 ν0 ν1 ν2 (where in addition the first two rows are independent). For [µ] 6= [ν], this locus is the same as the one defined by 0 1 0 1 Z0 Z1 Z2 Z1 Z2 Z3 0 0 0 0 0 0 det @µ0 µ1 µ2A = det @µ0 µ1 µ2A = 0; 0 0 0 0 0 0 ν0 ν1 ν2 ν0 ν1 ν2 i.e. Qµ \ Qν = C [ Lµν where Lµν is the line defined by the last two deter- minants. The intersection of Lµν with C is then given by Qλ and the two linear equations above where hQλ;Qµ;Qνi = hF0;F1;F2i. 5 Proposition 1.7. There exists a homogeneous quadratic polynomial Q(Z0;:::;Z3) and a homogeneous cubic polynomial P (Z0;:::;Z3) whose common zeroes are precisely C. Proof. One can take 0 1 Z0 Z1 Z2 Z0 Z1 Q(Z) = det ;P (z) = det @Z1 Z2 Z3A : Z1 Z2 Z2 Z3 Z0 Namely, if the vector (Z0;Z1;Z2) and (Z1;Z2;Z3) are linearly dependent, then these determinants vanish, and the converse holds as well: if the first two rows of the matrix whose determinant defines P (z) are independent, and the determinant vanishes, then the last row of the matrix must be a linear combination of the first two rows. But then (Z2;Z3) is dependent on (Z0;Z1) and (Z1;Z2), whence the rank of the submatrix consisting of the first two rows would be 1 (taking into account Q(z) = 0), contradiction. Thus we arrive at the curious fact that C, as a set, can be defined by two polynomials, but if we look at the ideal I(C) ⊂ k[X0;:::;X3] of all polynomials vanishing on C, this cannot be generated by 2 elements (since dim I(C)2 ≥ 3, but dim I(C)1 = 0: clearly, C does not lie in a hyper- 3 2 2 3 plane since X0 ;X0 X1;X0X1 ;X1 are independent). One says that C is a set- theoretic complete intersection, but not a complete intersection in P3. There are many open problems connected with these notions; e.g., one knows that the union of two planes intersecting only in 0 is not a set-theoretic complete intersection in A4, but one does not know if every curve in P3 is a set-theoretic complete intersection.
Recommended publications
  • Non-Openness and Non-Equidimensionality in Algebraic Quotients

    Non-Openness and Non-Equidimensionality in Algebraic Quotients

    Pacific Journal of Mathematics NON-OPENNESS AND NON-EQUIDIMENSIONALITY IN ALGEBRAIC QUOTIENTS JOHN DUSTIN DONALD Vol. 41, No. 2 December 1972 PACIFIC JOURNAL OF MATHEMATICS Vol. 41, No. 2, 1972 NON-OPENNESS AND NON-EQUIDIMENSIONALΠΎ IN ALGEBRAIC QUOTIENTS JOHN D. DONALD Suppose given an equivalence relation R on an algebraic variety V and the associated fibering of V by a family of subvarieties. This paper treats the question of the existence of a quotient structure for this situation when the fibering is non-equidimensional. For this purpose a general definition of quotient variety for algebraic equivalence relations is used which contains no topological requirements. The results are of two types. In §1 it is shown that certain maps into nonsingular varieties are quotient maps for the induced equivalence relation whenever the union of the excessive orbits has codimension ^ 2. This theorem yields many examples of non-equidimensional quotients. Section 2 contains a converse showing that no excessive orbit containing a normal hypersurface can be fitted into a quotient. This theorem depends on a stronger and less conceptual field- theoretic result which fails without the normality hypothesis. Section 3 contains a counterexample. These results are a first attempt at answering the question: when can a good algebraic structure be assigned to a non-equidimensional fibering of VΊ Analogously, one might ask whether there is a good sense in which an equidimensional family of subvarieties of V can degenerate into subvarieties of different dimension. It is a standard result that no fibers of a morphism have dimension less than that of the generic fiber, so that we must concern ourselves only with degeneration into higher-dimensional subvarieties.
  • Computations in Algebraic Geometry with Macaulay 2

    Computations in Algebraic Geometry with Macaulay 2

    Computations in algebraic geometry with Macaulay 2 Editors: D. Eisenbud, D. Grayson, M. Stillman, and B. Sturmfels Preface Systems of polynomial equations arise throughout mathematics, science, and engineering. Algebraic geometry provides powerful theoretical techniques for studying the qualitative and quantitative features of their solution sets. Re- cently developed algorithms have made theoretical aspects of the subject accessible to a broad range of mathematicians and scientists. The algorith- mic approach to the subject has two principal aims: developing new tools for research within mathematics, and providing new tools for modeling and solv- ing problems that arise in the sciences and engineering. A healthy synergy emerges, as new theorems yield new algorithms and emerging applications lead to new theoretical questions. This book presents algorithmic tools for algebraic geometry and experi- mental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. A wide range of mathematical scientists should find these expositions valuable. This includes both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all.
  • Fine and Coarse Moduli Spaces in the Representation Theory of Finite Dimensional Algebras

    Fine and Coarse Moduli Spaces in the Representation Theory of Finite Dimensional Algebras

    FINE AND COARSE MODULI SPACES IN THE REPRESENTATION THEORY OF FINITE DIMENSIONAL ALGEBRAS B. Huisgen-Zimmermann Dedicated to Ragnar-Olaf Buchweitz on the occasion of his seventieth birthday Abstract. We discuss the concepts of fine and coarse moduli spaces in the context of fi- nite dimensional algebras over algebraically closed fields. In particular, our formulation of a moduli problem and its potential strong or weak solution is adapted to classification prob- lems arising in the representation theory of such algebras. We then outline and illustrate a dichotomy of strategies for concrete applications of these ideas. One method is based on the classical affine variety of representations of fixed dimension, the other on a projective variety parametrizing the same isomorphism classes of modules. We state sample results and give numerous examples to exhibit pros and cons of the two lines of approach. The juxtaposition highlights differences in techniques and attainable goals. 1. Introduction and notation The desire to describe/classify the objects of various algebro-geometric categories via collections of invariants is a red thread that can be traced throughout mathematics. Promi- nent examples are the classification of similarity classes ofmatricesintermsofnormal forms, the classification of finitely generated abelian groups in terms of annihilators of their indecomposable direct summands, and the classification of varieties of fixed genus and dimension up to isomorphism or birational equivalence, etc., etc. – the reader will readily extend the list. In each setting, one selects an equivalence relation on the collection of objects to be sorted; the “invariants” one uses to describetheobjectsarequantitiesnot depending on the choice of representatives from the considered equivalence classes; and the chosen data combine to finite parcels that identify these classes, preferably without redundancy.
  • Invariants of a Maximal Unipotent Subgroup and Equidimensionality

    Invariants of a Maximal Unipotent Subgroup and Equidimensionality

    November 7, 2011 INVARIANTS OF A MAXIMAL UNIPOTENT SUBGROUP AND EQUIDIMENSIONALITY DMITRI I. PANYUSHEV INTRODUCTION The ground field | is algebraically closed and of characteristic zero. Let G be a semisimple algebraic group. Fix a maximal unipotent subgroup U ⊂ G and a maximal torus T ⊂ B = NG(U). Let G act on an affine variety X. As was shown by Hadziev,ˇ the algebra of U- invariants, |[X]U , is finitely generated. He constructed a finitely generated |-algebra A, equipped with a locally finite representation of G (“the universal algebra”), such that U G (0·1) |[X] ' (|[X] ⊗ A) ; [6, Theorem 3.1]. Actually, A is isomorphic to |[G]U and using our notation, the variety Spec (A) is denoted by C(X+), where X+ is the monoid of dominant weights with respect to (T;U), see Section1. This variety has a dense G-orbit and the stabiliser of any x 2 C(X+) contains a maximal unipotent subgroup of G. Affine varieties having these two properties have been studied in [14]. They are called S-varieties. There is a bijection between the G- isomorphism classes of S-varieties and the finitely generated monoids in X+. If S ⊂ X+ is a finitely generated monoid, then C(S) stands for the corresponding S-variety. This note contains two contributions to the theory of U-invariants related to the equidi- mensionality property of quotient morphisms. C-1) Set Z = X ×C(X+). Isomorphism (0·1) means that the corresponding affine varieties, X==U and Z==G, are isomorphic. This suggests that there can be a relationship between fibres of two quotient morphisms πX;U : X ! X==U and πZ;G : Z ! Z==G.
  • Properties Defined on the Basis of Coincidence in GFO-Space

    Properties Defined on the Basis of Coincidence in GFO-Space

    Properties Defined on the Basis of Coincidence in GFO-Space Ringo BAUMANN a, Frank LOEBE a;1 and Heinrich HERRE b a Computer Science Institute, University of Leipzig, Germany b IMISE, University of Leipzig, Germany Abstract. The General Formal Ontology (GFO) is a top-level ontology that in- cludes theories of time and space, two domains of entities of fundamental charac- ter. In this connection the axiomatic theories of GFO are based on the relation of coincidence, which can apply to the boundaries of time and space entities. Two co- incident, but distinct boundaries account for distinct temporal or spatial locations of no distance. This is favorable for modeling or grasping certain situations. At a second glance and especially concerning space, in combination with axioms on boundaries and mereology coincidence also gives rise to a larger variety of entities. This deserves ontological scrutiny. In the present paper we introduce a new notion (based on coincidence) referred to as ‘continuousness’ in order to capture and become capable of addressing an aspect of space entities that, as we argue, is commonly implicitly assumed for basic kinds of entities (such as ‘line’ or ‘surface’). Carving out that definition first leads us to adopting a few new axioms for GFO-Space. Together with the two further properties of connectedness and ordinariness we then systematically investigate kinds of space entities. Keywords. top-level ontology, ontology of space, coincidence, GFO 1. Introduction The General Formal Ontology (GFO) [1] is one of those top-level ontologies that aims at accounting for entities of time and space by means of axiomatic theories about these do- mains.
  • Pure Subrings of Commutative Rings

    Pure Subrings of Commutative Rings

    Nagoya Math. J., 221(1) (2016), 33{68 DOI 10.1017/nmj.2016.2 PURE SUBRINGS OF COMMUTATIVE RINGS S. CHAKRABORTY, R. V. GURJAR and M. MIYANISHI Abstract. We study subalgebras A of affine or local algebras B such that A,! B is a pure extension from algebraic and geometric viewpoints. x0. Introduction Let ' : A ! B be a homomorphism of commutative rings. We say that ' is a pure homomorphism, or pure embedding, or pure extension if the canonical homomorphism 'M : M ⊗A A ! M ⊗A B is injective, for any A-module M. This condition implies that ' is injective. Therefore, identifying A with '(A), we often say that A is a pure subring of B, or that B is a pure extension of A. The notion of purity was first raised by Warfield [15]. The associated morphism a' : Spec B ! Spec A is also called a pure morphism of affine schemes. A morphism of schemes p : Y ! X is called a pure morphism if p is an affine morphism, and there exists an affine open covering fUigi2I of X, −1 −1 such that pjp (Ui) : p (Ui) ! Ui is a pure morphism for every i 2 I. The formal properties of pure subalgebras and pure morphisms are summarized in Section1. In this paper, we are interested in pure subalgebras of an affine or local domain. The underlying field k, unless otherwise specified, is always assumed to be algebraically closed and of characteristic 0. Sometimes we also assume k to be the field of complex numbers C to apply results of local analytic algebras.
  • Cofree Quiver Settings. Journal of Algebra

    Cofree Quiver Settings. Journal of Algebra

    COFREE QUIVER REPRESENTATIONS RAF BOCKLANDT AND GEERT VAN DE WEYER Abstract. We give a complete classification of all quivers Q and dimension vectors α for which the representation space Rep(Q, α) is cofree, that is, for GL which C[Rep(Q, α)] is a graded free C[Rep(Q, α)] α -module. 1. Introduction Consider a linear reductive complex algebraic group G and a representation φ : G → GL(V ). Such a representation is called cofree if its coordinate ring C[V ] is a graded free module over the ring of invariants C[V ]G. Cofree representations were studied amongst others by Popov in [1] and Schwarz in [2] and were classified by Schwarz for G a connected simple complex algebraic group. A representation of a quiver Q of dimension vector α is a natural example of the situation described in the previous paragraph through the natural action of the linear reductive complex algebraic group GL(α) on such a representation by conjugation (base change). Recall that a quiver Q is a directed graph and that a dimension vector for such a quiver assigns to each vertex of the graph a positive integer. A representation of a given quiver with a given dimension vector then assigns to each vertex a complex vector space of dimension equal to the integer assigned to this vertex and to each arrow a linear map between the vector spaces on the vertices connected by this arrow. The representation theory of quivers has by now been shown to be very useful in such diverse fields as geometric invariant theory (through e.g.
  • Six-Vertex, Loop and Tiling Models: Integrability and Combinatorics

    Six-Vertex, Loop and Tiling Models: Integrability and Combinatorics

    SIX-VERTEX, LOOP AND TILING MODELS: INTEGRABILITY AND COMBINATORICS PAUL ZINN-JUSTIN Abstract. This is a review (including some background material) of the author’s work and related activity on certain exactly solvable statistical models in two dimensions, including the six-vertex model, loop models and lozenge tilings. Applications to enumerative combinatorics and to algebraic geometry are described. Contents Introduction 4 1. Free fermionic methods 5 1.1. Definitions 5 1.1.1. Operators and Fock space 5 d 1.1.2. gl(∞) and gl(1) action 7 1.1.3. Bosonization 8 1.2. Schur functions 8 1.2.1. Free fermionic definition 8 1.2.2. Wick theorem and Jacobi–Trudi identity 9 1.2.3. Weyl formula 10 1.2.4. Schur functions and lattice fermions 11 1.2.5. Relation to Semi-Standard Young tableaux 12 1.2.6. Non-Intersecting Lattice Paths and Lindstr¨om–Gessel–Viennot formula 12 1.2.7. Relation to Standard Young Tableaux 13 1.2.8. Cauchy formula 14 1.3. Application: Plane Partition enumeration 15 1.3.1. Definition 15 1.3.2. MacMahon formula 15 1.3.3. Totally Symmetric Self-Complementary Plane Partitions 17 1.4. Classical integrability 18 2. The six-vertex model 19 2.1. Definition 20 2.1.1. Configurations 20 2.1.2. Weights 20 1 2.2. Integrability 21 2.2.1. Properties of the R-matrix 21 2.2.2. Commuting transfer matrices 22 2.3. Phase diagram 22 2.4. Free fermion point 23 2.4.1. NILP representation 23 2.4.2.
  • Self-Duality

    Self-Duality

    92 9MA THEMA TICS: J. v. NE UMANN PR;OC. N. A. S. 13 Loc. cit. See also Zisman, "Comparison of the Statically and Seismologically Determined Elastic Constants of Rocks," Proc. Nat. Acad. Sci., 19, 680 (1933). 14 Harold Jeffreys, The Earth, Its Origin, History and Physical Constitution, 2nd ed., Cambridge (1928). a L. D. Leet, "Velocity of Elastic Waves in Granite and Norite," Physics, 4, 375 (1933). CONTINUOUS GEOMETRY By J. V. NEUMANN INSTITUTRE FOR ADVANCED STUDY, PRINCBTON, N. J. Communicated January 8, 1936 Introduction. 1. The classical axiomatic treatments of geometry are all based on the notions of points, lines and planes, the "undefined entities" of the axiomatization being either the two distinct classes of points and lines, or the three classes of points, lines and planes.I Thus the lowest- dimensional linear subspaces of the given space receive chief attention ab initio. The suggestion of replacing these distinct' classes of "undefined entities" by a unique class which consists of all linear subspaces of the given space, was first made by K. Menger.2 An essential part of his system was the axiomatic requirement of the existence of an integer-valued function (with any linear subspace as argument) which possesses the formal properties of linear dimensionality.8 These investigations were carried further by G. Bergmann,4 who replaced the explicit postulation of the existence of an integer-valued dimension function by axioms securing the existence of points and by certain requirements concerning the algebraic properties of points. Recently K. Menger has taken up the subject again, and has given a system of axioms in which the axioms on the algebraic properties of points are simpler than those in G.
  • Arxiv:2011.02270V1 [Math.RT] 4 Nov 2020 Orsodn Otepartitions the to Corresponding N Hoe A

    Arxiv:2011.02270V1 [Math.RT] 4 Nov 2020 Orsodn Otepartitions the to Corresponding N Hoe A

    HALL-LITTLEWOOD POLYNOMIALS, SPRINGER FIBERS AND THE ANNIHILATOR VARIETIES OF INDUCED REPRESENTATIONS ZHUOHUI ZHANG WEIZMANN INSTITUTE OF SCIENCE Abstract. For G = GL(n, C) and a parabolic subgroup P = LN with a two-block Levi subgroup L = GL(n1) × GL(n2), the space G · (O + n), where O is a nilpotent orbit of l, is a union of nilpotent orbits of g. In the first part of our main theorem, we use the geometric Sakate equivalence to prove that O′ ⊂ G·(O +n) if and only if some Littlewood-Richardson coefficients do not vanish. The second part of our main theorem describes the geometry of the space O ∩ p, which is an important space to study for the Whittaker supports and annihilator varieties of representations of G. 1. Introduction A nilpotent orbit of a reductive group G over C is an orbit of the adjoint or the coadjoint action of G on the nilpotent cone N ⊂ g or g∗, respectively. The set of nilpotent orbits O ⊂ N forms a poset with a partial order O1 < O2 defined by the closure order O1 ⊂ O2. For classical groups, there is a bijection between the nilpotent orbits and certain integer partitions. In particular, for GL(n) and SL(n), each partition α of the integer n corresponds to a nilpotent orbit Oα. The counterpart of the closure order Oα ⊂ Oβ on partitions is given by k k α<β if and only if αi ≤ βi for all k. i=1 i=1 X X The notion of induced orbits provides a connection between the nilpotent orbits of a subgroup and the orbits of the ambient group.
  • Group Actions on Products of Spheres

    Group Actions on Products of Spheres

    Group Actions on Products of Spheres Kenneth Plante 1 Introduction In this paper, we explore free group actions using the techniques of group coho- mology. In particular, we are interested in free actions of finite abelian groups on products of spheres. We start by providing some basic examples which motivate our general course of study. Proposition 1. Let G =(Z/p)r.IfG acts freely on S1, then r =1. Proof. Assume G acts freely on S1.Thenwehaveacoveringp : S1 S1/G.It 1 1 ! follows from covering space theory that G = ⇡1(S /G)/p (⇡1(S )). But since 1 ⇠1 ⇤ G is a finite group, we know that S /G ⇠= S .Thus,wehave 1 1 G = ⇡1(S )/p (⇡1(S )) = Z/ G ⇠ ⇤ ⇠ | | The result follows. More generally, if G acts freely on Sn, then it is known that we must have r = 1. This fact has led to the following conjecture: k Conjecture 1. Let G =(Z/p)r.IfG acts freely on Sni , then r k. i=1 This conjecture remains unproven, but many partialQ results are known. For example, in this paper, we will prove it in the case of an elementary p-group act- ing freely and homologically trivially on a product of equidimensional spheres, i.e. ni = nj for all i, j. We will then explore some additional work on the conjecture in other cases. The primary tool for studying these actions will be group cohomology, specifically Tate cohomology. 2 Algebraic Foundations Let G be a group. We wish to construct the notion of a G-module.
  • MOD P-POINTS on SHIMURA VARIETIES of PARAHORIC LEVEL

    MOD P-POINTS on SHIMURA VARIETIES of PARAHORIC LEVEL

    MOD p-POINTS ON SHIMURA VARIETIES OF PARAHORIC LEVEL POL VAN HOFTEN, WITH AN APPENDIX BY RONG ZHOU Abstract. We study the Fp-points of the Kisin-Pappas integral models of abelian type Shimura varieties with parahoric level structure. We show that if the group is quasi-split and unramified, then the mod p isogeny classes are of the form predicted by the Langlands-Rapoport conjecture (c.f. Conjecture 9.2 of [56]). We prove the same results for quasi-split and tamely ramified groups when their Shimura varieties are proper. The main innovation in this work is a global argument that allows us to reduce the conjecture to the case of a very special parahoric, which is handled in the appendix. This way we avoid the complicated local problem of understanding connected components of affine Deligne-Lusztig varieties for general parahoric subgroups. Along the way, we give a simple irreducibility criterion for Ekedahl-Oort and Kottwitz-Rapoport strata. 1. Introduction and statement of results 1.1. Introduction. In [41], Langlands outlines a three-part approach to prove that the Hasse-Weil zeta functions of Shimura varieties are related to L-functions of automorphic forms. The first and third part are ‘a matter of harmonic analysis’, we refer the reader to [70] for an introduction. The second part is about describing the mod p points of suitable integral models of Shimura varieties, which is the central topic of this article. A conjectural description of the mod p points of (conjectural) integral models of Shimura varieties was first given by Langlands in [40] and was later refined by Langlands- Rapoport and Rapoport [42,56,57].