SearcharxivSearch

arXiv subjects

Thomas Markwig

Publications and source records attributed to Thomas Markwig.

At least 19 recordsLinked to original sources

Tropical floor plans and enumeration of complex and real multi-nodal surfaces

The family of complex projective surfaces in projective three space of degree $d$ having precisely $\delta$ nodes as their only singularities has codimension $\delta$ in the linear system of surfaces of degree $d$ for sufficiently large $d$ and is of degree $N_{\delta,complex}(d)=(4(d-1)^3)^\delta/\delta!+O(d^{3\delta-3})$. In particular, this number is polynomial in $d$. By means of tropical geometry, we explicitly describe $(4d^3)^\delta/\delta!+O(d^{3\delta-1})$ surfaces passing through a suitable generic configuration of $n=\binom{d+3}{3}-\delta-1$ points in projective three space. These surfaces are close to tropical limits which we characterize combinatorially, introducing the concept of floor plans for multinodal tropical surfaces. The concept of floor plans is similar to the well-known floor diagrams (a combinatorial tool for tropical curve counts): with it, we keep the combinatorial essentials of a multinodal tropical surface which are sufficient to reconstruct the surface. In the real case, we estimate the range for possible numbers of real multi-nodal surfaces satisfying point conditions. We show that, for a special configuration $w$ of real points, the number $N_{\delta,real}(d,w)$ of real surfaces of degree $d$ having $\delta$ real nodes and passing through $w$ is bounded from below by $(\frac{3}{2}d^3)^\delta/\delta! +O(d^{3\delta-1})$. We prove analogous statements for counts of multinodal surfaces in $P^1\times P^2$ and $P^1\times P^1\times P^1$.

math.AG

Computing tropical varieties over fields with valuation

