Showing 1–48 of 48 results for author: Orevkov, S

Asymptotics of the number of lattice triangulations of rectangles of width 4 and 5

Authors: Stepan Orevkov

Abstract: Let $f(m,n)$ be the number of primitive lattice triangulations of an $m \times n$ rectangle. We express the limits $\lim_n f(m,n)^{1/n}$ for $m = 4$ and $m=5$ in terms of certain systems of Fredholm integral equations on generating functions (the case $m\le3$ was treated in a previous paper). Solving these equations numerically, we compute approximate values of these limits with a rather high prec… ▽ More Let $f(m,n)$ be the number of primitive lattice triangulations of an $m \times n$ rectangle. We express the limits $\lim_n f(m,n)^{1/n}$ for $m = 4$ and $m=5$ in terms of certain systems of Fredholm integral equations on generating functions (the case $m\le3$ was treated in a previous paper). Solving these equations numerically, we compute approximate values of these limits with a rather high precision. △ Less

Submitted 23 March, 2025; v1 submitted 22 December, 2024; originally announced December 2024.

Comments: v2: Section 5 is updated; Section 6 is added

Separating semigroup of genus 4 curves

Authors: S. Yu. Orevkov

Abstract: A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R C$. M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_r(f))$ where $f$ is a separating function and… ▽ More A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R C$. M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_r(f))$ where $f$ is a separating function and $d_i(f)$ is the degree of the restriction of $f$ to $c_i$. In the present paper we describe the separating semigroups of all genus 4 curves. For the proofs we consider the canonical embedding of $C$ into a quadric $X$ in $\mathbb P^3$ and apply Abel's theorem to 1-forms obtained as Poincaré residues at $C$ of certain meromorphic 2-forms on $X$. △ Less

Submitted 15 April, 2025; v1 submitted 3 December, 2024; originally announced December 2024.

Comments: 10 pages. Version 2: numerous misprints are corrected and Section 3 is added

Seifert forms and slice Euler characteristic of links

Authors: S. Yu. Orevkov, V. Florens

Abstract: We define the Witt coindex of a link with non-trivial Alexander polynomial, as a concordance invariant from the Seifert form. We show that it provides an upper bound for the (locally flat) slice Euler characteristic of the link, extending the work of Levine on algebraically slice knots and Taylor on the genera of knots. Then we extend the techniques by Levine on isometric structures and characteri… ▽ More We define the Witt coindex of a link with non-trivial Alexander polynomial, as a concordance invariant from the Seifert form. We show that it provides an upper bound for the (locally flat) slice Euler characteristic of the link, extending the work of Levine on algebraically slice knots and Taylor on the genera of knots. Then we extend the techniques by Levine on isometric structures and characterize completely the forms of coindex $1$ under the condition that the symmetrized Seifert form is non-degenerate. We illustrate our results with examples where the coindex is used to show that a two-component link does not bound a locally flat cylinder in the four-ball, whereas any other known restriction does not show it. △ Less

Submitted 22 May, 2024; originally announced May 2024.

On intersection of lemniscates of rational functions

Authors: Stepan Orevkov, Fedor Pakovich

Abstract: For a non-constant complex rational function $P$, the lemniscate of $P$ is defined as the set of points $z\in \mathbb C$ such that $\vert P(z)\vert =1$. The lemniscate of $P$ coincides with the set of real points of the algebraic curve given by the equation $L_P(x,y)=0$, where $L_P(x,y)$ is the numerator of the rational function $P(x+iy)\overline{ P}(x-iy)-1.$ In this paper, we study the following… ▽ More For a non-constant complex rational function $P$, the lemniscate of $P$ is defined as the set of points $z\in \mathbb C$ such that $\vert P(z)\vert =1$. The lemniscate of $P$ coincides with the set of real points of the algebraic curve given by the equation $L_P(x,y)=0$, where $L_P(x,y)$ is the numerator of the rational function $P(x+iy)\overline{ P}(x-iy)-1.$ In this paper, we study the following two questions: under what conditions two lemniscates have a common component, and under what conditions the algebraic curve $L_P(x,y)=0$ is irreducible. In particular, we provide a sharp bound for the number of complex solutions of the system $\vert P_1(z)\vert =\vert P_2(z)\vert =1$, where $P_1$ and $P_2$ are rational functions. △ Less

Submitted 28 January, 2024; v1 submitted 10 September, 2023; originally announced September 2023.

C-boundary links up to six crossings

Authors: S. Yu. Orevkov

Abstract: An oriented link is called $\mathbb C$-boundary if it is realizable as $(\partial B,A\cap\partial B)$ where $A$ is an algebraic curve in $\mathbb C^2$ and $B$ is an embedded $4$-ball. This notion was introduced by Michel Boileau and Lee Rudolph in 1995. In a recent joint paper with N.G. Kruzhilin we gave a complete classification of $\mathbb C$-boundaries with at most 5 crossings. In the present p… ▽ More An oriented link is called $\mathbb C$-boundary if it is realizable as $(\partial B,A\cap\partial B)$ where $A$ is an algebraic curve in $\mathbb C^2$ and $B$ is an embedded $4$-ball. This notion was introduced by Michel Boileau and Lee Rudolph in 1995. In a recent joint paper with N.G. Kruzhilin we gave a complete classification of $\mathbb C$-boundaries with at most 5 crossings. In the present paper a more regular method of construction of $\mathbb C$-boundaries is proposed and the classification is extended up to 6 crossings. △ Less

Submitted 9 December, 2023; v1 submitted 12 June, 2023; originally announced June 2023.

Comments: 13 pages. In Version 2, many small mistakes and inaccuracies are corrected and a relation with squeezed knots is discussed

Journal ref: Mosc. Math. J., 24:3 (2024), 427-440

Complete bipartite graphs flexible in the plane

Authors: M. D. Kovalev, S. Yu. Orevkov

