Related papers: Lifting tropical intersections
Let $I$ be an ideal of the ring of Laurent polynomials $K[x_1^{\pm1},\ldots,x_n^{\pm1}]$ with coefficients in a real-valued field $(K,v)$. The fundamental theorem of tropical algebraic geometry states the equality…
Some projective wonderful models for the complement of a toric arrangement in a n-dimensional algebraic torus T were constructed in [3]. In this paper we describe their integer cohomology rings by generators and relations.
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones…
We study tropical commuting matrices from two viewpoints: linear algebra and algebraic geometry. In classical linear algebra, there exist various criteria to test whether two square matrices commute. We ask for similar criteria in the realm…
We study integral plane curves meeting at a single unibranch point and show that such curves must satisfy two equivalent conditions. A numeric condition: the local invariants of the curves at the contact point must be arithmetically…
The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes are shown to be in bijection with regular triangulations of products of two simplices. Applications…
Ducros, Hrushovski, and Loeser gave maps from families of archimedean diffrential forms to non-archiemedean (or tropical) ones, which are compatible with integrals on algebraic varieties. In this paper, we introduce slight modifications of…
In this paper, we establish a new criterion for covering maps between real algebraic varieties. Specifically, we prove that a quasi-finite, flat morphism with locally constant geometric fibers between varieties over a real closed field…
Under suitable conditions on a family of logarithmic curves, we endow the tropicalization of the family with an affine structure in a neighborhood of the sections in such a way that the tropical $\psi$ classes from \cite{psi-classes} arise…
We address the description of the tropicalization of families of rational varieties under parametrizations with prescribed support, via curve valuations. We recover and extend results by Sturmfels, Tevelev and Yu for generic coefficients,…
Using the interpretation of the ultradiscretization procedure as a non-Archimedean valuation, we use results of tropical geometry to show how roots and poles manifest themselves in piece-wise linear systems as points of…
Extremality and irreducibility constitute fundamental concepts in mathematics, particularly within tropical geometry. While extremal decomposition is typically computationally hard, this article presents a fast algorithm for identifying the…
Tropical implicitization means computing the tropicalization of a unirational variety from its parametrization. In the case of a hypersurface, this amounts to finding the Newton polytope of the implicit equation, without computing its…
We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…
We consider smooth, complex quasi-projective varieties $U$ which admit a compactification with a boundary which is an arrangement of smooth algebraic hypersurfaces. If the hypersurfaces intersect locally like hyperplanes, and the relative…
This thesis delves into the geometry of abstract tropical curves, exploring their complete linear system and associated tropical submodules. We establish a lower bound on the dimension of tropical submodules in terms of the Baker-Norine…
Torsion sensitive intersection homology was introduced to unify several versions of Poincare duality for stratified spaces into a single theorem. This unified duality theorem holds with ground coefficients in an arbitrary PID and with no…
We give a proof of the $p$-adic weight monodromy conjecture for scheme-theoretic complete intersections in projective smooth toric varieties. The strategy is based on Scholze's proof in the $\ell$-adic setting, which we adapt using…
The shellability of the boundary complex of an unbounded polyhedron is investigated. To this end, it is necessary to pass to a suitable compactification, e.g., by one point. This observation can be exploited to prove that any tropical…
We develop a novel framework to construct and analyze finite valued, multidimensional mechanisms using tropical convex geometry. We geometrically characterize incentive compatibility using cells in the tropical convex hull of the type set.…