Related papers: Log geometry and lifting rational points
Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points…
In differential algebra, a proper scheme $X$ defined over an algebraically closed field $K$ with a derivation $\partial$ on it descends to the field of constants $K^\partial$ if $X$ itself lifts the derivation $\partial$. This is a result…
Let $R$ be a Dedekind ring, $K$ its quotient field, and $L=K(\alpha)$ a finite field extension of $K$ defined by a monic irreducible polynomial $f(x)\in R[x]$. We give an easy version of Dedekind's criterion which computationally improves…
Given a smooth morphism $Y\to S$ and a proper morphism $P\to S$ of algebraic varieties we give a sufficient condition for extending an $S$-morphism $U\to P$, where $U$ is an open subset of $Y$, to an $S$-morphism $Y\to P$, analogous to…
Generalizing supertropical algebras, we present a "layered" structure, "sorted" by a semiring which permits varying ghost layers, and indicate how it is more amenable than the "standard" supertropical construction in factorizations of…
This is a contribution to the problem of classifying all deformations - a. k. a. liftings - of the bosonization of a Nichols algebra $\mathfrak{B}(V)$ over a cosemisimple and non-semisimple Hopf algebra $H$. Such a situation arises when the…
In this note, a procedure is developed to explicitly construct non-trivial F-theory lifts of perturbative IIB orientifold models on Calabi-Yau complete intersections in toric varieties. This procedure works on Calabi-Yau orientifolds where…
This is the announcement, and the long summary, of a series of articles on the algorithmic study of Thurston maps. We describe branched coverings of the sphere in terms of group-theoretical objects called bisets, and develop a theory of…
We consider the interplay of point counts, singular cohomology, \'etale cohomology, eigenvalues of the Frobenius and the Grothendieck ring of varieties for two families of varieties: spaces of rational maps and moduli spaces of marked,…
We explore extensions of tropical methods to arithmetic enumerative problems such as $\mathbb{A}^1$-enumeration with values in the Grothendieck-Witt ring, and rationality over Henselian valued fields, using bitangents to plane quartics as a…
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local…
Let $F$ be a field, let $D$ be a subring of $F$, and let ${\mathfrak{X}}$ be the Zariski-Riemann space of valuation rings containing $D$ and having quotient field $F$. We consider the Zariski, inverse and patch topologies on…
The tropicalization of an algebraic variety X is a combinatorial shadow of X, which is sensitive to a closed embedding of X into a toric variety. Given a good embedding, the tropicalization can provide a lot of information about X. We…
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…
A central question in dynamics is whether the topology of a system determines its geometry. This is known as rigidity. Under mild topological conditions rigidity holds for many classical cases, including: Kleinian groups, circle…
We prove that the morphism that maps a rational ruled surface to its singular locus is genericaly injective modulo isomophism and duality. We also calculate the dimension and the degre of its image.
The circular coordinates algorithm, a key tool in topological data analysis, relies on a theoretically unvalidated lifting step to convert cocycles from a prime field to integer coefficients. We provide a rigorous analysis of this…
A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a…
We characterize the cyclic branched covers of the 2-sphere where every homeomorphism of the sphere lifts to a homeomorphism of the covering surface. This answers a question that appeared in an early version of the erratum of Birman and…
We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalizing classical results of Raynaud in two different ways. The first is a higher dimensional generalization of Raynaud's…