DOCSLIB.ORG

Part III - Toric Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Part III - Toric Geometry Part III - Toric Geometry Lectured by Dhruv Ranganathan Comments or corrections should be sent to [email protected]. Last updated: October 2020 Contents 1 Introduction 2 2 Fans, cones, and toric varieties over C 5 2.1 Convex geometry . .6 2.2 Gluing affines . .7 3 Properties of XΣ 10 3.1 Smoothness . 10 3.2 Normality . 11 3.3 Properness . 11 3.4 Polytope construction . 14 4 Morphisms 15 4.1 Blowups . 16 4.2 Resolution of singularities . 17 5 Orbit-cone correspondence 20 5.1 Orbit corresponding to a cone . 20 5.2 Orbit closures . 22 5.3 Examples . 23 6 Divisors 24 6.1 Definitions . 24 6.2 Weil divisors on toric varieties . 26 6.3 Cartier divisors on toric varieties . 28 6.4 Introduction to intersection theory . 31 7 Line bundles 32 7.1 Polytopes and global sections of divisors . 32 7.2 Motivation: projective morphisms . 34 7.3 Positivity vs convexity . 35 7.4 Non-projective proper varieties . 36 8 Further topics 38 8.1 Semi-stable reduction . 38 8.2 Chow groups and ring structure . 41 8.3 Logarithmic geometry . 43 Appendices 45 A Log geometry 45 B Cox ring and “quotients” 47 C Tropical geometry 49 1 1 Introduction In general, algebraic geometry deals with this duality between fpolynomial equationsg fvarieties (schemes)g f V(f). ! Many times a statement that is hard to prove on one ! side will be manageable on the other side, and we try to understand things from the knowledge of both sides. Let’s consider the ring S = C[x1, ::: , xn], and I an ideal of S, (finitely) generated by f1, ::: , fs. In n α a1 α2 αn what is to come, we use multi-index notation: for α 2 N , write x = x1 x2 ··· xn . There are three flavors of polynomial theories depending on the types of fi: α • Monomials: each fi has only one term (i.e. fi = cix ). A monomial ideal is an ideal I ⊂ S (finitely) generated by monomials. If I is monomial, then V(I) is a union of coordinate subspaces of Cn. Examples: 1. x1 = 0 in S. 2. x1x2 = 0 in C[x1, x2]. The cross is called “reducible” as a union of two (irreducible) lines. 2 2 3. x1 = 0. Then V(x1) is the x2 axis. But this is not “reduced” in the sense that x1 is nilpotent. • Let’s come back to binomials in a second. • Trinomials: each fi has at most 3 non-zero monomial terms. E.g. x1 + x2 + x3 is a trinomial, but 2 4 8 x1 + x2 + x3 + x4 isn’t. Lemma. Any affine variety is a vanishing locus of a trinomial ideal. More precisely, we are saying S/I as a ring is isomorphic to C[x1. ::: , xN]/a for some (usually larger) N, where a is generated by trinomials. Although this is a nice result, it is pretty useless, and nothing is important here. α α Proof. (sketch) For any polynomial a1x 1 + ··· + alx l in I, we introduce l - 3 new variables l-3 α1 αl fzigi=1. Then we can replace a1x + ··· + alx = 0 by α1 α2 α3 αl-1 αl a1x + a2x + z1 = -z1 + z2 + a3x = ··· = -zl-3 + al-1x + alx = 0. Repeat this for every equation and we are done. Note this is a much larger ambient space. • Binomials: let I be generated by binomials. Assume here I is prime (then V(I) will be both irreducible and reduced. Call this “integral”). Proposition. Let C ⊃ X = V(I) for the above I, with dim X = m. Then X contains (a copy of ) (C∗)m as a Zariski dense open subset. Moreover, the multiplication map (group operation): (C∗)m × (C∗)m (C∗)m extends to a map ! X × (C∗)m X. ! 2 Examples: 1. Cn with I = (0). This obviously contains (C∗)n as a dense open. The map is defined by Cn × (C∗)n Cn (z1, ::: , zn) × (t1, ::: , tn) 7 (z1t1, ::: , zntn). ! 3 2 2. Take the hyperplane V(x1 - x2) in C , which is isomorphic! to C (and is 2-dimensional). It ∗ 2 0 0 ∗ contains (C ) = f(t, t, t ) j t, t 2 C g. It extends to the whole V(x1 - x2) as 0 times anything is 0. 2 3 ∗ 2 2 0 0 3. Take V(x1 - x2) in C , which is again 2-dimensional. It contains (C ) = f(t, t , t ) j t, t 2 C∗g. u Key fact: monomial is a homomorphism (C∗)n - C∗. So the ideal I encodes (as we require binomials equal 0) the intersection of translates of the kernels of the homomorphisms u. Thus there is a hidden algebraic torus structure here. ! ∗ Definition. An algebraic torus over C of rank 1 is a group variety Gm = C . A rank n algebraic torus is n ∗ n (Gm) = (C ) . By group variety (aka algebraic group), we are saying: • There are usual group axioms on Gm. ∗ n • It’s a variety: (C ) = V(x1x2 ··· xn+1 - 1) (RHS mapping to (x1, ::: , xn) gives the required identity). • Both: the multiplication and its inverse are both morphisms of varieties. lecture 2 If X is an affine variety, X = V(I) n for some ideal I ⊂ C[x1, ::: , xn]. But by doing so, we are embedding X into the ambient space AC . S/I has many presentation of a quotient of an polynomial ring. Notation: Spec(S/I) = V(I), and Spec(R) = V(I) where R = S/I. Definition. An (affine) toric variety X is an irreducible (affine) variety over C of dimension l, containing a copy of (C∗)l as a dense open subset, such that the multiplication map m :(C∗)l × (C∗)l (C∗)l extends to a group action X × (C∗)l X. ! Remark. ! 1. Since X is irreducible, Zariski open & non-empty imply dense. 2. We can drop affine, and by variety, we mean a finite-type C-scheme. ∗ l 1 3. The embedding of (C ) is part of the data. Any p1 6= p2 on P can be moved to 0 and by a 1 ∼ ∗ Mobius map, and thus P n fp1, p2g = C . 1 Example. 1. (C∗)l and Cl. 2. (C∗)l1 × (C∗)l2 . 3 l 3. P . Pick homogeneous coordinates x0, ::: , xl. Then identify ∗ l ∗ l (C ) = f[1 : t1 : ··· : tl] j ti 2 C g , P . To check density and openness, note: ! l l ∗ l P ⊃ C = f[x0 : ··· : xl] j x0 6= 0g ⊃ (C ) = fall xi 6= 0g. 4. Pl1 × · · · × Plk . Remark. There are infinitely many toric varieties in every dimension l ≥ 2. What is more interesting is that there exist toric varieties X where • X is singular. • X is compact but not projective. • Pic(X) has torsion. All such cases can be constructed using combinatorics. Two lattices we will use frequently: ∗ ∗ l ∼ l • N = Homalg grp(C , (C ) ) = Z , called the cocharacter lattice, where the isomorphism is given by (RHS to LHS): λ1 λl (λ1, ::: , λl) 7 t 7 (t , ::: , t ) . ∗ l ∗ ∼ l • M = Homalg grp((C ) , C ) = Z , called the!character! lattice, where the isomorphism is given by : u1 ul (u1, ::: , ul) 7 (t1, ::: , tl) 7 t1 ··· tl . l ! ! Let X be a toric variety with torus Gm and lattices N and M. Given λ 2 N in the cocharacter lattice, i.e. a morphism λ(t): C∗ (C∗)l ⊂ X, λ(t) we can ask: does limt exist? If so, what is! it? 2 ∗ 2 2 Example. P with (C!1) = f[1 : t1 : t2]g, and N = Z . 2 2 Limit always exists, as X = P is proper. But what is the limit? Let λ = (λ1, λ2) 2 Z . Let’s consider the case when t 0. 1. λ1, λ2 > 0.! Then λ : C∗ (C∗)2 t 7 [1 : tλ1 : tλ2 ] [1 : 0 : 0]. ! ! ! 2. λ1 = 0 and λ2 > 0. t 7 [1 : 1 : tλ2 ] [1 : 1 : 0]. 3. λ1 > λ2 and λ2 < 0. ! ! [1 : tλ1 : tλ2 ] = [t-λ2 : tλ1-λ2 : 1] [0 : 0 : 1]. etc. ! 4 2 There are a total of 7 cases, making a fan in N ⊗ R = NR = R of the following form (3 areas, 3 axises, and origin): More pictures: P1: in R P1 × P1: Every toric variety X determines such a fan Σ ⊂ NR. By fan, we mean a union of cones in NR, where a cone is of the form cone(S) = fv 2 NR j r i=1 νiλi, νi ≥ 0g for a finite set N ⊃ S = fλ1, ::: , λrg. We will make this precise next time. P 2 Fans, cones, and toric varieties over C e lcue3 Letlecture X be a toric variety of dimension n, i.e. ∗ n ∼ n X ⊃ (C ) = Gm. ∗ ∗ l ∼ l The cocharacter lattice N = Homalg grp(C , (C ) ) = Z . 2 Last time: for P we saw that, by examining each λ 2 N and the values of limt 0 λ(t) 2 X, we obtained a diagram: ! Fact: this construction works for any toric variety X, and will give rise to ΣX a collection of subsets of N. n n Example. X = C. Then ΣX = ΣCn is R≥0 ⊂ R . If n = 2, we get 4 subsets (1 area, 2 axes and origin): and outside this first quadrant, the limit does not exist. Natural questions to ask: what property does ΣX have? Does this construction X ΣX have an inverse construction? 5 2.1 Convex geometry Let N, M be as before, the cocharacter and character lattices. By definition, there is a pairing h·, ·i : N × M Z. Definition.! A cone σ in NR is the non-negative span of a finite set S ⊂ N.
Load more

