DOCSLIB.ORG

Topos-Theoretic Methods in Noncommutative Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Topos-Theoretic Methods in Noncommutative Geometry Faculty of Science Department of Mathematics and Computer Science Topos-theoretic methods in noncommutative geometry Dissertation submitted to obtain the degree of Doctor of Science: Mathematics at the University of Antwerp, to be defended by Jens Hemelaer Supervisor: Prof. dr. Lieven Le Bruyn Antwerp, 2019 Faculteit Wetenschappen Departement Wiskunde en Informatica Topostheoretische methodes in niet-commutatieve meetkunde Proefschrift voorgelegd tot het behalen van de graad van doctor in de wetenschappen: wiskunde aan de Universiteit Antwerpen te verdedigen door Jens Hemelaer Promotor: Prof. dr. Lieven Le Bruyn Antwerpen, 2019 Acknowledgements First of all, I would like to thank my PhD supervisor Lieven Le Bruyn. I didn't know Lieven very well when we first applied for my PhD fellowship, but it couldn't have turned out better for me. I have enjoyed being his PhD student, and I have learned a lot from him. Parts of Chapter 3 and Chapter 5 are based on a joint paper with Lieven Le Bruyn; Chapter 6 is a joint paper with Lieven Le Bruyn and Karin Cvetko-Vah. Lieven and Karin, it has been an honor working with you. I would like to thank the members of the jury for their valuable comments and suggestions. Thanks to Jan Van Geel for making time to already discuss the thesis before the predefense. Some other people who made valuable suggestions regarding my research are Yinhuo Zhang, Julia Ramos Gonz´alez,Pieter Belmans, Aur´elienSagnier, and the anonymous reviewers of the papers. Special thanks go to Pieter Belmans for introducing me to the research activities and the people at the University of Antwerp, while I was still writing my master's thesis. I would also like to thank Jeffrey De Fauw, with whom I did my first steps towards research and Algebraic Geometry six years ago. I am thankful for getting to know my colleagues a little bit better, either during seminars or conferences, or by playing card games during lunch, or by sharing an office. I am grateful to FWO (Research Foundation { Flanders) for granting me a PhD fellowship, so I could do the research leading to this thesis. I would like to thank my parents, my sister Bente and my friends and family, for always being there for me, and for the good times together. And I would like to thank my girlfriend Caroline, for bringing more color to my life. Writing these acknowledgements with you nearby, on our sunny terrace full of flowers, is more than what I could wish for. i Doctoral committee: Prof. dr. Wendy Lowen, University of Antwerp Prof. dr. Sonja Hohloch, University of Antwerp Prof. dr. Fred Van Oystaeyen, University of Antwerp Prof. dr. Jan Van Geel, Ghent University Prof. dr. Karin Cvetko-Vah, University of Ljubljana Prof. dr. Isar Stubbe, Universit´edu Littoral C^oted'Opale Prof. dr. Lieven Le Bruyn, University of Antwerp ii Contents Acknowledgements i Introduction v Bibliographical comments xi Nederlandstalige samenvatting xii 1 Short introduction to topos theory 1 1.1 Basic notions . .1 1.2 Points of a topos and localic reflections . .5 1.3 Examples . .6 1.3.1 Sheaves on a locale . .7 1.3.2 Presheaf toposes . .7 1.3.3 Sets with a monoid action . .8 1.3.4 Slice toposes . .8 1.3.5 Equivariant sheaves . 10 2 Grothendieck topologies on posets 12 2.1 Presheaves on a poset . 13 2.2 Grothendieck topologies versus subsets . 15 2.3 Grothendieck topologies of finite type . 17 2.4 More explicit description . 19 2.5 Cardinalities of sets of Grothendieck topologies . 21 2.5.1 Artinian posets . 23 2.5.2 Other posets . 24 3 The Connes{Consani Arithmetic Site 27 3.1 Preliminaries . 28 3.2 The category of points: alternative proofs . 29 3.2.1 Using ind-categories . 30 3.2.2 Description as topos of equivariant sheaves . 32 3.3 Grothendieck topologies on the big cell . 33 3.3.1 Grothendieck topologies for closed (open) subspaces . 33 3.3.2 Grothendieck topologies of finite type . 34 3.3.3 Grothendieck topologies with enough points . 38 3.4 Subtoposes of the Arithmetic Site . 39 3.4.1 Subtoposes with enough points . 40 3.4.2 Prime set topologies and duality . 41 iii 3.4.3 Equivariant sheaves . 43 3.4.4 Notes about finiteness conditions . 45 4 An arithmetic topos for integer matrices 47 ns 4.1 The topos of M2 (Z)-sets . 49 4.2 Description of the slice topos . 50 4.2.1 The poset of abelian groups Z2 ⊆ M ⊆ Q2 ......... 50 4.2.2 Combinatorial description . 53 4.2.3 Relation to Conway's big picture . 55 ns 4.3 Automorphisms of M2 (Z)-Sets ................... 58 4.4 Alternative: the ax + b monoid . 61 4.5 Applications . 64 1 4.5.1 Relation to Ext (Q; Z).................... 64 4.5.2 Relation to Goormaghtigh conjecture . 67 5 Azumaya toposes 70 5.1 Grothendieck topologies on Azumaya algebras . 72 5.2 Azumaya representation schemes . 79 5.3 Trivializing Grothendieck topologies on Azumaya algebras . 83 5.4 Topos-theoretic points . 85 5.5 Sheaves with action of the projective general linear group . 89 6 What is a noncommutative topos? 98 6.1 Noncommutative Heyting algebras . 101 6.2 Noncommutative subobject classifiers . 103 6.3 Noncommutative Grothendieck topologies . 106 6.4 A class of examples . 109 Bibliography 115 Index 119 Index of symbols 122 iv Introduction In this thesis, we will use topos theory to study the geometry behind some algebraic structures, such as: • the nonzero natural numbers under multiplication (Chapter 3); • the 2 × 2 integer matrices with nonzero determinant, under multiplication (Chapter 4); • the category of Azumaya algebras and center-preserving algebra morphisms between them (Chapter 5). In the introduction, we give a preview of some of the ideas in the thesis, focusing on the second example of 2 × 2 integer matrices. But first: What is a topos? The first step leading to the notion of topos is replacing a topological space X by the category of sheaves on X. Recall that a presheaf F on X consists of a set F(U) for every open subset U ⊆ X, together with maps ρVU : F(U) −! F(V ) (1) whenever V ⊆ U, such that ρWV ◦ ρVU = ρWU . Geometrically, we can interpret s 2 F(U) as some kind of function defined on U. The maps ρVU then correspond to restriction, which is why we will use the shorthand sjV = ρVU (s): (2) S We say that F is a sheaf if for any open cover U = i2I Ui we have an equality F(U) = f(si)i2I : si 2 F(Ui); sijUi\Uj = sjjUi\Uj g: (3) The category Sh(X) of sheaves on X has properties similar to the properties of the category of sets. Moreover, we can reconstruct X from Sh(X) if X is Hausdorff (or more generally, if X is sober). The definition of a sheaf on X only depends on the poset O(X) of open subsets U ⊆ X. We can interpret O(X) as a category, with the open sets as objects and a morphism V ! U whenever V ⊆ U. A presheaf on X is then the same as a functor F : O(X)op −! Sets (4) to the category of sets, and the sheaf property is the same as above. v Expressing sheaves as some kind of functor opens the door to several general- izations. The poset O(X) is a frame: you can take arbitrary unions and finite intersections, and these satisfy ! [ [ V \ Ui = (V \ Ui): (5) i2I i2I It turns out that not every frame can be written as O(X) for some topological space X, but this does not stop us from defining sheaves with respect to arbitrary frames. Again, the category of sheaves on a frame has many good properties, and we can completely reconstruct the frame from the category of sheaves on it. The advantage of this approach is that we can now start thinking about frames geometrically: an arbitrary frame is interpreted as the poset of open subsets of a new notion of space that is (by definition) called a locale. We can define a point of a topological space in terms of a category of sheaves, and this can in turn be used to define points for a locale. The difference between locales and topological spaces is that two open sets in a locale are not necessarily equal if they contain the same points. Some nontrivial locales even have no points at all, which is why the study of locales is sometimes called pointless topology. While topological spaces are related to classical logic, locales can be used to model constructive logic. In order to get to (Grothendieck) toposes, we need to replace the poset O(X) by an arbitrary small category C. A presheaf is then defined as a (covariant) functor F : Cop −! Sets (6) to the category of sets. So for each object C of C there is a set of sections F(C), and for all morphisms f : D −! C there are restriction maps ρf : F(C) !F(D) (7) such that ρf◦g = ρg ◦ ρf . In order to define sheaves, we first have to specify when an object C is covered by a family of morphisms fi : Ci −! C; i 2 I: (8) For some categories, there might be an obvious way to define coverings (for example for the category of open sets of a topological space, as above). In general though, there are many possibilities, each leading to a different definition of sheaves. This is formalized using Grothendieck topologies. A presheaf F is then a sheaf with respect to a certain Grothendieck topology J if F(C) = f(si)i2I : si 2 F(Ci); ρg(si) = ρh(sj) whenever fi ◦ g = fj ◦ hg (9) for each J-covering consisting of morphisms fi : Ci ! C; i 2 I.
Load more

Recommended publications
  • Phase Transition on the Toeplitz Algebra of the Affine Semigroup Over the Natural Numbers
    University of Wollongong Research Online Faculty of Engineering and Information Faculty of Informatics - Papers (Archive) Sciences 1-1-2010 Phase transition on the Toeplitz algebra of the affine semigroup over the natural numbers Marcelo Laca University of Newcastle, Australia Iain F. Raeburn University of Wollongong, [email protected] Follow this and additional works at: https://ro.uow.edu.au/infopapers Part of the Physical Sciences and Mathematics Commons Recommended Citation Laca, Marcelo and Raeburn, Iain F.: Phase transition on the Toeplitz algebra of the affine semigroup over the natural numbers 2010, 643-688. https://ro.uow.edu.au/infopapers/1749 Research Online is the open access institutional repository for the University of Wollongong. For further information contact the UOW Library: [email protected] Phase transition on the Toeplitz algebra of the affine semigroup over the natural numbers Abstract We show that the group of orientation-preserving affine ansformationstr of the rational numbers is quasi- lattice ordered by its subsemigroup N⋊N×. The associated Toeplitz C∗-algebra T(N⋊N×) is universal for isometric representations which are covariant in the sense of Nica. We give a presentation of T(N⋊N×) in terms of generators and relations, and use this to show that the C∗-algebra QN recently introduced by Cuntz is the boundary quotient of in the sense of Crisp and Laca. The Toeplitz algebra T(N⋊N×) carries a natural dynamics σ, which induces the one considered by Cuntz on the quotient QN, and our main result is the computation of the KMSβ (equilibrium) states of the dynamical system (T(N⋊N×),R,σ) for all values of the inverse temperature β.
    [Show full text]
  • Monoid Kernels and Profinite Topologies on the Free Abelian Group
    BULL. AUSTRAL. MATH. SOC. 20M35, 20E18, 20M07, 20K45 VOL. 60 (1999) [391-402] MONOID KERNELS AND PROFINITE TOPOLOGIES ON THE FREE ABELIAN GROUP BENJAMIN STEINBERG To each pseudovariety of Abelian groups residually containing the integers, there is naturally associated a profinite topology on any finite rank free Abelian group. We show in this paper that if the pseudovariety in question has a decidable membership problem, then one can effectively compute membership in the closure of a subgroup and, more generally, in the closure of a rational subset of such a free Abelian group. Several applications to monoid kernels and finite monoid theory are discussed. 1. INTRODUCTION In the early 1990's, the Rhodes' type II conjecture was positively answered by Ash [2] and independently by Ribes and Zalesskii [10]. The type II submonoid, or G-kernel, of a finite monoid is the set of all elements which relate to 1 under any relational morphism with a finite group. Equivalently, an element is of type II if 1 is in the closure of a certain rational language associated to that element in the profinite topology on a free group. The approach of Ribes and Zalesskii was based on calculating the profinite closure of a rational subset of a free group. They were also able to use this approach to calculate the Gp-kernel of a finite monoid. In both cases, it turns out the the closure of a rational subset of the free group in the appropriate profinite topology is again rational. See [7] for a survey of the type II theorem and its motivation.
    [Show full text]
  • João Pita Costa on the COSET STRUCTURE of a SKEW LATTICE
    DEMONSTRATIO MATHEMATICA Vol.XLIV No4 2011 João Pita Costa ON THE COSET STRUCTURE OF A SKEW LATTICE Abstract. The class of skew lattices can be seen as an algebraic category. It models an algebraic theory in the category of sets where the Green’s relation D is a congruence describing an adjunction to the category of lattices. In this paper we will discuss the rele- vance of this approach, revisit some known decompositions and relate the order structure of a skew lattice with its coset structure that describes the internal coset decomposition of the respective skew lattice. Introduction Skew lattices have been studied for the past thirty years as a noncom- mutative variation of the variety of lattices with motivations in semigroup theory, in linear algebra as well as in universal algebra. The study of non- commutative lattices began in 1949 by Pascual Jordan [14] who in 1961 presented a wide review on the subject [15]. It is later approached by Slavík [26] and Cornish [4] who refer to a special variety of noncommutative lat- tices, namely skew lattices. A more general version of these skew lattices is due to Jonathan Leech, was first announced in [20] and consists of the left version of Slavík’s algebras. The Green’s relation D defined in a skew lattice S is a congruence and has revealed its important role in the study of these algebras, permitting us a further approach to the coset structure of a skew lattice [23]. The first section of this paper is dedicated to the approach to skew lat- tices as algebraic theories discussing several characterizations related to the choice of the possible absorption laws.
    [Show full text]
  • (I) Eu ¿ 0 ; Received by the Editors November 23, 1992 And, in Revised Form, April 19, 1993
    proceedings of the american mathematical society Volume 123, Number 1, January 1995 TRIANGULAR UHF ALGEBRAS OVER ARBITRARYFIELDS R. L. BAKER (Communicated by Palle E. T. Jorgensen) Abstract. Let K be an arbitrary field. Let (qn) be a sequence of posi- tive integers, and let there be given a family \f¥nm\n > m} of unital K- monomorphisms *F„m. Tqm(K) —►Tq„(K) such that *¥np*¥pm= %im when- ever m < n , where Tq„(K) is the if-algebra of all q„ x q„ upper trian- gular matrices over K. A triangular UHF (TUHF) K-algebra is any K- algebra that is A'-isomorphic to an algebraic inductive limit of the form &~ = lim( Tq„(K) ; W„m). The first result of the paper is that if the embeddings ^Vnm satisfy certain natural dimensionality conditions and if £? = lim (TPn(K) ; Onm) is an arbitrary TUHF if-algebra, then 5? is A-isomorphic to ^ , only if the supernatural number, N[{pn)], of (q„) is less than or equal to the super- natural number, N[(p„)], of (pn). Thus, if the embeddings i>„m also satisfy the above dimensionality conditions, then S? is À"-isomorphic to F , only if NliPn)] = N[(qn)] ■ The second result of the paper is a nontrivial "triangular" version of the fact that if p, q are positive integers, then there exists a unital A"-monomorphism <P: Mq{K) —>MP(K), only if q\p . The first result of the paper depends directly on the second result. 1. Introduction Let K be a fixed but arbitrary field. In this paper we investigate a certain class of A.-algebras (i.e., algebras over K) called triangular UHF (TUHF) K- algebras.
    [Show full text]
  • Profinite Surface Groups and the Congruence Kernel Of
    Pro¯nite surface groups and the congruence kernel of arithmetic lattices in SL2(R) P. A. Zalesskii* Abstract Let X be a proper, nonsingular, connected algebraic curve of genus g over the ¯eld C of complex numbers. The algebraic fundamental group ¡ = ¼1(X) in the sense of SGA-1 [1971] is the pro¯nite completion of top the fundamental group ¼1 (X) of a compact oriented 2-manifold. We prove that every projective normal (respectively, caracteristic, accessible) subgroup of ¡ is isomorphic to a normal (respectively, caracteristic, accessible) subgroup of a free pro¯nite group. We use this description to give a complete solution of the congruence subgroup problem for aritmetic lattices in SL2(R). Introduction Let X be a proper, nonsingular, connected algebraic curve of genus g over the ¯eld C of complex numbers. As a topological space X is a compact oriented 2-manifold and is simply a sphere with g handles top added. The group ¦ = ¼1 (X) is called a surface group and has 2g generators ai; bi (i = 1; : : : ; g) subject to one relation [a1; b1][a2; b2] ¢ ¢ ¢ [ag; bg] = 1. The subgroup structure of ¦ is well known. Namely, if H is a subgroup of ¦ of ¯nite index n, then H is again a surface group of genus n(g ¡ 1) + 1. If n is in¯nite, then H is free. The algebraic fundamental group ¡ = ¼1(X) in the sense of SGA-1 [1971] is the pro¯nite completion top of the fundamental group ¼1 (X) in the topological sense (see Exp. 10, p. 272 in [SGA-1]).
    [Show full text]
  • One Dimensional Groups Definable in the P-Adic Numbers
    One dimensional groups definable in the p-adic numbers Juan Pablo Acosta L´opez November 27, 2018 Abstract A complete list of one dimensional groups definable in the p-adic num- bers is given, up to a finite index subgroup and a quotient by a finite subgroup. 1 Introduction The main result of the following is Proposition 8.1. There we give a complete list of all one dimensional groups definable in the p-adics, up to finite index and quotient by finite kernel. This is similar to the list of all groups definable in a real closed field which are connected and one dimensional obtained in [7]. The starting point is the following result. Proposition 1.1. Suppose T is a complete first order theory in a language extending the language of rings, such that T extends the theory of fields. Suppose T is algebraically bounded and dependent. Let G be a definable group. If G arXiv:1811.09854v1 [math.LO] 24 Nov 2018 is definably amenable then there is an algebraic group H and a type-definable subgroup T G of bounded index and a type-definable group morphism T H with finite kernel.⊂ → This is found in Theorem 2.19 of [8]. We just note that algebraic boundedness is seen in greater generality than needed in [5], and it can also be extracted from the proofs in cell decomposition [4]. That one dimensional groups are definably amenable comes from the following result. 1 Proposition 1.2. Suppose G is a definable group in Qp which is one dimen- sional.
    [Show full text]
  • Fuzzy Ideals of Skew Lattices
    BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Bull. Int. Math. Virtual Inst., Vol. 10(3)(2020), 473-482 DOI: 10.7251/BIMVI2003473G Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA LUKA ISSN 0354-5792 (o), ISSN 1986-521X (p) FUZZY IDEALS OF SKEW LATTICES Yeshiwas Mebrat Gubena Abstract. In this paper, the concept of fuzzy ideal of a skew lattice S is introduced, a fuzzy ideal of S is characterized in terms of a crisp ideal of S and equivalent conditions between a fuzzy subset of S and a fuzzy ideal of S are established. Also, it is proved that the set of all fuzzy ideals of a strongly distributive skew lattice forms a complete lattice. Lastly a mapping from the set I(S) of all ideals of a skew lattice S into the set F αI (S) of all α−level fuzzy ideals (αI ) of S corresponding to the ideal I is defined and it is proved that this map is an isomorphism. 1. Introduction The concept of fuzzy subsets of a nonempty set S as a function of S into the unit interval [0; 1] introduced by L. Zadch [12] initiated several algebraists to take up the study of fuzzy subalgebras of various algebraic systems such as groups, rings, modules, lattices etc. The study of fuzzy algebraic structure has started by Rosenfeld [11] and since then this concept has been applied to a variety of algebraic structures such as the notion of a fuzzy subgroup of a group [7] and [11], fuzzy subrings [8], fuzzy ideals of rings [7, 9, 10], and fuzzy ideals of lattices [1].
    [Show full text]
  • MATHEMATICS Algebra, Geometry, Combinatorics
    MATHEMATICS Algebra, geometry, combinatorics Dr Mark V Lawson November 17, 2014 ii Contents Preface v Introduction vii 1 The nature of mathematics 1 1.1 The scope of mathematics . .1 1.2 Pure versus applied mathematics . .3 1.3 The antiquity of mathematics . .4 1.4 The modernity of mathematics . .6 1.5 The legacy of the Greeks . .8 1.6 The legacy of the Romans . .8 1.7 What they didn't tell you in school . .9 1.8 Further reading and links . 10 2 Proofs 13 2.1 How do we know what we think is true is true? . 14 2.2 Three fundamental assumptions of logic . 16 2.3 Examples of proofs . 17 2.3.1 Proof 1 . 17 2.3.2 Proof 2 . 20 2.3.3 Proof 3 . 22 2.3.4 Proof 4 . 23 2.3.5 Proof 5 . 25 2.4 Axioms . 31 2.5 Mathematics and the real world . 35 2.6 Proving something false . 35 2.7 Key points . 36 2.8 Mathematical creativity . 37 i ii CONTENTS 2.9 Set theory: the language of mathematics . 37 2.10 Proof by induction . 46 3 High-school algebra revisited 51 3.1 The rules of the game . 51 3.1.1 The axioms . 51 3.1.2 Indices . 57 3.1.3 Sigma notation . 60 3.1.4 Infinite sums . 62 3.2 Solving quadratic equations . 64 3.3 *Order . 70 3.4 *The real numbers . 71 4 Number theory 75 4.1 The remainder theorem . 75 4.2 Greatest common divisors .
    [Show full text]
  • Valuations, Orderings, and Milnor K-Theory Mathematical Surveys and Monographs
    http://dx.doi.org/10.1090/surv/124 Valuations, Orderings, and Milnor K-Theory Mathematical Surveys and Monographs Volume 124 Valuations, Orderings, and Milnor K-Theory Ido Efrat American Mathematical Society EDITORIAL COMMITTEE Jerry L. Bona Peter S. Landweber Michael G. Eastwood Michael P. Loss J. T. Stafford, Chair 2000 Mathematics Subject Classification. Primary 12J10, 12J15; Secondary 12E30, 12J20, 19F99. For additional information and updates on this book, visit www.ams.org/bookpages/surv-124 Library of Congress Cataloging-in-Publication Data Efrat, Ido, 1963- Valuations, orderings, and Milnor if-theory / Ido Efrat. p. cm. — (Mathematical surveys and monographs, ISSN 0076-5376 ; v. 124) Includes bibliographical references and index. ISBN 0-8218-4041-X (alk. paper) 1. Valuation theory. 2. Ordered fields. 3. X-theory I. Title. II. Mathematical surveys and monographs ; no. 124. QA247.E3835 2006 515/.78-dc22 2005057091 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. © 2006 by the American Mathematical Society.
    [Show full text]
  • P-Adic L-Functions and Modular Forms
    p-adic L-functions and modular forms Alexei PANCHISHKIN Institut Fourier, Université Grenoble-1 B.P.74, 38402 St.Martin d'Hères, FRANCE Lectures for the International Summer School and Conference p-adic Analysis and its Applications August 31th to September 18th, 2009 (Trieste - ITALY) September, 2009 Alexei PANCHISHKIN (Grenoble) p-adic L-functions and modular forms ICTP, September,2009 1 / 1 Abstract 1) Congruences and p-adic numbers. Hensel's lemma. The Tate eld 2) Continuous and p-adic analytic functions. Mahler's criterion. Newton polygons Zeroes of analytic functions. The Weierstrass preparation theorem and its generalizations. 3) Distributions, measures, and the abstract Kummer congruences. The Kubota and Leopoldt p-adic L-functions and the Iwasawa algebra 4) Modular forms and L-functions. Congruences and families of modular forms. 5) Method of canonical projection of modular distributions. Examples of construction of p-adic L-functions Alexei PANCHISHKIN (Grenoble) p-adic L-functions and modular forms ICTP, September,2009 2 / 1 Related topics (for discussions, not included in the text of these materials) 6) Other approaches of constructing p-adic L-functions by Mazur-Tate-Teitelbaum, J.Coates, P.Colmez, H.Hida ... (using modular symbols by Manin-Mazur and their generalizations; Euler systems, work of D.Delbourgo, T.Ochiai, L.Berger, ..., overconvergent modular symbols by R.Pollack, G.Stevens, H.Darmon, ...) 7) Relations to the Iwasawa Theory 8) Applications of p-adic L-functions to Diophantine geometry 9) Open questions and problems in the theory of p-adic L-functions (Basic sources: Coates 60th Birthday Volume, Bourbaki talks by P.Colmez, J.Coates ...) Alexei PANCHISHKIN (Grenoble) p-adic L-functions and modular forms ICTP, September,2009 3 / 1 Lecture N◦1.
    [Show full text]
  • A Finiteness Theorem for Odd Perfect Numbers
    A finiteness theorem for odd perfect numbers Paul Pollack University of Georgia June 23, 2020 1 of 23 Ex: 5 is deficient (s(5) = 1), 12 is abundant (s(12) = 16), and 6 is perfect (s(6) = 6). Three kinds of natural numbers Among simple even numbers, some are superabundant, others are deficient: these two classes are as two extremes opposed one to the other; as for those that occupy the middle point between the two, they are said to be perfect. { Nicomachus (ca. 100 AD), Introductio Arithmetica P Let s(n) = djn;d<n d be the sum of the proper divisors of n. Abundant: s(n) > n. Deficient: s(n) < n. Perfect: s(n) = n. 2 of 23 Three kinds of natural numbers Among simple even numbers, some are superabundant, others are deficient: these two classes are as two extremes opposed one to the other; as for those that occupy the middle point between the two, they are said to be perfect. { Nicomachus (ca. 100 AD), Introductio Arithmetica P Let s(n) = djn;d<n d be the sum of the proper divisors of n. Abundant: s(n) > n. Deficient: s(n) < n. Perfect: s(n) = n. Ex: 5 is deficient (s(5) = 1), 12 is abundant (s(12) = 16), and 6 is perfect (s(6) = 6). 2 of 23 . In the case of those that are found between the too much and the too little, that is in equality, is produced virtue, just measure, propriety, beauty and things of that sort | of which the most exemplary form is that type of number which is called perfect.
    [Show full text]
  • Skew Lattices
    Proyecciones Journal of Mathematics Vol. 30, No 1, pp. 51-57, May 2011. Universidad Cat´olica del Norte Antofagasta - Chile Skew lattices K. V. R. Srinivas Regency Institute of Technology, Near Kakinada Received : April 2009. Accepted : January 2011 Abstract In this paper mainly important properties of skew lattices and sym- metric Lattices is obtained. A necessary and sufficient condition for skewlatticetobesymmetricisobtained.Maximalelementofaskew lattice is also obtained. Key words : Skew lattice, symmetric lattice. AMS(2000) subject classification : 20 M 10. 52 K. V. R. Srinivas 1. Introduction In general terms , a non-commutative lattice is an algebra (S, ,), where both and are associative ,Idempotent binary operations,connected by absorption laws.Pascal Jordon discussed about non-commutative lattices in 1949, pa- per[4], work within the scope of jordons approach has been carried out by Gerhardts in e.g[1] and [2]. Further the developments in non-commutative lattice is obtained by schein in[5] and are also obtained by schweigert [7] and [8]. In this paper mainly important properties of skew lattices and symmetric lattices is obtained . By a skew lattice is meant an algebra (S,) where S is a non-empty set, both , are binary operations called the join and meet respectively,satisifies the following identities. SL1:(xy)z=x(yz)and(xy)z=x(yz) SL2:xx=xandxx=x SL3:x(xy)=x(xy)and(xy)y=y=(xy)y The identities found in SL1-SL3 are known as the associative law,the idempotent laws and absorption laws respectively. Assuming the pair of laws ,the absorption laws are equivalent to the following pair of absorption equivalences.
    [Show full text]