Related papers: $\boldsymbol{T}$-algebra homomorphisms between rat…
We develop a theory of T-duality for transitive Courant algebroids. We show that T-duality between transitive Courant algebroids E\rightarrow M and \tilde{E}\rightarrow \tilde{M} induces a map between the spaces of sections of the…
We show that any multiplicative bijection between the algebras of differentiable functions, defined on differentiable manifolds of positive dimension, is an algebra isomorphism, given by composition with a unique diffeomorphism.
Let $\Gamma$ denote a finite, undirected, connected graph, with vertex set $X$. Fix a vertex $x \in X$. Associated with $x$ is a certain subalgebra $T=T(x)$ of ${\rm Mat}_X(\mathbb C)$, called the subconstituent algebra. The algebra $T$ is…
We describe a framework to construct tropical moduli spaces of rational stable maps to a smooth tropical hypersurface or curve. These moduli spaces will be tropical cycles of the expected dimension, corresponding to virtual fundamental…
We construct the moduli space for equivalence classes of n-pointed tropical curves of genus g, together with its compactification given by weighted tropical curves, and establish some of its basic topological properties. We compare it to…
Given an algebraic variety defined over a discrete valuation field and a skeleton of its Berkovich analytification, the tropicalization process transforms function field of the variety to a semifield of tropical functions on the skeleton.…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
In this paper, we study whether a given morphism $f$ from the tangent bundle of $\mathbb{P}^1$ to a balanced vector bundle of degree $(n+1)d$ is induced by the restriction of the tangent bundle $T_{\mathbb{P}^n}$ to a rational curve of…
We introduce tropical dual numbers as an extension of tropical semiring. By this innovation, one can work with honest ideals, instead of congruences, and recover the Euclidean topology on affine tropical spaces similar to Zariski's approach…
New hyperfields, that is fields in which addition is multivalued, are introduced and studied. In a separate paper these hyperfields are shown to provide a base for the tropical geometry. The main hyperfields considered here are classical…
We describe the tropical curves in toric varieties and define the tropical Gromov-Witten invariants. We introduce amplitudes for the higher topological quantum mechanics (HTQM) on special trees and show that the amplitudes are equal to the…
To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by…
Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. Then there is a map $\Theta\colon\mathrm{Hom}(\pi,G)_0\to\mathrm{map}_*(B\pi,BG)_0$ between the null-components of the spaces of homomorphism and based maps, which…
For a torus G of rank r = 1, we showed that the canonical ring homomorphism L_G \to MU_G, where L_G is the equivariant Lazard ring and MU_G is the equivariant cobordism ring introduced by Tom Dieck, is surjective. We also showed that the…
Special fibrations of toric varieties have been used by physicists, e.g. the school of Candelas, to construct dual pairs in the study of Het/F-theory duality. Motivated by this, we investigate in this paper the details of toric morphisms…
In this paper we construct a tropical moduli space parametrizing roots of divisors on tropical curves. We study the relation between this space and the skeleton of Jarvis moduli space of nets of limit roots on stable curves. We show that…
For a tropical manifold of dimension n we show that the tropical homology classes of degree (n-1, n-1) which arise as fundamental classes of tropical cycles are precisely those in the kernel of the eigenwave map. To prove this we establish…
The paper studies intrinsic geometry in the tropical plane. Tropical structure in the real affine $n$-space is determined by the integer tangent vectors. Tropical isomorphisms are affine transformations preserving the integer lattice of the…
Homomorphisms are defined between the multiplicative group of an etale algebra of dimension 4 and the multiplicative group of a canonically associated etale algebra of degree 6 over an arbitrary field. These homomorphisms are used to relate…
We study the subgroup structure of the semigroup of finitary tropical matrices under multiplication. We show that every maximal subgroup is isomorphic to the full linear automorphism group of a related tropical polytope, and that each of…