Recommended publications
  • 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.
    [Show full text]
  • Alpha Invariants of K-Semistable Smooth Toric Fano Varieties
    Alpha invariants of K-semistable smooth toric Fano varieties Alvin Chen∗ Kai Huang † Abstract Jiang conjectured that the α-invariant for n-dimensional K-semistable 1 1 1 smooth Fano varieties has a gap between n and n+1 , where n+1 can only be achieved by projective n-space. Assuming a weaker version of Ewald's conjecture, we prove this gap conjecture in the toric case. We also prove a necessary and sufficient classification for all possible val- ues of the α-invariant for K-semistable smooth toric Fano varieties by providing an explicit construction of the polytopes that can achieve these values. This provides an important step towards understanding the types of polytopes that correspond to particular values of the α- invariant; in particular, we show that K-semistable smooth Fano poly- topes are centrally symmetric if and only if they have an α-invariant 1 of 2 . Lastly, we examine the effects of the Picard number on the α- invariant, classifying the K-semistable smooth toric Fano varieties with Picard number 1 or 2 and their α-invariants. ∗ North Carolina School of Science and Mathematics, Durham, NC 27705, USA y Massachusetts Institute of Technology, Cambridge, MA 02139, USA 1 1 Introduction One of the most important questions in differential geometry asks which manifolds admit a K¨ahler-Einsteinmetric. In the case where a manifold does admit a K¨ahler metric, there are three different cases to be considered depending on the first Chern class, an important classification related to complex vector bundles. When the first Chern class is negative, the manifold is considered general type, and it was proved by Aubin [2] and Yau [1] that general type K¨ahlermanifolds all have a K¨ahler-Einsteinmetric.
    [Show full text]
  • Introduction to Toric Varieties
    INTRODUCTION TO TORIC VARIETIES Jean-Paul Brasselet IML Luminy Case 907 F-13288 Marseille Cedex 9 France [email protected] The course given during the School and Workshop “The Geometry and Topology of Singularities”, 8-26 January 2007, Cuernavaca, Mexico is based on a previous course given during the 23o Col´oquioBrasileiro de Matem´atica(Rio de Janeiro, July 2001). It is an elementary introduction to the theory of toric varieties. This introduction does not pretend to originality but to provide examples and motivation for the study of toric varieties. The theory of toric varieties plays a prominent role in various domains of mathematics, giving explicit relations between combinatorial geometry and algebraic geometry. They provide an important field of examples and models. The Fulton’s preface of [11] explains very well the interest of these objects “Toric varieties provide a ... way to see many examples and phenomena in algebraic geometry... For example, they are rational, and, although they may be singular, the singularities are rational. Nevertheless, toric varieties have provided a remarkably fertile testing ground for general theories.” Basic references for toric varieties are [10], [11] and [15]. These references give complete proofs of the results and descriptions. They were (abusively) used for writing these notes and the reader can consult them for useful complementary references and details. Various applications of toric varieties can be found in the litterature, in particular in the book [11]. Interesting applications and suitable references are given in [7]: applications to Algebraic coding theory, Error-correcting codes, Integer programming and combinatorics, Computing resultants and solving equations, including the study of magic squares (see 8.3).
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • THE CHOW COHOMOLOGY of AFFINE TORIC VARIETIES 3 of V (Σ) Is: K Φ−1(V (Σ)) = V (Σ )
    THE CHOW COHOMOLOGY OF AFFINE TORIC VARIETIES DAN EDIDIN AND RYAN RICHEY Abstract. We study the Fulton-Macpherson Chow cohomology of affine toric varieties. In particular, we prove that the Chow cohomology vanishes in positive degree. We prove an analogous result for the operational K-theory defined by Anderson and Payne. 1. Introduction Toric varieties are a rich source of examples for studying delicate questions in both ordi- nary and equivariant intersection theory. Both the Chow and cohomology rings of smooth, projective toric varieties are isomorphic to the Stanley-Reisner ring of the associated fan, while Fulton and Sturmfels [FS] proved that the Chow cohomology ring of a complete toric variety is the ring of Minkowski weights. Later, Payne [Pay] calculated the T -equivariant Chow cohomology ring of an arbitrary toric variety and identified it with the ring of piece- wise polynomial functions on the corresponding fan. However, as noted by Katz and Payne [KP], the relationship between equivariant and ordinary Chow cohomology is quite subtle. The main result of this paper, Theorem 4.1, is to show that the (non-equivariant) Chow cohomology ring of any affine toric variety vanishes in degree greater than zero. By contrast, the Chow homology groups of an affine toric variety need not vanish and can have both torsion and non-torsion elements. Although their coordinate rings have prime cycles which are not rationally equivalent to 0, our result shows that the Chow cohomology rings of affine toric varieties behave like that of affine spaces. As observed by Gubeladze [Gub] singular affine toric varieties constitute a class of intuitively contractible varieties naturally generalizing affine spaces.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]