Related papers: Real tropicalization and analytification of semial…
We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for…
Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…
We explore several facets of tropical subrepresentations of a linear representation of a group over the tropical semifield $\mathbb{T}$. A key role in the study of tropical subrepresentations is played by two types of modules over a…
Borrowing ideas from elliptic complex geometry, we approach M-theory compactifications on real toric fibrations. Precisely, we explore real toric equations rather than complex ones exploited in F-theory and related dual models. These…
We introduce algebraic structures on the polyvector fields of an algebraic torus that serve to compute multiplicities in tropical and log Gromov-Witten theory while also connecting to the mirror symmetry dual deformation theory of complex…
Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties…
This document is a slightly expanded version of a series of talks given by J. Giansiracusa at the workshop `Geometry over semirings' at Universitat Aut\`{o}noma de Barcelona in July 2025. In the first lecture we introduce tropical…
We extend tropicalization and tropical compactification of subvarieties of algebraic tori to subvarieties of spherical homogeneous spaces. Given a tropical compactification of a subvariety, we show that the support of the colored fan of the…
Finding a common factor of two multivariate polynomials with approximate coefficients is a problem in symbolic-numeric computing. Taking a tropical view on this problem leads to efficient preprocessing techniques, applying polyhedral…
Hilbertian kernel methods and their positive semidefinite kernels have been extensively used in various fields of applied mathematics and machine learning, owing to their several equivalent characterizations. We here unveil an analogy with…
We classify filtered quantizations of conical symplectic singularities and use this to show that all filtered quantizations of symplectic quotient singularities are spherical Symplectic reflection algebras of Etingof and Ginzburg. We…
In this work we present the concept of $C$-semianalytic subset of a real analytic manifold and more generally of a real analytic space. $C$-semianalytic sets can be understood as the natural generalization to the semianalytic setting of…
We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are…
We interpret a counterexample to Hilbert's 14th problem by S. Kuroda geometrically in two ways: As ring of regular functions on a smooth rational quasiprojective variety over any field K of characteristic 0, and, in the special case where K…
This paper lays out a foundation for a theory of supertropical algebraic geometry, relying on commutative $\nu$-algebra. To this end, the paper introduces $\mathfrak{q}$-congruences, carried over $\nu$-semirings, whose distinguished ghost…
In this paper we study a $k$-dimensional analytic subvariety of the complex algebraic torus. We show that if its logarithmic limit set is a finite rational $(k-1)$-dimensional spherical polyhedron, then each irreducible component of the…
Let $X$ be an analytic subset of $U\times C^n$ of pure dimension $k$ such that the projection of $X$ onto $U$ is a proper mapping, where $U$ is a Runge domain in $C^k$. We show that $X$ can be approximated by algebraic sets.
In this paper, we study the problem of tropicalizing tame degree three coverings of the projective line. Given any degree three covering $C\longrightarrow{\mathbb{P}^{1}}$, we give an algorithm that produces the Berkovich skeleton of $C$.…
Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…
Let K be an algebraically closed, complete non-Archimedean field. The purpose of this paper is to carefully study the extent to which finite morphisms of algebraic K-curves are controlled by certain combinatorial objects, called skeleta. A…