arXiv subjects
Publications and source records attributed to Stepan Orevkov.
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.
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.
We study the following problem: describe the triplets $(\Omega,g,\mu)$, $\mu=\rho\,dx$, where $g= (g^{ij}(x))$ is the (co)metric associated with the symmetric second order differential operator $L (f) = \frac{1}{\rho}\sum_{ij} \partial_i (g^{ij} \rho \partial_j f)$ defined on a domain $\Omega$ of $\mathbb R^d$ and such that there exists an orthonormal basis of $\mathcal L^2(\mu)$ 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.
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.
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.
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.
We compute the product of any $n$-tuple of conjugacy classes in $SL_2(R)$
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.
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.
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_\lambda$.
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.
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.
We give an upper bound for the number of cusps of a plane affine or projective curve via its first Betti number.
We want to describe the triplets (\Omega, (g), \mu) where (g) is the (co)metric associated to some symmetric second order differential operator L defined on the domain \Omega of R^d and such that L is expandable on a basis of orthogonal polynomials of L_2(\mu), and \mu 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.
Funar algebra $K_\infty=K_\infty(\alpha,\beta;k)$ is the quotient of the group algebra over a ring $k$ of the braid group $B_\infty$ by two cubic relations: $\sigma_1^3-\alpha\sigma_1^2+\beta\sigma_1-1=0$ and another one which involves $\sigma_1$ and $\sigma_2$. The universal Markov trace on $K_\infty$ is the quotient map $t$ of $K_\infty(\alpha,\beta,k[u,v])$ to its quotient (as a $k[u,v]$-module) by trace relations $xy=yx$ and by Markov relations $\sigma_nx=ux$, $\sigma_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 $\beta=0$, $k=GF(37)[\alpha]$ detects the chirality of the knots $10_{48}$ and $10_{91}$ and it distinguish many other pairs of knots with equal HOMFLY polynomials.