Anyone know these guys?


 Gary McDowell
 1 years ago
 Views:
Transcription
1 Anyone know these guys? Gavin Brown and Miles Reid We observe that some of our diptych varieties have a beautiful description in terms of key 5folds V (k) A k+5 that are almost homogeneous spaces. By poetic licence, we could call them quantum rational normal curves. We write them out here, in the hope that someone can inform us that they occur elsewhere in math or scifi. From the point of view of equations, V (k) are serial unprojections or nongeneral crazypfaffians. In geometry, they are almost homogeneous spaces for a central extension group G of GL() in other words, closed orbits for a highest weight vector (in a slightly nonfamiliar representation of a nonsimple group). The variety V (k) in equations We define 5folds V (k) A k+5 x 0...k, a, b, c, z for each k 3. First set up k and k (k ) matrixes a b a M = x 0... x i 1... x c b a k 1 and N = x 1... x i... x k.. c b a c b c Our variety V (k) is defined by two sets of equations (see below) (I) MN = 0 and (II) k M = z N. (1) 1
2 (I) is a recurrence relation ax i 1 + bx i + cx i+1 = 0 for i = 1,..., k 1. (II) is a (k ) k adaptation of Cramer s rule giving the Plücker coordinates of the space of solutions of (I) up to a scalar factor z. The ordering of minors in (II) is best understood in terms of the guiding cases x i 1 x i+1 x i = a i 1 c k i 1 z and x i 1 x i+ x i x i+1 = a i 1 bc k i z. () Note that the maximal (k ) (k ) minors of N include a k (delete the last two row) and c k (delete the first two). More generally, deleting two adjacent rows i 1, i gives a i 1 c k i 1 as a minor (only the diagonal contributes), whereas deleting two rows i 1, i+1 gives the minor a i 1 bc k i. Thus our second set of equations is x i 1 x j+1 x i x j = zn(i 1, j). Relations for x i x j x k x l for all i + j = k + l can be obtained as combinations of these; for example x i 1 x j+ x i+1 x j = x i 1 x j+ x i x j+1 + x i x j+1 x i+1 x j = zn(i 1, j + 1) + zn(i, j). Theorem 1 For k 3, (I) and (II) define a reduced irreducible Gorenstein 5fold V (k) A k+5 x 0...k, a, b, c, z. Also for k =, with (II) involving the 0 0 minors interpreted as the single equation 1 z = x 0 x x 1. Lemma (i) z is a regular element for V (k). (ii) The section z = 0 of V (k) is the quotient of the hypersurface W : (g := au + buv + cv = 0) A 5 a, b, c, u, v by the µ k action 1 (0, 0, 0, 1, 1). It is Gorenstein because k is µ k invariant. da db dc du dv g ω A 5( W ).
3 (iii) Also z, a, c is a regular sequence, and the section z = a = c = 0 of V (k) is the tent consisting of 1 k (1, 1) with coordinates x 0,..., x k and two copies of A with coordinates x 0, b and x k, b. Proof First, if c 0 then a, b, c, x 0, x 1 are free parameters, and the recurrence relation (I) gives x,..., x k as rational function of these. One checks that the first equation in (II) gives z = ax 0 +bx 0x 1 +cx 1 and the remainder c k 1 follow. Similarly if a 0. If a = c = 0 and b 0 then one checks that x 0, x k, b are free parameters, x i = 0 for i = 1,..., k 1 and z = x 0x k. Finally, if a = b = c = 0 then b k x 0,..., x k and z obviously parametrise 1(1, 1) k A1. Therefore, no component of V (k) is contained in z = 0, which proves (i). After we set z = 0, the equations (II) become M = 0, and define the cyclic quotient singularity 1 (1, 1) (the cone over the rational normal k curve). Introducing u, v as the roots of x 0,..., x k, with x i = u k i v i, boils the equations MN = 0 down to the single equation g := au + buv + cv = 0. This proves (ii). (iii) is easy. The equations as Pfaffians The equations of V (k) fit together as 4 4 crazy Pfaffians of a skew matrix. For this, edit M and N to get two new matrixes, x 0... x i 1 x i... x k M = x 1... x i x i+1... x k 1 x... x i+1 x i+... x k which is 3 (k 1) and N, the (k 1) (k 3) matrix with the same display as N (that is, delete the first (or last) row and column of N). Equations (I) can be rewritten (a, b, c)m = 0. Now the equations (1) can be written as the Pfaffians of the (k+) (k+) skew matrix cz bz az M k 3 N or c b a M z k 3 N 3
4 the factor z in the first 3 3 block floats over to the final 3 3 block, allowing us to cancel z in Pf 1.3(i 4) for the recurrence relation ax i 1 +bx i +cx i+1 = 0. The remaining Pfaffians give (II). Remark 3 This is a mild form of crazy Pfaffian (by analogy with Riemenschneider s quasideterminantal): there is a multiplier z between the (3, 3) and (4, 4) entries, and when evaluating crazy Pfaffians you include z as a factor whenever you cross it. Written out in more detail, the big matrix is cz bz x 0... x i 1 x i... x k az x 1... x i x i+1... x k 1 x... x i+1 x i+... x k c k c k i 1 a i bc k i a i c k i a i a k 3 with bottom right (k 1) (k 1) block equal the (k 3)rd wedge of N. Sanity check Our family starts with k 3; the case k = would give the hypersurface ax 0 + bx 1 + cx = 0, with z := x 0 x x 1. The first regular case is k = 3, which gives the 5 5 skew determinantal c b x 0 x 1 a x 1 x x x 3 z 4
5 a regular section of the affine Grassmannian agr(, 5). The case k = 4 is c b x 0 x 1 x a x 1 x x 3 x x 3 x 4, zc zb za the standard extra symmetric 6 6 determinantal of [Dicks] and [Reid1]. The first really new case is k = 5, with equations c b x 0 x 1 x x 3 zc zb x 0 x 1 x x 3 a x 1 x x 3 x 4 za x 1 x x 3 x 4 x x 3 x 4 x 5 x zc zbc z(b and x 3 x 4 x 5 ac) c bc b ac zac zab ac ab za We first arrived at this matrix by guesswork, determining the superdiagonal entries c, ac, a and those immediately above bc, ac by eliminating variables to smaller cases; the entry b ac is then fixed so that the bottom 4 4 Pfaffian vanishes identically. Alternative Proof of Theorem 1 A bynow standard application of serial unprojection [PR] and [Reid]. We can start with any of the codimension complete intersections ( ) xi 1 x i+1 = x i + a i 1 c k i 1 z A 7 x ax i 1 + bx i + cx i+1 = 0 i 1, x i, x i+1, a, b, c, z and add the remaining variables one at a time by unprojection. The variety V (k) by apolarity We can treat V (k) as an almost homogeneous space under GL() G. For this, view x 0,..., x k as coefficients of a binary form and a, b, c as coefficients 5 a
6 of a binary quadratic form in dual variables, so that the equations MN = 0 or (a, b, c)m = 0 are the apolarity relations. More formally, write U for the given representation of GL() and write and q = au + bu v + cv S U f = x 0 u k + kx 1 u k 1 v + + x k v k S k U. One includes a binomial coefficient ( k i) as multiplier in the coefficient of u i v k i, a standard move in this game. The second polar of f is the polynomial Φ(u, v, u, v ) = 1 k(k 1) ( f u u + f u v u v + f v v k ( ) k = x i u k i v i u i i=0 k 1 ( ) k k + x i u k i 1 v i 1 u v + i 1 i=1 i= k ( ) k = x i u k i v i u i i=0 k ( ) k k ( k + x i+1 u k i v i u v + i i i=0 i=0 ) ( ) k x i u k i v i v i ) x i+ u k i v i v Substituting u a, u v 1 b, and v c in this and equating to zero gives our recurrence relation (a, b, c)m = 0. Moreover, the second set of equation follow from the first by substitution, provided (say) that c 0 and we fix the value of x 0 x x 1; for example, in x i x i+ x i+1 substituting x i+ = ax c i bx c i+1 gives x i ( a c x i b c x i+1) x i = a c x i ( b c x i + x i+1 )x i+1, 6
7 and we can substitute a c x i 1 for the bracketed expression, to deduce that x i x i+ x i+1 = a c (x i 1x i+1 x i ). etc. A normal form for a quadric under GL() is uv, so that a typical solution to the equations is (a, b, c) = (0, 1, 0), (x 0...k ) = (1, 0,..., 1). This is a highest weight vector, and V (k) is its closed orbit. Application to diptych varieties The diptych varieties for d, e with de = 4 are unprojections of pullbacks of V (k). Case [, ] The diptych variety has variables the x 0...k, y 0... of Figure 1, together with A 1 B. k (0) ( 1) Figure 1: Case [, ] A, B, L, M. The two bottom equations are x 1 y 0 = A k 1 B k + x 0L and x 0 y 1 = ABx 1 + y 0 M 7
8 The pentagram y 1, y 0, x 0, x 1, x adjoins x, then the long rally of flat pentagrams y 1, x i 1, x i, x i+1, x i+ adjoin x 3,..., x k, with matrixes y 1 x 1 M x y 1 x i+1 LM x i+ y 0 AB x 0 L x 0 A k B k 1 and x i 1 AB x i x i (AB) k i (LM) i 1 BM x 1 x i+1 and Pfaffian equations y 1 x i = ABx i+1 + LMx i 1, x i 1 x i+1 = x i + (AB) k i 1 (LM) i 1 BM and x i 1 x i+ = x i x i+1 + (AB) k i (LM) i 1 BMy 1. These are the equations of V (k) after the substitution (a, b, c, z) (LM, y 1, AB, BM). Thus to make our diptych variety, pull back V (k) A k+5 by that substitution, then adjoin y 0, y as unprojection variables. 1 Case [4, 1] with even l = k Omit the odd numbered x i, giving Figure. The diptych variety has variables A 3 1 B. ( 1) k (0) Figure : Case [4, 1] with even l = k x 0...k, y 0...4, A, B, L, M with the two bottom equations x 1 y 0 = A k 1 B k 1 y 1 + x 3 0L and x 0 y 1 = A k B k+1 + y 0 M 1 We still have to deal with the unprojection, here and below. 8
9 We adjoin y, then x,..., x k by a game of pentagrams centred on a long rally of flat pentagrams, with y against x i 1, x i, x i+1, x i+ and Pfaffian equations y x i = AB x i+1 + LM x i 1, x i 1 x i+1 = x i + (AB ) k i 1 (LM ) i 1 BM and x i 1 x i+ = x i x i+1 + (AB ) k i (LM ) i 1 BMy These are the equations of V (k) after the substitution Case [1, 4] with even l = k (a, b, c, z) (LM, y, AB, BM). Omit the even numbered x i, giving Figure 3. The diptych variety has vari A (0) k ( ) Figure 3: Case [4, 1] with even l = k ables x 0...k, y 0..., A, B, L, M with the two bottom equations x 1 y 0 = A k 1 B k + x 0 L and x 0 y 1 = x 1A B + y 0M As before, adjoining x,..., x k features a long rally of flat pentagrams, with y 1 against x i 1, x i, x i+1, x i+ and Pfaffian equations y 1 x i = A Bx i+1 + L Mx i 1, x i 1 x i+1 = x i + (A B) k i 1 (L M) i 1 AL and x i 1 x i+ = x i x i+1 + (A B) k i (L M) i 1 BMy These are the equations of V (k) after the substitution (a, b, c, z) (L M, y 1, A B, BM). 9
10 Case [1, 4] with odd l = k + 1 This is [1, 4] read from the top, but [4, 1] read from the bottom, so is a mix of the two preceding cases. Omit the odd numbered x i, giving Figure 4. The A 1 3. ( 1) B k (0) (0) 3. L 3 Figure 4: Case [1, 4] with odd l = k + 1 ( ) k 1 M diptych variety has variables x 0...k, y 0...3, A, B, L, M with the two bottom equations x 1 y 0 = y 1 A k 3 B k 1 + x 3 0L and x 0 y 1 = A k 1 B k + y 0 M Adjoin y then x by y 1 A B M y y 0 A k 3 B k 1 x 0L x 0 y 1 x 1 then y x 1 M x y 1 A B x 0 LM x 0 y A k 5 B k x 1 After this, adjoining x 3,..., x k 1 is the usual long rally of flat pentagrams, with y against x i 1, x i, x i+1, x i+ and y x i+1 LM x i+ x i 1 A B x i x i (A B) k i 3 (LM ) i 1 ABMy x i+1 10
11 and the Pfaffian equations y x i = A Bx i+1 + LM x i 1, x i 1 x i+1 = x i + (A B) k i (LM ) i 1 ABMy and x i 1 x i+ = x i x i+1 + (A B) k i 3 (LM ) i 1 ABMy These are the equations of V (k 1) after the substitution (a, b, c, z) (LM, y, A B, BM). 11
1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationPROOFS BY DESCENT KEITH CONRAD
PROOFS BY DESCENT KEITH CONRAD As ordinary methods, such as are found in the books, are inadequate to proving such difficult propositions, I discovered at last a most singular method... that I called the
More informationAlgebra & Number Theory. A. Baker
Algebra & Number Theory [0/0/2009] A. Baker Department of Mathematics, University of Glasgow. Email address: a.baker@maths.gla.ac.uk URL: http://www.maths.gla.ac.uk/ ajb Contents Chapter. Basic Number
More informationALGEBRAIC NUMBER THEORY AND QUADRATIC RECIPROCITY
ALGEBRAIC NUMBER THEORY AND QUADRATIC RECIPROCITY HENRY COHN, JOSHUA GREENE, JONATHAN HANKE 1. Introduction These notes are from a series of lectures given by Henry Cohn during MIT s Independent Activities
More informationOPRE 6201 : 2. Simplex Method
OPRE 6201 : 2. Simplex Method 1 The Graphical Method: An Example Consider the following linear program: Max 4x 1 +3x 2 Subject to: 2x 1 +3x 2 6 (1) 3x 1 +2x 2 3 (2) 2x 2 5 (3) 2x 1 +x 2 4 (4) x 1, x 2
More informationA Course on Number Theory. Peter J. Cameron
A Course on Number Theory Peter J. Cameron ii Preface These are the notes of the course MTH6128, Number Theory, which I taught at Queen Mary, University of London, in the spring semester of 2009. There
More informationTaking Place Value Seriously: Arithmetic, Estimation, and Algebra
Taking Place Value Seriously: Arithmetic, Estimation, and Algebra by Roger Howe, Yale University and Susanna S. Epp, DePaul University Introduction and Summary Arithmetic, first of nonnegative integers,
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationFigure 2.1: Center of mass of four points.
Chapter 2 Bézier curves are named after their inventor, Dr. Pierre Bézier. Bézier was an engineer with the Renault car company and set out in the early 196 s to develop a curve formulation which would
More information26. Determinants I. 1. Prehistory
26. Determinants I 26.1 Prehistory 26.2 Definitions 26.3 Uniqueness and other properties 26.4 Existence Both as a careful review of a more pedestrian viewpoint, and as a transition to a coordinateindependent
More informationDEFINITION 5.1.1 A complex number is a matrix of the form. x y. , y x
Chapter 5 COMPLEX NUMBERS 5.1 Constructing the complex numbers One way of introducing the field C of complex numbers is via the arithmetic of matrices. DEFINITION 5.1.1 A complex number is a matrix of
More information4. FIRST STEPS IN THE THEORY 4.1. A
4. FIRST STEPS IN THE THEORY 4.1. A Catalogue of All Groups: The Impossible Dream The fundamental problem of group theory is to systematically explore the landscape and to chart what lies out there. We
More informationLinear Control Systems
Chapter 3 Linear Control Systems Topics : 1. Controllability 2. Observability 3. Linear Feedback 4. Realization Theory Copyright c Claudiu C. Remsing, 26. All rights reserved. 7 C.C. Remsing 71 Intuitively,
More informationTopics in Number Theory, Algebra, and Geometry. Ambar N. Sengupta
Topics in Number Theory, Algebra, and Geometry Ambar N. Sengupta December, 2006 2 Ambar N. Sengupta Contents Introductory Remarks........................... 5 1 Topics in Number Theory 7 1.1 Basic Notions
More informationSemiSimple Lie Algebras and Their Representations
i SemiSimple Lie Algebras and Their Representations Robert N. Cahn Lawrence Berkeley Laboratory University of California Berkeley, California 1984 THE BENJAMIN/CUMMINGS PUBLISHING COMPANY Advanced Book
More informationDepartment of Pure Mathematics and Mathematical Statistics University of Cambridge GEOMETRY AND GROUPS
Department of Pure Mathematics and Mathematical Statistics University of Cambridge GEOMETRY AND GROUPS Albrecht Dürer s engraving Melencolia I (1514) Notes Michaelmas 2012 T. K. Carne. t.k.carne@dpmms.cam.ac.uk
More informationGroup Theory. Contents
Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation
More informationSome notes on group theory.
Some notes on group theory. Eef van Beveren Departamento de Física Faculdade de Ciências e Tecnologia P COIMBRA (Portugal) February Contents Some intuitive notions of groups.. What is a group?..............................
More informationRevised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.
More informationGroup Theory. Chapter 1
Chapter 1 Group Theory Most lectures on group theory actually start with the definition of what is a group. It may be worth though spending a few lines to mention how mathematicians came up with such a
More informationNotes on Group Theory
Notes on Group Theory Mark Reeder March 7, 2014 Contents 1 Notation for sets and functions 4 2 Basic group theory 4 2.1 The definition of a group................................. 4 2.2 Group homomorphisms..................................
More information4.1 Learning algorithms for neural networks
4 Perceptron Learning 4.1 Learning algorithms for neural networks In the two preceding chapters we discussed two closely related models, McCulloch Pitts units and perceptrons, but the question of how to
More informationOrthogonal Bases and the QR Algorithm
Orthogonal Bases and the QR Algorithm Orthogonal Bases by Peter J Olver University of Minnesota Throughout, we work in the Euclidean vector space V = R n, the space of column vectors with n real entries
More informationLecture notes  Model Theory (Math 411) Autumn 2002.
Lecture notes  Model Theory (Math 411) Autumn 2002. Anand Pillay December 9, 2002 1 Notation and review. Let me begin by briefly discussing manysorted structures. Although in most of the course I will
More informationONEDIMENSIONAL RANDOM WALKS 1. SIMPLE RANDOM WALK
ONEDIMENSIONAL RANDOM WALKS 1. SIMPLE RANDOM WALK Definition 1. A random walk on the integers with step distribution F and initial state x is a sequence S n of random variables whose increments are independent,
More informationChapter 8. Lagrangian submanifolds in semipositive symplectic manifolds. 1. 34. Statement of the results in Chapter 8.
Chapter 8. Lagrangian submanifolds in semipositive symplectic manifolds. 1 34. Statement of the results in Chapter 8. So far we have been studying Floer cohomology with rational coefficients. If we put
More informationIf A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C?
Problem 3 If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C? Suggested Questions to ask students about Problem 3 The key to this question
More informationI. Vectors and Geometry in Two and Three Dimensions
I. Vectors and Geometry in Two and Three Dimensions I.1 Points and Vectors Each point in two dimensions may be labeled by two coordinates (a,b) which specify the position of the point in some units with
More informationElements of Abstract Group Theory
Chapter 2 Elements of Abstract Group Theory Mathematics is a game played according to certain simple rules with meaningless marks on paper. David Hilbert The importance of symmetry in physics, and for
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More information