Abstract: A complete bipartite graph $K_{3,3}$, considered as a planar linkage with joints at the vertices and with rods as edges, in general admits only motions as a whole, i.e., is inflexible. Two types of its paradoxical mobility were found by Dixon in 1899. Later on, in a series of papers by different authors, the question of flexibility of $K_{m,n}$ was solved for almost all pairs $(m,n)$. In the prese… ▽ More A complete bipartite graph $K_{3,3}$, considered as a planar linkage with joints at the vertices and with rods as edges, in general admits only motions as a whole, i.e., is inflexible. Two types of its paradoxical mobility were found by Dixon in 1899. Later on, in a series of papers by different authors, the question of flexibility of $K_{m,n}$ was solved for almost all pairs $(m,n)$. In the present paper, we solve it for all complete bipartite graphs in the Euclidean plane as well as in the sphere and in the hyperbolic plane. We give independent self-contained proofs without extensive computations which are almost the same in the Euclidean, hyperbolic and spherical cases. △ Less

Submitted 16 January, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 21 pages, 6 figures. Changes with respect to v1:: 1). The hyperbolic and spherical cases are included. 2). References [3] and [5] are added

Journal ref: Sbornik: Mathematics, 214 (2023), 1390-1414

Diffusion orthogonal polynomials in 3-dimensional domains bounded by developable surfaces

Authors: S. Yu. Orevkov

Abstract: The following problem is studied: describe the triplets $(Ω,g,μ)$, $μ=ρ\,dx$, where $g= (g^{ij}(x))$ is the (co)metric associated with the symmetric second order differential operator $L(f) = \frac{1}ρ\sum_{ij} \partial_i (g^{ij} ρ\,\partial_j f)$ defined on a domain $Ω$ of $\mathbb R^n$ and such that there exists an orthonormal basis of $\mathcal L^2(μ)$ made of polynomials which are eigenvectors… ▽ More The following problem is studied: describe the triplets $(Ω,g,μ)$, $μ=ρ\,dx$, where $g= (g^{ij}(x))$ is the (co)metric associated with the symmetric second order differential operator $L(f) = \frac{1}ρ\sum_{ij} \partial_i (g^{ij} ρ\,\partial_j f)$ defined on a domain $Ω$ of $\mathbb R^n$ and such that there exists an orthonormal basis of $\mathcal L^2(μ)$ made of polynomials which are eigenvectors of $L$, and the basis is compatible with the filtration of the space of polynomials with respect to some weighted degree. In a joint paper with D. Bakry and M. Zani this problem was solved in dimension 2 for the usual degree. In the author's subsequent paper this problem was solved in dimension 2 for any weighted degree. In the present paper this problem is solved in dimension 3 for the usual degree under the condition that $\partialΩ$ contains a piece of a tangent developable surface. The proof is based on Plücker-like formulas in the form given by Ragni Piene. All the found solutions are generalized for any dimension. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: 29 pages

Journal ref: J. Geom. Phys., 191 (2023), 104882

Two-dimensional diffusion orthogonal polynomials ordered by a weighted degree

Authors: Stepan Orevkov

Abstract: We study the following problem: describe the triplets $(Ω,g,μ)$, $μ=ρ\,dx$, where $g= (g^{ij}(x))$ is the (co)metric associated with the symmetric second order differential operator $L (f) = \frac{1}ρ\sum_{ij} \partial_i (g^{ij} ρ\partial_j f)$ defined on a domain $Ω$ of $\mathbb R^d$ and such that there exists an orthonormal basis of $\mathcal L^2(μ)$ made of polynomials which are eigenvectors of… ▽ More We study the following problem: describe the triplets $(Ω,g,μ)$, $μ=ρ\,dx$, where $g= (g^{ij}(x))$ is the (co)metric associated with the symmetric second order differential operator $L (f) = \frac{1}ρ\sum_{ij} \partial_i (g^{ij} ρ\partial_j f)$ defined on a domain $Ω$ of $\mathbb R^d$ and such that there exists an orthonormal basis of $\mathcal L^2(μ)$ made of polynomials which are eigenvectors of $L$, where the polynomials are ranked according to some weighted degree. In a joint paper with D. Bakry and M. Zani this problem was solved in dimension 2 for the usual degree. In the present paper we solve it still in dimension 2, but for a weighted degree with arbitrary positive weights. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 30 pages, 8 figures

Journal ref: Funct Anal Its Appl 57, 208-235 (2023)

Counting lattice triangulations: Fredholm equations in combinatorics

Authors: S. Yu. Orevkov

Abstract: Let $f(m,n)$ be the number of primitive lattice triangulations of $m\times n$ rectangle. We compute the limits $\lim_n f(m,n)^{1/n}$ for $m=2$ and $3$. For $m=2$ we obtain the exact value of the limit which is equal to $(611+\sqrt{73})/36$. For $m=3$, we express the limit in terms of certain Fredholm's integral equation on generating functions. This provides a polynomial time algorithm for computa… ▽ More Let $f(m,n)$ be the number of primitive lattice triangulations of $m\times n$ rectangle. We compute the limits $\lim_n f(m,n)^{1/n}$ for $m=2$ and $3$. For $m=2$ we obtain the exact value of the limit which is equal to $(611+\sqrt{73})/36$. For $m=3$, we express the limit in terms of certain Fredholm's integral equation on generating functions. This provides a polynomial time algorithm for computation of the limit with any given precision (polynomial with respect the the number of computed digits). △ Less

Submitted 23 March, 2022; v1 submitted 30 January, 2022; originally announced January 2022.

Comments: 26 pages, 9 figures. Essencially, v2 is the same as v1, but numerous misprints and inaccuracies are corrected

Journal ref: Sbornik: Mathematics, 213 (2022), 1530-1558

Compactification of the space of branched coverings of the two-dimensional sphere

Authors: V. I. Zvonilov, S. Yu. Orevkov

Abstract: For a closed oriented surface $ Σ$ we define its degenerations into singular surfaces that are locally homeomorphic to wedges of disks. Let $X_{Σ,n}$ be the set of isomorphism classes of orientation preserving $n$-fold branched coverings $ Σ\rightarrow S^2 $ of the two-dimensional sphere. We complete $X_{Σ,n}$ with the isomorphism classes of mappings that cover the sphere by the degenerations of… ▽ More For a closed oriented surface $ Σ$ we define its degenerations into singular surfaces that are locally homeomorphic to wedges of disks. Let $X_{Σ,n}$ be the set of isomorphism classes of orientation preserving $n$-fold branched coverings $ Σ\rightarrow S^2 $ of the two-dimensional sphere. We complete $X_{Σ,n}$ with the isomorphism classes of mappings that cover the sphere by the degenerations of $ Σ$. In case $ Σ=S^2$, the topology that we define on the obtained completion $\bar{X}_{Σ,n}$ coincides on $X_{S^2,n}$ with the topology induced by the space of coefficients of rational functions $ P/Q $, where $ P,Q $ are homogeneous polynomials of degree $ n $ on $ \mathbb{C}\mathrm{P}^1\cong S^2$. We prove that $\bar{X}_{Σ,n}$ coincides with the Diaz-Edidin-Natanzon-Turaev compactification of the Hurwitz space $H(Σ,n)\subset X_{Σ,n}$ consisting of isomorphism classes of branched coverings with all critical values being simple. △ Less

