The Coxeter complex and the Euler characteristics of a Hecke algebra
|
|
- Anastasia Mathews
- 6 years ago
- Views:
Transcription
1 The Coxeter complex and the Euler characteristics of a Hecke algebra Tommaso Terragni A joint work with Thomas Weigel Università di Milano Bicocca Ischia Group Theory 2012 T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
2 Coxeter groups A Coxeter system (W, S) consists of a group W generated by a finite set S of involutions subject to relations of the form (st) ms,t, for s t S and suitable m s,t Z 2 { }. For I S the parabolic subsystem is (W I, I ), where W I = I. Let l: W N 0 be the length function w.r.t. the generating system S. Define the Poincaré series of (W, S) as p (W,S) (t) = w W t l(w) Z t. It is well-known that p (W,S) (t) is a rational function and, for W =, 1 p (W,S) (t) = I S ( 1) S\I 1 1 p (WI,I )(t). ( ) T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
3 Euler characteristic of Coxeter groups Theorem (Serre 71) If (W, S) is a Coxeter group then W is of type WFL (hence VFP): thus, it admits an Euler characteristic χ W. Moreover, χ W = 1 p (W,S) (1). T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
4 Euler characteristic of Coxeter groups Theorem (Serre 71) If (W, S) is a Coxeter group then W is of type WFL (hence VFP): thus, it admits an Euler characteristic χ W. Moreover, χ W = 1 p (W,S) (1). A recursive, alternating-sum formula (like ( )) is often associated to the Euler characteristic of a suitably defined algebraic object. Thus, the following question is natural: Main problem Does there exist an object (associated with (W, S)) such that its Euler characteristics coincides with the inverse of the Poincaré series p (W,S) (t)? What is a sensible definition of Euler characteristic for such objects? T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
5 Hecke algebras Datum: a Coxeter system (W, S), a commutative ring R and a parameter q R. R-Hecke algebra H q (W, S) Let H be the free R-module with basis { T w w W } and associative R-linear multiplication defined by { T sw if l(sw) > l(w) T st w = qt sw + (q 1)T w if l(sw) < l(w), for s S and w W. The function l is the length function of (W, S). T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
6 Hecke algebras Datum: a Coxeter system (W, S), a commutative ring R and a parameter q R. R-Hecke algebra H q (W, S) Let H be the free R-module with basis { T w w W } and associative R-linear multiplication defined by { T sw if l(sw) > l(w) T st w = qt sw + (q 1)T w if l(sw) < l(w), for s S and w W. The function l is the length function of (W, S). For q = 1 R, one has H 1(W, S) R[W ]. Thus, a Hecke algebra can be considered as a generic form or a deformation of the group algebra of the Coxeter group. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
7 Hecke algebras Datum: a Coxeter system (W, S), a commutative ring R and a parameter q R. R-Hecke algebra H q (W, S) Let H be the free R-module with basis { T w w W } and associative R-linear multiplication defined by { T sw if l(sw) > l(w) T st w = qt sw + (q 1)T w if l(sw) < l(w), for s S and w W. The function l is the length function of (W, S). For q = 1 R, one has H 1(W, S) R[W ]. Thus, a Hecke algebra can be considered as a generic form or a deformation of the group algebra of the Coxeter group. Hecke algebras (and their parabolic subalgebras) are canonically equipped with A free R-basis {T w w W }, a linear character ε q : H R, ε q(t w ) = q l(w) (trivial module R q), an antipodal map : H op H, (T w ) = T w 1, a poset of parabolic subalgebras H I. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
8 Euler algebras, 1 We propose the definition of Euler algebras to single out the sufficient conditions for an (associative) algebra to admit a notion of Euler characteristic. This mimicks the behaviour of group algebras. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
9 Euler algebras, 1 We propose the definition of Euler algebras to single out the sufficient conditions for an (associative) algebra to admit a notion of Euler characteristic. This mimicks the behaviour of group algebras. Definition Euler R-algebra Let A be an associative R-algebra, together with be a free R-basis B 1, an antipodal map : H op H such that B = B, an augmentation ε: A R onto a one-dimensional left A-module R ε, such that ε = ε, a canonical trace function µ: A/[A, A] R defined by µ(a) = δ 1,aε(a) for a B. Suppose further that R q is a left A-module of type FP, i.e., it admits a finite, projective A-resolution. Then, the 5-tuple A = (A, B,, ε, µ) is an Euler algebra. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
10 Euler algebras, 2 Let M be a left A-module of type FP (with a finite, projective resolution P ). The Hattori Stallings rank of M is defined as the element r M = k 0( 1) k p k(p k ) + [A, A] A/[A, A], where γ(pk p k ) = id Pk for the natural isomorphism γ : Pk P k End A (P k ). This only depends on the module M, and not on P. If B A is an inclusion of Euler algebras and if A is B-flat, then, for B-module M r ind A B M = r M + [A, A]. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
11 Euler algebras, 2 Let M be a left A-module of type FP (with a finite, projective resolution P ). The Hattori Stallings rank of M is defined as the element r M = k 0( 1) k p k(p k ) + [A, A] A/[A, A], where γ(pk p k ) = id Pk for the natural isomorphism γ : Pk P k End A (P k ). This only depends on the module M, and not on P. If B A is an inclusion of Euler algebras and if A is B-flat, then, for B-module M r ind A B M = r M + [A, A]. A trace function is a map of R-modules µ: A/[A, A] R. Definition (Euler characteristic) For an R-Euler algebra A = (A, B,, ε, µ), define χ A = µ(r Rε ). T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
12 rstr stsr str srtr rtsr tsr tr rtr tsrt sr r rt srt trsr rsr 1 t rsrt rs s st rst strs trs ts sts trst rtrs rts rsts srts Hecke algebras are Euler, 1 We already know that Hecke algebras admit a free basis {T w w W }, an antipode T w T w 1, an augmentation ε q and a canonical trace function µ defined by µ(t w ) = δ 1,w. Last step: proving that the trivial module R q is of type FP. Coxeter groups have a very rich geometry, and from the Coxeter complex one can produce resolutions of the trivial module. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
13 Hecke algebras are Euler, 1 We already know that Hecke algebras admit a free basis {T w w W }, an antipode T w T w 1, an augmentation ε q and a canonical trace function µ defined by µ(t w ) = δ 1,w. Last step: proving that the trivial module R q is of type FP. Coxeter groups have a very rich geometry, and from the Coxeter complex one can produce resolutions of the trivial module. Unfortunately, there is no obvious geometry for Hecke algebras, T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
14 Hecke algebras are Euler, 1 We already know that Hecke algebras admit a free basis {T w w W }, an antipode T w T w 1, an augmentation ε q and a canonical trace function µ defined by µ(t w ) = δ 1,w. Last step: proving that the trivial module R q is of type FP. Coxeter groups have a very rich geometry, and from the Coxeter complex one can produce resolutions of the trivial module. Unfortunately, there is no obvious geometry for Hecke algebras, but we constructed a module-theoretic analogue C of the Coxeter complex Σ (canonical up to the choice of a total order < on S). Let I S and denote ind S I the induction from left H I - to left H-modules. If W I is finite and p (W,S) (q) R is invertible, then let e I = w W I T w. Then 1 p (W,S) (q) e 2 I = e I and ind S I R q He I. Moreover the Hattori Stallings rank of ind S I R q is e I + [H I, H I ]. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
15 Hecke algebras are Euler, 2 For I S and s S, define deg(i ) = S I 1 and the sign map sgn(s, I ) = ( 1) { t S\I t<s }. The Hecke Coxeter complex (C, ). S 1 (C, ) = 0 C S 1 C S C 1 C 0 0, where C k = deg(i )=k inds I R q and k (T w η I ) = sgn(s, I )ε q(t wj )T w J η J. s S\I J=I {s} T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
16 Hecke algebras are Euler, 2 For I S and s S, define deg(i ) = S I 1 and the sign map sgn(s, I ) = ( 1) { t S\I t<s }. The Hecke Coxeter complex (C, ). S 1 (C, ) = 0 C S 1 C S C 1 C 0 0, where C k = deg(i )=k inds I R q and k (T w η I ) = sgn(s, I )ε q(t wj )T w J η J. s S\I J=I {s} Theorem A Let (W, S) be a Coxeter group with 2 S < and let C be the Hecke Coxeter complex of the R-Hecke algebra H = H q(w, S). If (W, S) is spherical, then H k (C) = 0 unless k = 0 or k = S 1. Moreover, H 0(C) R q and H S 1 (C) R 1. If (W, S) is non-spherical then C is acyclic with H 0(C) R q. T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
17 Euler characteristic of Hecke algebras Suppose p (WI,I )(q) is invertible for all I such that W I is finite. Then, by a standard argument, the trivial module R q is of type FP. ( ) T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
18 Euler characteristic of Hecke algebras Suppose p (WI,I )(q) is invertible for all I such that W I is finite. Then, by a standard argument, the trivial module R q is of type FP. ( ) Proposition B Any Hecke algebra H q(w, S) is of type FP if the condition ( ) on q holds true. With the canonical structure H = (H,, ε q, B, µ) described before, any Hecke algebra satisfying ( ) is an Euler algebra. When R = Z q and W = one thus has χ H = I S ( 1) S\I 1 1 p (WI,I )(q) = 1 p (W,S) (q). T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
19 Euler characteristic of Hecke algebras Suppose p (WI,I )(q) is invertible for all I such that W I is finite. Then, by a standard argument, the trivial module R q is of type FP. ( ) Proposition B Any Hecke algebra H q(w, S) is of type FP if the condition ( ) on q holds true. With the canonical structure H = (H,, ε q, B, µ) described before, any Hecke algebra satisfying ( ) is an Euler algebra. When R = Z q and W = one thus has χ H = I S ( 1) S\I 1 1 p (WI,I )(q) = 1 p (W,S) (q). Dealing separately also the (elementary) case W < one has Corollary If R = Z q and H is the R-Hecke algebra with Coxeter system (W, S), then χ H p (W,S) (q) = 1 T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
20 References H. Bass, Euler characteristics and characters of discrete groups N. Bourbaki, Groupes et algèbres de Lie, Ch. 4 à 6. K.S. Brown, Cohomology of groups. M. Geck & G. Pfeiffer, Characters of finite Coxeter groups and Iwahori-Hecke algebras. J.-P. Serre, Cohomologie des groupes discrets. T. Terragni & T.S. Weigel, The Coxeter complex and the Euler characteristic of a Hecke algebra, ArXiv:math/ Picture of (2, 3, 7) hyperbolic tiling by C. Rocchini, under CC-BY 2.5, heptakis heptagonal tiling.png T. Terragni (UniMiB) Euler characteristic of Hecke algebras IGT / 10
arxiv: v4 [math.co] 25 Apr 2010
QUIVERS OF FINITE MUTATION TYPE AND SKEW-SYMMETRIC MATRICES arxiv:0905.3613v4 [math.co] 25 Apr 2010 AHMET I. SEVEN Abstract. Quivers of finite mutation type are certain directed graphs that first arised
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 informationMonads T T T T T. Dually (by inverting the arrows in the given definition) one can define the notion of a comonad. T T
Monads Definition A monad T is a category C is a monoid in the category of endofunctors C C. More explicitly, a monad in C is a triple T, η, µ, where T : C C is a functor and η : I C T, µ : T T T are natural
More informationGenerell Topologi. Richard Williamson. May 6, 2013
Generell Topologi Richard Williamson May 6, 2013 1 8 Thursday 7th February 8.1 Using connectedness to distinguish between topological spaces I Proposition 8.1. Let (, O ) and (Y, O Y ) be topological spaces.
More informationLecture 009 (November 25, 2009) Suppose that I is a small category, and let s(r Mod) I be the category of I-diagrams in simplicial modules.
Lecture 009 (November 25, 2009) 20 Homotopy colimits Suppose that I is a small category, and let s(r Mod) I be the category of I-diagrams in simplicial modules. The objects of this category are the functors
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 informationEuclidean Space. Definition 1 (Euclidean Space) A Euclidean space is a finite-dimensional vector space over the reals R, with an inner product,.
Definition 1 () A Euclidean space is a finite-dimensional vector space over the reals R, with an inner product,. 1 Inner Product Definition 2 (Inner Product) An inner product, on a real vector space X
More informationBRAUER GROUPS: TALK 1
BRAUER GROUPS: TALK 1 JEREMY BOOHER In this first talk, we will discuss the topological Brauer group and the Brauer group of Spec k, which are classically studied in the guise of central simple algebras.
More informationIndependence for Exchange Graphs and Cluster Complexes
Independence for Exchange Graphs and Cluster Complexes P.-G. Plamondon October 29, 2012 Joint work with G. Cerulli Irelli, B. Keller, D. Labardini-Fragoso. 1 Exchange Graphs and Cluster Complexes Setting:
More informationCUBICAL SIMPLICIAL VOLUME OF SURFACES
CUBICAL SIMPLICIAL VOLUME OF SURFACES CLARA LÖH AND CHRISTIAN PLANKL ABSTRACT. Cubical simplicial volume is a variation on simplicial volume, based on cubes instead of simplices. Both invariants are homotopy
More informationINTRODUCTION AND PREVIEW
Chapter One INTRODUCTION AND PREVIEW 1.1. INTRODUCTION Geometric Reflection Groups Finite groups generated by orthogonal linear reflections on R n play a decisive role in the classification of Lie groups
More informationSmall CW -models for Eilenberg-Mac Lane spaces
Small CW -models for Eilenberg-Mac Lane spaces in honour of Prof. Dr. Hans-Joachim Baues Bonn, March 2008 Clemens Berger (Nice) 1 Part 1. Simplicial sets. The simplex category is the category of finite
More informationMinimal mutation-infinite quivers. Introduction. Quivers. John Lawson. Workshop on Cluster Algebras and finite dimensional algebras
Durham University John Lawson Workshop on Cluster Algebras and finite dimensional algebras John Lawson Thank organisers for the conference. Durham University Workshop on Cluster Algebras and finite dimensional
More informationGENERALIZED CPR-GRAPHS AND APPLICATIONS
Volume 5, Number 2, Pages 76 105 ISSN 1715-0868 GENERALIZED CPR-GRAPHS AND APPLICATIONS DANIEL PELLICER AND ASIA IVIĆ WEISS Abstract. We give conditions for oriented labeled graphs that must be satisfied
More informationMODELS OF CUBIC THEORIES
Bulletin of the Section of Logic Volume 43:1/2 (2014), pp. 19 34 Sergey Sudoplatov MODELS OF CUBIC THEORIES Abstract Cubic structures and cubic theories are defined on a base of multidimensional cubes.
More informationExamples of Groups: Coxeter Groups
Examples of Groups: Coxeter Groups OSU May 31, 2008 http://www.math.ohio-state.edu/ mdavis/ 1 Geometric reflection groups Some history Properties 2 Coxeter systems The cell complex Σ Variation for Artin
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 information1. Complex Projective Surfaces
1. Complex Projective Surfaces 1.1 Notation and preliminaries In this section we fix some notations and some basic results (we do not prove: good references are [Bea78] and [BPV84]) we will use in these
More informationIntroduction to Coxeter Groups
OSU April 25, 2011 http://www.math.ohio-state.edu/ mdavis/ 1 Geometric reflection groups Some history Properties 2 Some history Properties Dihedral groups A dihedral gp is any gp which is generated by
More informationThree applications of Euler s formula. Chapter 10
Three applications of Euler s formula Chapter 10 A graph is planar if it can be drawn in the plane R without crossing edges (or, equivalently, on the -dimensional sphere S ). We talk of a plane graph if
More informationI. An introduction to Boolean inverse semigroups
I. An introduction to Boolean inverse semigroups Mark V Lawson Heriot-Watt University, Edinburgh June 2016 1 0. In principio The monograph J. Renault, A groupoid approach to C - algebras, Lecture Notes
More informationINTERSECTION REPRESENTATIONS OF GRAPHS BY ARCS
PACIFIC JOURNAL OF MATHEMATICS Vol. 34, No. 2, 1970 INTERSECTION REPRESENTATIONS OF GRAPHS BY ARCS PETER L. RENZ In this paper we investigate relationship between the intersection pattern of families of
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 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 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 informationMATH 423 Linear Algebra II Lecture 17: Reduced row echelon form (continued). Determinant of a matrix.
MATH 423 Linear Algebra II Lecture 17: Reduced row echelon form (continued). Determinant of a matrix. Row echelon form A matrix is said to be in the row echelon form if the leading entries shift to the
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 informationThe Charney-Davis conjecture for certain subdivisions of spheres
The Charney-Davis conjecture for certain subdivisions of spheres Andrew Frohmader September, 008 Abstract Notions of sesquiconstructible complexes and odd iterated stellar subdivisions are introduced,
More informationA fan for every cluster algebra
A fan for every cluster algebra Nathan Reading NC State University Combinatorics and beyond: the many facets of Sergey Fomin s mathematics University of Michigan November 8-11, 2018 Cluster algebras of
More informationA GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY
A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,
More informationA MODEL CATEGORY STRUCTURE ON THE CATEGORY OF SIMPLICIAL CATEGORIES
A MODEL CATEGORY STRUCTURE ON THE CATEGORY OF SIMPLICIAL CATEGORIES JULIA E. BERGNER Abstract. In this paper we put a cofibrantly generated model category structure on the category of small simplicial
More informationarxiv: v1 [math.gr] 19 Dec 2018
GROWTH SERIES OF CAT(0) CUBICAL COMPLEXES arxiv:1812.07755v1 [math.gr] 19 Dec 2018 BORIS OKUN AND RICHARD SCOTT Abstract. Let X be a CAT(0) cubical complex. The growth series of X at x is G x (t) = y V
More informationMAT 3271: Selected Solutions to the Assignment 6
Chapter 2: Major Exercises MAT 3271: Selected Solutions to the Assignment 6 1. Since a projective plan is a model of incidence geometry, Incidence Axioms 1-3 and Propositions 2.1-2.5 (which follow logically
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 informationTrees. 3. (Minimally Connected) G is connected and deleting any of its edges gives rise to a disconnected graph.
Trees 1 Introduction Trees are very special kind of (undirected) graphs. Formally speaking, a tree is a connected graph that is acyclic. 1 This definition has some drawbacks: given a graph it is not trivial
More informationSTANLEY S SIMPLICIAL POSET CONJECTURE, AFTER M. MASUDA
Communications in Algebra, 34: 1049 1053, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500442005 STANLEY S SIMPLICIAL POSET CONJECTURE, AFTER M.
More informationARTIN S THEOREM: FOR THE STUDENT SEMINAR
ARTIN S THEOREM: FOR THE STUDENT SEMINAR VIPUL NAIK Abstract. This is a write-up of Artin s theorem for the student seminar in the course on Representation Theory of Finite Groups. Much of the material
More information[Ch 6] Set Theory. 1. Basic Concepts and Definitions. 400 lecture note #4. 1) Basics
400 lecture note #4 [Ch 6] Set Theory 1. Basic Concepts and Definitions 1) Basics Element: ; A is a set consisting of elements x which is in a/another set S such that P(x) is true. Empty set: notated {
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 informationNegations in Refinement Type Systems
Negations in Refinement Type Systems T. Tsukada (U. Tokyo) 14th March 2016 Shonan, JAPAN This Talk About refinement intersection type systems that refute judgements of other type systems. Background Refinement
More information7. The Gauss-Bonnet theorem
7. The Gauss-Bonnet theorem 7.1 Hyperbolic polygons In Euclidean geometry, an n-sided polygon is a subset of the Euclidean plane bounded by n straight lines. Thus the edges of a Euclidean polygon are formed
More informationCOMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS
COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS PALLAVI DANI, EMILY STARK AND ANNE THOMAS Abstract. We give explicit necessary and sufficient conditions for
More informationChapter 2 Topological Spaces and Continuity
Chapter 2 Topological Spaces and Continuity Starting from metric spaces as they are familiar from elementary calculus, one observes that many properties of metric spaces like the notions of continuity
More informationA NOTE ON MORPHISMS DETERMINED BY OBJECTS
A NOTE ON MORPHISMS DETERMINED BY OBJECTS XIAO-WU CHEN, JUE LE Abstract. We prove that a Hom-finite additive category having determined morphisms on both sides is a dualizing variety. This complements
More informationPOLYTOPES. Grünbaum and Shephard [40] remarked that there were three developments which foreshadowed the modern theory of convex polytopes.
POLYTOPES MARGARET A. READDY 1. Lecture I: Introduction to Polytopes and Face Enumeration Grünbaum and Shephard [40] remarked that there were three developments which foreshadowed the modern theory of
More informationTripod Configurations
Tripod Configurations Eric Chen, Nick Lourie, Nakul Luthra Summer@ICERM 2013 August 8, 2013 Eric Chen, Nick Lourie, Nakul Luthra (S@I) Tripod Configurations August 8, 2013 1 / 33 Overview 1 Introduction
More informationCoxeter Groups and CAT(0) metrics
Peking University June 25, 2008 http://www.math.ohio-state.edu/ mdavis/ The plan: First, explain Gromov s notion of a nonpositively curved metric on a polyhedral complex. Then give a simple combinatorial
More informationNotes on point set topology, Fall 2010
Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological
More informationIndependence Complexes of Certain Families of Graphs
Independence Complexes of Certain Families of Graphs Rickard Fors rifo0@kth.se Master thesis in Mathematics at KTH Presented August 19, 011 Supervisor: Jakob Jonsson Abstract The focus of this report
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 informationDiscrete Mathematics Lecture 4. Harper Langston New York University
Discrete Mathematics Lecture 4 Harper Langston New York University Sequences Sequence is a set of (usually infinite number of) ordered elements: a 1, a 2,, a n, Each individual element a k is called a
More informationCAT(0)-spaces. Münster, June 22, 2004
CAT(0)-spaces Münster, June 22, 2004 CAT(0)-space is a term invented by Gromov. Also, called Hadamard space. Roughly, a space which is nonpositively curved and simply connected. C = Comparison or Cartan
More informationGraphs associated to CAT(0) cube complexes
Graphs associated to CAT(0) cube complexes Mark Hagen McGill University Cornell Topology Seminar, 15 November 2011 Outline Background on CAT(0) cube complexes The contact graph: a combinatorial invariant
More informationINTRODUCTION TO CLUSTER ALGEBRAS
INTRODUCTION TO CLUSTER ALGEBRAS NAN LI (MIT) Cluster algebras are a class of commutative ring, introduced in 000 by Fomin and Zelevinsky, originally to study Lusztig s dual canonical basis and total positivity.
More informationpα i + q, where (n, m, p and q depend on i). 6. GROMOV S INVARIANT AND THE VOLUME OF A HYPERBOLIC MANIFOLD
6. GROMOV S INVARIANT AND THE VOLUME OF A HYPERBOLIC MANIFOLD of π 1 (M 2 )onπ 1 (M 4 ) by conjugation. π 1 (M 4 ) has a trivial center, so in other words the action of π 1 (M 4 ) on itself is effective.
More informationFactors of Low Individual Degree Polynomials. Rafael Oliveira Princeton University
Factors of Low Individual Degree Polynomials Rafael Oliveira Princeton University 1 Introduction 2 3 Introduction Main Ideas of Conclusion and this Work & Open Background Questions Outline 1 Introduction
More informationIt is important that you show your work. There are 134 points available on this test.
Math 1165 Discrete Math Test April 4, 001 Your name It is important that you show your work There are 134 points available on this test 1 (10 points) Show how to tile the punctured chess boards below with
More informationMC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points
MC 0 GRAPH THEORY 0// Solutions to HW # 0 points + XC points ) [CH] p.,..7. This problem introduces an important class of graphs called the hypercubes or k-cubes, Q, Q, Q, etc. I suggest that before you
More informationMath 170- Graph Theory Notes
1 Math 170- Graph Theory Notes Michael Levet December 3, 2018 Notation: Let n be a positive integer. Denote [n] to be the set {1, 2,..., n}. So for example, [3] = {1, 2, 3}. To quote Bud Brown, Graph theory
More informationEQUIVARIANT COMPLETE SEGAL SPACES
EQUIVARIANT COMPLETE SEGAL SPACES JULIA E. BERGNER AND STEVEN GREG CHADWICK Abstract. In this paper we give a model for equivariant (, 1)-categories. We modify an approach of Shimakawa for equivariant
More informationNon-commutative symmetric functions III:
Non-commutative symmetric functions III: A representation theoretical approach Mike Zabrocki York University Joint work with Nantel Bergeron, Mercedes Rosas, Christophe Hohlweg, and others The structure
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 informationHomological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem
Homological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem Everett Cheng June 6, 2016 Three major, fundamental, and related theorems regarding the topology of Euclidean space are the Borsuk-Ulam
More informationLecture 008 (November 13, 2009)
Lecture 008 (November 13, 2009) 17 The Dold-Kan correspondence Suppose that A : op R Mod is a simplicial R-module. Examples to keep in mind are the free simplicial objects R(X) associated to simplicial
More informationTreewidth and graph minors
Treewidth and graph minors Lectures 9 and 10, December 29, 2011, January 5, 2012 We shall touch upon the theory of Graph Minors by Robertson and Seymour. This theory gives a very general condition under
More informationMath 443/543 Graph Theory Notes 5: Planar graphs and coloring
Math 443/543 Graph Theory Notes 5: Planar graphs and coloring David Glickenstein October 10, 2014 1 Planar graphs The Three Houses and Three Utilities Problem: Given three houses and three utilities, can
More informationABSTRACT. We prove that cubical simplicial volume of oriented closed 3-manifolds is equal to one fifth of ordinary simplicial volume.
CUBICAL SIMPLICIAL VOLUME OF 3-MANIFOLDS CLARA LÖH, CRISTINA PAGLIANTINI, AND SEBASTIAN WAEBER ABSTRACT. We prove that cubical simplicial volume of oriented closed 3-manifolds is equal to one fifth of
More informationarxiv: v1 [math.co] 4 Sep 2017
Abstract Maximal chord diagrams up to all isomorphisms are enumerated. The enumerating formula is based on a bijection between rooted one-vertex one-face maps on locally orientable surfaces andacertain
More informationNOTES ON EULER CHARACTERISTIC
NOTES ON EULER CHARACTERISTIC JOHN KOPPER Contents 1. Introduction 1 2. Euler characteristic on manifolds 3 3. Gauss-Bonnet 7 4. Singular (co)homology 8 5. De Rham cohomology and Lefschetz theory 11 6.
More informationLecture 8: The Traveling Salesman Problem
Lecture 8: The Traveling Salesman Problem Let G = (V, E) be an undirected graph. A Hamiltonian cycle of G is a cycle that visits every vertex v V exactly once. Instead of Hamiltonian cycle, we sometimes
More informationThe Borsuk-Ulam theorem- A Combinatorial Proof
The Borsuk-Ulam theorem- A Combinatorial Proof Shreejit Bandyopadhyay April 14, 2015 1 Introduction The Borsuk-Ulam theorem is perhaps among the results in algebraic topology having the greatest number
More informationThe Inverse of a Schema Mapping
The Inverse of a Schema Mapping Jorge Pérez Department of Computer Science, Universidad de Chile Blanco Encalada 2120, Santiago, Chile jperez@dcc.uchile.cl Abstract The inversion of schema mappings has
More informationAn FPT Variant Of The Shadow Problem With Kernelization
An FP Variant Of he Shadow Problem With Kernelization Stefan Porschen Abstract he shadow problem (SIS) gets as input a forest F, and a map that assigns subtrees, called shadows, to leaves of F. SIS asks
More informationGeom/Top: Homework 1 (due Monday, 10/08/12)
Geom/Top: Homework (due Monday, 0/08/2). Read Farb notes. 2. Read Hatcher, Intro to Chapter 2 and Section 2.. 3. (Do not hand this in) Let φ : A B and ψ : B A be group homomorphisms. Suppose that φ ψ =
More informationNon-commutative Stone dualities
Non-commutative Stone dualities Mark V Lawson Heriot-Watt University and the Maxwell Institute for Mathematical Sciences March 2016 In collaboration with Ganna Kudryavtseva (Ljubljana), Daniel Lenz (Jena),
More informationTopic: Orientation, Surfaces, and Euler characteristic
Topic: Orientation, Surfaces, and Euler characteristic The material in these notes is motivated by Chapter 2 of Cromwell. A source I used for smooth manifolds is do Carmo s Riemannian Geometry. Ideas of
More informationINTEGRAL FOLIATED SIMPLICIAL VOLUME OF HYPERBOLIC 3-MANIFOLDS
INTEGRAL FOLIATED SIMPLICIAL VOLUME OF HYPERBOLIC 3-MANIFOLDS CLARA LÖH AND CRISTINA PAGLIANTINI Abstract. Integral foliated simplicial volume is a version of simplicial volume combining the rigidity of
More informationCell-Like Maps (Lecture 5)
Cell-Like Maps (Lecture 5) September 15, 2014 In the last two lectures, we discussed the notion of a simple homotopy equivalences between finite CW complexes. A priori, the question of whether or not a
More informationarxiv: v1 [math.gt] 18 Nov 2015
arxiv:1511.05845v1 [math.gt] 18 Nov 2015 A geometric description of the extreme Khovanov cohomology J. González-Meneses, P. M. G. Manchón and M. Silvero November 19, 2015 Abstract We prove that the hypothetical
More information1.1 Topological Representatives for Automorphisms
Chapter 1 Out(F n ) and Aut(F n ) 1.1 Topological Representatives for Automorphisms Definition 1.1.1. Let X be a topological space with base point P. A self-homotopy equivalence is a base point preserving
More informationin simplicial sets, or equivalently a functor
Contents 21 Bisimplicial sets 1 22 Homotopy colimits and limits (revisited) 10 23 Applications, Quillen s Theorem B 23 21 Bisimplicial sets A bisimplicial set X is a simplicial object X : op sset in simplicial
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 information6.2 Classification of Closed Surfaces
Table 6.1: A polygon diagram 6.1.2 Second Proof: Compactifying Teichmuller Space 6.2 Classification of Closed Surfaces We saw that each surface has a triangulation. Compact surfaces have finite triangulations.
More informationTHE TOPOLOGICAL APPROACH TO SOCIAL CHOICE
THE TOPOLOGICAL APPROACH TO SOCIAL CHOICE WEI HAN CHIA Abstract. Social Choice Theory is a field in economics which studies the possibility of fair aggregation maps of choices. One particularly famous
More informationCharacterizing Finite Frobenius Rings Via Coding Theory
Characterizing Finite Frobenius Rings Via Coding Theory Jay A. Wood Department of Mathematics Western Michigan University http://homepages.wmich.edu/ jwood/ Algebra and Communications Seminar University
More informationMath 221 Final Exam Review
Math 221 Final Exam Review Preliminary comment: Some of these problems a formulated using language and structures from graph theory. However they are generally self contained; no theorems from graph theory
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 informationDiscrete Mathematics
Discrete Mathematics 310 (2010) 2769 2775 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Optimal acyclic edge colouring of grid like graphs
More informationMirrors of reflections of regular maps
ISSN 1855-3966 (printed edn), ISSN 1855-3974 (electronic edn) ARS MATHEMATICA CONTEMPORANEA 15 (018) 347 354 https://doiorg/106493/1855-3974145911d (Also available at http://amc-journaleu) Mirrors of reflections
More informationINTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES
INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES RACHEL CARANDANG Abstract. This paper provides an overview of the homology groups of a 2- dimensional complex. It then demonstrates a proof of the Invariance
More informationDIHEDRAL GROUPS KEITH CONRAD
DIHEDRAL GROUPS KEITH CONRAD 1. Introduction For n 3, the dihedral group D n is defined as the rigid motions 1 of the plane preserving a regular n-gon, with the operation being composition. These polygons
More informationCOMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS
COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS PALLAVI DANI, EMILY STARK AND ANNE THOMAS Abstract. We give explicit necessary and sufficient conditions for
More informationDUALITY, MANIFOLDS AND SOME ALGEBRAIC TOPOLOGY
DUALITY, MANIFOLDS AND SOME ALGEBRAIC TOPOLOGY VIPUL NAIK Abstract. This is a short note intended to explore the applications of duality theory to the study of manifolds. I discuss Alexander duality, Lefschetz
More informationGenerating Functions for Hyperbolic Plane Tessellations
Generating Functions for Hyperbolic Plane Tessellations by Jiale Xie A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in
More informationTriangulations of Simplicial Polytopes
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 45 (004), No. 1, 37-46. Triangulations of Simplicial Polytopes Peter McMullen University College London Gower Street, London
More informationConstructing the Propositional Truncation using Non-recursive HITs
Constructing the Propositional Truncation using Non-recursive HITs Floris van Doorn Carnegie Mellon University January 19, 2016 Floris van Doorn (CMU) Constructing Propositional Truncation January 19,
More informationVoronoi Diagrams, Delaunay Triangulations and Polytopes
Voronoi Diagrams, Delaunay Triangulations and Polytopes Jean-Daniel Boissonnat MPRI, Lecture 2 Computational Geometry Learning Voronoi, Delaunay & Polytopes MPRI, Lecture 2 1 / 43 Voronoi diagrams in nature
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 informationCategorical models of type theory
1 / 59 Categorical models of type theory Michael Shulman February 28, 2012 2 / 59 Outline 1 Type theory and category theory 2 Categorical type constructors 3 Dependent types and display maps 4 Fibrations
More informationParameter spaces for curves on surfaces and enumeration of rational curves
Compositio Mathematica 3: 55 8, 998. 55 c 998 Kluwer Academic Publishers. Printed in the Netherlands. Parameter spaces for curves on surfaces and enumeration of rational curves LUCIA CAPORASO and JOE HARRIS
More information