Related papers: Local Tropicalization

Let $k$ be \emph{any} algebraically closed field in any characteristic, let $R$ be any regular local ring such that $R$ contains $k$ as a subring, the residue field of $R$ is isomorphic to $k$ as $k$-algebras and $\dim R\geq 1$, let $P$ be…

Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for…

The main aim of this paper is to show the interconnections between {\L}ukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on…

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

Various reconstructions of finite-dimensional quantum mechanics result in a formally real Jordan algebra A and a last step remains to conclude that A is the self-adjoint part of a C*-algebra. Using a quantum logical setting, it is shown…

In this article we study the tropicalization of the Hilbert scheme and its suitability as a parameter space for tropical varieties. We prove that the points of the tropicalization of the Hilbert scheme have a tropical variety naturally…

We introduce the notion of tropicalization for Poisson structures on $\mathbb{R}^n$ with coefficients in Laurent polynomials. To such a Poisson structure we associate a polyhedral cone and a constant Poisson bracket on this cone. There is a…

We study the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two well-developed quantitative approaches to program semantics: on the one hand program…

We use tropical and nonarchimedean geometry to study the moduli space of genus $0$ stable maps to $\mathbb{P}^1$ relative to two points. This space is exhibited as a tropical compactification in a toric variety. Moreover, the fan of this…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

In this paper, we propose local matrix generalizations of the classical $W$-algebras based on the second Hamiltonian structure of the $\mathcal{Z}_m$-valued KP hierarchy, where $\mathcal{Z}_m$ is a maximal commutative subalgebra of…

We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…

The toroidalization conjecture of D. Abramovich, K. Karu, K. Matsuki, and J. Wlodarczyk asks whether any given morphism of nonsingular varieties over an algebraically closed field of characteristic zero can be modified into a toroidal…

The goal of the course was a review of results mainly due to M. Olbrich and the first author. We consider a discrete cocompact subgroup $\Gamma$ of a semisimple Lie group $G$. We relate the group cohomology of $\Gamma$ with coefficients in…

We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…

Let $\Gamma$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $\Gamma$, determined on its elements of finite…

We study a function $\mathcal{L}_{\Gamma}$ which quantifies the LEF (local embeddability into finite groups) property for a finitely generated group $\Gamma$. We compute this "LEF growth" function in some examples, including certain wreath…

To each prime ideal in a polynomial ring over a field we associate an algebraic matroid and show that it is preserved under tropicalization. This gives a necessary condition for a tropical variety to be set-theoretically realizable from a…

We introduce the tropicalization of closed subschemes of a torus defined over a higher dimensional local field. We study the basic invariants of such tropicalizations. This is a generalization of the results of Einslieder, Kapranov, Lind,…

Let $X$ be an algebraic variety and let $S$ be a tropical variety associated to $X$. We study the tropicalization map from the moduli space of stable maps into $X$ to the moduli space of tropical curves in $S$. We prove that it is a…