DOCSLIB.ORG

In Terms of These Subquotient Theories. Theorem 4.3

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
In Terms of These Subquotient Theories. Theorem 4.3 XX THE SEGAL CONJECTURE explain in the next section we can analyze the singular terms in in terms of these sub quotient theories Assume that k is einvariant for every prop er sub quotient J of Theorem J and let Y E P G i If G is not elementary Ab elian then k Y EG G r r r ii If G Zp then k Y EG is the direct sum of p copies of G r k S GG arning the nonequivariant theory k is usually quite dierent from the W GG underlying nonequivariant theory k k e As we shall explain in Section we can use Adams sp ectral sequences to analyze the free terms in Theorem Assume that k is split and k is b ounded b elow and let Y G E P Y EG i If G is not elementary Ab elian then k G r k is nite Y EG is the ii If G Zp and H dimensional then k G r r r direct sum of p copies of k S The hyp othesis that H k b e nite dimensional in ii is extremely restrictive although it is satised trivially when k is the sphere sp ectrum The hyp othesis are is actually necessary We shall see in Section that the theories B G G einvariant for nite groups They satisfy all other hyp otheses of our theorems are dierent In such cases the calculation of k Y EG but here k and k G GG falls out from the einvariance which must b e proven dierently and reduction is now the case of the following immediate inductive Carlssons G consequence of the rst parts of Theorems and Theorem Supp ose that G is not elementary Ab elian Assume i k is einvariant for all elementary Ab elian sub quotients J J ii k is split and k is b ounded b elow for all nonelementary Ab elian sub J KK quotients J H K Then k is einvariant for all sub quotients J including J G J to cohomotopy and the pro of of the Segal conjecture it only remains Returning r to prove that the map in is an isomorphism when G Zp We assume that the result has b een proven for q r Comparing Theorems and we see that the map in is a map b etween free mo dules on the same APPROXIMATIONS OF SINGULAR SUBSPACES OF GSPACES numb er of generators It suces to show that is a bijection on generators which means that it is an isomorphism in degree r Here is a map b etween free mo dules on the same numb er of generators over the padic integers Z so that it p will b e an isomorphism if it is a monomorphism when reduced mo d p EG H F where H F is the Eilenb ergMacLane G To prove this let k F p G p sp ectrum asso ciated to the constant Mackey functor at F that we obtain from p This theory like any other theory represented by a function sp ectrum IX G F EG is einvariant Since H F F we have a unit map S H F p G p p and we comp ose with H F S k There is an k to obtain G G G p induced map S S k and a little calculation shows that it sends the GG GG unit in S to an element that is nonzero mo d p We can also check that the are all einvariant By sub quotient theories k the naturality of we have the J commutative diagram r r Y EG Y EG G G r r k Y EG Y EG k G G Y The left map is The b ottom map is an isomorphism since k G r r r the sum of p copies of S k and is therefore a GG monomorphism mo d p Thus the top map is a monomorphism mo d p and this concludes the pro of J H Gunawardena and H Miller The Segal conjecture for elementary Ab elian J F Adams pgroupsI Top ology G Carlsson Equivariant stable homotopy and Segals Burnside ring conjecture Annals Math J Caruso J P May and S B Priddy The Segal conjecture for elementary Ab elian pgroupsI I Top ology Approximations of singular subspaces of Gspaces Let SX denote the singular set of a Gspace X namely the set of p oints with nontrivial isotropy group The starting p oint of the pro of of Theorem is the space level observation that the inclusions SX X and S EG XX THE SEGAL CONJECTURE induce bijections S X EG X X EG X S X X G G G We may represent theories on nite GCW complexes via colimits of space level homotopy classes of maps The precise formula is not so imp ortant What is imp ortant is that when calculating k X EG we get a colimit of terms of the G general form SW Z We can replace S here by other functors T on spaces that G satisfy appropriate axioms and still get a cohomology theory in X called k X T G transformations T T induce Such functors are called S functors Natural maps of theories contravariantly We have a notion of a cobration of S functors and cobrations give rise to long exact sequences In sum we have something like a cohomology theory on S functors T that approximates the singular functor S We construct a ltered S functor A Let A A G b e the partially ordered set of nontrivial elementary Ab elian subgroups of G thought of as a Gcategory with a map A B when B A e the classifying space B A is Gcontractible with G acting by conjugation If G In fact if C is a central subgroup of order p then the diagram A AC C displays the values on an ob ject A of three Gequivariant functors on A together with two equivariant natural transformations b etween them these induce a G homotopy from the identity to the constant Gmap at the vertex C we construct a top ological We can parametrize A by p oints of SX Precisely A Gcategory A X whose ob jects are pairs A x such that x X there is a mor if B A and y x and G acts by g A x g Ag g x phism A x B y Pro jection on the X co ordinate gives a functor A X SX where SX is a cate gory in the trivial way and B A X BSX SX is a Ghomotopy equivalence of B A X is Gcontractible Let AX B A X B A We The subspace B A still have a Ghomotopy equivalence AX SX but now A is an S functor and our equivalences give a map of S functors F or any space Y we have k Y A k Y S k Y EG G G G The functor A arises from geometric realizations of simplicial spaces and carries the simplicial ltration F A here F A and F A A where r rank G q r Insp ection of denitions shows that the successive sub quotients satisfy q A F AF AX G X q q H AN INVERSE LIMIT OF ADAMS SPECTRAL SEQUENCES Here runs over the Gconjugacy classes of strictly ascending chains A A q of nontrivial elementary Ab elian subgroups of G H is the isotropy group of namely fg jg A g A i q g and A A For each normal subgroup i i q K of a subgroup H of G there is an S functor C K H whose value on X is K G X and as S functors H q F AF A C A H q q By direct insp ection of denitions we nd that for any space Y K k Y k Y C K H H K G This is why the xed p oint functors enter into the picture To prove Theorem we restrict attention to Y E P If G is not elementary K Ab elian then Y is contractible and the sub quotients H K are prop er for all r pairs K H that app ear in If G Zp and q r this is still true r All these terms vanish by hyp othesis If G Zp we are left with the case q r Here A H G for all chains there are pp chains G and Y S Using Theorem follows G Carlsson Equivariant stable homotopy and Segals Burnside ring conjecture Annals Math J Caruso J P May and S B Priddy The Segal conjecture for elementary Ab elian pgroupsI I Top ology An inverse limit of Adams sp ectral sequences We turn to the pro of of Theorem Its hyp othesis that k is split allows G us to reduce the problem to a nonequivariant one and the hyp othesis that the underlying nonequivariant sp ectrum k is b ounded b elow ensures the convergence of the relevant Adams sp ectral sequences We prove Theorem by use of a particularly convenient mo del Y for E P namely the union of the Gspheres nV S where V is the reduced regular complex representation of G It is a mo del G H since V fg and V for H P V In general for any representation V there is a Thom sp ectrum BG Here we V BG may think of V as the negative of the representation bundle EG G regarded as a map V BG BO Z If V is suitably oriented for example V if V is complex there is a Thom isomorphism showing that H BG is a free H BGmo dule on one generator of degree n where n is the real dimension v of V We take cohomology with mo d p co ecients For V W there is a W V V W map f BG BG such that f H BG H BG carries XX THE SEGAL CONJECTURE to W V Here V H BG is the Euler class of V which is the v w Euler class of its representation bundle For a split Gsp ectrum k we have an G isomorphism V G V k BG k S EG W V For V W the map f k BG k BG corresp onds under the V W isomorphisms to the map induced by e S S The pap er of mine cited at the end gives details on all of this With our mo del Y for E P we now see that q nV G lim k BG Y EG k Y EG k q G q Rememb er that we are working padically we complete sp ectra at p without change of notation The inverse limit E of Adams sp ectral sequences of an inverse r sequence fX g of b ounded b elow sp ectra of nite typ e over the padic integers Z n p converges from E Ext colim H X F A n p nV to lim X With X k BG this gives an inverse limit of Adams sp ectral n n sequences that converges from nV colim H BG F E Ext H k p A to k Y EG The colimit is taken with resp ect to the maps G nV nV V H BG H BG H Since V fg V restricts to zero in H BH for all H P A theorem of implies that V must b e nilp otent if G is not elementary Ab elian and Quillen this implies that E This proves part i of Theorem r r p Now assume that G Zp Let L BG Then V H nV colim H BG H BGL It is easy to write L down explicitly and the heart of part ii is the
Load more