We show how tropical varieties of ideals I over a field K with non-trivial valuation can be traced back to tropical varieties of ideals in R[[t]][x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we present algorithms on how the latter can be computed in finite time, provided that generators are polynomial in t. While doing so, we also comment on the computation of the Groebner polytope structure and p-adic Groebner bases using our framework. All algorithms solely rely on existing standard basis techniques.

math.AG

Gr\"obner Fans of x-homogeneous Ideals in R[[t]][x]

We generalise the notion of Gr\"obner fan to ideals in R[[t]][x_1,...,x_n] for certain classes of coefficient rings R and give a constructive proof that the Gr\"obner fan is a rational polyhedral fan. For this we introduce the notion of initially reduced standard bases and show how these can be computed in finite time. We deduce algorithms for computing the Gr\"obner fan, implemented in the computer algebra system Singular. The problem is motivated by the wish to compute tropical varieties over the p-adic numbers, which are the intersection of a subfan of a Gr\"obner fan as studied in this paper by some affine hyperplane, as shown in a forthcoming paper.

math.AC

Standard Bases in mixed Power Series and Polynomial Rings over Rings

In this paper we study standard bases for submodules of a mixed power series and polynomial ring $R[[t_1,\ldots,t_m]][x_1,\ldots,x_n]^s$ respectively of their localization with respect to a $t$-local monomial ordering for a certain class of noetherian rings $R$. The main steps are to prove the existence of a division with remainder generalizing and combining the division theorems of Grauert--Hironaka and Mora and to generalize the Buchberger criterion. Everything else then translates naturally. Setting either $m=0$ or $n=0$ we get standard bases for polynomial rings respectively for power series rings over $R$ as a special case.

math.AG

Enumeration of Complex and Real Surfaces via Tropical Geometry

We prove a correspondence theorem for singular tropical surfaces in real three space, which recovers singular algebraic surfaces in an appropriate toric three-fold that tropicalize to a given singular tropical surface. Furthermore, we develop a three-dimensional version of Mikhalkin's lattice path algorithm that enumerates singular tropical surfaces passing through an appropriate configuration of points in real three space. As application we show that there are pencils of real surfaces of degree $d$ in projective three space containing at least $(3/2)d^3+O(d^2)$ singular surfaces, which is asymptotically comparable to the number $4(d-1)^3$ of all complex singular surfaces in the pencil. Our result relies on the classification of singular tropical surfaces (arXiv:1106.2676).

math.AG

Tropical surface singularities

In this paper, we study tropicalisations of singular surfaces in toric threefolds. We completely classify singular tropical surfaces of maximal-dimensional type, show that they can generically have only finitely many singular points, and describe all possible locations of singular points. More precisely, we show that singular points must be either vertices, or generalized midpoints and baricenters of certain faces of singular tropical surfaces, and, in some cases, there may be additional metric restrictions to faces of singular tropical surfaces.

math.AG

Tropical curves with a singularity in a fixed point

In this paper, we study tropicalisations of families of curves with a singularity in a fixed point. The tropicalisation of such a family is a linear tropical variety. We describe its maximal dimensional cones using results about linear tropical varieties from Ardila and Klivans and from Feichtner and Sturmfels. We show that a singularity tropicalises either to a vertex of higher valence or of higher multiplicity, or to an edge of higher weight. We then classify maximal dimensional types of singular tropical curves. For those, the singularity is either a crossing of two edges, or a 3-valent vertex of multiplicity 3, or a point on an edge of weight 2 whose distances to the neighbouring vertices satisfy a certain metric condition. We also study algebraic preimages of our singular tropical curves.

math.AG

Normal Forms of Hypersurface Singularities in Positive Characteristic

The main purpose of this article is to lay the foundations for a classification of isolated hypersurface singularities in positive characteristic. Although our article is in the spirit of Arnol'd who classified real an complex hypersurfaces in the 1970's with respect to right equivalence, several new phenomena occur in positive characteristic. Already the notion of isolated singularity is different for right resp. contact equivalence over fields of characteristic other than zero. The heart of this paper consists of the study of different notions of non-degeneracy and the associated piecewise filtrations induced by the Newton diagram of a power series f. We introduce the conditions AC and AAC which modify and generalise the conditions A and AA of Arnol'd resp. Wall and which allow the classification with respect to contact equivalence in any characteristic. Using this we deduce normal forms and rather sharp determinacy bounds for f with respect to right and contact equivalence. We apply this to classify hypersurface singularities of low modality in positive characteristic.

math.AG

Invariants of Hypersurface Singularities in Positive Characteristic

We study singularities f in K[[x_1,...,x_n]] over an algebraically closed field K of arbitrary characteristic with respect to right respectively contact equivalence, and we establish that the finiteness of the Milnor respectively the Tjurina number is equivalent to finite determinacy. We give improved bounds for the degree of determinacy in positive characteristic. Moreover, we consider different non-degeneracy conditions of Kouchnirenko, Wall and Beelen-Pellikaan in positive characteristic, and we show that planar Newton non-degenerate singularities satisfy Milnor's formula mu=2 delta-r+1. This implies the absence of wild vanishing cycles in the sense of Deligne.

math.AG

Triple-Point Defective Regular Surfaces

In this paper we study the linear series |L-3p| of hyperplane sections with a triple point p of a surface S embedded via a very ample line bundle L for a general point p. If this linear series does not have the expected dimension we call (S,L) triple-point defective. We show that on a triple-point defective regular surface through a general point every hyperplane section has either a triple component or the surface is rationally ruled and the hyperplane section contains twice a fibre of the ruling.

math.AG

Triple-Point Defective Surfaces

In this paper we study the linear series $|L-3p|$ of hyperplane sections with a triple point $p$ on a surface $S$ embedded via a very ample line bundle $L$ for a \emph{general} point $p$. If this linear series does not have the expected dimension we call $(S,L)$ \emph{triple-point defective}. We show that on a triple-point defective surface through a general point every hyperplane section has either a triple component or the surface is rationally ruled and the hyperplane section contains twice a fibre of the ruling.

math.AG

An algorithm for lifting points in a tropical variety

The aim of this paper is to give a constructive proof of one of the basic theorems of tropical geometry: given a point on a tropical variety (defined using initial ideals), there exists a Puiseux-valued ``lift'' of this point in the algebraic variety. This theorem is so fundamental because it justifies why a tropical variety (defined combinatorially using initial ideals) carries information about algebraic varieties: it is the image of an algebraic variety over the Puiseux series under the valuation map. We have implemented the ``lifting algorithm'' using Singular and Gfan if the base field are the rational numbers. As a byproduct we get an algorithm to compute the Puiseux expansion of a space curve singularity in (K^{n+1},0).

math.AG

The tropical $j$-invariant

If (Q,A) is a marked polygon with one interior point, then a general polynomial f in K[x,y] with support A defines an elliptic curve C on the toric surface X_A. If K has a non-archimedean valuation into the real numbers we can tropicalize C to get a tropical curve Trop(C). If the Newton subdivision induced by f is a triangulation, then Trop(C) will be a graph of genus one and we show that the lattice length of the cycle of that graph is the negative of the valuation of the j-invariant of C.

math.CO

A Field of Generalised Puiseux Series for Tropical Geometry

In this paper we define a field K of characteristic zero with valuation whose value group is the real numbers, and we show that this field of generalised Puiseux series is algebraically closed and complete with respect to the norm induced by its valuation. We consider this field to be a good candidate for the base field for tropical geometry.

math.AC

The j-invariant of a plane tropical cubic

Several results in tropical geometry have related the j-invariant of an algebraic plane curve of genus one to the cycle length of a tropical curve of genus one. In this paper, we prove that for a plane cubic over the field of Puiseux series the negative of the generic valuation of the $j$-invariant is equal to the cycle length of the tropicalization of the curve, if there is a cycle at all.

math.AG

Some obstructed equisingular families of curves on surfaces in projective three-space

Very few examples of obstructed equsingular families of curves on surfaces other than the projective plane are known. Combining results from Westenberger and Hirano with an idea from math.AG/9802009 we give in the present paper series of examples of families of irreducible curves with simple singularities on surfaces in projective three-space which are not T--smooth, i.e. do not have the expected dimension, and we compare this with conditions (showing the same asymptotics) which ensure the existence of a T--smooth component.

math.AG

A Note on Equimultiple Deformations

While the tangent space to an equisingular family of curves can be discribed by the sections of a twisted ideal sheaf, this is no longer true if we only prescribe the multiplicity which a singular point should have. However, it is still possible to compute the dimension of the tangent space with the aid of the equimulitplicity ideal. In this note we consider families L_m={(C,p) | mult_p(C)=m} with C in some linear system |L| on a smooth projective surface S and for a fixed positive integer m, and we compute the dimension of the tangent space to L_m at a point (C,p) depending on whether p is a unitangential singular point of C or not. We deduce that the expected dimension of L_m at (C,p) in any case is just dim|L|+2-m*(m+1)/2. The result is used in the study of triple-point defective surfaces in some joint papers with Luca Chiantini.

math.AG

Triple-Point Defective Ruled Surfaces

In arXive:0705.3912 we studied triple-point defective very ample linear systems on regular surfaces, and we showed that they can only exist if the surface is ruled. In the present paper we show that we can drop the regularity assumption, and we classify the triple-point defective very ample linear systems on ruled surfaces.

math.AG