Related papers: Real tropicalization and analytification of semial…

We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set $S$. The truncated cones of moments of measures supported on the set $S$ is dual to nonnegative polynomials on $S$,…

We define the weak-normalization and the seminormalization of a real algebraic variety relative to its central locus. The study is related to the properties of the rings of continuous rational functions and hereditarily rational functions…

The efficacy of using complexifications to understand the structure of real algebraic groups is demonstrated. In particular the following results are proved: a) If L is an algebraic subgroup of a connected real algebraic group G such that…

We study a notion of tropical linear series on metric graphs that combines two essential properties of tropicalizations of linear series on algebraic curves: the Baker-Norine rank and the independence rank. Our main results relate the local…

We consider tropical hemispaces, defined as tropically convex sets whose complements are also tropically convex, and tropical semispaces, defined as maximal tropically convex sets not containing a given point. We introduce the concept of…

We show that the moduli spaces of irreducible labeled parametrized marked rational curves in toric varieties can be embedded into algebraic tori such that their tropicalizations are the analogous tropical moduli spaces. These embeddings are…

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

The Goldman-Iwahori space of seminorms on a finite-dimensional vector space over a non-Archimedean field is a non-Archimedean analogue of a symmetric space. If, in addition, $K$ is real closed, we define a signed analogue of the…

Much like in the theory of algebraic geometry, we develop a correspondence between certain types of algebraic and geometric objects. The basic algebraic environment we work in is the a semifield of fractions H(x1,...,xn) of the polynomial…

We describe new algorithms to compute Whitney stratifications of real algebraic varieties. Using either conormal or polar techniques, these algorithms stratify a complexification of a given real variety. We then show that the resulting…

We develop the algebraic polynomial theory for "supertropical algebra," as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of "ghost elements," which also play the key role in our…

In this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the…

We launch the study of the tropicalization of the symplectic Grassmannian, that is, the space of all linear subspaces that are isotropic with respect to a fixed symplectic form. We formulate tropical analogues of several equivalent…

Affine Bruhat--Tits buildings are geometric spaces extracting the combinatorics of algebraic groups. The building of $\mathrm{PGL}$ parametrizes flags of subspaces/lattices in or, equivalently, norms on a fixed finite-dimensional vector…

Splice type surface singularities were introduced by Neumann and Wahl as a generalization of the class of Pham-Brieskorn-Hamm complete intersections of dimension two. Their construction depends on a weighted tree called a splice diagram. In…

We introduce a relative refined $\chi_y$-genus for sch\"on subvarieties of algebraic tori. These are rational functions of degree minus the codimension with coefficients in the ring of lattice polytopes. We prove that the relative refined…

Given a tropical fan curve $\Sigma$ and a family of algebraic curves $X \rightarrow \mathbb{A}^k$ we define the realization locus $\mathop{Real}_\Sigma \subseteq \mathbb{A}^k$ as the set of fibers $X_a$ whose tropicalization is $\Sigma$. We…

We construct examples of complex algebraic surfaces not admitting normal embeddings (in the sense of semialgebraic or subanalytic sets) with image a complex algebraic surface.