SearcharxivSearch

arXiv subjects

Eugenii Shustin

Publications and source records attributed to Eugenii Shustin.

At least 19 recordsLinked to original sources

Refined tropical invariants and characteristic numbers

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.

math.AG

Quantum index, Arnold-Rokhlin surfaces, and real enumerative geometry

The main goal of this note is to relate two different Welschinger-type rules of signs that were used for definition of real enumerative invariants of toric surfaces (the invariants considered being relative to the toric boundary). The relation between them intertwines Mikhalkin's quantum index and geometry of real and complex point sets of counted real curves. As a by-product, we suggest a new definition of quantum index, which can be used for refined invariant enumeration of real algebraic curves on surfaces in a non-toric setup.

math.AG

Anti-Zariski pairs

In 1929, O. Zariski found a pair of complex plane algebraic curves of the same degree and with the same collection of singularities, but embedded into the plane in a topologically different way. Accordingly, such curves belong to different components of the equisingular family. This phenomenon has been intensively studied till now. In this note, we propose a different insight on this subject: Two curves $C',C''\subset\PP^2$ form an {\it anti-Zariski pair}, if $(\PP^2,C')$ and $(\PP^2,C'')$ are homeomorhic, but $C'$ and $C''$ belong to different components of the equisingular family. We exhibit examples of anti-Zariski pairs and discuss related issues.

math.AG

Refined enumerative invariants and mixed Welschinger invariants

For real toric surfaces and conjugation invariant point conditions with all conjugate pairs on the boundary divisors, we prove that the signed count of real curves of arbitrary genus in the linear system through the given points is invariant under variation of the points, provided the reduced tropicalization is in general position. The proof is based on a new relative refined tropical invariant, which is invariant under variation of the point conditions and specializes at $y\to -1$ to this signed count; at $y\to 1$ the same invariant recovers the count of complex curves with prescribed tangency to the boundary. We extend the invariant to allow arbitrary tangency orders along the boundary and identify its $y\to 1$ limit with the corresponding complex count. Finally, we show that in positive genus the signed real count is not invariant when conjugate pairs are allowed in the interior, even under strong genericity assumptions.

math.AG

Enumeration of non-nodal real plane rational curves

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.

math.AG

Expressive curves

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.

math.AG

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

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.

math.AG

Morsifications and mutations

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.

math.GT

Enumeration of plane unicuspidal curves of any genus via tropical geometry

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$.

math.AG

Plane algebraic curves with prescribed singularities

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.

math.AG

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 $δ$ 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$.

math.AG

On refined count of rational tropical curves

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.

math.AG

Morsifications of real plane curve singularities

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.

math.AG

Singular Welschinger invariants

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.

math.AG

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

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.

math.AG

Refined descendant invariants of toric surfaces

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.

math.AG