Showing 1–50 of 53 results for author: Shustin, E

Refined tropical invariants and characteristic numbers

Authors: Eugenii Shustin, Uriel Sinichkin

Abstract: We prove that the Göttsche-Schroeter and Schroeter-Shustin refined invariants specialize at $q=1$ to the enumeration of rational, resp. elliptic complex curves on arbitrary toric surfaces matching constraints that consist of points and of points with a contact element. Furthermore, we show that the refined invariant extends to the case of any genus $g\ge2$ and either one contact constraint or poin… ▽ More We prove that the Göttsche-Schroeter and Schroeter-Shustin refined invariants specialize at $q=1$ to the enumeration of rational, resp. elliptic complex curves on arbitrary toric surfaces matching constraints that consist of points and of points with a contact element. Furthermore, we show that the refined invariant extends to the case of any genus $g\ge2$ and either one contact constraint or points in Mikhalkin position, and it again specializes to the corresponding characteristic number at $q=1$. In the appendix we show the limitations of extending this count to a more general setting. △ Less

Submitted 7 October, 2024; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: 58 pages, 22 figures, one appendix. New references added, minor mistakes corrected, no change of the results

MSC Class: 14N10; 14T20

Real enumerative invariants relative to the toric boundary and their refinement

Authors: Ilia Itenberg, Eugenii Shustin

Abstract: We introduce new invariants of a class of toric surfaces (including the projective plane) that arise from appropriate enumeration of real curves of genus one and two. These invariants admit a refinement similar to the one introduced by Grigory Mikhalkin in the rational case. We introduce new invariants of a class of toric surfaces (including the projective plane) that arise from appropriate enumeration of real curves of genus one and two. These invariants admit a refinement similar to the one introduced by Grigory Mikhalkin in the rational case. △ Less

Submitted 19 April, 2025; v1 submitted 12 January, 2024; originally announced January 2024.

Comments: This is a substantially revised version: two signed counts of real curves of genus 0, 1, and 2 are introduced, both giving real enumerative invariants; two extremal cases are excluded from the main theorems

MSC Class: Primary 14N10; Secondary 14J26; 14P05; 14T90

Real enumerative invariants relative to the anti-canonical divisor and their refinement

Authors: Ilia Itenberg, Eugenii Shustin

Abstract: We introduce new invariants of the projective plane (and, more generally, of certain toric surfaces) that arise from the appropriate enumeration of real elliptic curves. These invariants admit a refinement (according to the quantum index) similar to the one introduced by Grigory Mikhalkin in the rational case. We also construct tropical counterparts of the refined elliptic invariants under conside… ▽ More We introduce new invariants of the projective plane (and, more generally, of certain toric surfaces) that arise from the appropriate enumeration of real elliptic curves. These invariants admit a refinement (according to the quantum index) similar to the one introduced by Grigory Mikhalkin in the rational case. We also construct tropical counterparts of the refined elliptic invariants under consideration and establish a tropical algorithm allowing one to compute, {\it via} a suitable version of the correspondence theorem, the above invariants. △ Less

Submitted 10 March, 2023; originally announced March 2023.

Comments: 96 pages, 25 figures

MSC Class: 14N10; 14J26; 14P05; 14T90

Tropical vertex and real enumerative geometry

Authors: Eugenii Shustin

Abstract: We show that the commutator relations in the refined tropical vertex group can be expressed via the enumeration of suitable real rational curves in toric surfaces. We show that the commutator relations in the refined tropical vertex group can be expressed via the enumeration of suitable real rational curves in toric surfaces. △ Less

Submitted 26 August, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Comments: 18 pages, 1 figure; references [3] added, reference [13] updated

MSC Class: 14N10; 14T20

Enumeration of non-nodal real plane rational curves

Authors: Eugenii Shustin

Abstract: Welschinger invariants enumerate real nodal rational curves in the plane or in another real rational surface. We analyze the existence of similar enumerative invariants that count real rational plane curves having prescribed non-nodal singularities and passing through a generic conjugation-invariant configuration of appropriately many points in the plane. We show that an invariant like this is uni… ▽ More Welschinger invariants enumerate real nodal rational curves in the plane or in another real rational surface. We analyze the existence of similar enumerative invariants that count real rational plane curves having prescribed non-nodal singularities and passing through a generic conjugation-invariant configuration of appropriately many points in the plane. We show that an invariant like this is unique: it enumerates real rational three-cuspidal quartics that pass through generically chosen four pairs of complex conjugate points. Consequently, we show that through any generic configuration of four pairs of complex conjugate points, one can always trace a pair of real rational three-cuspidal quartics. △ Less

Submitted 23 June, 2024; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: 30 pp., 4 figures; introduction rewritten, section with auxiliary material added, proofs are clarified

MSC Class: 14N10; 14H15; 14H20; 14P05

Plane algebraic curves with prescribed singularities

Authors: Gert-Martin Greuel, Eugenii Shustin

Abstract: We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite number of given analytic or topological singularity types, there exist a plane (irreducible) curve of degree $d$ having singular points of the given type as its on… ▽ More We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite number of given analytic or topological singularity types, there exist a plane (irreducible) curve of degree $d$ having singular points of the given type as its only singularities. The set of all such curves is a quasi-projective variety, which we call an equisingular family (ESF). We describe, in terms of numerical invariants of the curves and their singularities, the state of the art concerning necessary and sufficient conditions for the non-emptiness and $T$-smoothness (i.e., smooth of expected dimension) of the corresponding ESF. The considered singularities can be arbitrary, but we spend special attention to plane curves with nodes and cusps, the most studied case, where still no complete answer is known in general. An important result is, however, that the necessary and the sufficient conditions show the same asymptotics for $T$-smooth equisingular families if the degree goes to infinity. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Comments: 63 pages, 6 figures, submitted to Handbook of Singularities

MSC Class: 14-02; 14B; 14D; 14H; 14J; 14P; 32-02; 32B; 32C; 32G; 32S

Expressive curves

Authors: Sergey Fomin, Eugenii Shustin

Abstract: We initiate the study of a class of real plane algebraic curves which we call expressive. These are the curves whose defining polynomial has the smallest number of critical points allowed by the topology of the set of real points of a curve. This concept can be viewed as a global version of the notion of a real morsification of an isolated plane curve singularity. We prove that a plane curve $C$ i… ▽ More We initiate the study of a class of real plane algebraic curves which we call expressive. These are the curves whose defining polynomial has the smallest number of critical points allowed by the topology of the set of real points of a curve. This concept can be viewed as a global version of the notion of a real morsification of an isolated plane curve singularity. We prove that a plane curve $C$ is expressive if (a) each irreducible component of $C$ can be parametrized by real polynomials (either ordinary or trigonometric), (b) all singular points of $C$ in the affine plane are ordinary hyperbolic nodes, and (c) the set of real points of $C$ in the affine plane is connected. Conversely, an expressive curve with real irreducible components must satisfy conditions (a)-(c), unless it exhibits some exotic behaviour at infinity. We describe several constructions that produce expressive curves, and discuss a large number of examples, including: arrangements of lines, parabolas, and circles; Chebyshev and Lissajous curves; hypotrochoids and epitrochoids; and much more. △ Less

