Hypertělesa a jejich aplikace v tropické geometrii či teorii matroidů

Abstract

Hyperfields are algebraic structures generalizing the concept of an algebraic field. In contrast to classical fields, summation in a hyperfield is multivalued, that is, the sum of two elements is not a single element, but a whole set of elements. Hyperfields find practical use in the theory of matroids and in tropical geometry, a variant of algebraic geometry. Matroid is an algebraic structure generalizing the concept of linear independence. There exist more types of matroids expanding the basic definition, e.g. oriented or valuated matroids. All of these definitions can be generalized to a single concept of an F-matroid, where F is a hyperfield. Tropical geometry is concerned with similar problems as algebraic geometry, only over the so-called tropical semifield. It finds many applications due to its combinatorial nature. Tropical geometry and algebraic geometry are closely tied by the so-called Litvinov-Maslov dequantization and hyperfields may be used to describe its generalized version. 1

Hypertělesa jsou algebraickou strukturou zobecňující pojem algebraického tělesa. Na rozdíl od klasických těles, operace sčítání v hypertělese je mnohoznačná, tzn. výsledkem součtu dvou prvků není pouze jeden prvek, ale celá množina prvků. Hypertělesa nacházejí praktické využití v teorii matroidů a v tropické geometrii, odnoži algebraické geometrie. Matroid je algebraická struktura zobecňující pojem lineární nezávislosti. Existuje více typů matroidů rozšiřující základní definici matroidu, např. matroid orientovaný či valuo- vaný. Všechny tyto definice lze zastřešit pod jeden pojem tzv. F-matroidu, kde F zastává hypertěleso. Tropická geometrie se zabývá podobnými otázkami jako algebraická geo- metrie, pouze nad tzv. tropickým polotělesem. Díky své kombinatorické povaze nachází mnoho aplikací. Tropická geometrie a algebraická geometrie jsou úzce propojené pomocí tzv. Litvinovy-Maslovy dekvantizace a hypertělesa lze použít k popisu její zobecněné verze. 1