Submitted 9 January, 2022; originally announced January 2022.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:2002.12402

MSC Class: 30F10

Journal ref: Proceedings of the Steklov Institute of Mathematics, 2017, 298, 118-128

Algebraically unrealizable complex orientations of plane real pseudoholomorphic curves

Authors: S. Yu. Orevkov

Abstract: We prove two inequalities for the complex orientations of a separating (Type I) non-singular real algebraic curve in $RP^2$ of any odd degree. We also construct a separating non-singular pseudoholomorphic curve in $RP^2$ of any degree congruent to 9 mod 12 which does not satisfies one of these inequalities. Therefore the oriented isotopy type of the real locus of each of these curves is algebraica… ▽ More We prove two inequalities for the complex orientations of a separating (Type I) non-singular real algebraic curve in $RP^2$ of any odd degree. We also construct a separating non-singular pseudoholomorphic curve in $RP^2$ of any degree congruent to 9 mod 12 which does not satisfies one of these inequalities. Therefore the oriented isotopy type of the real locus of each of these curves is algebraically unrealizable. △ Less

Submitted 6 May, 2021; v1 submitted 18 October, 2020; originally announced October 2020.

Comments: 13 pages, 10 figures; v2: Remarks 1.7--1.9 are added; v3: a proof of Proposition 6.1 is added

Journal ref: Geom. Funct. Anal. 31, 930-947 (2021)

Homomorphisms of commutator subgroups of braid groups with small number of strings

Authors: S. Yu. Orevkov

Abstract: For any $n$, we describe all endomorphisms of the braid group $B_n$ and of its commutator subgroup $B'_n$, as well as all homomorphisms $B'_n\to B_n$. These results are new only for small $n$ because endomorphisms of $B_n$ are already described by Castel for $n\ge 6$, and homomorphisms $B'_n\to B_n$ and endomorphisms of $B'_n$ are already described by Kordek and Margalit for $n\ge 7$. We use very… ▽ More For any $n$, we describe all endomorphisms of the braid group $B_n$ and of its commutator subgroup $B'_n$, as well as all homomorphisms $B'_n\to B_n$. These results are new only for small $n$ because endomorphisms of $B_n$ are already described by Castel for $n\ge 6$, and homomorphisms $B'_n\to B_n$ and endomorphisms of $B'_n$ are already described by Kordek and Margalit for $n\ge 7$. We use very different approaches for $n=4$ and for $n\ge 5$. △ Less

Submitted 8 February, 2022; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: 13 pages, 4 figures. There is an error in the proof of Lemma 3.2 in Version 1. This error is corrected in Version 2

Journal ref: Annales de la Faculté des sciences de Toulouse : Mathématiques (6), 33 (2024), 105-121

Signatures of iterated torus links

Authors: S. Yu. Orevkov

Abstract: We compute the multivariate signatures of any Seifert link (that is a union of some fibers in a Seifert homology sphere), in particular, of the union of a torus link with one or both of its cores (cored torus link). The signatures of cored torus links are used in Degtyarev-Florens-Lecuona splicing formula for computation of multivariate signatures of cables over links. We use Neumann's computation… ▽ More We compute the multivariate signatures of any Seifert link (that is a union of some fibers in a Seifert homology sphere), in particular, of the union of a torus link with one or both of its cores (cored torus link). The signatures of cored torus links are used in Degtyarev-Florens-Lecuona splicing formula for computation of multivariate signatures of cables over links. We use Neumann's computation of equivariant signatures of such links. For signatures of torus links with the core(s) we also rewrite the Neumann's formula in terms of integral points in a certain parallelogram, similar to Hirzebruch's formula for signatures of torus links (without cores) via integral points in a rectangle. △ Less

Submitted 27 July, 2020; originally announced July 2020.

Comments: 17 pages, 18 figures

Journal ref: Funct Anal Its Appl 55, 59-74 (2021)

Plane algebraic curves in fancy balls

Authors: N. G. Kruzhilin, S. Yu. Orevkov

Abstract: Boileau and Rudolph called a link $L$ in the $3$-sphere a $\bf C$-boundary if it can be realized as the intersection of an algebraic curve $A$ in $\bf C^2$ with the boundary of a smooth embedded $4$-ball $B$. They showed that some links are not $\bf C$-boundaries. We say that $L$ is a strong $\bf C$-boundary if $A\setminus B$ is connected. In particular, all quasipositive links are strong $\bf C$-… ▽ More Boileau and Rudolph called a link $L$ in the $3$-sphere a $\bf C$-boundary if it can be realized as the intersection of an algebraic curve $A$ in $\bf C^2$ with the boundary of a smooth embedded $4$-ball $B$. They showed that some links are not $\bf C$-boundaries. We say that $L$ is a strong $\bf C$-boundary if $A\setminus B$ is connected. In particular, all quasipositive links are strong $\bf C$-boundaries. In this paper we give examples of non-quasipositive strong $\bf C$-boundaries and non-strong $\bf C$-boundaries. We give a complete classification of (strong) $\bf C$-boundaries with at most 5 crossings. △ Less

Submitted 30 June, 2020; originally announced July 2020.

Comments: 13 pages

On alternating quasipositive links

Authors: Stepan Orevkov

Abstract: We prove that if a quasipositive link can be represented by an alternating diagram satisfying the condition that no pair of Seifert circles is connected by a single crossing, then the diagram is positive and the link is strongly quasipositive. We prove that if a quasipositive link can be represented by an alternating diagram satisfying the condition that no pair of Seifert circles is connected by a single crossing, then the diagram is positive and the link is strongly quasipositive. △ Less

Submitted 30 June, 2020; originally announced July 2020.

