Faithful tropicalization of hypertoric varieties
|
|
- Rosalind Townsend
- 5 years ago
- Views:
Transcription
1 University of Oregon STAGS June 3, 2016
2 Setup Fix an algebraically closed field K, complete with respect to a non-archimedean valuation ν : K T := R { } (possibly trivial). Let X be a K-variety. An embedding of X into a toric variety (e.g. A n, P n ) yields a tropicalization of X, which is the image of a proper continuous map X an Trop(X). Here, X an is the Berkovich analytic space associated to X. Think of Trop(X) as a combinatorial shadow of the Berkovich space.
3 Analytification If X = Spec A, then X an = {val: A T val is a ring valuation extending ν}. Each f A defines an evaluation function ev f : X an T, val val(f). Give X an the coarsest topology such that ev f continuous for all f. T = (0, 1].
4 Analytification For general X, X an = {Spec L X L is a valued extension of K}/. Note that X(K) X an. Foster-Gross-Payne: If X has an embedding into a toric variety, then X an lim Trop(X) is a homeomorphism. Goal: Find a particular toric embedding of X so that the corresponding Trop(X) reflects enough of the topology of X an.
5 Faithful tropicalization A tropicalization is faithful if there is a continuous section to the tropicalization map X an Trop(X). Such a section identifies Trop(X) with a closed subset of X an.
6 Faithful tropicalization Brief history: BPR (2011): Case when X is a curve CHW (2014): Gr(2, n) faithfully tropicalized by Plücker embedding GRW (2014): In torus, multiplicity one is sufficient GRW (2015): Sufficient conditions for general case K (2016): Hypertoric varieties are faithfully tropicalized
7 Hypertoric varieties Hypertoric varieties are hyperkähler analogues of toric varieties. Every hypertoric variety is constructed from an arrangement A of affine hyperplanes. There is a natural embedding of each hypertoric variety into its corresponding Lawrence toric variety.
8 Notation Let M be a lattice of rank d, N = Hom(M, Z) the dual lattice. Set M R = M Z R and N R = N Z R = Hom(M, R). Let T = Spec K[M] be the torus with character lattice M.
9 Toric varieties Rational polyhedral cones in N R Affine T -toric varieties σ U σ := Spec K[σ M] Rational polyhedral fans in N R T -toric varieties Y := Torus orbits in Y are indexed by cones in : O(σ) := Spec K[σ M]. σ U σ
10 Compactifications of N R Rational polyhedral cone σ in N R N σ R := Hom(σ M, T) Rational polyhedral fan in N R N R := Analogous to the torus orbit O(σ), we have N R (σ) := N R / σ. σ N σ R
11 Tropicalization Clear analogy between Y = U σ = O(σ) σ σ and N R = N σ R = N R (σ). σ σ Tropicalization relates these two spaces.
12 Tropicalization On the torus T = Spec K[M], the tropicalization map is trop: T an N R = Hom(M, R), val val M. This extends to U σ = Spec K[σ M] in the obvious way: trop: U an σ N σ R = Hom(σ M, T), val val σ M. Glue to obtain trop: Y an N R Restriction to O(σ) an is the usual tropicalization map for a torus.
13 Tropicalization Now, if X Y is a closed subvariety, then X an Y an. Let Trop(X) = trop(x an ). Trop(X T ) is the support of a balanced finite polyhedral complex, of pure dimension dim X. Trop(X) is a (partial) compactification of Trop(X T ) by lower-dimensional finite polyhedral complexes.
14 Faithful tropicalization Gubler-Rabinoff-Werner give the following conditions on X Y, which imply X an Trop(X) has a unique continuous section. Trop(X) has multiplicity one everywhere X T is dense in X X O(σ) is either empty or equidimensional for all σ There is a polyhedral structure on Trop(X) such that for each maximal polyhedron P in Trop(X T ), the closure P is a union of polyhedra, each of which is maximal in its respective stratum
15 Hyperplane arrangements A hyperplane arrangement A in M R is given by: A finite set E A tuple a N E of primitive elements r Z E. The arrangement A consists of the multiset of affine hyperplanes H e = {m M R m, a e + r e = 0}, e E. Usually require {a e e E} to span N.
16 Hyperplane arrangements Each H e is cooriented by its normal vector a e, giving positive and negative closed halfspaces H + e, H e. The arrangement A is central if r = 0. In general, obtain the centralization of A, denoted A 0, by setting r = 0.
17 Matroids The centralization A 0 defines a matroid on E, via rank function rk S = dim span{a e e S}. A flat is a set which is maximal for its rank. A flag of flats F is a chain where each F i is a flat. = F 0 F 1 F k 1 F k = E
18 Matroids This matroid is the matroid of the linear space L A0 A E = Spec K[x e e E], defined by the linear forms c e x e e E for each relation c e a e = 0 in N. e E Every linear subspace of A E not contained in a coordinate hyperplane arises from an arrangement in this way.
19 Localization and restriction Two ways to obtain new arrangements from A: For any subset S E, the localization of A at S, denoted A S, is the arrangement of hyperplanes {H e e S}. For a flat F E, the restriction of A 0 to F, denoted A F 0, is the arrangement of hyperplanes {(H e ) 0 H F e / F } in H F = e F H F. Flats of A F 0 are flats of A containing F.
20 The Lawrence toric variety of an arrangement Let A be an arrangement in M R. This defines a surjection G E m T via Z E N, δ e a e. We get a map of short exact sequences ι 0 Λ Z E N 0 a id 0 Λ Z E Z E Ñ 0 where is the antidiagonal embedding.
21 The Lawrence toric variety of an arrangement The lattice Ñ has rank d + E and generators ρ± e. Let M be its dual lattice, and T = Spec K[ M]. Definition The Lawrence toric variety B A defined by A is the T -toric variety T A E α G, where G = ker(g E m T ) and α = ι (r).
22 The Lawrence toric variety of an arrangement Given a subset S E, and a face R of the localization A S, we let σ S,R be the cone in ÑR with rays generated by the vectors {ρ + e R H + e } {ρ f R H f }. Proposition (Hausel-Sturmfels 04, K 16) The collection of cones A = {σ S,R S E and R is a face of A S } forms a rational polyhedral fan in ÑR, with face relations σ S,R σ S,R if and only if S S and R R. We have Y A = B A.
23 The hypertoric variety of an arrangement Recall ι 0 Λ Z E N 0 a id 0 Λ Z E Z E Ñ 0 The cokernel of the inclusion N Ñ is Ñ ZE, ρ ± e δ e. Tensor with R to get linear ÑR R E. Maps σ S,R onto R S 0.
24 The hypertoric variety of an arrangement Thus obtain surjection Φ: B A A E. Definition The Hypertoric variety M A defined by A is Φ 1 (L A0 ) B A. Note: M A can also be defined as the GIT quotient of a closed subset of T A E by G, without reference to B A. Examples: A 2n, T P n, T (P n P m ),...
25 The hypertoric variety of an arrangement The key observation for us is that M A is built out of linear spaces: Proposition Let S E and let R be a face of A S. The intersection M A O(σ S,R ) is nonempty if and only if S is a flat of A 0, in which case it is a linear subvariety of O(σ S,R ) of dimension 2d rk S codim R. Note: The expected dimension of M A O(σ S,R ) is dim M A dim σ S,R = 2d S codim R.
26 The tropicalization of M A It follows that Trop(M A O(σ F,R )) is the support of a fan with cones C (F,R) F indexed by flags F of flats of A F 0. The fan is balanced, with all multiplicities equal to one.
27 The tropicalization of M A Theorem (K 16) The tropicalization Trop(M A ) has the combinatorial structure of a finite polyhedral complex, under the closure relation C (F,R ) F C (F,R) F if and only if the following conditions hold: F F ; R R; F is a flat in F, and trunc F (F) is a refinement of F. Moreover, dim C (F,R) F = d + l(f) codim R.
28 Faithful tropicalization Recall the criteria of GRW: X Y is faithfully tropicalized if Trop(X) has multiplicity one everywhere X T is dense in X X O(σ) is either empty or equidimensional for all σ There is a polyhedral structure on Trop(X) such that for each maximal polyhedron P in Trop(X T ), the closure P is a union of polyhedra, each of which is maximal in its respective stratum
29 Faithful tropicalization Theorem There is a unique continuous section s: Trop(M A ) M an A tropicalization map. of the
30 References M. Kutler, Preprint, arxiv:
TORIC VARIETIES JOAQUÍN MORAGA
TORIC VARIETIES Abstract. This is a very short introduction to some concepts around toric varieties, some of the subsections are intended for more experienced algebraic geometers. To see a lot of exercises
More informationToric Varieties and Lattice Polytopes
Toric Varieties and Lattice Polytopes Ursula Whitcher April 1, 006 1 Introduction We will show how to construct spaces called toric varieties from lattice polytopes. Toric fibrations correspond to slices
More informationDiscriminant Coamoebas in Dimension Three
Discriminant Coamoebas in Dimension Three KIAS Winter School on Mirror Symm......elevinsky A-Philosophy and Beyond, 27 February 2017. Frank Sottile sottile@math.tamu.edu Joint work with Mounir Nisse A-Discriminants
More informationFrom affine manifolds to complex manifolds: instanton corrections from tropical disks
UCSD Mathematics Department From affine manifolds to complex manifolds: instanton corrections from tropical disks Mark Gross Directory Table of Contents Begin Article Copyright c 2008 mgross@math.ucsd.edu
More informationNon-trivial Torus Equivariant Vector bundles of Rank Three on P
Non-trivial Torus Equivariant Vector bundles of Rank Three on P Abstract Let T be a two dimensional algebraic torus over an algebraically closed field. Then P has a non trivial action of T and becomes
More informationWhen do the Recession Cones of a Polyhedral Complex Form a Fan?
Discrete Comput Geom (2011) 46:789 798 DOI 10.1007/s00454-010-9318-4 When do the Recession Cones of a Polyhedral Complex Form a Fan? José Ignacio Burgos Gil Martín Sombra Received: 3 September 2010 / Revised:
More informationPoint-Set Topology II
Point-Set Topology II Charles Staats September 14, 2010 1 More on Quotients Universal Property of Quotients. Let X be a topological space with equivalence relation. Suppose that f : X Y is continuous and
More informationWHEN DO THE RECESSION CONES OF A POLYHEDRAL COMPLEX FORM A FAN?
WHEN DO THE RECESSION CONES OF A POLYHEDRAL COMPLEX FORM A FAN? JOSÉ IGNACIO BURGOS GIL AND MARTÍN SOMBRA Abstract. We study the problem of when the collection of the recession cones of a polyhedral complex
More informationFano varieties and polytopes
Fano varieties and polytopes Olivier DEBARRE The Fano Conference Torino, September 29 October 5, 2002 Smooth Fano varieties A smooth Fano variety (over a fixed algebraically closed field k) is a smooth
More informationEdge unfolding Cut sets Source foldouts Proof and algorithm Complexity issues Aleksandrov unfolding? Unfolding polyhedra.
Unfolding polyhedra Ezra Miller University of Minnesota ezra@math.umn.edu University of Nebraska 27 April 2007 Outline 1. Edge unfolding 2. Cut sets 3. Source foldouts 4. Proof and algorithm 5. Complexity
More informationGraph Cohomology. Matthew Lin. Dagan Karp, Advisor. Satyan L. Devadoss, Reader. Department of Mathematics
Graph Cohomology Matthew Lin Dagan Karp, Advisor Satyan L. Devadoss, Reader Department of Mathematics May, 2016 Copyright 2016 Matthew Lin. The author grants Harvey Mudd College and the Claremont Colleges
More information4.2 Simplicial Homology Groups
4.2. SIMPLICIAL HOMOLOGY GROUPS 93 4.2 Simplicial Homology Groups 4.2.1 Simplicial Complexes Let p 0, p 1,... p k be k + 1 points in R n, with k n. We identify points in R n with the vectors that point
More informationCombinatorial Geometry & Topology arising in Game Theory and Optimization
Combinatorial Geometry & Topology arising in Game Theory and Optimization Jesús A. De Loera University of California, Davis LAST EPISODE... We discuss the content of the course... Convex Sets A set is
More informationLECTURE 1 Basic definitions, the intersection poset and the characteristic polynomial
R. STANLEY, HYPERPLANE ARRANGEMENTS LECTURE Basic definitions, the intersection poset and the characteristic polynomial.. Basic definitions The following notation is used throughout for certain sets of
More informationComputing Tropical Resultants. A. Jensen and J. Yu. REPORT No. 44, 2010/2011, spring ISSN X ISRN IML-R /11- -SE+spring
Computing Tropical Resultants A. Jensen and J. Yu REPORT No. 44, 2010/2011, spring ISSN 1103-467X ISRN IML-R- -44-10/11- -SE+spring COMPUTING TROPICAL RESULTANTS arxiv:1109.2368v2 [math.ag] 24 Mar 2013
More informationConvex Geometry arising in Optimization
Convex Geometry arising in Optimization Jesús A. De Loera University of California, Davis Berlin Mathematical School Summer 2015 WHAT IS THIS COURSE ABOUT? Combinatorial Convexity and Optimization PLAN
More informationLECTURE 8: SMOOTH SUBMANIFOLDS
LECTURE 8: SMOOTH SUBMANIFOLDS 1. Smooth submanifolds Let M be a smooth manifold of dimension n. What object can be called a smooth submanifold of M? (Recall: what is a vector subspace W of a vector space
More informationLECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES
LECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES MELODY CHAN Abstract. These are notes for a series of five lectures on Moduli and degenerations of algebraic curves via tropical geometry delivered at
More information2 A topological interlude
2 A topological interlude 2.1 Topological spaces Recall that a topological space is a set X with a topology: a collection T of subsets of X, known as open sets, such that and X are open, and finite intersections
More informationarxiv: v1 [math.co] 27 May 2013
STIEFEL TROPICAL LINEAR SPACES ALEX FINK AND FELIPE RINCÓN arxiv:1305.6329v1 [math.co] 27 May 2013 Dedicated to the memory of Andrei Zelevinsky. Abstract. The tropical Stiefel map associates to a tropical
More informationEuler Characteristic
Euler Characteristic Beifang Chen September 2, 2015 1 Euler Number There are two rules to follow when one counts the number of objects of finite sets. Given two finite sets A, B, we have (1) Addition Principle
More informationLecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More informationMutation-linear algebra and universal geometric cluster algebras
Mutation-linear algebra and universal geometric cluster algebras Nathan Reading NC State University Mutation-linear ( µ-linear ) algebra Universal geometric cluster algebras The mutation fan Universal
More informationLECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES
LECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES MELODY CHAN Abstract. These are notes for a series of five lectures on Moduli and degenerations of algebraic curves via tropical geometry for the CIMPA-
More informationCREPANT RESOLUTIONS OF GORENSTEIN TORIC SINGULARITIES AND UPPER BOUND THEOREM. Dimitrios I. Dais
Séminaires & Congrès 6, 2002, p. 187 192 CREPANT RESOLUTIONS OF GORENSTEIN TORIC SINGULARITIES AND UPPER BOUND THEOREM by Dimitrios I. Dais Abstract. A necessary condition for the existence of torus-equivariant
More informationGram s relation for cone valuations
Gram s relation for cone valuations Sebastian Manecke Goethe Universität Frankfurt joint work with Spencer Backman and Raman Sanyal July 31, 2018 Gram s relation for cone valuations Sebastian Manecke 1
More informationThe important function we will work with is the omega map ω, which we now describe.
20 MARGARET A. READDY 3. Lecture III: Hyperplane arrangements & zonotopes; Inequalities: a first look 3.1. Zonotopes. Recall that a zonotope Z can be described as the Minkowski sum of line segments: Z
More informationHomework Set #2 Math 440 Topology Topology by J. Munkres
Homework Set #2 Math 440 Topology Topology by J. Munkres Clayton J. Lungstrum October 26, 2012 Exercise 1. Prove that a topological space X is Hausdorff if and only if the diagonal = {(x, x) : x X} is
More informationarxiv: v3 [math.ag] 28 May 2010
TROPICAL CYCLES AND CHOW POLYTOPES ALEX FINK arxiv:1001.4784v3 [math.ag] 28 May 2010 Abstract. The Chow polytope of an algebraic cycle in a torus depends only on its tropicalisation. Generalising this,
More informationChapter 11. Topological Spaces: General Properties
11.1. Open Sets, Closed Sets, Bases, and Subbases 1 Chapter 11. Topological Spaces: General Properties Section 11.1. Open Sets, Closed Sets, Bases, and Subbases Note. In this section, we define a topological
More informationWedge operation and torus symmetries
Wedge operation and torus symmetries Suyoung Choi (Ajou Univ.) schoi@ajou.ac.kr (jointly with Hanchul Park (Ajou Univ.)) June 27th 2013 Joint International Meeting of the AMS and the Romanian Mathematical
More informationFACES OF CONVEX SETS
FACES OF CONVEX SETS VERA ROSHCHINA Abstract. We remind the basic definitions of faces of convex sets and their basic properties. For more details see the classic references [1, 2] and [4] for polytopes.
More information4. Simplicial Complexes and Simplicial Homology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n
More informationGeneralized Moment-Angle Complexes
Generalized Moment-Angle Complexes Fred Cohen 1-5 June 2010 joint work with Tony Bahri, Martin Bendersky, and Sam Gitler The setting and the problems: This report addresses joint work with Tony Bahri,
More informationFACE ENUMERATION FOR LINE ARRANGEMENTS IN A 2-TORUS
Indian J. Pure Appl. Math., 48(3): 345-362, September 2017 c Indian National Science Academy DOI: 10.1007/s13226-017-0234-7 FACE ENUMERATION FOR LINE ARRANGEMENTS IN A 2-TORUS Karthik Chandrasekhar and
More informationElementary Topology. Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way.
Elementary Topology Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way. Definition. properties: (i) T and X T, A topology on
More informationToric Cohomological Rigidity of Simple Convex Polytopes
Toric Cohomological Rigidity of Simple Convex Polytopes Dong Youp Suh (KAIST) The Second East Asian Conference on Algebraic Topology National University of Singapore December 15-19, 2008 1/ 28 This talk
More information4. Definition: topological space, open set, topology, trivial topology, discrete topology.
Topology Summary Note to the reader. If a statement is marked with [Not proved in the lecture], then the statement was stated but not proved in the lecture. Of course, you don t need to know the proof.
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Chapter 11 Construction of toric varieties 11.1 Recap example Example 11.1.1. Consider the Segre embedding seg : P 1 P 1 P 3 given by ((x 0, x 1 ), (y 0, y 1 )) (x 0
More informationBasics of Combinatorial Topology
Chapter 7 Basics of Combinatorial Topology 7.1 Simplicial and Polyhedral Complexes In order to study and manipulate complex shapes it is convenient to discretize these shapes and to view them as the union
More informationApplied Integer Programming
Applied Integer Programming D.S. Chen; R.G. Batson; Y. Dang Fahimeh 8.2 8.7 April 21, 2015 Context 8.2. Convex sets 8.3. Describing a bounded polyhedron 8.4. Describing unbounded polyhedron 8.5. Faces,
More informationTopological properties of convex sets
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 5: Topological properties of convex sets 5.1 Interior and closure of convex sets Let
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationCOMBINATORIAL STRATIFICATIONS
COMBINATORIAL STRATIFICATIONS INSTANCES OF IMPACT IN GEOMETRY AND TOPOLOGY EVA MARIA FEICHTNER Habilitationsschrift zur Erlangung der Lehrbefähigung für Mathematik Fakultät II Mathematik und Naturwissenschaften
More informationHowever, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).
98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating
More informationRATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES. Contents 1. Introduction 1 2. The proof of Theorem References 9
RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES IZZET COSKUN AND JASON STARR Abstract. We prove that the space of rational curves of a fixed degree on any smooth cubic hypersurface of dimension at least
More informationBoundary Curves of Incompressible Surfaces
Boundary Curves of Incompressible Surfaces Allen Hatcher This is a Tex version, made in 2004, of a paper that appeared in Pac. J. Math. 99 (1982), 373-377, with some revisions in the exposition. Let M
More informationSuppose we have a function p : X Y from a topological space X onto a set Y. we want to give a topology on Y so that p becomes a continuous map.
V.3 Quotient Space Suppose we have a function p : X Y from a topological space X onto a set Y. we want to give a topology on Y so that p becomes a continuous map. Remark If we assign the indiscrete topology
More informationarxiv: v3 [math.co] 31 May 2015
STIEFEL TROPICAL LINEAR SPACES ALEX FINK 1 AND FELIPE RINCÓN2 arxiv:1305.6329v3 [math.co] 31 May 2015 Dedicated to the memory of Andrei Zelevinsky. Abstract. The tropical Stiefel map associates to a tropical
More informationL-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY
MOSCOW MATHEMATICAL JOURNAL Volume 3, Number 3, July September 2003, Pages 1013 1037 L-CONVEX-CONCAVE SETS IN REAL PROJECTIVE SPACE AND L-DUALITY A. KHOVANSKII AND D. NOVIKOV Dedicated to Vladimir Igorevich
More informationLecture 17: Continuous Functions
Lecture 17: Continuous Functions 1 Continuous Functions Let (X, T X ) and (Y, T Y ) be topological spaces. Definition 1.1 (Continuous Function). A function f : X Y is said to be continuous if the inverse
More informationMatroidal Subdivisions, Dressians and Tropical Grassmannians
Matroidal Subdivisions, Dressians and Tropical Grassmannians Benjamin Schröter Technische Universität Berlin Berlin, November 17, 2017 Overview 1. Introduction to tropical linear spaces 2. Matroids from
More informationCluster algebras and infinite associahedra
Cluster algebras and infinite associahedra Nathan Reading NC State University CombinaTexas 2008 Coxeter groups Associahedra and cluster algebras Sortable elements/cambrian fans Infinite type Much of the
More informationReflection groups 4. Mike Davis. May 19, Sao Paulo
Reflection groups 4 Mike Davis Sao Paulo May 19, 2014 https://people.math.osu.edu/davis.12/slides.html 1 2 Exotic fundamental gps Nonsmoothable aspherical manifolds 3 Let (W, S) be a Coxeter system. S
More informationA GEOMETRIC DESCRIPTION OF THE PSL 4 (R)-HITCHIN COMPONENT
A GEOMETRIC DESCRIPTION OF THE PSL 4 (R)-HITCHIN COMPONENT SAMUEL A. BALLAS Abstract. These notes form a rough outline of the correspondence between the PSL 4 (R)- Hitchin component and convex foliated
More informationUNIVERSITY OF CALIFORNIA, SAN DIEGO. Toric Degenerations of Calabi-Yau Manifolds in Grassmannians
UNIVERSITY OF CALIFORNIA, SAN DIEGO Toric Degenerations of Calabi-Yau Manifolds in Grassmannians A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy
More informationConstructing self-dual chiral polytopes
Constructing self-dual chiral polytopes Gabe Cunningham Northeastern University, Boston, MA October 25, 2011 Definition of an abstract polytope Let P be a ranked poset, whose elements we call faces. Then
More informationMath 190: Quotient Topology Supplement
Math 190: Quotient Topology Supplement 1. Introduction The purpose of this document is to give an introduction to the quotient topology. The quotient topology is one of the most ubiquitous constructions
More informationarxiv: v2 [math.ag] 1 Mar 2008
arxiv:0704.2727v2 [math.ag] 1 Mar 2008 Complex quotients by nonclosed groups and their stratifications Fiammetta Battaglia Abstract We define the notion of complex stratification by quasifolds and show
More informationManifolds. Chapter X. 44. Locally Euclidean Spaces
Chapter X Manifolds 44. Locally Euclidean Spaces 44 1. Definition of Locally Euclidean Space Let n be a non-negative integer. A topological space X is called a locally Euclidean space of dimension n if
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More informationTopology problem set Integration workshop 2010
Topology problem set Integration workshop 2010 July 28, 2010 1 Topological spaces and Continuous functions 1.1 If T 1 and T 2 are two topologies on X, show that (X, T 1 T 2 ) is also a topological space.
More informationThe Cyclic Cycle Complex of a Surface
The Cyclic Cycle Complex of a Surface Allen Hatcher A recent paper [BBM] by Bestvina, Bux, and Margalit contains a construction of a cell complex that gives a combinatorial model for the collection of
More informationCombinatorics I (Lecture 36)
Combinatorics I (Lecture 36) February 18, 2015 Our goal in this lecture (and the next) is to carry out the combinatorial steps in the proof of the main theorem of Part III. We begin by recalling some notation
More informationLattice-point generating functions for free sums of polytopes
Lattice-point generating functions for free sums of polytopes Tyrrell B. McAllister 1 Joint work with Matthias Beck 2 and Pallavi Jayawant 3 1 University of Wyoming 2 San Francisco State University 3 Bates
More informationA non-partitionable Cohen-Macaulay simplicial complex
A non-partitionable Cohen-Macaulay simplicial complex Art Duval 1, Bennet Goeckner 2, Caroline Klivans 3, Jeremy Martin 2 1 University of Texas at El Paso, 2 University of Kansas, 3 Brown University Discrete
More informationNotes on metric spaces and topology. Math 309: Topics in geometry. Dale Rolfsen. University of British Columbia
Notes on metric spaces and topology Math 309: Topics in geometry Dale Rolfsen University of British Columbia Let X be a set; we ll generally refer to its elements as points. A distance function, or metric
More informationLecture 2 - Introduction to Polytopes
Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.
More informationTable of contents of EGA I IV Chapter 0. Preliminaries (In Volume I) 1. Rings of fractions 1.0 Rings and algebras 1.1 Radical of an ideal; nilradical
Table of contents of EGA I IV Chapter 0. Preliminaries (In Volume I) 1. Rings of fractions 1.0 Rings and algebras 1.1 Radical of an ideal; nilradical and radical of a ring 1.2 Modules and rings of fractions
More informationLecture 2. Topology of Sets in R n. August 27, 2008
Lecture 2 Topology of Sets in R n August 27, 2008 Outline Vectors, Matrices, Norms, Convergence Open and Closed Sets Special Sets: Subspace, Affine Set, Cone, Convex Set Special Convex Sets: Hyperplane,
More informationGeometric structures on manifolds
CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory
More informationMath 5593 Linear Programming Lecture Notes
Math 5593 Linear Programming Lecture Notes Unit II: Theory & Foundations (Convex Analysis) University of Colorado Denver, Fall 2013 Topics 1 Convex Sets 1 1.1 Basic Properties (Luenberger-Ye Appendix B.1).........................
More informationSOCIAL CHOICE AMONG COMPLEX OBJECTS:MATHEMATICAL TOOLS
SOCIAL CHOICE AMONG COMPLEX OBJECTS:MATHEMATICAL TOOLS SIMONA SETTEPANELLA Abstract. Here the reader can find some basic definitions and notations in order to better understand the model for social choise
More informationClassification of smooth Fano polytopes
Classification of smooth Fano polytopes Mikkel Øbro PhD thesis Advisor: Johan Peder Hansen September 2007 Department of Mathematical Sciences, Faculty of Science University of Aarhus Introduction This
More informationProjection Volumes of Hyperplane Arrangements
Discrete Comput Geom (2011) 46:417 426 DOI 10.1007/s00454-011-9363-7 Projection Volumes of Hyperplane Arrangements Caroline J. Klivans Ed Swartz Received: 11 February 2010 / Revised: 25 April 2011 / Accepted:
More informationThe space of tropically collinear points is shellable
Collect. Math. 60, (2009), 63 77 c 2009 Universitat de Barcelona The space of tropically collinear points is shellable Hannah Markwig University of Michigan, Department of Mathematics, 2074 East Hall 530
More informationA Little Point Set Topology
A Little Point Set Topology A topological space is a generalization of a metric space that allows one to talk about limits, convergence, continuity and so on without requiring the concept of a distance
More informationTOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.
TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead
More information4 Basis, Subbasis, Subspace
4 Basis, Subbasis, Subspace Our main goal in this chapter is to develop some tools that make it easier to construct examples of topological spaces. By Definition 3.12 in order to define a topology on a
More informationLinear programming and duality theory
Linear programming and duality theory Complements of Operations Research Giovanni Righini Linear Programming (LP) A linear program is defined by linear constraints, a linear objective function. Its variables
More informationTopology - I. Michael Shulman WOMP 2004
Topology - I Michael Shulman WOMP 2004 1 Topological Spaces There are many different ways to define a topological space; the most common one is as follows: Definition 1.1 A topological space (often just
More informationCOMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY
COMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY 1. Geometric and abstract simplicial complexes Let v 0, v 1,..., v k be points in R n. These points determine a hyperplane in R n, consisting of linear combinations
More informationTopological Invariance under Line Graph Transformations
Symmetry 2012, 4, 329-335; doi:103390/sym4020329 Article OPEN ACCESS symmetry ISSN 2073-8994 wwwmdpicom/journal/symmetry Topological Invariance under Line Graph Transformations Allen D Parks Electromagnetic
More informationMA4254: Discrete Optimization. Defeng Sun. Department of Mathematics National University of Singapore Office: S Telephone:
MA4254: Discrete Optimization Defeng Sun Department of Mathematics National University of Singapore Office: S14-04-25 Telephone: 6516 3343 Aims/Objectives: Discrete optimization deals with problems of
More informationLecture 15: The subspace topology, Closed sets
Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology
More informationTopology I Test 1 Solutions October 13, 2008
Topology I Test 1 Solutions October 13, 2008 1. Do FIVE of the following: (a) Give a careful definition of connected. A topological space X is connected if for any two sets A and B such that A B = X, we
More informationChapter 4 Concepts from Geometry
Chapter 4 Concepts from Geometry An Introduction to Optimization Spring, 2014 Wei-Ta Chu 1 Line Segments The line segment between two points and in R n is the set of points on the straight line joining
More informationTROPICAL CONVEXITY MIKE DEVELIN AND BERND STURMFELS
TROPICAL CONVEXITY MIKE DEVELIN AND BERND STURMFELS Abstract. The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes
More informationarxiv: v2 [math.co] 24 Aug 2016
Slicing and dicing polytopes arxiv:1608.05372v2 [math.co] 24 Aug 2016 Patrik Norén June 23, 2018 Abstract Using tropical convexity Dochtermann, Fink, and Sanyal proved that regular fine mixed subdivisions
More informationLP Geometry: outline. A general LP. minimize x c T x s.t. a T i. x b i, i 2 M 1 a T i x = b i, i 2 M 3 x j 0, j 2 N 1. where
LP Geometry: outline I Polyhedra I Extreme points, vertices, basic feasible solutions I Degeneracy I Existence of extreme points I Optimality of extreme points IOE 610: LP II, Fall 2013 Geometry of Linear
More informationGeometry. Tropical Secant Varieties of Linear Spaces. Mike Develin. 1. Introduction
Discrete Comput Geom 35:117 129 (2006) DOI: 101007/s00454-005-1182-2 Discrete & Computational Geometry 2005 Springer Science+Business Media, Inc Tropical Secant Varieties of Linear Spaces Mike Develin
More informationLecture 6: Faces, Facets
IE 511: Integer Programming, Spring 2019 31 Jan, 2019 Lecturer: Karthik Chandrasekaran Lecture 6: Faces, Facets Scribe: Setareh Taki Disclaimer: These notes have not been subjected to the usual scrutiny
More informationIn class 75min: 2:55-4:10 Thu 9/30.
MATH 4530 Topology. In class 75min: 2:55-4:10 Thu 9/30. Prelim I Solutions Problem 1: Consider the following topological spaces: (1) Z as a subspace of R with the finite complement topology (2) [0, π]
More informationLecture 5: Simplicial Complex
Lecture 5: Simplicial Complex 2-Manifolds, Simplex and Simplicial Complex Scribed by: Lei Wang First part of this lecture finishes 2-Manifolds. Rest part of this lecture talks about simplicial complex.
More informationThe Convex Hull of a Space Curve. Bernd Sturmfels, UC Berkeley (two papers with Kristian Ranestad)
The Convex Hull of a Space Curve Bernd Sturmfels, UC Berkeley (two papers with Kristian Ranestad) Convex Hull of a Trigonometric Curve { (cos(θ), sin(2θ), cos(3θ) ) R 3 : θ [0, 2π] } = { (x, y, z) R 3
More informationNumerical Optimization
Convex Sets Computer Science and Automation Indian Institute of Science Bangalore 560 012, India. NPTEL Course on Let x 1, x 2 R n, x 1 x 2. Line and line segment Line passing through x 1 and x 2 : {y
More informationA non-partitionable Cohen-Macaulay simplicial complex
A non-partitionable Cohen-Macaulay simplicial complex Art Duval 1, Bennet Goeckner 2, Caroline Klivans 3, Jeremy Martin 2 1 University of Texas at El Paso, 2 University of Kansas, 3 Brown University Department
More informationPolytopes Course Notes
Polytopes Course Notes Carl W. Lee Department of Mathematics University of Kentucky Lexington, KY 40506 lee@ms.uky.edu Fall 2013 i Contents 1 Polytopes 1 1.1 Convex Combinations and V-Polytopes.....................
More informationStratified and unstratified bordism of pseudomanifolds
Stratified and unstratified bordism of pseudomanifolds Greg Friedman May 11, 2015 Abstract We study bordism groups and bordism homology theories based on pseudomanifolds and stratified pseudomanifolds.
More informationCOMP331/557. Chapter 2: The Geometry of Linear Programming. (Bertsimas & Tsitsiklis, Chapter 2)
COMP331/557 Chapter 2: The Geometry of Linear Programming (Bertsimas & Tsitsiklis, Chapter 2) 49 Polyhedra and Polytopes Definition 2.1. Let A 2 R m n and b 2 R m. a set {x 2 R n A x b} is called polyhedron
More information