Skip to main content
Top

2017 | OriginalPaper | Chapter

9. Generalised Heaps as Affine Structures

Authors : Christopher D. Hollings, Mark V. Lawson

Published in: Wagner’s Theory of Generalised Heaps

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We describe how Wagner’s notion of a generalised heap can be transformed into something much more akin to a generalised bitorsor with the help of Anders Kock’s concept of a pregroupoid. This directly generalises the classical relationship between heaps and bitorsors of groups. The generalised bitorsors that give rise to generalised heaps are, in fact, the exact arbiters of Morita equivalence between inverse semigroups. Thus generalised heaps are of much more than merely historical interest.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
It is worth noting that there is a parallel here with the way that groupoids, specifically ordered groupoids, may be used to study inverse semigroups [26, Chapter 4].
 
2
See the comments on p. 25.
 
3
Cf. the definition given previously in Section 3.​6, and also Wagner’s treatment in Section 8.​2.
 
4
But we define vectors via equivalence classes of directed line segments whereas Roe [44] defines them as functions: the translations that they determine.
 
5
Cf. the definition given previously in Section 3.​6, and also Wagner’s treatment in Section 8.​3.
 
6
Johnstone [16] suggested the name ‘herdoid’ but presumably as a joke.
 
Literature
1.
go back to reference Baer, R.: Zur Einführung des Scharbegriffs. J. Reine Angew. Math. 163, 199–207 (1929)MATH Baer, R.: Zur Einführung des Scharbegriffs. J. Reine Angew. Math. 163, 199–207 (1929)MATH
3.
go back to reference Bertram, W., Kinyon, M.: Associative geometries I: groups, linear relations and Grassmannians. J. Lie Theory 20(2), 215–252 (2010)MathSciNetMATH Bertram, W., Kinyon, M.: Associative geometries I: groups, linear relations and Grassmannians. J. Lie Theory 20(2), 215–252 (2010)MathSciNetMATH
4.
go back to reference Burris, S., Sankapanavar, H.P.: A Course in Universal Algebra. The Millennium Edition, freely available at www.math.hawaii.edu/~ralph/Classes/619/univ-algebra.pdf. Accessed 6 Feb 2017 Burris, S., Sankapanavar, H.P.: A Course in Universal Algebra. The Millennium Edition, freely available at www.math.hawaii.edu/~ralph/Classes/619/univ-algebra.pdf. Accessed 6 Feb 2017
6.
go back to reference Ehresmann, Ch.: Oeuvres complètes et commentées. Supplements to Cah. Top. Géom. Diff. Catég. Amiens (1980–1984) Ehresmann, Ch.: Oeuvres complètes et commentées. Supplements to Cah. Top. Géom. Diff. Catég. Amiens (1980–1984)
8.
go back to reference Funk, J., Hofstra, P.: Topos theoretic aspects of semigroup actions. Theory Appl. Categ. 24, 117–147 (2010)MathSciNetMATH Funk, J., Hofstra, P.: Topos theoretic aspects of semigroup actions. Theory Appl. Categ. 24, 117–147 (2010)MathSciNetMATH
10.
go back to reference Funk, J., Lawson, M.V., Steinberg, B.: Characterizations of Morita equivalent inverse semigroups. J. Pure Appl. Algebra 215, 2262–2279 (2011)MathSciNetCrossRefMATH Funk, J., Lawson, M.V., Steinberg, B.: Characterizations of Morita equivalent inverse semigroups. J. Pure Appl. Algebra 215, 2262–2279 (2011)MathSciNetCrossRefMATH
11.
go back to reference Garity, T.A.: Electricity and Magnetism for Mathematicians. Cambridge University Press, Cambridge (2015)CrossRef Garity, T.A.: Electricity and Magnetism for Mathematicians. Cambridge University Press, Cambridge (2015)CrossRef
13.
go back to reference Healey, R.: Gauging What’s Real: The Conceptual Foundations of Contemporary Gauge Theory. Oxford University Press, Oxford (2009)MATH Healey, R.: Gauging What’s Real: The Conceptual Foundations of Contemporary Gauge Theory. Oxford University Press, Oxford (2009)MATH
14.
go back to reference Hollings, C.D.: Scientific Communication Across the Iron Curtain. SpringerBriefs in History of Science and Technology. Springer, Cham (2016)CrossRefMATH Hollings, C.D.: Scientific Communication Across the Iron Curtain. SpringerBriefs in History of Science and Technology. Springer, Cham (2016)CrossRefMATH
15.
go back to reference Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)MATH Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)MATH
16.
17.
go back to reference Kock, A.: The algebraic theory of moving frames. Cah. Top. Géom. Diff. Catég. 23, 347–362 (1982)MathSciNetMATH Kock, A.: The algebraic theory of moving frames. Cah. Top. Géom. Diff. Catég. 23, 347–362 (1982)MathSciNetMATH
18.
go back to reference Kock, A.: Generalised fibre bundles. In: Borceaux, F. (ed.) Categorical Algebra and Its Applications. Lecture Notes in Mathematics, vol. 1348, pp. 194–207. Springer, Berlin (1988) Kock, A.: Generalised fibre bundles. In: Borceaux, F. (ed.) Categorical Algebra and Its Applications. Lecture Notes in Mathematics, vol. 1348, pp. 194–207. Springer, Berlin (1988)
19.
go back to reference Kock, A.: Synthetic Differential Geometry. 2nd edn. Cambridge University Press, Cambridge (2006)CrossRefMATH Kock, A.: Synthetic Differential Geometry. 2nd edn. Cambridge University Press, Cambridge (2006)CrossRefMATH
21.
go back to reference Kock, A.: Principal bundles, groupoids, and connections. In: Geometry and Topology of Manifolds (Proceedings of the Conference “The Mathematical Legacy of Charles Ehresmann”, Bedlewo, Poland, May 2005), vol. 76, pp. 185–200. Banach Center Publications, Warszawa (2007) Kock, A.: Principal bundles, groupoids, and connections. In: Geometry and Topology of Manifolds (Proceedings of the Conference “The Mathematical Legacy of Charles Ehresmann”, Bedlewo, Poland, May 2005), vol. 76, pp. 185–200. Banach Center Publications, Warszawa (2007)
23.
go back to reference Kudryavtseva, G., Lawson, M.V., Lenz, D.H., Resende, P.: Invariant means on Boolean inverse monoids. Semigroup Forum. 92, 77–101 (2016)MathSciNetCrossRefMATH Kudryavtseva, G., Lawson, M.V., Lenz, D.H., Resende, P.: Invariant means on Boolean inverse monoids. Semigroup Forum. 92, 77–101 (2016)MathSciNetCrossRefMATH
26.
go back to reference Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, Singapore (1998)CrossRefMATH Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, Singapore (1998)CrossRefMATH
28.
go back to reference Lawson, M.V.: Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids. J. Algebra 462, 77–114 (2016)MathSciNetCrossRefMATH Lawson, M.V.: Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids. J. Algebra 462, 77–114 (2016)MathSciNetCrossRefMATH
30.
go back to reference Lawson, M.V., Margolis, S.W., Steinberg, B.: The étale groupoid of an inverse semigroup as a groupoid of filters. J. Aust. Math. Soc. 94, 234–256 (2014)CrossRefMATH Lawson, M.V., Margolis, S.W., Steinberg, B.: The étale groupoid of an inverse semigroup as a groupoid of filters. J. Aust. Math. Soc. 94, 234–256 (2014)CrossRefMATH
31.
go back to reference Lawson, M.V., Scott, P.: AF inverse monoids and the structure of countable MV-algebras. J. Pure Appl. Algebra 221, 45–74 (2017)MathSciNetCrossRefMATH Lawson, M.V., Scott, P.: AF inverse monoids and the structure of countable MV-algebras. J. Pure Appl. Algebra 221, 45–74 (2017)MathSciNetCrossRefMATH
32.
go back to reference Lawson, M.V., Steinberg, B.: Ordered groupoids and étendues. Cah. Top. Géom. Diff. Catég. 45, 82–108 (2004)MATH Lawson, M.V., Steinberg, B.: Ordered groupoids and étendues. Cah. Top. Géom. Diff. Catég. 45, 82–108 (2004)MATH
34.
go back to reference Mackenzie, K.C.H.: Affinoid structures and connections. In: Grabowski, J., Urbański. P. (eds.) Poisson Geometry: Stanisław Zakrzewski in Memoriam, vol. 51, pp. 175–186. Banach Center Publications, Warsaw (2000) Mackenzie, K.C.H.: Affinoid structures and connections. In: Grabowski, J., Urbański. P. (eds.) Poisson Geometry: Stanisław Zakrzewski in Memoriam, vol. 51, pp. 175–186. Banach Center Publications, Warsaw (2000)
35.
go back to reference Mackenzie, K.C.H.: Lie Groupoids and Lie Algebroids. Cambridge University Press, Cambridge (2005)CrossRefMATH Mackenzie, K.C.H.: Lie Groupoids and Lie Algebroids. Cambridge University Press, Cambridge (2005)CrossRefMATH
37.
go back to reference Paterson, A.L.T.: Groupoids, Inverse Semigroups, and Their Operator Algebras. Birkhäuser, Boston (1999)CrossRefMATH Paterson, A.L.T.: Groupoids, Inverse Semigroups, and Their Operator Algebras. Birkhäuser, Boston (1999)CrossRefMATH
38.
go back to reference Pradines, J.: Lois d’action principales conjugées. Manuscrit Ineditée (1977) Pradines, J.: Lois d’action principales conjugées. Manuscrit Ineditée (1977)
40.
go back to reference Renault, J.: A Groupoid Approach to C ∗-Algebras. Lecture Notes in Mathematics, vol. 793. Springer, New York (1980) Renault, J.: A Groupoid Approach to C -Algebras. Lecture Notes in Mathematics, vol. 793. Springer, New York (1980)
42.
43.
go back to reference Rieffel, M.A.: Morita equivalence for operator algebras. In: Operator Algebras and Applications, Part I (Kingston, Ont., 1980). Proceedings of Symposia in Pure Mathematics, vol. 38, pp. 285–298. American Mathematical Society, Providence, RI (1982) Rieffel, M.A.: Morita equivalence for operator algebras. In: Operator Algebras and Applications, Part I (Kingston, Ont., 1980). Proceedings of Symposia in Pure Mathematics, vol. 38, pp. 285–298. American Mathematical Society, Providence, RI (1982)
44.
go back to reference Roe, J.: Elementary Geometry. Oxford University Press, Oxford (1993)MATH Roe, J.: Elementary Geometry. Oxford University Press, Oxford (1993)MATH
45.
go back to reference Steinberg, B.: Strong Morita equivalence of inverse semigroups. Houst. J. Math. 37, 895–927 (2011)MathSciNetMATH Steinberg, B.: Strong Morita equivalence of inverse semigroups. Houst. J. Math. 37, 895–927 (2011)MathSciNetMATH
46.
go back to reference Thurston, W.P.: Three-Dimensional Geometry and Topology, vol. 1. Princeton University Press, Princeton (1997)CrossRefMATH Thurston, W.P.: Three-Dimensional Geometry and Topology, vol. 1. Princeton University Press, Princeton (1997)CrossRefMATH
Metadata
Title
Generalised Heaps as Affine Structures
Authors
Christopher D. Hollings
Mark V. Lawson
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-63621-4_9

Premium Partner