Related papers: Geometry of hyperfields

Let $X$ be a hypersurface in $\mathbb{P}^N$ with $N\geq 3$ defined over a finite field. The main result of this note is the classification, up to projective equivalence, of hypersurfaces $X$ as above without a linear component when the…

We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…

If $X$ is a (topological) space, the $n$th finite subset space of $X$, denoted by $X(n)$, consists of $n$-point subsets of $X$ (i.e., nonempty subsets of cardinality at most $n$) with the quotient topology induced by the unordering map…

Given an algebraic variety X defined over an algebraically closed field, we study the space RZ(X,x) consisting of all the valuations of the function field of X which are centered in a closed point x of X. We concentrate on its homeomorphism…

We study the geometry of tropical extensions of hyperfields, including the ordinary, signed and complex tropical hyperfields. We introduce the framework of 'enriched valuations' as hyperfield homomorphisms to tropical extensions, and show…

Let $X$ be a closed algebraic subset of $\mathbb{A}^{n}(K)$ where $K$ is an algebraically closed field complete with respect to a nontrivial non-Archimedean valuation. We show that there is a surjective continuous map from the Berkovich…

We show that if U is a hypercover of a topological space X then the natural map from hocolim U to X is a weak equivalence. This fact is used to construct topological realization functors for the A^1-homotopy theory of schemes over real and…

For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating…

Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and ad\`ele rings to any ring $R$ with a topology. This definition is functorial…

A topology on a nonempty set $X$ specifies a natural subset of $\mathcal{P}(X)$. By identifying $\mathcal{P}(\mathcal{P}(X))$ with the totally disconnected compact Hausdorff space $2^{\mathcal{P}(X)}$, the lattice $Top(X)$ of all topologies…

We study properties of the Golomb topology on polynomial rings over fields, in particular trying to determine conditions under which two such spaces are not homeomorphic. We show that if $K$ is an algebraic extension of a finite field and…

Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the…

Kapranov's theorem is a foundational result in tropical geometry. It states that the set of tropicalisations of points on a hypersurface coincides precisely with the tropical variety of the tropicalisation of the defining polynomial. The…

We initiate the study of convex geometry over ordered hyperfields. We define convex sets and halfspaces over ordered hyperfields, presenting structure theorems over hyperfields arising as quotients of fields. We prove hyperfield analogues…

We investigate path-, ray- and branch spaces of trees, certain topological spaces naturally associated with order theoretic trees, and provide topological characterisations for these spaces in terms of the existence of certain kinds of…

Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological…

For any finite field k of characteristic exceeding 3, the Hasse principle and weak approximation is established for non-singular cubic hypersurfaces X over the function field k(t), provided that X has dimension at least 6.

Let ${\rm Fin}(X)$ be the hyperspace consisting of non-empty finite subsets of a space $X$ endowed with the Vietoris topology. In this paper, we characterize a metrizable space $X$ whose hyperspace ${\rm Fin}(X)$ is homeomorphic to the…

A topological hyperplane is a subspace of R^n (or a homeomorph of it) that is topologically equivalent to an ordinary straight hyperplane. An arrangement of topological hyperplanes in R^n is a finite set H such that k topological…

A version of the Hardy-Littlewood circle method is developed for number fields K/Q and is used to show that non-singular projective cubic hypersurfaces over K always have a K-rational point when they have dimension at least 8.