Comments: 4 pages

Journal ref: Dokl. Math. 102, 403-405 (2020)

Quasipositive braids and connected sums

Authors: S. Yu. Orevkov

Abstract: We prove that the connected sum of two links is quasipositive if and onlyif each summand is quasipositive. The prove is based on the filling disk technique We prove that the connected sum of two links is quasipositive if and onlyif each summand is quasipositive. The prove is based on the filling disk technique △ Less

Submitted 13 April, 2022; v1 submitted 8 June, 2019; originally announced June 2019.

Comments: 5 pages. In v3 the numbering of theorems, lemmas etc. is changed according to the published version. No other difference between v2 and v3

Journal ref: Functional Analysis and Its Applications, 2020, Vol. 54, No. 1, pp. 64-67

Rigid isotopy of maximally writhed links

Authors: Grigory Mikhalkin, Stepan Orevkov

Abstract: This is a sequel to the paper \cite{MO-mw} which identified maximally writhed algebraic links in $\rp^3$ and classified them topologically. In this paper we prove that all maximally writhed links of the same topological type are rigidly isotopic, i.e. one can be deformed into another with a family of smooth real algebraic links of the same degree. This is a sequel to the paper \cite{MO-mw} which identified maximally writhed algebraic links in $\rp^3$ and classified them topologically. In this paper we prove that all maximally writhed links of the same topological type are rigidly isotopic, i.e. one can be deformed into another with a family of smooth real algebraic links of the same degree. △ Less

Submitted 11 February, 2019; originally announced February 2019.

On osculating framing of real algebraic links

Authors: Grigory Mikhalkin, Stepan Orevkov

Abstract: For a real algebraic link in $RP^3$, we prove that its encomplexed writhe (an invariant introduced by Viro) is maximal for a given degree and genus if and only if its self-linking number with respect to the framing by the osculating planes is maximal for a given degree. For a real algebraic link in $RP^3$, we prove that its encomplexed writhe (an invariant introduced by Viro) is maximal for a given degree and genus if and only if its self-linking number with respect to the framing by the osculating planes is maximal for a given degree. △ Less

Submitted 27 February, 2019; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: 6 pages, 1 figure

Journal ref: Arnold Math J. 5, 393-399 (2019)

Products of conjugacy classes in $SL_2(R)$

Authors: Stepan Orevkov

Abstract: We compute the product of any $n$-tuple of conjugacy classes in $SL_2(R)$ We compute the product of any $n$-tuple of conjugacy classes in $SL_2(R)$ △ Less

Submitted 27 February, 2019; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: 9 pages, 1 figure

Journal ref: Trans. Moscow Math. Soc. 2019, 73-81

Irreducibility of lemniscates

Authors: S. Yu. Orevkov

Abstract: We prove that lemniscates (i.e., sets of the form $|P(z)|=1$ where $P$ is a complex polynomial) are irreducible real algebraic curves. We prove that lemniscates (i.e., sets of the form $|P(z)|=1$ where $P$ is a complex polynomial) are irreducible real algebraic curves. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Comments: 2 pages

Journal ref: Russian Mathematical Surveys, 2018, Volume 73, 543-545

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

Separating semigroup of hyperelliptic curves and of genus 3 curves

Authors: Stepan Orevkov

Abstract: A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\Bbb R C\to\Bbb{RP}^1$. Let $A_1,\dots,A_n$ be connected components of $C$. In a recent paper M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_n(f))$ where $f$ is a separating function and… ▽ More A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\Bbb R C\to\Bbb{RP}^1$. Let $A_1,\dots,A_n$ be connected components of $C$. In a recent paper M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_n(f))$ where $f$ is a separating function and $d_i(f)$ is the degree of the restriction of $f$ to $A_i$. We describe the separating semigroup for hyperelliptic curves and for genus 3 curves. △ Less

Submitted 11 December, 2017; originally announced December 2017.

Comments: 4 pages

On the hyperbolicity locus of a real curve

Authors: Stepan Orevkov

Abstract: Given a real algebraic curve in the projective 3-space, its hyperbolicity locus is the set of lines with respect to which the curve is hyperbolic. We give an example of a smooth irreducible curve whose hyperbolicity locus is disconnected but the connected components are not distinguished by the linking numbers with the connected components of the curve. Given a real algebraic curve in the projective 3-space, its hyperbolicity locus is the set of lines with respect to which the curve is hyperbolic. We give an example of a smooth irreducible curve whose hyperbolicity locus is disconnected but the connected components are not distinguished by the linking numbers with the connected components of the curve. △ Less

Submitted 13 December, 2017; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: 4 pages, 3 figures

Journal ref: Funct Anal Its Appl 52, 151-153 (2018)

Maximally writhed real algebraic links

Authors: Grigory Mikhalkin, Stepan Orevkov

Abstract: Oleg Viro introduced an invariant of rigid isotopy for real algebraic knots and links in $\Bbb{RP}^3$ which can be viewed as a first order Vassiliev invariant. In this paper we classify real algebraic links of degree $d$ with the maximal value of this invariant in its two versions: $w$ and $w_λ$. Oleg Viro introduced an invariant of rigid isotopy for real algebraic knots and links in $\Bbb{RP}^3$ which can be viewed as a first order Vassiliev invariant. In this paper we classify real algebraic links of degree $d$ with the maximal value of this invariant in its two versions: $w$ and $w_λ$. △ Less

Submitted 29 September, 2017; originally announced October 2017.

Comments: 20 pages, 12 figures

Journal ref: Invent. math. 216, 125-152 (2019)

Topology of maximally writhed real algebraic knots

Authors: Grigory Mikhalkin, Stepan Orevkov

Abstract: Oleg Viro introduced an invariant of rigid isotopy for real algebraic knots in $RP^3$ which can be viewed as a first order Vassiliev invariant. In this paper we look at real algebraic knots of degree $d$ with the maximal possible value of this invariant. We show that for a given $d$ all such knots are topologically isotopic and explicitly identify their knot type. Oleg Viro introduced an invariant of rigid isotopy for real algebraic knots in $RP^3$ which can be viewed as a first order Vassiliev invariant. In this paper we look at real algebraic knots of degree $d$ with the maximal possible value of this invariant. We show that for a given $d$ all such knots are topologically isotopic and explicitly identify their knot type. △ Less

