Opombe
Številna vprašanja v CAT(0) geometriji izvirajo iz izrekov o Riemannovih mnogoterostih nepozitivnih prereznih ukrivljenosti. V disertaciji se ukvarjamo z enim izmed njih, s problemom periodičnih ravnin. V kontekstu realnih analitičnih mnogoterosti sta ga rešila Bangert in Schröder, V Bangert, v Schröder, Existence of flat tori in analytic manifolds of nonpositive curvature. Ann. Sci. École Norm. Sup. 24 (1992), no. 4 pp. 605-634. Problem sprašuje, ali vedno lahko najdemo kopijo proste abelove grupe ?$\mathbb{Z}^m$? v grupi, ki deluje kokompaktno diskretno z izometrijami na CAT(0) prostoru ?$X$?, ki vsebuje izometrično vloženo kopijo ?$\mathbb{R}^m$?. V uvodnih poglavjih povzamemo dognanja iz del P.-E. Caprace, N. Monod, Isometry groups of non-positively curved spaces: structure theory. J. Topol. 2 (2009), no. 4, pp. 661-700 in P.-E. Caprace, N. Monod, Isometry groups of non-positively curved spaces: discrete subgroups. J. Topol. 2 (2009), no. 4, pp. 701-746 o celotni grupi izometrij pravega kokompaktnega geodezično polnega CAT(0) prostora. Nato ta dognanja uporabimo v dokazu glavnega izreka iz P.-E. Caprace, G. Zadnik, Regular elements in CAT(0) groups. Preprint at http://arXiv.org/abs/1112.4637 (2011), ki poda delni odgovor na problem periodičnih ravnin: "Naj bo parvi CAT(0) prostor ?$X$? produkt ?$m$? geodezično polnih faktorjev. Tedaj poljubna grupa ?$\Gamma$?, ki deluje kokompaktno diskretno z izometrijami na ?$X$?, vsebuje kopijo ?$\mathbb{Z}^m$?." Čeprav predpostavke zapisanega izreka močno posežejo v splošnost problema periodičnih ravnin, so za njegov dokaz potrebni globoki izreki iz strukturne teorije grupe izometrij dotičnega CAT(0) prostora. Za dokaz ključna je rešitev Hilbertovega petega problema (izrek Glaeson, Montgomery-Zippin), ki zagotavlja dihotomojo za grupe izometrij določenih CAT(0) prostorov. Bodisi je grupa izometrij Liejeva bodisi je popolnoma nepovezana lokalno kompaktna topološka grupa. Glede na to dihotomijo se dokaz izreka razdeli na dva dela. Prvi del sledi iz znanih izrekov iz teorije Liejevih grup, med tem ko se drugi del sklicuje na geometrijo CAT(0) prostora s popolnoma nepovezano grupo izometrij, P.-E. Caprace, N. Monod, Isometry groups of non-positively curved spaces: structure theory. J. Topol. 2 (2009), no. 4, pp. 661-700.