Related papers: Nash problem for surfaces

We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the…

We analyse infinitesimal deformations of morphisms of locally free sheaves on a smooth projective variety $X$ over an algebraically closed field of characteristic zero. In particular, we describe a differential graded Lie algebra…

In this paper, we consider whether existence of a sums-of-squares formula depends on the base field. We reformulate the question of existence as a question in algebraic geometry. We show that, for large enough p, existence of…

We establish Noether's inequality for surfaces of general type in positive characteristic.Then we extend Enriques' and Horikawa's classification of surfaces on the Noether line, the so-called Horikawa surfaces. We construct examples for all…

Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field…

Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an…

Let X be a smooth quartic surface not containing lines, defined over a number field K. We prove that there are only finitely many bitangents to X which are defined over K. This result can be interpreted as saying that a certain surface,…

We prove the existence of an effective universal upper bound for the order of any integral periodic orbit of any integral algebraic dynamical system in a fixed ambient space. Using this, we demonstrate the decidability of periodicity in…

This paper is devoted to the approximation of differentiable semialgebraic functions by Nash functions. Approximation by Nash functions is known for semialgebraic functions defined on an affine Nash manifold M, and here we extend it to…

A result of Belyi can be stated as follows. Every curve defined over a number field can be expressed as a cover of the projective line with branch locus contained in a rigid divisor. We define the notion of geometrically rigid divisors in…

In this paper, we show that the $\exists^1 \forall^1$ theories of Hilbertian fields with charateristic 0 and perfect Hilbertian fields are both decidable. We also prove that the $\forall^1 \exists^1$ theories of Hilbertian fields with…

We prove that every finite dimensional algebra over an algebraically closed field is either derived tame or derived wild. We also prove that any deformation of a derived tame algebra is derived tame.

Let $A$ and $B$ be Banach algebras with bounded approximate identities and let $\Phi:A\to B$ be a surjective continuous linear map which preserves two-sided zero products (i.e., $\Phi(a)\Phi(b)=\Phi(b)\Phi(a)=0$ whenever $ab=ba=0$). We show…

A theorem of Functorial Affinization of Nash's manifold is proven here giving necessary and sufficient conditions to lift a holomorphic arc to the smooth locus of the Nash manifold. In addition a theorem about valuations is proven.

We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are…

We prove that if the bicanonical map of a minimal surface of general type S with p_{g}=q=1 and K^2=8 is non birational, then it is a double cover onto a rational surface. An application of this theorem is the complete classification of…

We show that any ruled surface $X$ with $\chi(X) < 0$ admits infinitely many inequivalent Lefschetz pencils of fixed genus and number of base points. Our proof proceeds by building infinitely many inequivalent Lefschetz fibrations on a…

In the present paper, we focus on a weighted version of the Bounded Negativity Conjecture which predicts that for every smooth projective surface in characteristic zero the self-intersection numbers of reduced and irreducible curves are…

We determine a necessary and sufficient condition for a polynomial over an algebraically closed field $k$ to induce a surjective map on matrix algebras $M_n(k)$ for $n \ge 2$. The criterion is given in terms of critical points and uses…

We find an explicit geometric description of all coverings of the Hilbert square on a normal, complex, quasi-projective surface with finite fundamental group. We then apply this construction to show that if $\Sigma$ is an irreducible…