Submitted 19 December, 2017; v1 submitted 13 August, 2017; originally announced August 2017.

Comments: 6 pages, 2 figures. Only few small misprints are corrected in v2

Journal ref: Dokl. Math. 97, 28-31 (2018)

Real algebraic knots and links of small degree

Authors: Grigory Mikhalkin, Stepan Orevkov

Abstract: The paper gives topological as well as rigid isotopy classification of smooth irreducible algebraic curves in the real projective 3-space for the case when the degree of the curve is at most six and its genus is at most one. The paper gives topological as well as rigid isotopy classification of smooth irreducible algebraic curves in the real projective 3-space for the case when the degree of the curve is at most six and its genus is at most one. △ Less

Submitted 11 August, 2016; originally announced August 2016.

Comments: To the memory of Sergei Duzhin

Signatures of real algebraic curves via plumbing diagrams

Authors: Patrick M. Gilmer, Stepan Yu. Orevkov

Abstract: We define and calculate signature and nullity invariants for complex schemes for curves in the real projective plane. We use an analog of the Murasugi-Tristram inequality to prohibit certain schemes from being realized by real algebraic curves. We give new formulas for Casson-Gordon invariants of graph manifolds, and signatures of graph links. We define and calculate signature and nullity invariants for complex schemes for curves in the real projective plane. We use an analog of the Murasugi-Tristram inequality to prohibit certain schemes from being realized by real algebraic curves. We give new formulas for Casson-Gordon invariants of graph manifolds, and signatures of graph links. △ Less

Submitted 26 November, 2017; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: 28 pages

Journal ref: J. Knot Theory Ramifications 27, 1840003 (2018) [33 pages]

Automorphism group of the commutator subgroup of the braid group

Authors: Stepan Yu. Orevkov

Abstract: Let $B'_n$ be the commutator subgroup of the braid group $B_n$. We prove that $Aut(B'_n)=Aut(B_n)$ for $n\ge4$. This answers a question asked by Vladimir Lin. Let $B'_n$ be the commutator subgroup of the braid group $B_n$. We prove that $Aut(B'_n)=Aut(B_n)$ for $n\ge4$. This answers a question asked by Vladimir Lin. △ Less

Submitted 5 June, 2016; v1 submitted 17 June, 2015; originally announced June 2015.

Comments: 19 pages, 3 figures

MSC Class: 20F36

Journal ref: Annales de la Faculteé des Sciences de Toulouse. Matheématiques (6), 26:5 (2017), 1137-1161

Remark on Tono's theorem about cuspidal curves

Authors: Stepan Orevkov

Abstract: We give an upper bound for the number of cusps of a plane affine or projective curve via its first Betti number. We give an upper bound for the number of cusps of a plane affine or projective curve via its first Betti number. △ Less

Submitted 28 April, 2016; v1 submitted 26 May, 2015; originally announced May 2015.

Comments: 3 pages

MSC Class: 14H50

Journal ref: Math. Nachr., 290:17 (2017), 2992-2994

Parametric equations of plane sextic curves with a maximal set of double points

Authors: Stean Yu. Orevkov

Abstract: We give explicit parametric equations for all irreducible plane projective sextic curves which have at most double points and whose total Milnor number is maximal (is equal to 19). In each case we find a parametrization over a number field of the minimal possible degree and try to choose coordinates so that the coefficients are as small as we can do. We give explicit parametric equations for all irreducible plane projective sextic curves which have at most double points and whose total Milnor number is maximal (is equal to 19). In each case we find a parametrization over a number field of the minimal possible degree and try to choose coordinates so that the coefficients are as small as we can do. △ Less

Submitted 24 April, 2015; originally announced April 2015.

Comments: 12 pages

MSC Class: 14H50

Algorithmic recognition of quasipositive 4-braids of algebraic length three

Authors: Stepan Yu. Orevkov

Abstract: We give an algorithm to decide whether a given braid with four strings is a product of three factors which are conjugates of standard generators of the braid group. The algorithm is of polynomial time. It is based on the Garside theory. We give also a polynomial algorithm to decide if a given braid with any number of strings is a product of two factors which are conjugates of given powers of the s… ▽ More We give an algorithm to decide whether a given braid with four strings is a product of three factors which are conjugates of standard generators of the braid group. The algorithm is of polynomial time. It is based on the Garside theory. We give also a polynomial algorithm to decide if a given braid with any number of strings is a product of two factors which are conjugates of given powers of the standard generators (in my previous paper this problem was solved without polynomial estimates). △ Less

Submitted 12 September, 2015; v1 submitted 24 April, 2015; originally announced April 2015.

Comments: 19 pages, 1 figure

MSC Class: 20F36

Journal ref: Groups Complex. Cryptol., 7:2 (2015), 157-173

Criterion of Hurwitz equivalence for quasipositive factorizations of 3-braids

Authors: Stepan Yu. Orevkov

Abstract: We consider the Hurwitz action on quasipositive factorizations of a 3-braid. In a previous paper, for any given 3-braid we described a certain finite set which contains at least one representative of each orbit. Here we give an algorithm to decide if two elements of this finite set belong to the same orbit. We consider the Hurwitz action on quasipositive factorizations of a 3-braid. In a previous paper, for any given 3-braid we described a certain finite set which contains at least one representative of each orbit. Here we give an algorithm to decide if two elements of this finite set belong to the same orbit. △ Less

Submitted 30 May, 2015; v1 submitted 1 January, 2015; originally announced January 2015.

Comments: 6 pages

Journal ref: Dokl. Math. 92, 443-447 (2015)

On the Hurwitz action on quasipositive factorizations of 3-braids

Authors: Stepan Yu. Orevkov

Abstract: We consider the Hurwitz action on quasipositive factorizations of 3-braids. We prove that every orbit contains an element of a special form. This fact provides an algorithm of finding representatives of every orbit for a given braid. We prove also that (1) any 3-braid has a finite number of orbits; (2) a Birman-Ko-Lee positive 3-braid has a single orbit; (3) a 3-braid of algebraic length two has a… ▽ More We consider the Hurwitz action on quasipositive factorizations of 3-braids. We prove that every orbit contains an element of a special form. This fact provides an algorithm of finding representatives of every orbit for a given braid. We prove also that (1) any 3-braid has a finite number of orbits; (2) a Birman-Ko-Lee positive 3-braid has a single orbit; (3) a 3-braid of algebraic length two has at most two orbits. △ Less

