Related papers: A construction of algebraizable formal models

We establish a formula for the classes of certain tori in the Grothendieck ring of varieties, in terms of its lambda-structure. More explicitly, we will see that if L* is the torus of invertible elements in the n-dimensional separable…

Birational properites of generically finite morphisms $X\rightarrow Y$ of algebraic varieties can be understood locally by a valuation of the function field of $X$. In finite extensions of algebraic local rings in characteristic zero…

The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We…

Let p be prime number, K be a p-adically closed field, X $\subseteq$ K^m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in X. We prove that the complete theory of L(X) eliminates the…

For an algebraic variety $X$ we study the behavior of algebraic morphisms from an algebraic variety to the group $\bir(X)$ of birational maps of $X$ and obtain, as application, some insight about the relationship between the so-called…

The main goal of this paper is to study the structure of the graded algebra associated to a valuation. More specifically, we prove that the associated graded algebra ${\rm gr}_v(R)$ of a subring $(R,\mathfrak{m})$ of a valuation ring…

We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…

We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, we add a universe with two decoding operations: one takes…

Let $X$ be a closed algebraic subset of $\mathbb{A}^{n}(K)$ where $K$ is an algebraically closed field complete with respect to a nontrivial non-Archimedean valuation. We show that there is a surjective continuous map from the Berkovich…

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two…

Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open set of stable points,…

We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gr\"obner basis computations in…

Every algebraic variety can be regarded as a symplectic manifold being equipped with a Kahler form. Therefore it is natural to study lagrangian geometry of any algebraic variety. We present two basic constructions which can be applied to a…

The work is devoted to the variety of $2$-dimensional algebras over an algebraically closed field. Firstly, we classify such algebras modulo isomorphism. Then we describe the degenerations and the closures of principal algebra series in the…

Let X be a smooth, complete, toric variety. We study those curves C in X that are contractible, in the sense that there exists an equivariant morphism with connected fibers, with source X, that contracts exactly the irreducible curves that…

We consider rational varieties with a torus action of complexity one and extend the combinatorial approach via the Cox ring developed for the complete case in earlier work to the non-complete, e.g. affine, case. This includes in particular…

We construct a combinatorial moduli space closely related to the KSV-compactification of the moduli space of bordered marked Riemann surfaces. The open part arises from symmetric metric ribbon graphs. The compactification is obtained by…

We establish an embedding of the quantum enveloping algebra of a symmetric generalized Kac--Moody algebra into a localized Hall algebra of $\mathbb Z_2$-graded complexes of representations of a quiver with (possible) loops. To overcome…

Let $k$ be a field, let $G$ be a reductive algebraic group over $k$, and let $V$ be a linear representation of $G$. Geometric invariant theory involves the study of the $k$-algebra of $G$-invariant polynomials on $V$, and the relation…

Let k be a complete, non-Archimedean field and let X be a k-analytic space ; assume that there exists a tamely ramified finite extension L/k such that X_L is isomorphic to an open polydisc over L ; we prove that X is itself isomorphic to an…