Recommended publications
  • Some K-Theory Examples
    Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout our vector bundles are complex and our topological spaces are compact Hausdorff. Corrections/suggestions to cblair[at]maths.tcd.ie. Chris Blair, May 2009 1 K-theory We begin by defining the essential objects in K-theory: the unreduced and reduced K-groups of vector bundles over compact Hausdorff spaces. In doing so we need the following two equivalence relations: firstly 0 0 we say that two vector bundles E and E are stably isomorphic denoted by E ≈S E if they become isomorphic upon addition of a trivial bundle "n: E ⊕ "n ≈ E0 ⊕ "n. Secondly we have a relation ∼ where E ∼ E0 if E ⊕ "n ≈ E0 ⊕ "m for some m, n. Unreduced K-groups: The unreduced K-group of a compact space X is the group K(X) of virtual 0 0 0 0 pairs E1 −E2 of vector bundles over X, with E1 −E1 = E2 −E2 if E1 ⊕E2 ≈S E2 ⊕E2. The group operation 0 0 0 0 is addition: (E1 − E1) + (E2 − E2) = E1 ⊕ E2 − E1 ⊕ E2, the identity is any pair of the form E − E and the inverse of E − E0 is E0 − E. As we can add a vector bundle to E − E0 such that E0 becomes trivial, every element of K(X) can be represented in the form E − "n. Reduced K-groups: The reduced K-group of a compact space X is the group Ke(X) of vector bundles E over X under the ∼-equivalence relation.
    [Show full text]
  • Categorical Semantics of Constructive Set Theory
    Categorical semantics of constructive set theory Beim Fachbereich Mathematik der Technischen Universit¨atDarmstadt eingereichte Habilitationsschrift von Benno van den Berg, PhD aus Emmen, die Niederlande 2 Contents 1 Introduction to the thesis 7 1.1 Logic and metamathematics . 7 1.2 Historical intermezzo . 8 1.3 Constructivity . 9 1.4 Constructive set theory . 11 1.5 Algebraic set theory . 15 1.6 Contents . 17 1.7 Warning concerning terminology . 18 1.8 Acknowledgements . 19 2 A unified approach to algebraic set theory 21 2.1 Introduction . 21 2.2 Constructive set theories . 24 2.3 Categories with small maps . 25 2.3.1 Axioms . 25 2.3.2 Consequences . 29 2.3.3 Strengthenings . 31 2.3.4 Relation to other settings . 32 2.4 Models of set theory . 33 2.5 Examples . 35 2.6 Predicative sheaf theory . 36 2.7 Predicative realizability . 37 3 Exact completion 41 3.1 Introduction . 41 3 4 CONTENTS 3.2 Categories with small maps . 45 3.2.1 Classes of small maps . 46 3.2.2 Classes of display maps . 51 3.3 Axioms for classes of small maps . 55 3.3.1 Representability . 55 3.3.2 Separation . 55 3.3.3 Power types . 55 3.3.4 Function types . 57 3.3.5 Inductive types . 58 3.3.6 Infinity . 60 3.3.7 Fullness . 61 3.4 Exactness and its applications . 63 3.5 Exact completion . 66 3.6 Stability properties of axioms for small maps . 73 3.6.1 Representability . 74 3.6.2 Separation . 74 3.6.3 Power types .
    [Show full text]
  • Lecture 2: Spaces of Maps, Loop Spaces and Reduced Suspension
    LECTURE 2: SPACES OF MAPS, LOOP SPACES AND REDUCED SUSPENSION In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there will be a short digression on spaces of maps between (pointed) spaces and the relevant topologies. To be a bit more specific, one aim is to see that given a pointed space (X; x0), then there is an entire pointed space of loops in X. In order to obtain such a loop space Ω(X; x0) 2 Top∗; we have to specify an underlying set, choose a base point, and construct a topology on it. The underlying set of Ω(X; x0) is just given by the set of maps 1 Top∗((S ; ∗); (X; x0)): A base point is also easily found by considering the constant loop κx0 at x0 defined by: 1 κx0 :(S ; ∗) ! (X; x0): t 7! x0 The topology which we will consider on this set is a special case of the so-called compact-open topology. We begin by introducing this topology in a more general context. 1. Function spaces Let K be a compact Hausdorff space, and let X be an arbitrary space. The set Top(K; X) of continuous maps K ! X carries a natural topology, called the compact-open topology. It has a subbasis formed by the sets of the form B(T;U) = ff : K ! X j f(T ) ⊆ Ug where T ⊆ K is compact and U ⊆ X is open. Thus, for a map f : K ! X, one can form a typical basis open neighborhood by choosing compact subsets T1;:::;Tn ⊆ K and small open sets Ui ⊆ X with f(Ti) ⊆ Ui to get a neighborhood Of of f, Of = B(T1;U1) \ ::: \ B(Tn;Un): One can even choose the Ti to cover K, so as to `control' the behavior of functions g 2 Of on all of K.
    [Show full text]
  • Semi-Direct Products of Hopf Algebras*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 47,29-51 (1977) Semi-Direct Products of Hopf Algebras* RICHARD K. MOLNAR Department of Mathematical Sciences, Oakland University, Rochester, Michigan 48063 Communicated by I. N. Herstein Received July 3 1, 1975 INTRODUCTION The object of this paper is to investigate the notion of “semi-direct product” for Hopf algebras. We show that there are two such notions: the well-known concept of smash product, and the dual notion of smash coproduct introduced here. We investigate the basic properties of these notions and give several examples and applications. If G is an affine algebraic group (as defined in [4]) with coordinate ring A(G), then the coalgebra structure of A(G) “contains” the rational representation theory of G in the sense that the rational G-modules are precisely the A(G)- comodules. Now if G is the semi-direct product of algebraic subgroups N and K (i.e., G = Nx,K as affine algebraic groups) then clearly A(G) = A(N) @ A(K) as algebras. But one would also like to know how the coalgebra structure of A(G) is related to the coalgebra structures of A(N) and A(K). In fact, the twisted multiplication on Nx,K induces a twisted comultiplication on A(N) @ A(K), called the smash coproduct of A(N) by A(K). This comultiplication is com- patible with the tensor product algebra structure, and we have A(G) isomorphic to the smash coproduct of A(N) by A(K) (denoted A(N) x A(K)) as Hopf algebras.
    [Show full text]
  • THE DIGITAL SMASH PRODUCT 1. Introduction Digital Topology With
    ELECTRONIC RESEARCH ARCHIVE doi:10.3934/era.2020026 Volume 28 Number 1, March 2020 Pages 459{469 eISSN: 2688-1594 AIMS (2020) THE DIGITAL SMASH PRODUCT ISMET CINAR, OZGUR EGE∗ AND ISMET KARACA Abstract. In this paper, we construct the smash product from the digital viewpoint and prove some its properties such as associativity, distributivity, and commutativity. Moreover, we present the digital suspension and the dig- ital cone for an arbitrary digital image and give some examples of these new concepts. 1. Introduction Digital topology with interesting applications has been a popular topic in com- puter science and mathematics for several decades. Many researchers such as Rosen- feld [21, 22], Kong [18, 17], Kopperman [19], Boxer, Herman [14], Kovalevsky [20], Bertrand and Malgouyres would like to obtain some information about digital ob- jects using topology and algebraic topology. The first study in this area was done by Rosenfeld [21] at the end of 1970s. He introduced the concept of continuity of a function from a digital image to another digital image. Later Boxer [1] presents a continuous function, a retraction, and a homotopy from the digital viewpoint. Boxer et al. [7] calculate the simplicial homology groups of some special digital surfaces and compute their Euler charac- teristics. Ege and Karaca [9] introduce the universal coefficient theorem and the Eilenberg- Steenrod axioms for digital simplicial homology groups. They also obtain some results on the K¨unnethformula and the Hurewicz theorem in digital images. Ege and Karaca [10] investigate the digital simplicial cohomology groups and especially define the cup product. For other significant studies, see [13, 12, 16].
    [Show full text]
  • Notes Towards Homology in Characteristic One
    Notes Towards Homology in Characteristic One David Jaz Myers Abstract In their paper Homological Algebra in Characteristic One, Connes and Consani develop techniques of Grandis to do homological calculations with boolean modules { commutative idempotent monoids. This is a writeup of notes taken during a course given by Consani in Fall of 2017 explaining some of these ideas. This note is in flux, use at your own peril. Though the integers Z are the initial ring, they are rather complex. Their Krull dimension is 1, suggesting that they are the functions on a curve; but each of the epimorphisms out of them has a different characteristic, so they are not a curve over any single field. This basic observation, and many more interesting and less basic observations, leads one to wonder about other possible bases for the algebraic geometry of the integers. Could there be an \absolute base", a field over which all other fields lie? What could such a “field” be? As a first approach, let's consider the characteristic of this would-be absolute base field. Since it must lie under the finite fields, it should also be finite, and therefore its characteristic must divide the order of all finite fields. There is only one number which divides all prime powers (and also divides 0): the number 1 itself. Therefore, we are looking for a “field of characteristic one". Now, the axioms of a ring are too restrictive to allow for such an object. Let's free ourselves up by considering semirings, also known as rigs { rings without negatives.
    [Show full text]
  • Harish-Chandra 1923–1983
    NATIONAL ACADEMY OF SCIENCES HARISH- C HANDRA 1 9 2 3 – 1 9 8 3 A Biographical Memoir by R O G E R H O W E Any opinions expressed in this memoir are those of the author and do not necessarily reflect the views of the National Academy of Sciences. Biographical Memoir COPYRIGHT 2011 NATIONAL ACADEMY OF SCIENCES WASHINGTON, D.C. Photo by Herman Landshoff; Courtesy Archives of the Institute for Advanced Study. HARISH-CHANDRA October 11, 1923–October 12, 1983 BY ROGER HOWE He taught them the Kshatria code of honor: that a warrior may never refuse a challenge…. The Five Sons of Pandu, The Story of the Mahabharata Retold by Elizabeth Seeger ARISH-CHANDRA WAS, if not the exclusive architect, cer- Htainly the chief engineer of harmonic analysis on semisimple Lie groups. This subject, with roots deep in mathematical physics and analysis, is a synthesis of Fou- rier analysis, special functions and invariant theory, and it has become a basic tool in analytic number theory, via the theory of automorphic forms. It essentially did not ex- ist before World War II, but in very large part because of the labors of Harish-Chandra, it became one of the major mathematical edifices of the second half of the twentieth century. Harish-Chandra was born in 1923 in Uttar Pradesh, in northern India. His family belonged to the Kshatria (war- rior) caste. Kshatria traditionally were rulers, landowners, and military leaders, and more recently have commonly been businessmen or civil servants. Harish-Chandra’s father, Chandrakishore, was a civil engineer who monitored and maintained the dikes and irrigation canals that sustain agri- 3 B IOGRA P HICAL MEMOIRS culture on the North Indian plains.
    [Show full text]
  • Arxiv:1305.5974V1 [Math-Ph]
    INTRODUCTION TO SPORADIC GROUPS for physicists Luis J. Boya∗ Departamento de F´ısica Te´orica Universidad de Zaragoza E-50009 Zaragoza, SPAIN MSC: 20D08, 20D05, 11F22 PACS numbers: 02.20.a, 02.20.Bb, 11.24.Yb Key words: Finite simple groups, sporadic groups, the Monster group. Juan SANCHO GUIMERA´ In Memoriam Abstract We describe the collection of finite simple groups, with a view on physical applications. We recall first the prime cyclic groups Zp, and the alternating groups Altn>4. After a quick revision of finite fields Fq, q = pf , with p prime, we consider the 16 families of finite simple groups of Lie type. There are also 26 extra “sporadic” groups, which gather in three interconnected “generations” (with 5+7+8 groups) plus the Pariah groups (6). We point out a couple of physical applications, in- cluding constructing the biggest sporadic group, the “Monster” group, with close to 1054 elements from arguments of physics, and also the relation of some Mathieu groups with compactification in string and M-theory. ∗[email protected] arXiv:1305.5974v1 [math-ph] 25 May 2013 1 Contents 1 Introduction 3 1.1 Generaldescriptionofthework . 3 1.2 Initialmathematics............................ 7 2 Generalities about groups 14 2.1 Elementarynotions............................ 14 2.2 Theframeworkorbox .......................... 16 2.3 Subgroups................................. 18 2.4 Morphisms ................................ 22 2.5 Extensions................................. 23 2.6 Familiesoffinitegroups ......................... 24 2.7 Abeliangroups .............................. 27 2.8 Symmetricgroup ............................. 28 3 More advanced group theory 30 3.1 Groupsoperationginspaces. 30 3.2 Representations.............................. 32 3.3 Characters.Fourierseries . 35 3.4 Homological algebra and extension theory . 37 3.5 Groupsuptoorder16..........................
    [Show full text]
  • Ordered Tensor Categories and Representations of the Mackey Lie Algebra of Infinite Matrices
    Ordered tensor categories and representations of the Mackey Lie algebra of infinite matrices Alexandru Chirvasitu, Ivan Penkov To Jean-Louis Koszul on his 95th birthday Abstract We introduce (partially) ordered Grothendieck categories and apply results on their structure to the study of categories of representations of the Mackey Lie algebra of infinite matrices M M gl (V; V∗). Here gl (V; V∗) is the Lie algebra of endomorphisms of a nondegenerate pairing of countably infinite-dimensional vector spaces V∗ ⊗ V ! K, where K is the base field. Tensor M representations of gl (V; V∗) are defined as arbitrary subquotients of finite direct sums of tensor ∗ ⊗m ⊗n ⊗p ∗ products (V ) ⊗ (V∗) ⊗ V where V denotes the algebraic dual of V . The category 3 M which they comprise, extends a category M previously studied in [5, 15, Tgl (V;V∗) Tgl (V;V∗) 3 20]. Our main result is that M is a finite-length, Koszul self-dual, tensor category Tgl (V;V∗) with a certain universal property that makes it into a “categorified algebra" defined by means of a handful of generators and relations. This result uses essentially the general properties of ordered Grothendieck categories, which yield also simpler proofs of some facts about the 3 category M established in [15]. Finally, we discuss the extension of M obtained Tgl (V;V∗) Tgl (V;V∗) ∗ by adjoining the algebraic dual (V∗) of V∗. Key words: Mackey Lie algebra, tensor category, Koszulity MSC 2010: 17B65, 17B10, 16T15 Contents 1 Background 3 2 Ordered Grothendieck categories5 2.1 Definition and characterization of indecomposable injectives..............5 2.2 Bounds on non-vanishing ext functors..........................7 2.3 C as a comodule category.................................8 2.4 C as a highest weight category...............................8 2.5 Universal properties for C and CFIN ............................9 2.6 The monoidal case....................................
    [Show full text]
  • HOMOTOPY THEORY for BEGINNERS Contents 1. Notation
    HOMOTOPY THEORY FOR BEGINNERS JESPER M. MØLLER Abstract. This note contains comments to Chapter 0 in Allan Hatcher's book [5]. Contents 1. Notation and some standard spaces and constructions1 1.1. Standard topological spaces1 1.2. The quotient topology 2 1.3. The category of topological spaces and continuous maps3 2. Homotopy 4 2.1. Relative homotopy 5 2.2. Retracts and deformation retracts5 3. Constructions on topological spaces6 4. CW-complexes 9 4.1. Topological properties of CW-complexes 11 4.2. Subcomplexes 12 4.3. Products of CW-complexes 12 5. The Homotopy Extension Property 14 5.1. What is the HEP good for? 14 5.2. Are there any pairs of spaces that have the HEP? 16 References 21 1. Notation and some standard spaces and constructions In this section we fix some notation and recollect some standard facts from general topology. 1.1. Standard topological spaces. We will often refer to these standard spaces: • R is the real line and Rn = R × · · · × R is the n-dimensional real vector space • C is the field of complex numbers and Cn = C × · · · × C is the n-dimensional complex vector space • H is the (skew-)field of quaternions and Hn = H × · · · × H is the n-dimensional quaternion vector space • Sn = fx 2 Rn+1 j jxj = 1g is the unit n-sphere in Rn+1 • Dn = fx 2 Rn j jxj ≤ 1g is the unit n-disc in Rn • I = [0; 1] ⊂ R is the unit interval • RP n, CP n, HP n is the topological space of 1-dimensional linear subspaces of Rn+1, Cn+1, Hn+1.
    [Show full text]
  • Between Model Theory and Combinatorics
    INFINITE LIMITS OF FINITE-DIMENSIONAL PERMUTATION STRUCTURES, AND THEIR AUTOMORPHISM GROUPS: BETWEEN MODEL THEORY AND COMBINATORICS BY SAMUEL WALKER BRAUNFELD A dissertation submitted to the School of Graduate Studies Rutgers, The State University of New Jersey In partial fulfillment of the requirements For the degree of Doctor of Philosophy Graduate Program in Mathematics Written under the direction of Gregory Cherlin And approved by New Brunswick, New Jersey May, 2018 ABSTRACT OF THE DISSERTATION Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics by SAMUEL WALKER BRAUNFELD Dissertation Director: Gregory Cherlin In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders [7], and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutation structures. Towards this problem, we present a construction that we conjecture produces all such structures. Some evidence for this conjecture is given, including the classification of the homogeneous 3-dimensional permutation structures. We next consider the topological dynamics, in the style of Kechris, Pestov, and Todorˇcevi´c,of the automorphism groups of the homogeneous finite-dimensional per- mutation structures we have constructed, which requires proving a structural Ramsey theorem for all the associated amalgamation classes. Because the ;-definable equiv- alence relations in these homogeneous finite-dimensional permutation structures may form arbitrary finite distributive lattices, the model-theoretic algebraic closure opera- tion may become quite complex, and so we require the framework recently introduced ii by Hubiˇcka and Neˇsetril [16].
    [Show full text]
  • SKEW CATEGORY, GALOIS COVERING and SMASH PRODUCT of a K-CATEGORY
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 134, Number 1, Pages 39–50 S 0002-9939(05)07955-4 Article electronically published on June 2, 2005 SKEW CATEGORY, GALOIS COVERING AND SMASH PRODUCT OF A k-CATEGORY CLAUDE CIBILS AND EDUARDO N. MARCOS (Communicated by Martin Lorenz) Abstract. In this paper we consider categories over a commutative ring pro- vided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these constructions agree with the usual ones for algebras. In the case of the smash product for an infinite group our construction specialized for a ring agrees with M. Beattie’s construction of a ring with local units. We recover in a categorical generalized setting the Duality Theorems of M. Cohen and S. Montgomery (1984), and we provide a unification with the results on coverings of quivers and relations by E. Green (1983). We obtain a confirma- tion in a quiver and relations-free categorical setting that both constructions are mutual inverses, namely the quotient of a free action category and the smash product of a graded category. Finally we describe functorial relations between the representation theories of a category and of a Galois cover of it. 1. Introduction Throughout this paper we will consider small categories C over a commutative ring k, which means that the objects C0 form a set, the morphism set yCx from an object x to an object y is a k-module and the composition of morphisms is k-bilinear.
    [Show full text]