Algebraic, tropical, and fuzzy geometry (Q717840): Difference between revisions

Fuzzy rings (not directly related to intuitionistic fuzzy rings) were introduced by the first author in [Adv. Math. 59, 97--123 (1986; Zbl 0656.05025)] as a tool to study matroids. In the present paper, the authors establish basic notions of algebraic geometry over arbitrary fuzzy rings, in order to unify the two following special cases. (1) The classical algebraic geometry is the one over a classical field, considered as a fuzzy ring. (2) The tropical algebraic geometry is the one over the fuzzy ring of all pairs \((a,b)\), where \(a\) is a positive real number, \(b\) is 0 or 1, the summation of pairs is the lexicographical minimum, and the multiplication of pairs is the componentwise multiplication. The authors establish a certain generalization of Zariski topology and correspondence between ideals and algebraic sets over this kind of rings. For the fuzzy ring (2), this correspondence produces tropical varieties. There are also other known ways to unify the classical algebraic geometry and the tropical one, see [\textit{O. Ya. Viro}, Proc. Steklov Inst. Math. 273, 252--282 (2011); translation from Tr. Mat. Inst. Steklova 273, 271--303 (2011; Zbl 1237.14074)] for a construction, based on rings with multivalued operations.