Submitted 12 June, 2019; v1 submitted 16 September, 2014; originally announced September 2014.

Comments: 7 pages, 4 figures

Journal ref: Doklady Mathematics, vol. 91 (2015), no. 2, pp. 173-177

Algorithmic recognition of quasipositive braids of algebraic length two

Authors: Stepan Yu. Orevkov

Abstract: We give an algorithm to decide if a given braid is a product of two factors which are conjugates of given powers of standard generators of the braid group. The same problem is solved in a certain class of Garside groups including Artin-Tits groups of spherical type. The solution is based on the Garside theory and, especially, on the theory of cyclic sliding developed by Gebhardt and Gonzalez-Menes… ▽ More We give an algorithm to decide if a given braid is a product of two factors which are conjugates of given powers of standard generators of the braid group. The same problem is solved in a certain class of Garside groups including Artin-Tits groups of spherical type. The solution is based on the Garside theory and, especially, on the theory of cyclic sliding developed by Gebhardt and Gonzalez-Meneses. We show that if a braid is of the required form, then any cycling orbit in its sliding circuit set in the dual Garside structure contains an element for which this fact is immediately seen from the left normal form. △ Less

Submitted 7 October, 2014; v1 submitted 2 June, 2014; originally announced June 2014.

Comments: 25 pages, 1 figure

MSC Class: 20F36

Journal ref: J. Algebra, 423 (2015), 1080-1108

On modular computation of Groebner bases with integer coefficients

Authors: S. Yu. Orevkov

Abstract: Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gröbner base of $I$ under the assumption that the Gröbner bases of the ideal $\Bbb Q I$ of the ring $\Bbb Q[X]$ and the the ideals $I\otimes(\Bbb Z/m\Bbb Z)$ of the rings $(\Bbb Z/m\Bbb Z)[X]$ are known. Such an algor… ▽ More Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gröbner base of $I$ under the assumption that the Gröbner bases of the ideal $\Bbb Q I$ of the ring $\Bbb Q[X]$ and the the ideals $I\otimes(\Bbb Z/m\Bbb Z)$ of the rings $(\Bbb Z/m\Bbb Z)[X]$ are known. Such an algorithmic problem arises, for example, in the construction of Markov and semi-Markov traces on cubic Hecke algebras. △ Less

Submitted 21 December, 2013; originally announced December 2013.

Comments: 3 pages

MSC Class: 13P10

Journal ref: J Math Sci 200, 722-724 (2014)

Orthogonal polynomials and diffusion operators

Authors: Dominique Bakry, Stepan Orevkov, Marguerite Zani

Abstract: We want to describe the triplets (Ω, (g), μ) where (g) is the (co)metric associated to some symmetric second order differential operator L defined on the domain Ωof R^d and such that L is expandable on a basis of orthogonal polynomials of L_2(μ), and μis some admissible measure. Up to affine transformation, we find 11 compact domains in dimension 2, and also give some non--compact cases in this di… ▽ More We want to describe the triplets (Ω, (g), μ) where (g) is the (co)metric associated to some symmetric second order differential operator L defined on the domain Ωof R^d and such that L is expandable on a basis of orthogonal polynomials of L_2(μ), and μis some admissible measure. Up to affine transformation, we find 11 compact domains in dimension 2, and also give some non--compact cases in this dimension. △ Less

Submitted 27 May, 2021; v1 submitted 22 September, 2013; originally announced September 2013.

Basic nets in the projective plane

Authors: S. Yu. Orevkov

Abstract: The notion of basic net (called also basic polyhedron) on $S^2$ plays a central role in Conway's approach to enumeration of knots and links in $S^3$. Drobotukhina applied this approach for links in $RP^3$ using basic nets on $RP^2$. By a result of Nakamoto, all basic nets on $S^2$ can be obtained from a very explicit family of minimal basic nets (the nets $(2\times n)^*$, $n\ge3$, in Conway's nota… ▽ More The notion of basic net (called also basic polyhedron) on $S^2$ plays a central role in Conway's approach to enumeration of knots and links in $S^3$. Drobotukhina applied this approach for links in $RP^3$ using basic nets on $RP^2$. By a result of Nakamoto, all basic nets on $S^2$ can be obtained from a very explicit family of minimal basic nets (the nets $(2\times n)^*$, $n\ge3$, in Conway's notation) by two local transformations. We prove a similar result for basic nets in $RP^2$. We prove also that a graph on $RP^2$ is uniquely determined by its pull-back on $S^3$ (the proof is based on Lefschetz fix point theorem). △ Less

Submitted 16 September, 2014; v1 submitted 28 July, 2013; originally announced July 2013.

Comments: 14 pages, 15 figures

MSC Class: 05C10

Journal ref: Annales de la Faculté des sciences de Toulouse : Mathématiques (6), 24 (2015), 205-226

Cubic Hecke Algebras and Invariants of Transversal Links

Authors: S. Yu. Orevkov

Abstract: We propose a purely algebraic approach to construct invariants of transversal links in the standard contact structure on the 3-sphere generalizing Jones' approach to invariant of usual links. The only geometry used is the analogue of Alexander and Markov theorems. More precisely, we construct a trace on a certain cubic Hecke algebra which is invariant under positive Markov moves only (we propose t… ▽ More We propose a purely algebraic approach to construct invariants of transversal links in the standard contact structure on the 3-sphere generalizing Jones' approach to invariant of usual links. The only geometry used is the analogue of Alexander and Markov theorems. More precisely, we construct a trace on a certain cubic Hecke algebra which is invariant under positive Markov moves only (we propose to call it a semi-Markov trace). The trace takes its values in the quotient of a polynomial ring by a certain ideal. An algorithm for computing a Groebner base of the ideal is given. △ Less

Submitted 22 July, 2013; originally announced July 2013.

Comments: 6 pages, 2 figures

MSC Class: 57M27

Journal ref: Dokl. Math. 89, 115-118 (2014)

Markov trace on Funar algebra

Authors: Stepan Orevkov