Submitted 25 August, 2023; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: 77 pages, 44 figures. Minor editorial changes. Final version, to appear in Communications of the AMS

MSC Class: 14H50 (Primary) 05E14; 14H20; 14H45; 14P05; 14Q05; 51N10 (Secondary)

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

Authors: Hannah Markwig, Thomas Markwig, Kristin Shaw, Eugenii Shustin

Abstract: The family of complex projective surfaces in projective three space of degree $d$ having precisely $δ$ nodes as their only singularities has codimension $δ$ in the linear system of surfaces of degree $d$ for sufficiently large $d$ and is of degree $N_{δ,complex}(d)=(4(d-1)^3)^δ/δ!+O(d^{3δ-3})$. In particular, this number is polynomial in $d$. By means of tropical geometry, we explicitly describe… ▽ More The family of complex projective surfaces in projective three space of degree $d$ having precisely $δ$ nodes as their only singularities has codimension $δ$ in the linear system of surfaces of degree $d$ for sufficiently large $d$ and is of degree $N_{δ,complex}(d)=(4(d-1)^3)^δ/δ!+O(d^{3δ-3})$. In particular, this number is polynomial in $d$. By means of tropical geometry, we explicitly describe $(4d^3)^δ/δ!+O(d^{3δ-1})$ surfaces passing through a suitable generic configuration of $n=\binom{d+3}{3}-δ-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_{δ,real}(d,w)$ of real surfaces of degree $d$ having $δ$ real nodes and passing through $w$ is bounded from below by $(\frac{3}{2}d^3)^δ/δ! +O(d^{3δ-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$. △ Less

Submitted 18 October, 2019; originally announced October 2019.

MSC Class: 14T05 (Primary) 51M20; 14N10

Singular Welschinger invariants

Authors: Eugenii Shustin

Abstract: We suggest an invariant way to enumerate nodal and nodal-cuspidal real deformations of real plane curve singularities. The key idea is to assign Welschinger signs to the counted deformations. Our invariants can be viewed as a local version of Welschinger invariants enumerating real plane rational curves. We suggest an invariant way to enumerate nodal and nodal-cuspidal real deformations of real plane curve singularities. The key idea is to assign Welschinger signs to the counted deformations. Our invariants can be viewed as a local version of Welschinger invariants enumerating real plane rational curves. △ Less

Submitted 30 June, 2019; originally announced July 2019.

Comments: 19 pages

MSC Class: 14N10; 14H20; 14P05

On the number of intersection points of the contour of an amoeba with a line

Authors: Lionel Lang, Boris Shapiro, Eugenii Shustin

Abstract: In this note, we investigate the maximal number of intersection points of a line with the contour of hypersurface amoebas in $\mathbb{R}^n$. We define the latter number to be the $\mathbb{R}$-degree of the contour. We also investigate the $\mathbb{R}$-degree of related sets such as the boundary of amoebas and the amoeba of the real part of hypersurfaces defined over $\mathbb{R}$. For all these obj… ▽ More In this note, we investigate the maximal number of intersection points of a line with the contour of hypersurface amoebas in $\mathbb{R}^n$. We define the latter number to be the $\mathbb{R}$-degree of the contour. We also investigate the $\mathbb{R}$-degree of related sets such as the boundary of amoebas and the amoeba of the real part of hypersurfaces defined over $\mathbb{R}$. For all these objects, we provide bounds for the respective $\mathbb{R}$-degrees. △ Less

Submitted 20 May, 2019; originally announced May 2019.

Comments: 15 pages, 3 figures

MSC Class: 14P15; 14T05; 32A60

On refined count of rational tropical curves

Authors: Eugenii Shustin

Abstract: We address the problem of existence of refined (i.e., depending on a formal parameter) tropical enumerative invariants, and we present two new examples of a refined count of rational marked tropical curves. One of the new invariants counts plane rational tropical curves with an unmarked vertex of arbitrary valency. It was motivated by the tropical enumeration of plane cuspidal tropical curves give… ▽ More We address the problem of existence of refined (i.e., depending on a formal parameter) tropical enumerative invariants, and we present two new examples of a refined count of rational marked tropical curves. One of the new invariants counts plane rational tropical curves with an unmarked vertex of arbitrary valency. It was motivated by the tropical enumeration of plane cuspidal tropical curves given by Y. Ganor and the author, which naturally led to consideration of plane tropical curves with an unmarked four-valent vertex. Another refined invariant counts rational tropical curves of a given degree in the Euclidean space of arbitrary dimension matching specific constraints, which make the spacial refined invariant similar to known planar invariants. △ Less

Submitted 16 September, 2019; v1 submitted 19 December, 2018; originally announced December 2018.

Comments: 22 pages, three figures; the statement on the refined count of special rational tropical curves is corrected

MSC Class: 14T05; 14N10

Enumeration of plane unicuspidal curves of any genus via tropical geometry

Authors: Yaniv Ganor, Eugenii Shustin

Abstract: We enumerate complex curves on toric surfaces of any given degree and genus, having a single cusp and nodes as their singularities, and matching appropriately many point constraints. The solution is obtained via tropical enumerative geometry. The same technique applies to enumeration of real plane cuspidal curves: We show that, for any fixed $r\ge1$ and $d\ge2r+3$, there exists a generic real… ▽ More We enumerate complex curves on toric surfaces of any given degree and genus, having a single cusp and nodes as their singularities, and matching appropriately many point constraints. The solution is obtained via tropical enumerative geometry. The same technique applies to enumeration of real plane cuspidal curves: We show that, for any fixed $r\ge1$ and $d\ge2r+3$, there exists a generic real $2r$-dimensional linear family of plane curves of degree $d$ in which the number of real $r$-cuspidal curves is asymptotically comparable with the total number of complex $r$-cuspidal curves in the family, as $d\to\infty$. △ Less

Submitted 27 August, 2021; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: 77 pages (including appendix), 9 figures; replaces preprint at arXiv:1306.3514; the main body of the paper substantially edited to match the published version

MSC Class: 14N10; 14T05

Corrigendum to the paper "A flexible affine $M$-sextic which is algebraically unrealizable"

Authors: S. Fiedler--Le Touzé, S. Orevkov, E. Shustin

Abstract: We prove the algebraic unrealizability of certain isotopy type of plane affine real algebraic M-sextic which is pseudoholomorphically realizable. This result completes the classification up to isotopy of real algebraic affine M-sextics. The proof of this result given in a previous paper by the first two authors was incorrect. We prove the algebraic unrealizability of certain isotopy type of plane affine real algebraic M-sextic which is pseudoholomorphically realizable. This result completes the classification up to isotopy of real algebraic affine M-sextics. The proof of this result given in a previous paper by the first two authors was incorrect. △ Less

Submitted 27 June, 2018; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: 10 pages, 8 figures

Journal ref: J. Algebraic Geom. 29 (2020), 109-121

Morsifications and mutations

Authors: Sergey Fomin, Pavlo Pylyavskyy, Eugenii Shustin, Dylan Thurston

Abstract: We describe and investigate a connection between the topology of isolated singularities of plane curves and the mutation equivalence, in the sense of cluster algebra theory, of the quivers associated with their morsifications. We describe and investigate a connection between the topology of isolated singularities of plane curves and the mutation equivalence, in the sense of cluster algebra theory, of the quivers associated with their morsifications. △ Less

Submitted 7 November, 2021; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: v3: Major revision and expansion, with several new results. v4: minor edits. 80 pages, 66 figures. Final version, to appear in J. Lond. Math. Soc

MSC Class: 13F60; 20F36; 57K10; 58K65

Journal ref: J. London Math. Soc., 105(2022), 2478--2554

Morsifications of real plane curve singularities

Authors: Peter Leviant, Eugenii Shustin

Abstract: A real morsification of a real plane curve singularity is a real deformation given by a family of real analytic functions having only real Morse critical points with all saddles on the zero level. We prove the existence of real morsifications for real plane curve singularities having arbitrary real local branches and pairs of complex conjugate branches satisfying some conditions. This was known be… ▽ More A real morsification of a real plane curve singularity is a real deformation given by a family of real analytic functions having only real Morse critical points with all saddles on the zero level. We prove the existence of real morsifications for real plane curve singularities having arbitrary real local branches and pairs of complex conjugate branches satisfying some conditions. This was known before only in the case of all local branches being real (A'Campo, Gusein-Zade). We also discuss a relation between real morsifications and the topology of singularities, extending to arbitrary real morsifications the Balke-Kaenders theorem, which states that the A'Campo--Gusein-Zade diagram associated to a morsification uniquely determines the topological type of a singularity. △ Less

Submitted 16 July, 2019; v1 submitted 16 March, 2017; originally announced March 2017.

Comments: 33 pages, 3 figures; we added an appendix with auxiliary information on Alexander polynomials of singularity links

MSC Class: 14B07; 14H20; 14P05; 32S30

Journal ref: J. Singularities 18 (2018), 307--328

Relative enumerative invariants of real nodal del Pezzo surfaces

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: The surfaces considered are real, rational and have a unique smooth real $(-2)$-curve. Their canonical class $K$ is strictly negative on any other irreducible curve in the surface and $K^2>0$. For surfaces satisfying these assumptions, we suggest a certain signed count of real rational curves that belong to a given divisor class and are simply tangent to the $(-2)$-curve at each intersection point… ▽ More The surfaces considered are real, rational and have a unique smooth real $(-2)$-curve. Their canonical class $K$ is strictly negative on any other irreducible curve in the surface and $K^2>0$. For surfaces satisfying these assumptions, we suggest a certain signed count of real rational curves that belong to a given divisor class and are simply tangent to the $(-2)$-curve at each intersection point. We prove that this count provides a number which depends neither on the point constraints nor on deformation of the surface preserving the real structure and the $(-2)$-curve. △ Less

Submitted 15 May, 2018; v1 submitted 9 November, 2016; originally announced November 2016.

Comments: 60 pages, 3 figures; several misprints and the reference list are corrected

MSC Class: 14N10; 14P05; 14J26

On polynomially integrable planar outer billiards and curves with symmetry property

Authors: Alexey Glutsyuk, Eugenii Shustin

Abstract: We show that every polynomially integrable planar outer convex billiard is elliptic. We show that every polynomially integrable planar outer convex billiard is elliptic. △ Less

Submitted 21 June, 2018; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: To appear in Mathematische Annalen. 26 pages. Minor improvement of presentation

MSC Class: 37J30; 37E40; 14H50

Refined elliptic tropical invariants of toric surfaces

Authors: Franziska Schroeter, Eugenii Shustin

Abstract: F. Block and L. Göttsche introduced refined tropical invariants of toric surfaces that intertwine tropical Gromov-Witten and Welschinger invariants of toric surfaces. L. Göttsche and the first author introduced refined broccoli invariants that intertwine some genus zero descendant tropical invariants and broccoli invariants of toric surfaces. In this note, we extend the refined broccoli invariants… ▽ More F. Block and L. Göttsche introduced refined tropical invariants of toric surfaces that intertwine tropical Gromov-Witten and Welschinger invariants of toric surfaces. L. Göttsche and the first author introduced refined broccoli invariants that intertwine some genus zero descendant tropical invariants and broccoli invariants of toric surfaces. In this note, we extend the refined broccoli invariants to the genus one case. △ Less

Submitted 31 December, 2016; v1 submitted 14 April, 2016; originally announced April 2016.

Comments: Several changed to keep consistency with arXiv:1606.09631; the new invariant is proven to be always a Laurent polynomial

MSC Class: 14N10; 14T05

Refined descendant invariants of toric surfaces

Authors: Lev Blechman, Eugenii Shustin

Abstract: We construct refined tropical enumerative genus zero invariants of toric surfaces that specialize to the tropical descendant genus zero invariants introduced by Markwig and Rau when the quantum parameter tends to $1$. In the case of trivalent tropical curves our invariants turn to be the Goettsche-Schroeter refined broccoli invariants. We show that this is the only possible refinement of the Markw… ▽ More We construct refined tropical enumerative genus zero invariants of toric surfaces that specialize to the tropical descendant genus zero invariants introduced by Markwig and Rau when the quantum parameter tends to $1$. In the case of trivalent tropical curves our invariants turn to be the Goettsche-Schroeter refined broccoli invariants. We show that this is the only possible refinement of the Markwig-Rau descendant invariants that generalizes the Goettsche-Schroeter refined broccoli invariants. We discuss also the computational aspect (a lattice path algorithm) and exhibit some examples. △ Less

Submitted 8 May, 2019; v1 submitted 20 February, 2016; originally announced February 2016.

Comments: 30 pages, 7 figures; matches the published version

MSC Class: 14N10; 14T05

Journal ref: Discrete and Computational Geometry (2019)

Enumeration of Complex and Real Surfaces via Tropical Geometry

Authors: Hannah Markwig, Thomas Markwig, Eugenii Shustin

Abstract: 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… ▽ More 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). △ Less

Submitted 23 August, 2018; v1 submitted 30 March, 2015; originally announced March 2015.

Comments: 30 pages; appendix concerning the computation of discriminants inserted

MSC Class: 14T05; 51M20; 14N10

Journal ref: Adv. Geom. 18,1 (2018), 69-100

On Welschinger invariants of descendant type

Authors: Eugenii Shustin

Abstract: We introduce enumerative invariants of real del Pezzo surfaces that count real rational curves belonging to a given divisor class, passing through a generic conjugation-invariant configuration of points and satisfying preassigned tangency conditions to given smooth arcs centered at the fixed points. The counted curves are equipped with Welschinger-type signs. We prove that such a count does not de… ▽ More We introduce enumerative invariants of real del Pezzo surfaces that count real rational curves belonging to a given divisor class, passing through a generic conjugation-invariant configuration of points and satisfying preassigned tangency conditions to given smooth arcs centered at the fixed points. The counted curves are equipped with Welschinger-type signs. We prove that such a count does not depend neither on the choice of the point-arc configuration, nor on the variation of the ambient real surface. These invariants can be regarded as a real counterpart of (complex) descendant invariants. △ Less

Submitted 8 August, 2016; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: several minor correction

MSC Class: 14N10; 14P05; 14H20; 14J26

On rigid plane curves

Authors: Viktor S. Kulikov, Eugenii Shustin

Abstract: In the article, we exhibit a series of new examples of rigid plane curves, that is, curves, whose collection of singularities determines them almost uniquely up to a projective transformation of the plane. In the article, we exhibit a series of new examples of rigid plane curves, that is, curves, whose collection of singularities determines them almost uniquely up to a projective transformation of the plane. △ Less

Submitted 26 June, 2015; v1 submitted 15 January, 2015; originally announced January 2015.

Comments: 19 pages, exposition improved according to referee recommendations, to appear in European Journal of Mathematics

MSC Class: 14H10; 14H20; 14N05

Duality of planar and spacial curves: new insight

Authors: Victor Kulikov, Eugenii Shustin

Abstract: We study the geometry of equiclassical strata of the discriminant in the space of plane curves of a given degree, which are families of curves of given degree, genus and class (degree of the dual curve). Our main observation is that the use of duality transformation leads to a series of new sufficient conditions for a regular behavior of the equiclassical stratification. We also discuss duality of… ▽ More We study the geometry of equiclassical strata of the discriminant in the space of plane curves of a given degree, which are families of curves of given degree, genus and class (degree of the dual curve). Our main observation is that the use of duality transformation leads to a series of new sufficient conditions for a regular behavior of the equiclassical stratification. We also discuss duality of curves in higher-dimensional projective spaces and in Grassmannians with focus on similar questions of the regularity of equiclassical families of spacial curves. △ Less

Submitted 26 June, 2015; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: 22 pages; slightly edited according to the referee suggestions; to appear in European Journal of Mathematics

MSC Class: 14H50; 14H10; 14N05

Welschinger invariants revisited

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: We establish the enumerativity of (original and modified) Welschinger invariants for every real divisor on any real algebraic Del Pezzo surface and give an algebro-geometric proof of the invariance of that count both up to variation of the point constraints on a given surface and variation of the complex structure of the surface itself. We establish the enumerativity of (original and modified) Welschinger invariants for every real divisor on any real algebraic Del Pezzo surface and give an algebro-geometric proof of the invariance of that count both up to variation of the point constraints on a given surface and variation of the complex structure of the surface itself. △ Less

Submitted 30 April, 2017; v1 submitted 13 September, 2014; originally announced September 2014.

Comments: 23 pages; several small changes improving the readability

MSC Class: 14N10; 14P25; 14H10; 14H20; 14J26

On higher genus Welschinger invariants of Del Pezzo surfaces

Authors: Eugenii Shustin

Abstract: The Welschinger invariants of real rational algebraic surfaces count real rational curves which represent a given divisor class and pass through a generic conjugation-invariant configuration of points. No invariants counting real curves of positive genera are known in general. We indicate particular situations, when Welschinger-type invariants counting real curves of positive genera can be defined… ▽ More The Welschinger invariants of real rational algebraic surfaces count real rational curves which represent a given divisor class and pass through a generic conjugation-invariant configuration of points. No invariants counting real curves of positive genera are known in general. We indicate particular situations, when Welschinger-type invariants counting real curves of positive genera can be defined. We also prove the positivity and give asymptotic estimates for such Weischinger-type invariants for several del Pezzo surfaces of degree $\ge2$ and suitable real nef and big divisor classes. In particular, this yields the existence of real curves of given genus and of given divisor class passing through any appropriate configuration of real points on the given surface. △ Less

Submitted 21 September, 2014; v1 submitted 6 April, 2014; originally announced April 2014.

Comments: 29 pages, updated to published version, International Mathematics Research Notices 2014

MSC Class: 14N10; 14P05; 14N35

Welschinger invariants of real del Pezzo surfaces of degree $\ge2$

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: We compute the purely real Welschinger invariants, both original and modified, for all real del Pezzo surfaces of degree at least 2. We show that under some conditions, for such a surface $X$ and a real nef and big divisor class $D$, through any generic collection of $-DK_X-1$ real points lying on a connected component of the real part of $X$ one can trace a real rational curve $C\in|D|$. This is… ▽ More We compute the purely real Welschinger invariants, both original and modified, for all real del Pezzo surfaces of degree at least 2. We show that under some conditions, for such a surface $X$ and a real nef and big divisor class $D$, through any generic collection of $-DK_X-1$ real points lying on a connected component of the real part of $X$ one can trace a real rational curve $C\in|D|$. This is derived from the positivity of appropriate Welschinger invariants. We furthermore show that these invariants are asymptotically equivalent, in the logarithmic scale, to the corresponding genus zero Gromov-Witten invariants. Our approach consists in a conversion of Shoval-Shustin recursive formulas counting complex curves on the plane blown up at seven points and of Vakil's extension of the Abramovich-Bertram formula for Gromov-Witten nvariants into formulas computing real enumerative invariants. △ Less

Submitted 17 January, 2018; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: 67 pages, 1 figure; as compared to the published version, the missing factor 2^m is inserted into the second sum of the right-hand side of formula (31) in Theorem 3.2(3)

MSC Class: 14N10; 14P05; 14N35

Journal ref: International J. Math. 26 (2015), no. 6

Welschinger invariants of real Del Pezzo surfaces of degree $\ge 3$

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: We give a recursive formula for purely real Welschinger invariants of real Del Pezzo surfaces of degree $K^2\ge 3$, where in the case of surfaces of degree $3$ with two real components we introduce a certain modification of Welschinger invariants and enumerate exclusively the curves traced on the non-orientable component. As an application, we prove the positivity of the invariants under considera… ▽ More We give a recursive formula for purely real Welschinger invariants of real Del Pezzo surfaces of degree $K^2\ge 3$, where in the case of surfaces of degree $3$ with two real components we introduce a certain modification of Welschinger invariants and enumerate exclusively the curves traced on the non-orientable component. As an application, we prove the positivity of the invariants under consideration and their logarithmic asymptotic equivalence, as well as congruence modulo $4$, to genus zero Gromov-Witten invariants. △ Less

Submitted 6 January, 2015; v1 submitted 16 August, 2011; originally announced August 2011.

Comments: 32 pages, as compared with the published version, a missing deformation label is included (see (DL1), Section 3.3), and an inaccuracy in the proof of Theorem 2 is corrected

MSC Class: 14N10 (Primary); 14P05; 14N35 (Secondary)

Journal ref: Math. Annalen 355 (2013), no. 3, 849--878

Counting curves of any genus on P^2_7

Authors: M. Shoval, E. Shustin

Abstract: We compute Gromov-Witten invariants of any genus for del Pezzo surfaces of degree $\ge2$. The genus zero invariants have been computed a long ago, Gromov-Witten invariants of any genus for del Pezzo surfaces of degree $\ge3$ have been found by Vakil. We solve the problem in two steps: (1) we consider the plane blown up at 6 points on a conic and one more point outside this conic (weak Fano surface… ▽ More We compute Gromov-Witten invariants of any genus for del Pezzo surfaces of degree $\ge2$. The genus zero invariants have been computed a long ago, Gromov-Witten invariants of any genus for del Pezzo surfaces of degree $\ge3$ have been found by Vakil. We solve the problem in two steps: (1) we consider the plane blown up at 6 points on a conic and one more point outside this conic (weak Fano surface), and, using techniques of tropical geometry, obtain a Caporaso-Harris type formula counting curves of any divisor class and genus subject to arbitrary tangency conditions with respect to the blown up conic, (2) then we express the Gromov-Witten invariants of the plane blown up at 7 points via enumerative invariants of the weak Fano surface, using Vakil's version of Abramovich-Bertram formula. △ Less

Submitted 24 April, 2014; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: 55 pages, few improvements; completely covers arXiv:1106.6155

MSC Class: 14N35 (Primary) 14H10 (Secondary)

Counting curves of any genus on P^2_6

Authors: M. Shoval, E. Shustin

Abstract: We obtain a formula for the degrees of the varieties parameterizing complex algebraic curves of any divisor class and genus on P^2_6, the projective plane blown-up at 6 generic points. Moreover, the formula computes the degrees of the varieties parameterizing curves on P^2_6 which additionally satisfy certain tangency conditions to a fixed exceptional divisor on P^2_6. Our formula contains as spec… ▽ More We obtain a formula for the degrees of the varieties parameterizing complex algebraic curves of any divisor class and genus on P^2_6, the projective plane blown-up at 6 generic points. Moreover, the formula computes the degrees of the varieties parameterizing curves on P^2_6 which additionally satisfy certain tangency conditions to a fixed exceptional divisor on P^2_6. Our formula contains as special cases the degrees of the analogous varieties parameterizing curves on P^2_q, for q=1,...,5, and on the quadric (P^1)^2. It is an extension of the Caporaso-Harris formula counting curves of any degree and genus in the projective plane, and it can be viewed as an alternative to the Vakil formula, which gives an indirect way to count curves of any genus on P^2_6. △ Less

Submitted 27 February, 2012; v1 submitted 30 June, 2011; originally announced June 2011.

Comments: 54 pages, 3 figures, typos corrected

MSC Class: 14N35 (Primary) 14H10; 14H20; 14J26 (Secondary)

Tropical surface singularities

Authors: Hannah Markwig, Thomas Markwig, Eugenii Shustin

Abstract: 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… ▽ More 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. △ Less

Submitted 14 September, 2012; v1 submitted 14 June, 2011; originally announced June 2011.

Comments: A gap in the classification was closed. 37 pages, 29 figures

MSC Class: 14T05; 51M20; 05B35

Journal ref: Discrete Comput. Geom. 48 (2012), no. 4, 879-914

Welschinger invariants of small non-toric Del Pezzo surfaces

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: We give a recursive formula for purely real Welschinger invariants of the following real Del Pezzo surfaces: the projective plane blown up at $q$ real and $s \leq 1$ pairs of conjugate imaginary points, where $q+2s\le 5$, and the real quadric blown up at $s \leq 1$ pairs of conjugate imaginary points and having non-empty real part. The formula is similar to Vakil's recursive formula for Gromov-Wit… ▽ More We give a recursive formula for purely real Welschinger invariants of the following real Del Pezzo surfaces: the projective plane blown up at $q$ real and $s \leq 1$ pairs of conjugate imaginary points, where $q+2s\le 5$, and the real quadric blown up at $s \leq 1$ pairs of conjugate imaginary points and having non-empty real part. The formula is similar to Vakil's recursive formula for Gromov-Witten invariants of these surfaces and generalizes our recursive formula for purely real Welschinger invariants of real toric Del Pezzo surfaces. As a consequence, we prove the positivity of the Welschinger invariants under consideration and their logarithmic asymptotic equivalence to genus zero Gromov-Witten invariants. △ Less

Submitted 10 August, 2011; v1 submitted 6 February, 2010; originally announced February 2010.

Comments: minor changes

MSC Class: 14N10; 14P05; 14T05; 14N35

Tropical curves with a singularity in a fixed point

Authors: Hannah Markwig, Thomas Markwig, Eugenii Shustin

Abstract: 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 high… ▽ More 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. △ Less

Submitted 26 March, 2012; v1 submitted 10 September, 2009; originally announced September 2009.

Comments: 34 pages, 26 figrues; replaced by the published version

MSC Class: 14H20; 51M20; 05B35

Journal ref: Man. Math. 137, 3-4 (2011), 383-418

Tropical and algebraic curves with multiple points

Authors: Eugenii Shustin

Abstract: Patchworking theorems serve as a basic element of the correspondence between tropical and algebraic curves, which is a core of the tropical enumerative geometry. We present a new version of a patchworking theorem which relates plane tropical curves with complex and real algebraic curves having prescribed multiple points. It can be used to compute Welschinger invariants of non-toric Del Pezzo sur… ▽ More Patchworking theorems serve as a basic element of the correspondence between tropical and algebraic curves, which is a core of the tropical enumerative geometry. We present a new version of a patchworking theorem which relates plane tropical curves with complex and real algebraic curves having prescribed multiple points. It can be used to compute Welschinger invariants of non-toric Del Pezzo surfaces. △ Less

Submitted 1 November, 2009; v1 submitted 18 April, 2009; originally announced April 2009.

Comments: 35 pages, 3 figures, numerous corrections are made, few illustrating examples are added

MSC Class: 14H20; 14N10

Idempotent Semigroups and Tropical Algebraic Sets

Authors: Z. Izhakian, E. Shustin

Abstract: The tropical semifield, i.e., the real numbers enhanced by the operations of addition and maximum, serves as a base of tropical mathematics. Addition is an abelian group operation, whereas the maximum defines an idempotent semigroup structure. We address the question of the geometry of idempotent semigroups, in particular, tropical algebraic sets carrying the structure of a commutative idempotent… ▽ More The tropical semifield, i.e., the real numbers enhanced by the operations of addition and maximum, serves as a base of tropical mathematics. Addition is an abelian group operation, whereas the maximum defines an idempotent semigroup structure. We address the question of the geometry of idempotent semigroups, in particular, tropical algebraic sets carrying the structure of a commutative idempotent semigroup. We show that commutative idempotent semigroups are contractible, that systems of tropical polynomials, formed from univariate monomials, define subsemigroups with respect to coordinate-wise tropical addition (maximum); and, finally, we prove that the subsemigroups in the Euclidean space, which are tropical hypersurfaces or tropical curves in the plane or in the three-space, have the above polynomial description. △ Less

Submitted 17 March, 2010; v1 submitted 19 January, 2007; originally announced January 2007.

Comments: 23 pages, 1 figure

MSC Class: Primary 14T05; 20M14; Secondary 06F05; 12K10; 13B25; 22A15; 51M20

New cases of logarithmic equivalence of Welschinger and Gromov-Witten invariants

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: We consider the product of two projective lines equipped with the complex conjugation transforming $(x,y)$ into $(\bar{y},\bar{x})$ and blown up in at most two real, or two complex conjugate, points. For these four surfaces we prove the logarithmic equivalence of Welschinger and Gromov-Witten invariants. We consider the product of two projective lines equipped with the complex conjugation transforming $(x,y)$ into $(\bar{y},\bar{x})$ and blown up in at most two real, or two complex conjugate, points. For these four surfaces we prove the logarithmic equivalence of Welschinger and Gromov-Witten invariants. △ Less

Submitted 27 December, 2006; originally announced December 2006.

Comments: 13 pages, 6 figures

MSC Class: 14N10; 14P99; 14N35

Equisingular Families of Projective Curves

Authors: Gert-Martin Greuel, Christoph Lossen, Eugenii Shustin

Abstract: In this survey, we report on progress concerning families of projective curves with fixed number and fixed (topological or analytic) types of singularities. We are, in particular, interested in numerical, universal and asymptotically proper sufficient conditions to guarantee the nonemptyness, T-smoothness and irreducibility of the variety of all projective curves with prescribed singularities in… ▽ More In this survey, we report on progress concerning families of projective curves with fixed number and fixed (topological or analytic) types of singularities. We are, in particular, interested in numerical, universal and asymptotically proper sufficient conditions to guarantee the nonemptyness, T-smoothness and irreducibility of the variety of all projective curves with prescribed singularities in a fixed linear system. We also discuss the analogous problem for hypersurfaces of arbitrary dimension with isolated singularities, and we close with a section on open problems and conjectures. △ Less

Submitted 12 December, 2006; originally announced December 2006.

Comments: 39 pages

MSC Class: 14H10; 14H20

Journal ref: Global Aspects of Complex Geometry, Springer Verlag (2006), 171-210

A Caporaso-Harris type formula for Welschinger invariants of real toric Del Pezzo surfaces

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: We define a series of relative tropical Welschinger-type invariants of real toric surfaces. In the Del Pezzo case, these invariants can be seen as real tropical analogs of relative Gromov-Witten invariants, and are subject to a recursive formula. As application we obtain new formulas for Welschinger invariants of real toric Del Pezzo surfaces. We define a series of relative tropical Welschinger-type invariants of real toric surfaces. In the Del Pezzo case, these invariants can be seen as real tropical analogs of relative Gromov-Witten invariants, and are subject to a recursive formula. As application we obtain new formulas for Welschinger invariants of real toric Del Pezzo surfaces. △ Less

Submitted 20 January, 2009; v1 submitted 22 August, 2006; originally announced August 2006.

Comments: 47 pages, 6 figures; recursive formulas corrected (missing terms added)

MSC Class: 14N10 (Primary) 14P05; 14N35; 51N35 (Secondary)

Journal ref: Comment. Math. Helv. 84 (2009), 87--126

Welschinger invariants of toric Del Pezzo surfaces with non-standard real structures

Authors: E. Shustin

Abstract: The Welschinger invariants of real rational algebraic surfaces are natural analogues of the Gromov-Witten invariants, and they estimate from below the number of real rational curves passing through prescribed configurations of points. We establish a tropical formula for the Welschinger invariants of four toric Del Pezzo surfaces, equipped with a non-standard real structure. Such a formula for re… ▽ More The Welschinger invariants of real rational algebraic surfaces are natural analogues of the Gromov-Witten invariants, and they estimate from below the number of real rational curves passing through prescribed configurations of points. We establish a tropical formula for the Welschinger invariants of four toric Del Pezzo surfaces, equipped with a non-standard real structure. Such a formula for real toric Del Pezzo surfaces with a standard real structure (i.e., naturally compatible with the toric structure) was established by Mikhalkin and the author. As a consequence we prove that, for any real ample divisor $D$ on a surfaces $Σ$ under consideration, through any generic configuration of $c_1(Σ)D-1$ generic real points there passes a real rational curve belonging to the linear system $|D|$. △ Less

Submitted 27 May, 2006; originally announced May 2006.

Comments: An extended version of MPI Preprint no. MPIM2005-44

MSC Class: Primary 14H15. Secondary 12J25; 14H20; 14M25; 14N10

An Improved Stability Method for Linear Systems with Fast-Varying Delays

Authors: Eugenii Shustin, Emilia Fridman

Abstract: Stability of linear systems with uncertain bounded time-varying delays is studied under assumption that the nominal delay values are not equal to zero. An input-output approach to stability of such systems is known to be based on the bound of the $L_2$-norm of a certain integral operator. There exists a bound on this operator in two cases: in the case where the delay derivative is not greater th… ▽ More Stability of linear systems with uncertain bounded time-varying delays is studied under assumption that the nominal delay values are not equal to zero. An input-output approach to stability of such systems is known to be based on the bound of the $L_2$-norm of a certain integral operator. There exists a bound on this operator in two cases: in the case where the delay derivative is not greater than 1 and in the case without any constraints on the delay derivative. In the present note we fill the gap between the two cases by deriving an operator bound which is an increasing and continuous function of the delay derivative upper bound $d \geq 1$. For $d\to \infty$ the new bound corresponds to the second case and improves the existing bound. As a result, improved frequency-domain and time-domain stability criteria are erived for systems with the delay derivative greater than 1. △ Less

Submitted 27 February, 2006; v1 submitted 15 November, 2005; originally announced November 2005.

Comments: 6 pages, 4 figures, presented at ROCOND-06, some defects corrected

MSC Class: 93B36; 93D05; 26D10

A tropical Nullstellensatz

Authors: Eugenii Shustin, Zur Izhakian

Abstract: We suggest a version of Nullstellensatz over the tropical semiring, the real numbers equipped with operations of maximum and addition. We suggest a version of Nullstellensatz over the tropical semiring, the real numbers equipped with operations of maximum and addition. △ Less

Submitted 12 September, 2005; v1 submitted 22 August, 2005; originally announced August 2005.

Comments: One more version of Nullstellenstaz incorporated

MSC Class: 12K10; 13B25; 51M20

Logarithmic asymptotics of the genus zero Gromov-Witten invariants of the blown up plane

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: We study the growth of the genus zero Gromov-Witten invariants GW_{nD} of the projective plane P^2_k blown up at k points (where D is a class in the second homology group of P^2_k). We prove that, under some natural restrictions on D, the sequence log GW_{nD} is equivalent to lambda n log n, where lambda = D.c_1(P^2_k). We study the growth of the genus zero Gromov-Witten invariants GW_{nD} of the projective plane P^2_k blown up at k points (where D is a class in the second homology group of P^2_k). We prove that, under some natural restrictions on D, the sequence log GW_{nD} is equivalent to lambda n log n, where lambda = D.c_1(P^2_k). △ Less

Submitted 9 April, 2005; v1 submitted 29 December, 2004; originally announced December 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper14.abs.html

MSC Class: 14N35; 14J26; 53D45

Journal ref: Geom. Topol. 9 (2005) 483-491

Logarithmic equivalence of Welschinger and Gromov-Witten invariants

Authors: I. Itenberg, V. Kharlamov, E. Shustin

Abstract: The Welschinger numbers, a kind of a real analog of the Gromov-Witten numbers which count the complex rational curves through a given generic collection of points, bound from below the number of real rational curves for any real generic collection of points. By the logarithmic equivalence of sequences we mean the asymptotic equivalence of their logarithms. We prove such an equivalence for the We… ▽ More The Welschinger numbers, a kind of a real analog of the Gromov-Witten numbers which count the complex rational curves through a given generic collection of points, bound from below the number of real rational curves for any real generic collection of points. By the logarithmic equivalence of sequences we mean the asymptotic equivalence of their logarithms. We prove such an equivalence for the Welschinger and Gromov-Witten numbers of any toric Del Pezzo surface with its tautological real structure, in particular, of the projective plane, under the hypothesis that all, or almost all, chosen points are real. We also study the positivity of Welschinger numbers and their monotonicity with respect to the number of imaginary points. △ Less

Submitted 11 July, 2004; originally announced July 2004.

Comments: 26 pages, 11 figures

MSC Class: 14H15; 14P99; 12J25; 14H20; 14M25; 14N10

A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces

Authors: E. Shustin

Abstract: The Welschinger invariants of real rational algebraic surfaces are natural analogues of the genus zero Gromov-Witten invariants. We establish a tropical formula to calculate the Welschinger invariants of real toric Del Pezzo surfaces for any conjugation-invariant configuration of points. The formula expresses the Welschinger invariants via the total multiplicity of certain tropical curves (non-A… ▽ More The Welschinger invariants of real rational algebraic surfaces are natural analogues of the genus zero Gromov-Witten invariants. We establish a tropical formula to calculate the Welschinger invariants of real toric Del Pezzo surfaces for any conjugation-invariant configuration of points. The formula expresses the Welschinger invariants via the total multiplicity of certain tropical curves (non-Archimedean amoebas) passing through generic configurations of points, and then via the total multiplicity of some lattice path in the convex lattice polygon associated with a given surface. We also present the results of computation of Welschinger invariants, obtained jointly with I. Itenberg and V. Kharlamov. △ Less

Submitted 2 March, 2008; v1 submitted 6 June, 2004; originally announced June 2004.

Comments: 38 pages, 3 figures, misprints (which appeared in the published version) in the formulation of the main theorem are corrected as well as in formula (2.12) for the weight of a tropical curve (thanks to a remark by E. Brugalle)

MSC Class: 14H15; 12J25; 14H20; 14M25; 14N10

Journal ref: J. Algebraic Geom. 15 (2006), no. 2, 285--322

Appendix to "Welschinger invariant and enumeration of real rational curves"

Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin

Abstract: The invariance of the Welschinger numbers for real unnodal Del Pezzo surfaces, which we used for the enumeration of real rational curves on real toric Del Pezzo surfaces (see math.AG/0303378 and IMRN 49 (2003), 2639-2653), follows from J.-Y. Welschinger's theorem stated and proved in a symplectic setting (math.AG/0303145 and CRAS, Ser. I, 336 (2003), 341-344). Here, we give an algebraic geometry… ▽ More The invariance of the Welschinger numbers for real unnodal Del Pezzo surfaces, which we used for the enumeration of real rational curves on real toric Del Pezzo surfaces (see math.AG/0303378 and IMRN 49 (2003), 2639-2653), follows from J.-Y. Welschinger's theorem stated and proved in a symplectic setting (math.AG/0303145 and CRAS, Ser. I, 336 (2003), 341-344). Here, we give an algebraic geometry version of the proof of the above invariance. △ Less

Submitted 22 December, 2003; v1 submitted 7 December, 2003; originally announced December 2003.

Comments: 12 pages, no figures, minor linguistic modifications

MSC Class: 14H20; 14P05; 14N10

Welschinger invariant and enumeration of real plane rational curves

Authors: I. Itenberg, V. Kharlamov, E. Shustin

Abstract: Welschinger's invariant bounds from below the number of real rational curves through a given generic collection of real points in the real projective plane. We estimate this invariant using Mikhalkin's approach which deals with a corresponding count of tropical curves. In particular, our estimate implies that, for any positive integer $d$, there exists a real rational curve of degree $d$ through… ▽ More Welschinger's invariant bounds from below the number of real rational curves through a given generic collection of real points in the real projective plane. We estimate this invariant using Mikhalkin's approach which deals with a corresponding count of tropical curves. In particular, our estimate implies that, for any positive integer $d$, there exists a real rational curve of degree $d$ through any collection of $3d-1$ real points in the projective plane, and, moreover, asymptotically in the logarithmic scale at least one third of the complex plane rational curves through a generic point collection are real. We also obtain similar results for curves on other toric Del Pezzo surfaces. △ Less

Submitted 16 June, 2003; v1 submitted 30 March, 2003; originally announced March 2003.

Comments: 17 pages, LATEX2e; revised version: some statements modified (the case of rational geometrically ruled surfaces is replaced by that of the toric Del Pezzo surfaces), proofs extended, 2 figures added

MSC Class: 14N10; 14P05

Patchworking singular algebraic curves, non-Archimedean amoebas and enumerative geometry

Authors: Eugenii Shustin

Abstract: We prove a new patchworking theorem for singular algebraic curves, which states the following. Given a complex toric threefold $Y$ which fibers over ${\mathbb C}$ with a reduced reducible zero fiber $Y_0$ and other fibers $Y_t$ smooth, and given a reduced curve $C_0\subset Y_0$, the theorem provides a sufficient condition for the existence of a one-parametric family of curves $C_t\subset Y_t$, w… ▽ More We prove a new patchworking theorem for singular algebraic curves, which states the following. Given a complex toric threefold $Y$ which fibers over ${\mathbb C}$ with a reduced reducible zero fiber $Y_0$ and other fibers $Y_t$ smooth, and given a reduced curve $C_0\subset Y_0$, the theorem provides a sufficient condition for the existence of a one-parametric family of curves $C_t\subset Y_t$, which induces an equisingular deformation for some singular points of $C_0$ and certain prescribed deformations for the other singularities. As application we give a comment on a recent theorem by G. Mikhalkin on enumeration of nodal curves on toric surfaces via non-Archimedean amoebas [arXiv:math.AG/0209253]. Namely, using our patchworking theorem, we establish link between nodal curves over the field of complex Puiseux series and their non-Archimedean amoebas, what has been done by Mikhalkin in a different way. We discuss also the case of curves with a cusp as well as real nodal curves. △ Less

Submitted 13 May, 2005; v1 submitted 18 November, 2002; originally announced November 2002.

Comments: 50 pages, 5 figures

MSC Class: 14H15; 12J25; 14H20; 14M25; 14N10

Journal ref: Algebra i Analiz 17 (2005), no. 2, 170--214

Analytic order of singular and critical points

Authors: Eugenii Shustin

Abstract: We deal with the following closely related problems: (i) For a germ of a reduced plane analytic curve, what is the minimal degree of an algebraic curve with a singular point analytically equivalent (isomorphic) to the given one? (ii) For a germ of a holomorphic function in two variables with an isolated critical point, what is the minimal degree of a polynomial, equivalent to the given function… ▽ More We deal with the following closely related problems: (i) For a germ of a reduced plane analytic curve, what is the minimal degree of an algebraic curve with a singular point analytically equivalent (isomorphic) to the given one? (ii) For a germ of a holomorphic function in two variables with an isolated critical point, what is the minimal degree of a polynomial, equivalent to the given function up to a local holomorphic coordinate change? Classically known estimates for such a degree $d$ in these questions are $\sqrtμ+1\le d\le μ+1$, where $μ$ is the Milnor number. Our result in both the problems is $d\le a\sqrtμ$ with an absolute constant $a$. As a corollary, we obtain asymptotically proper sufficient conditions for the existence of algebraic curves with prescribed singularities on smooth algebraic surfaces. △ Less

Submitted 4 September, 2002; originally announced September 2002.

Comments: 39 pages, Latex2e

MSC Class: 14F17; 14H20; 58K05

Viro theorem and topology of real and complex combinatorial hypersurfaces

Authors: Ilia Itenberg, Eugenii Shustin

Abstract: We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be viewed as a version of the Viro gluing theorem, relating topology of algebraic hypersurfaces to the combinatorics of subdivisions of convex lattice polytopes. If… ▽ More We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be viewed as a version of the Viro gluing theorem, relating topology of algebraic hypersurfaces to the combinatorics of subdivisions of convex lattice polytopes. If a subdivision is convex, then according to the Viro theorem a combinatorial hypersurface is isotopic to an algebraic one. We study combinatorial hypersurfaces resulting from non-convex subdivisions of convex polytopes, show that they are almost complex varieties, and in the real case, they satisfy the same topological restrictions (congruences, inequalities etc.) as real algebraic hypersurfaces. △ Less

Submitted 10 August, 2001; v1 submitted 24 May, 2001; originally announced May 2001.

Comments: 45 pages, Latex, 2 figures

Report number: MPI-1999-111 MSC Class: 14M25; 14P25 (Primary) 52B20; 52B70 (Secondary)

Castelnuovo function, zero-dimensional schemes and singular plane curves

Authors: Gert-Martin Greuel, Christoph Lossen, Eugenii Shustin

Abstract: We study families V of curves in P^2 of degree d having exactly r singular points of given topological or analytic types. We derive new sufficient conditions for V to be T-smooth (smooth of the expected dimension), respectively to be irreducible. For T-smoothness these conditions involve new invariants of curve singularities and are conjectured to be asymptotically proper, i.e., optimal up to a… ▽ More We study families V of curves in P^2 of degree d having exactly r singular points of given topological or analytic types. We derive new sufficient conditions for V to be T-smooth (smooth of the expected dimension), respectively to be irreducible. For T-smoothness these conditions involve new invariants of curve singularities and are conjectured to be asymptotically proper, i.e., optimal up to a constant factor. To obtain the results, we study the Castelnuovo function, prove the irreducibility of the Hilbert scheme of zero-dimensional schemes associated to a cluster of infinitely near points of the singularities and deduce new vanishing theorems for ideal sheaves of zero-dimensional schemes in P^2. Moreover, we give a series of examples of cuspidal curves where the family V is reducible, but where the fundamental groups of P^2 \ C coincide (and are abelian) for all C in V. △ Less

Submitted 30 March, 1999; originally announced March 1999.

Comments: 32 pages, 5 figures

MSC Class: 14H15;14H20;14C05

Witten deformation and polynomial differential forms

Authors: Michael Farber, Eugenii Shustin

Abstract: As is well-known, the Witten deformation of the De Rham complex computes the De Rham cohomology. In this paper we study the Witten deformation on a noncompact manifold and restrict it to differential forms which behave polynomially near infinity. Such polynomial differential forms naturally appear on manifolds with a cylindrical structure. We prove that the cohomology of the Witten deformation a… ▽ More As is well-known, the Witten deformation of the De Rham complex computes the De Rham cohomology. In this paper we study the Witten deformation on a noncompact manifold and restrict it to differential forms which behave polynomially near infinity. Such polynomial differential forms naturally appear on manifolds with a cylindrical structure. We prove that the cohomology of the Witten deformation acting on the complex of the polynomially growing forms can be computed as the relative cohomology of the manifold with respect to the negative remote fiber of the function. We show that the assumptions of our main theorem are satisfied in a number of interesting special cases, including generic real polynomials. △ Less

Submitted 27 March, 1998; originally announced March 1998.

Comments: 27 pages, 4 figures, AmsTex