Related papers: Finitely generated congruences on tropical rationa…
We investigate the realizability of balanced functions on tropical curves, establishing new sufficient criteria for superabundant functions on genus two curves, analogous to the well-spacedness condition in genus one. We find that…
We study the question of finite generation of saturated multi-Rees algebras and investigate the asymptotic behaviour of related length functions. In the setup of excellent local domains, we show that the saturated multi-Rees algebra of a…
We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of…
Given a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite…
In this paper we study ends of finitely generated semigroups. The ends we are working with are the ends of the undirected graphs of Cayley graphs of finitely generated semigroups. We prove that the number of ends is preserved for…
The algebraic foundation of tropical polynomial algebra provides the framework for the geometric construction of the supplement and the reversal of tropical varieties, thereby inducing a duality of reduced tropical varieties; for classes of…
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then…
We say that a tropical subvariety $V\subset \mathbb R^n$ is $B$-realizable if it can be lifted to an analytic subset of $(\Lambda^*)^n$. When $V$ is a smooth curve or hypersurface, there always exists a Lagrangian submanifold lift…
We show that the asymptotic behavior of the two main competing notions of rank of a linear series on a tropical curve is governed by asymptotic invariants, closely paralleling the theory of volumes in algebraic geometry. We introduce and…
We prove for residually finite groups the following long standing conjecture: the number of twisted conjugacy classes of an automorphism of a finitely generated group is equal (if it is finite) to the number of finite dimensional…
We say that a finitely generated group $G$ has property (QT) if it acts isometrically on a finite product of quasi-trees so that orbit maps are quasi-isometric embeddings. A quasi-tree is a connected graph with path metric quasi-isometric…
We investigate when the clone of congruence preserving functions is finitely generated. We obtain a full description for all finite $p$-groups, and for all finite algebras with Mal'cev term and simple congruence lattice. The…
We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of $M$-concave functions on the discrete $n$-dimensional cube. We show it coincides…
Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…
We determine the structure of the intersection of a finitely generated subgroup of a semiabelian variety $G$ defined over a finite field with a closed subvariety $X\subset G$.
We show that the pseudoeffective cone of $k$-cycles on a complete complexity one $T$-variety is rational polyhedral for any $k$, generated by classes of $T$-invariant subvarieties. When $X$ is also rational, we give a presentation of the…
We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations X over curves over perfect fields k. For example, if k is finitely generated over Q and the fibration has odd relative dimension at least 11, then…
Purpose: To develop the algebraic foundation of finite commutative ternary $\Gamma$-semirings by identifying their intrinsic invariants, lattice organization, and radical behavior that generalize classical semiring and $\Gamma$-ring…
We show that the closed convex hull of any one-dimensional semi-algebraic subset of R^n has a semidefinite representation, meaning that it can be written as a linear projection of the solution set of some linear matrix inequality. This is…
Towards building tropical analogues of adic spaces, we study certain spaces of prime congruences as a topological semiring replacement for the space of continuous valuations on a topological ring. This requires building the theory of…