Abstract: Funar algebra $K_\infty=K_\infty(α,β;k)$ is the quotient of the group algebra over a ring $k$ of the braid group $B_\infty$ by two cubic relations: $σ_1^3-ασ_1^2+βσ_1-1=0$ and another one which involves $σ_1$ and $σ_2$. The universal Markov trace on $K_\infty$ is the quotient map $t$ of $K_\infty(α,β,k[u,v])$ to its quotient (as a $k[u,v]$-module) by trace relations $xy=yx$ and by Markov relations… ▽ More Funar algebra $K_\infty=K_\infty(α,β;k)$ is the quotient of the group algebra over a ring $k$ of the braid group $B_\infty$ by two cubic relations: $σ_1^3-ασ_1^2+βσ_1-1=0$ and another one which involves $σ_1$ and $σ_2$. The universal Markov trace on $K_\infty$ is the quotient map $t$ of $K_\infty(α,β,k[u,v])$ to its quotient (as a $k[u,v]$-module) by trace relations $xy=yx$ and by Markov relations $σ_nx=ux$, $σ_n^{-1}x=vx$ for $x\in K_n$. It is easy to check that the quotient is of the form $k[u,v]/I$ for some ideal $I$ (i. e. that the trace $t$ is determined by $t(1)$). We give an algorithm to compute the ideal $I$ and we present the result of computations in some special cases. In the last section we discuss some properties of the resulting link invariant. This invariant for $β=0$, $k=GF(37)[α]$ detects the chirality of the knots $10_{48}$ and $10_{91}$ and it distinguish many other pairs of knots with equal HOMFLY polynomials. △ Less

Submitted 2 November, 2015; v1 submitted 4 June, 2012; originally announced June 2012.

Comments: 23 pages, 5 figures, 3 tables

MSC Class: 57M27

Journal ref: Commun. Math. Phys. 344, 371-396 (2016)

Products of conjugacy classes in finite unitary groups $GU(3,q^2)$ and $SU(3,q^2)$

Authors: Stepan Yu. Orevkov

Abstract: For the finite groups GU(3), SU(3), GL(3), SL(3) over a finite field we solve the class product problem, i.e., we give a complete list of $m$-tuples of conjugacy classes whose product does not contain the identity matrix. For the finite groups GU(3), SU(3), GL(3), SL(3) over a finite field we solve the class product problem, i.e., we give a complete list of $m$-tuples of conjugacy classes whose product does not contain the identity matrix. △ Less

Submitted 19 July, 2013; v1 submitted 4 April, 2010; originally announced April 2010.

Journal ref: Annales de la Faculté des Sciences de Toulouse, (6), 22(2013), 219-251

Agnihotri-Woodward-Belkale polytope and the intersection of Klyachko cones

Authors: S. Yu. Orevkov, Yu. P. Orevkov

Abstract: Agnihotri-Woodward-Belkale polytope $Δ$ (resp. Klyachko cone $K$) is the set of solutions of the multiplicative (resp. additive) Horn's problem, i.e., the set of triples of spectra of special unitary (resp. traceless Hermitian) $n\times n$ matrices satisfying $AB=C$ (resp. $A+B=C$). $K$ is the tangent cone of $Δ$ at the origin. The group $G=\Bbb Z_n \oplus \Bbb Z_n$ acts naturally on $Δ$. In thi… ▽ More Agnihotri-Woodward-Belkale polytope $Δ$ (resp. Klyachko cone $K$) is the set of solutions of the multiplicative (resp. additive) Horn's problem, i.e., the set of triples of spectra of special unitary (resp. traceless Hermitian) $n\times n$ matrices satisfying $AB=C$ (resp. $A+B=C$). $K$ is the tangent cone of $Δ$ at the origin. The group $G=\Bbb Z_n \oplus \Bbb Z_n$ acts naturally on $Δ$. In this note, we report on a computer calculation which shows that $Δ$ coincides with the intersection of $gK$, $g\in G$, for $n\le 14$ but does not coincide for $n=15$. Our motivation was an attempt to understand how to solve the multiplicative Horn problem in practice for given conjugacy classes in SU(n). △ Less

Submitted 11 May, 2008; originally announced May 2008.

Comments: 6 pages

MSC Class: 15A42

Journal ref: Math Notes 87, 96-101 (2010)

Algebraic curve in the unit ball in C^2 passing through the center, all whose boundary components are arbitrarily short

Authors: S. Yu. Orevkov

Abstract: We prove that curves indicated in the title exist. This results answers to a question posed by A.G.Vitushkin about 30 years ago. We also discuss the minimal number of boundary components of a curve in the unit ball passing through the center, under the condition that all these components are shorter than a given number. More precisely, we discuss the order of growth of the number of the componen… ▽ More We prove that curves indicated in the title exist. This results answers to a question posed by A.G.Vitushkin about 30 years ago. We also discuss the minimal number of boundary components of a curve in the unit ball passing through the center, under the condition that all these components are shorter than a given number. More precisely, we discuss the order of growth of the number of the components as their maximal length tends to zero. △ Less

Submitted 23 November, 2005; originally announced November 2005.

Plane real algerbaic curves of odd degree with a deep nest

Authors: Stepan Yu Orevkov

Abstract: We apply Murasugi-Tristram inequality to real algebraic curves of odd degree on $RP^2$ with a deep nest, i.e. a nest of the depth $k-1$ where $2k+1$ is the degree. For such curves, the ingredients of the Murasugi-Tristram inequality can be computed (or estimated) inductively using the computations for iterated torus links due to Eisenbud and Neumann as the base of the induction and Conway's skei… ▽ More We apply Murasugi-Tristram inequality to real algebraic curves of odd degree on $RP^2$ with a deep nest, i.e. a nest of the depth $k-1$ where $2k+1$ is the degree. For such curves, the ingredients of the Murasugi-Tristram inequality can be computed (or estimated) inductively using the computations for iterated torus links due to Eisenbud and Neumann as the base of the induction and Conway's skein relation as the induction step. In Appendix B, we give some generalization of the skein relation. △ Less

Submitted 6 January, 2004; v1 submitted 26 November, 2003; originally announced November 2003.

Comments: 5 pages. Only the title has changed

Report number: Prepublication du Laboratoire E. Picard n. 272, Toulouse, France

The number of trees half of whose vertices are leaves and asymptotic enumeration of plane real algebraic curves

