Showing 1–29 of 29 results for author: Orevkov, S Y

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.

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

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

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

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

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

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)

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)

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

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