arXiv:math/0501246v2 [math.CO] 21 Jul 2006 k ftehprue[0 hypercube the of P h ueinnumber Eulerian the in.Te r lowih oyoe ftefnaetlreprese fundamental the of polytopes group weight act linear also torus general are for polytopes They moment are nians. they example, For contexts. bet.I A2,w iltettegnrlcs fa rirr ro arbitrary an of case general the treat will we [AP2], In objects. where hsi h rto w aesaotacvdpltps nti pape this In polytopes. alcoved type Lie about the papers of two polytopes alcoved of on and first centrate the associahedra, is generalized This Fomin-Zelevinsky’s polytopes order polytopes, hypersimplices, troid polytopes: of polytop classes Alcoved interesting alcoves. into triangulations coherent with equipped loe.I te od,a loe oyoei h nescinof intersection the is hyperplanes the polytope alcoved by an bounded words, other In alcoves. Φ naoet-n orsodnewt lmnso h soitda associated the alcov of called an elements simplices define with We are correspondence arrangements one-to-one Coxeter a in affine the of regions ( .SonFudto eerhfellowship. research Foundation Sloan P. ain ecns aris ueinplnmas Grassm polynomials, Eulerian matroids, descents, lation, ,x α, − ⊂ yesmlcsaeitgrpltpswihapa nagbacadge and algebraic in appear which polytopes integer are Hypersimplices h ffieCxtrarneeto nirdcbecytlorpi r crystallographic irreducible an of arrangement Coxeter affine The 2000 Date ..wsspotdi atb ainlSineFudto gr Foundation Science National by part in supported was A.P. e od n phrases. and words Key x i ecns tne Sa]epandti atb osrcigatr a constructing by fact this explained [Sta1] Stanley descents. 1 = ) V = b pi 1 05 pae nFbur ,20 n a 2 2006. 22, May and 2006 2, February on updated 2005; 21, April : ahmtc ujc Classification. Subject Mathematics ≃ α k Abstract. esuyacaso ari oyoe,wihw altemulti the call we which polytopes, matroid of polyto class these of a volumes study for we t formula combinatorial of polytopes a graphs alcoved give adjacency of and the terms polytopes, alcoved in of them angulations explain hypersimpl and of h Sturmfels triangulations the and of example, constructions for two polytopes, compare classical cla many This includes arrangements. Coxeter topes affine from arising polytopes ti elko httenraie oueo hshpripe equals hypersimplex this of volume normalized the that well-know is It . k R and } , r α sotie ytkn l nee ffietranslations affine integer all taking by obtained is loe polytope alcoved c ∈ α r oeitgrprmtr.Teepltpscm naturally come polytopes These parameters. integer some are Φ, h i fti ae st td loe oyoe,wihare which polytopes, alcoved study to is paper this of aim The HMSLMADAEADRPOSTNIKOV ALEXANDER AND LAM THOMAS , 1] GL P k A n − k,n = ∈ ovxpltps ffieWy ru,acvs hypersimplex, alcoves, group, Weyl affine polytopes, Convex n 1 LOE OYOE I POLYTOPES ALCOVED h ( The . { − Z oae ewe h w hyperplanes two the between located x 1 ftehprlnspredclrt h ot.The roots. the to perpendicular hyperplanes the of , .. h ubro emttoso size of permutations of number the i.e., , H ∈ P α,k V 1. ,n k, sacne oyoeta steuino several of union the is that polytope convex a as : | Introduction b α -hhpripe a edfie steslice the as defined be can hypersimplex )-th ≤ rmr 2,scnay05A. secondary 52B, Primary ( 1 ,x α, ) A ≤ nin Gr¨obner basis. annian, aeado eae combinatorial related on and case c α α , n M-219 n yAlfred by and DMS-0201494 ant ∈ Φ eetriangulations, hese csdet Stanley to due ices pripie.We ypersimplices. e.I particular, In pes. } so ovxpoly- convex of ss , -hypersimplices. esuytri- study We . oso Grassman- on ions oeseilma- special some , P n elgroup. Weyl ffine H oehalf-spaces some tsystem. ot sicuemany include es x ttoso the of ntations α,k i ayothers. many s hyare They es. = = iangulation o system oot n ,w con- we r, k − { − x ometric triangu- with 1 and 1 ∈ V | 2 THOMASLAMANDALEXANDERPOSTNIKOV of the hypersimplex into Ak,n−1 unit simplices. Another construction of a trian- gulation of the hypersimplex was given by Sturmfels [Stu]. It naturally appears in the context of Gr¨obner bases. These two constructions of triangulations are quite different. In Section 2, we compare these triangulations and show that they are actually identical to each other and that they can be naturally described in terms of alcoved polytopes.1 In Section 3, we extend the descriptions of this triangulation to general alcoved polytopes, and give a formula for the volume of an alcoved polytope. In Sections 4–6, we study in detail three examples of alcoved polytopes: the matroid polytopes, the second hypersimplex and the multi-hypersimplices. In the second part [AP2] of this paper, we will extend the hypersimplices to all Lie types and calculate their volumes. We will prove a general theorem on volumes of alcoved polytopes. We will give uniform generalizations of the descent and major index statistics, appropriate for our geometric approach. Some alcoved polytopes have also been studied from a more algebraic perspective earlier; see [KKMS, BGT].
2. Four triangulations of the hypersimplex [n] Let us fix integers 0