Authors: V. Kharlamov, S. Orevkov

Abstract: The number of topologically different plane real algebraic curves of a given degree $d$ has the form $\exp(C d^2 + o(d^2))$. We determine the best available upper bound for the constant $C$. This bound follows from Arnold inequalities on the number of empty ovals. To evaluate its rate we show its equivalence with the rate of growth of the number of trees half of whose vertices are leaves and eva… ▽ More The number of topologically different plane real algebraic curves of a given degree $d$ has the form $\exp(C d^2 + o(d^2))$. We determine the best available upper bound for the constant $C$. This bound follows from Arnold inequalities on the number of empty ovals. To evaluate its rate we show its equivalence with the rate of growth of the number of trees half of whose vertices are leaves and evaluate the latter rate. △ Less

Submitted 22 January, 2003; originally announced January 2003.

Comments: 13 pages, 3 figures

MSC Class: 14P25; 14H50; 05C05; 05A16

Markov theorem for transversal links

Authors: S. Yu. Orevkov, V. V. Shevchishin

Abstract: It is shown that two braids represent transversally isotopic links if and only if one can pass from one braid to another by conjugations in braid groups, positive Markov moves, and their inverses. It is shown that two braids represent transversally isotopic links if and only if one can pass from one braid to another by conjugations in braid groups, positive Markov moves, and their inverses. △ Less

Submitted 24 February, 2003; v1 submitted 19 December, 2001; originally announced December 2001.

Comments: AMS-TeX, 12 pages with 10 eps-figures. In the revised version we refine the exposition and add an appendix with discussion about a possible generalization of Markov theorem to Legendrian links

MSC Class: 57R17; 57M25

Journal ref: J. of Knot Theory and Ramifications, 12(2003), 905-913

Asymptotic growth of the number of classes of real plane algebraic curves when the degree increases

Authors: S. Yu. Orevkov, V. M. Kharlamov

Abstract: The nonsingular real plane algebraic curves of given degree $d$ are considered either up to isotopy or up to deformation. The asymptotic behavior of the number $I_d$ of isotopy classes and the number $D_d$ of deformation classes are studied. It is shown, in particular, that $log I_d\asypt d^2$. Other related problems and their higher dimensional generalisations are discussed. The nonsingular real plane algebraic curves of given degree $d$ are considered either up to isotopy or up to deformation. The asymptotic behavior of the number $I_d$ of isotopy classes and the number $D_d$ of deformation classes are studied. It is shown, in particular, that $log I_d\asypt d^2$. Other related problems and their higher dimensional generalisations are discussed. △ Less

Submitted 22 April, 2000; v1 submitted 25 February, 2000; originally announced February 2000.

Comments: 11 pages; a misprint in the table is corrected

MSC Class: 14P25;05A16

Plane curves with a big fundamental group of the complement

Authors: G. Dethloff, S. Orevkov, M. Zaidenberg

Abstract: Let $C \s \pr^2$ be an irreducible plane curve whose dual $C^* \s \pr^{2*}$ is an immersed curve which is neither a conic nor a nodal cubic. The main result states that the Poincaré group $π_1(\pr^2 \se C)$ contains a free group with two generators. If the geometric genus $g$ of $C$ is at least 2, then a subgroup of $G$ can be mapped epimorphically onto the fundamental group of the normalization… ▽ More Let $C \s \pr^2$ be an irreducible plane curve whose dual $C^* \s \pr^{2*}$ is an immersed curve which is neither a conic nor a nodal cubic. The main result states that the Poincaré group $π_1(\pr^2 \se C)$ contains a free group with two generators. If the geometric genus $g$ of $C$ is at least 2, then a subgroup of $G$ can be mapped epimorphically onto the fundamental group of the normalization of $C$, and the result follows. To handle the cases $g=0,1$, we construct universal families of immersed plane curves and their Picard bundles. This allows us to reduce the consideration to the case of Plücker curves. Such a curve $C$ can be regarded as a plane section of the corresponding discriminant hypersurface (cf. [Zar, DoLib]). Applying Zariski--Lefschetz type arguments we deduce the result from `the bigness' of the $d$-th braid group $B_{d,g}$ of the Riemann surface of $C$. △ Less

Submitted 17 January, 1997; v1 submitted 4 July, 1996; originally announced July 1996.

Comments: 23 pages LaTeX. A revised version. The unnecessary restriction $d \ge 2g - 1$ of the previous version has been removed, and the main result has taken its final form

Report number: Duke preprint DUKE-M-95-00 MSC Class: 14H30 (Primary) 14F35; 14H10; 14H45; 32M15 (Secondary)

Journal ref: Amer. Math. Soc. Transl. (2) 184, 63-84 (1998)

On the number of singular points of plane curves

Authors: S. Orevkov, M. Zaidenberg

Abstract: This is an extended, renovated and updated report on a joint work which the second named author presented at the Conference on Algebraic Geometry held at Saitama University, 15-17 of March, 1995. The main result is an inequality for the numerical type of singularities of a plane curve, which involves the degree of the curve, the multiplicities and the Milnor numbers of its singular points. It is… ▽ More This is an extended, renovated and updated report on a joint work which the second named author presented at the Conference on Algebraic Geometry held at Saitama University, 15-17 of March, 1995. The main result is an inequality for the numerical type of singularities of a plane curve, which involves the degree of the curve, the multiplicities and the Milnor numbers of its singular points. It is a corollary of the logarithmic Bogomolov-Miyaoka-Yau's type inequality due to Miyaoka. It was first proven by F. Sakai at 1990 and rediscovered by the authors independently in the particular case of an irreducible cuspidal curve at 1992. Our proof is based on the localization, the local Zariski--Fujita decomposition and uses a graph discriminant calculus. The key point is a local analog of the BMY-inequality for a plane curve germ. As a corollary, a boundedness criterium for a family of plane curves has been obtained. Another application of our methods is the following fact: a rigid rational cuspidal plane curve cannot have more than 9 cusps. △ Less

Submitted 7 July, 1995; originally announced July 1995.

Comments: LaTeX, 24 pages with 3 figures, author-supplied DVI file available at http://www.math.duke.edu/preprints/95-00.dvi

Report number: Duke preprint DUKE-M-95-00 MSC Class: 14H20 (Primary) 14H10; 14N05 (Secondary)