Related papers: Finitely generated congruences on tropical rationa…
A renormalizable rigid supersymmetry for the four dimensional antisymmetric tensor field model in a curved space-time background is constructed. A closed algebra between the BRS and the supersymmetry operators is only realizable if the…
We provide explicit faithful re-embeddings for all hyperelliptic curves of genus at most three and an algorithmic way to construct them. Both in the faithful tropicalization algorithm and the proofs of correctness, we showcase OSCAR-methods…
Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This motivation leads us to…
This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial,…
We give a geometric characterization of finite rational groups. In particular, we prove that a finite group is rational if and only if there exists a finite geometry $\Gamma$ of type $I$ and action of $G$ on $\Gamma$ as a group of…
We construct moduli spaces of rational covers of an arbitrary smooth tropical curve in R^r as tropical varieties. They are contained in the balanced fan parametrizing tropical stable maps of the appropriate degree to R^r. The weights of the…
We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations.
We introduce an improved version of rational equivalence in tropical intersection theory which can be seen as a replacement of chapter 8 of our previous article arXiv:0709.3705v2. Using this new definition, rational equivalence is…
This is a follow-up paper of arXiv:1805.00115, where rational curves in surfaces that satisfy general positioned point and cross-ratio conditions were enumerated. A suitable correspondence theorem provided in arXiv:1509.07453 allowed us to…
We show that every finitely generated conical refinement monoid can be represented as the monoid $\mathcal V(R)$ of isomorphism classes of finitely generated projective modules over a von Neumann regular ring $R$. To this end, we use the…
The paper associates Lagrangian submanifolds in symplectic toric varieties to certain tropical curves inside the convex polyhedral domains of $\R^n$ that appear as the images of the moment map of the toric varieties. We pay a particular…
We study two possible tropical analogues of Weierstrass semigroups on graphs, called rank and functional Weierstrass sets. We prove that on simple graphs, the first is contained in the second. We completely characterize the subsets of N…
We address the problem of existence of refined (i.e., depending on a formal parameter) tropical enumerative invariants, and we present two new examples of a refined count of rational marked tropical curves. One of the new invariants counts…
Using Ahlfors functions, Grunsky maps and the Bell representation theorem, we show that a certain subset of the rational maps of degree $n$ forms a trivial bundle over the moduli space of non-degenerate $n$-connected domains with one marked…
Given a finitely generated algebra $A$, it is a fundamental question whether $A$ has a full rank discrete (Krull) valuation $\mathfrak{v}$ with finitely generated value semigroup. We give a necessary and sufficient condition for this, in…
We show that the semi-simplicity conjecture for finitely generated fields follows from the conjunction of the semi-simplicity conjecture for finite fields and for the maximal abelian extension of the field of rational numbers.
We show that for any ground term equation systems $E$ and $F$, (1) the union of the generated congruences by $E$ and $F$ is a congruence on the ground term algebra if and only if there exists a ground term equation system $H$ such that the…
Tropicalization is a procedure that assigns polyhedral complexes to algebraic subvarieties of a torus. If one fixes a weighted polyhedral complex, one may study the set of all subvarieties of a toric variety that have that complex as their…
Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative…
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…