Showing 1–33 of 33 results for author: Finashin, S

Sections of rational elliptic Lefschetz fibrations

Authors: Mohan Bhupal, Sergey Finashin

Abstract: We give a list of monodromy factorizations in the pure mapping class group $Mod(T_{d+1})$ of a torus with d+1 marked points that represent lines on a del Pezzo surface Y of degree $d\le4$. These factorizations are lifts of a certain fixed monodromy factorization in $Mod(T_d)$ that represents Y. In the case d=1, discussed in more detail, we give an explicit correspondence between such factorization… ▽ More We give a list of monodromy factorizations in the pure mapping class group $Mod(T_{d+1})$ of a torus with d+1 marked points that represent lines on a del Pezzo surface Y of degree $d\le4$. These factorizations are lifts of a certain fixed monodromy factorization in $Mod(T_d)$ that represents Y. In the case d=1, discussed in more detail, we give an explicit correspondence between such factorizations and the 240 roots of $E_8=K^\perp$, the orthogonal complement in $H_2(Y)$ of the canonical class. △ Less

Submitted 30 March, 2025; originally announced March 2025.

Comments: 26 pages, 4 Figures, 7 Tables

MSC Class: 57K20 (Primary) 57K43; 14J27 (Secondary)

The real Mordell-Weil group of rational elliptic surfaces and real lines on del Pezzo surfaces of degree $K^2=1$

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We undertake a study of topological properties of the real Mordell-Weil group $\operatorname{MW}_{\mathbb R}$ of real rational elliptic surfaces $X$ which we accompany by a related study of real lines on $X$ and on the "subordinate" del Pezzo surfaces $Y$ of degree 1. We give an explicit description of isotopy types of real lines on $Y_{\mathbb R}$ and an explicit presentation of… ▽ More We undertake a study of topological properties of the real Mordell-Weil group $\operatorname{MW}_{\mathbb R}$ of real rational elliptic surfaces $X$ which we accompany by a related study of real lines on $X$ and on the "subordinate" del Pezzo surfaces $Y$ of degree 1. We give an explicit description of isotopy types of real lines on $Y_{\mathbb R}$ and an explicit presentation of $\operatorname{MW}_{\mathbb R}$ in the mapping class group $\operatorname{Mod}(X_{\mathbb R})$. Combining these results we establish an explicit formula for the action of $\operatorname{MW}_{\mathbb R}$ in $H_1(X_{\mathbb R})$. △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: 50 pages, 24 figures

MSC Class: 14P25; 14J27; 14J26

On Affine Real Cubic Surfaces

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We prove that the space of affine, transversal at infinity, non-singular real cubic surfaces has 15 connected components. We give a topological criterion to distinguish them and show also how these 15 components are adjacent to each other via wall-crossing. We prove that the space of affine, transversal at infinity, non-singular real cubic surfaces has 15 connected components. We give a topological criterion to distinguish them and show also how these 15 components are adjacent to each other via wall-crossing. △ Less

Submitted 22 January, 2023; v1 submitted 19 August, 2022; originally announced August 2022.

Comments: 12 pages, 3 figures, 2 tables; added: Theorem 1.3.2 (on walls extended by cuspidal strata), Section 4 with a proof of this theorem, and Section 5 with a few remarks including an enumeration of ordinary walls

MSC Class: Primary: 14R05. Secondary: 14P25; 14J10; 14J26

On wall-crossing invariance of certain sums of Welschinger numbers

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We continue our quest for real enumerative invariants not sensitive to changing the real structure and extend the construction we uncovered previously for counting curves of anti-canonical degree $\leqslant 2$ on del Pezzo surfaces with $K^2=1$ to curves of any anti-canonical degree and on any del Pezzo surfaces of degree $K^2\leqslant 3$. We continue our quest for real enumerative invariants not sensitive to changing the real structure and extend the construction we uncovered previously for counting curves of anti-canonical degree $\leqslant 2$ on del Pezzo surfaces with $K^2=1$ to curves of any anti-canonical degree and on any del Pezzo surfaces of degree $K^2\leqslant 3$. △ Less

Submitted 20 March, 2022; originally announced March 2022.

Comments: 25 pages, 1 figure

MSC Class: Primary: 14N10. Secondary: 14P25; 14J26; 14N15; 53D45

Combined count of real rational curves of canonical degree 2 on real del Pezzo surfaces with $K^2=1$

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We propose two systems of "intrinsic" signs for counting such curves. In both cases the result acquires an exceptionally strong invariance property: it does not depend on the choice of a surface. One of our counts includes all divisor classes of canonical degree 2 and gives in total 30. The other one excludes the class $-2K$, but adds up the results of counting for a pair of real structures that d… ▽ More We propose two systems of "intrinsic" signs for counting such curves. In both cases the result acquires an exceptionally strong invariance property: it does not depend on the choice of a surface. One of our counts includes all divisor classes of canonical degree 2 and gives in total 30. The other one excludes the class $-2K$, but adds up the results of counting for a pair of real structures that differ by Bertini involution. This count gives 96. △ Less

Submitted 18 May, 2022; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 23 pages, we corrected a few minor misprints, clarified the proof of Theorem 1.1.2, corrected Table 6 and the claim of Theorem 5.1.1

MSC Class: Primary: 14N10. Secondary: 14P25; 14J26; 14N15

Two kinds of real lines on real del Pezzo surfaces of degree 1

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We show how the real lines on a real del Pezzo surface of degree 1 can be split into two species, elliptic and hyperbolic, via a certain distinguished, intrinsically defined, Pin-structure on the real locus of the surface. We prove that this splitting is invariant under real automorphisms and real deformations of the surface, and that the difference between the total numbers of hyperbolic and elli… ▽ More We show how the real lines on a real del Pezzo surface of degree 1 can be split into two species, elliptic and hyperbolic, via a certain distinguished, intrinsically defined, Pin-structure on the real locus of the surface. We prove that this splitting is invariant under real automorphisms and real deformations of the surface, and that the difference between the total numbers of hyperbolic and elliptic lines is always equal to 16. △ Less

Submitted 9 February, 2021; originally announced February 2021.

Comments: 19 pages, 5 figures

MSC Class: 14N10 (Primary); 14P25; 14J26; 14N15 (Secondary)

A glimpse into Rokhlin's Signature Divisibility Theorem

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: This paper was conceived as an addendum to the note "Rokhlin's signature theorems" (by O.Viro and the authors of this paper). In the main section we give an overview of Rokhlin's proof of his famous theorem on divisibility of signature by 16. In the appendix we retrace some of further developments that show how this theorem became a cornerstone in the contemporary theory of manifolds. This paper was conceived as an addendum to the note "Rokhlin's signature theorems" (by O.Viro and the authors of this paper). In the main section we give an overview of Rokhlin's proof of his famous theorem on divisibility of signature by 16. In the appendix we retrace some of further developments that show how this theorem became a cornerstone in the contemporary theory of manifolds. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Comments: 19 pages

MSC Class: 57K40; 57R15; 57R20

Rokhlin's signature theorems

Authors: Sergey Finashin, Viatcheslav Kharlamov, Oleg Viro

Abstract: This note is written for a book dedicated to outstanding St-Petersburg mathematicians and timed to the ICM-2022 in St-Petersburg. In accordance with the plan of ICM-organizers, we try to tell about one of the most prominent Rokhlin's achievements in an accessible form and respecting the allowed volume. This note is written for a book dedicated to outstanding St-Petersburg mathematicians and timed to the ICM-2022 in St-Petersburg. In accordance with the plan of ICM-organizers, we try to tell about one of the most prominent Rokhlin's achievements in an accessible form and respecting the allowed volume. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Comments: 3 pages

MSC Class: 57K99

First homology of a real cubic is generated by lines

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We suggest a short proof of O.Benoist and O.Wittenberg theorem (arXiv:1907.10859) which states that for each real non-singular cubic hypersurface $X$ of dimension $\ge 2$ the real lines on $X$ generate the whole group $H_1(X(\Bbb R);\Bbb Z/2)$. We suggest a short proof of O.Benoist and O.Wittenberg theorem (arXiv:1907.10859) which states that for each real non-singular cubic hypersurface $X$ of dimension $\ge 2$ the real lines on $X$ generate the whole group $H_1(X(\Bbb R);\Bbb Z/2)$. △ Less

Submitted 16 November, 2019; originally announced November 2019.

Comments: 7 pages

MSC Class: 14P25

Deformation classes of real Cayley M-octads

Authors: Sergey Finashin

Abstract: We study 8-point configurations in the real projective space forming an intersection locus of three quadrics and containing no coplanar quadruples. We found that there exists precisely 8 mirror-pairs of deformation classes of such configurations. We describe also the mutual position of these 8 pairs and find the real monodromy groups acting on the 8-point configurations, for each deformation class… ▽ More We study 8-point configurations in the real projective space forming an intersection locus of three quadrics and containing no coplanar quadruples. We found that there exists precisely 8 mirror-pairs of deformation classes of such configurations. We describe also the mutual position of these 8 pairs and find the real monodromy groups acting on the 8-point configurations, for each deformation class. △ Less

Submitted 10 July, 2019; originally announced July 2019.

Comments: 17 pages

MSC Class: 14P25; 14M10; 14C21; 14N20

Chirality of Real Non-singular Cubic Fourfolds and Their Pure Deformation Classification

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: In our previous works we have classified real non-singular cubic hypersurfaces in the 5-dimensional projective space up to equivalence that includes both real projective transformations and continuous variations of coefficients preserving the hypersurface non-singular. Here, we perform a finer classification giving a full answer to the chirality problem: which of real non-singular cubic hypersurfa… ▽ More In our previous works we have classified real non-singular cubic hypersurfaces in the 5-dimensional projective space up to equivalence that includes both real projective transformations and continuous variations of coefficients preserving the hypersurface non-singular. Here, we perform a finer classification giving a full answer to the chirality problem: which of real non-singular cubic hypersurfaces can not be continuously deformed to their mirror reflection. △ Less

Submitted 7 March, 2020; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: 21 pages, 12 Figures, Journal reference added, no changes in the text

MSC Class: 14P25; 14J10; 14N25; 14J35; 14J70

Journal ref: Revista Matematica Complutense (2020)

Segre indices and Welschinger weights as options for invariant count of real lines

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: In our previous paper we have elaborated a certain signed count of real lines on real projective n-dimensional hypersurfaces of degree 2n-1. Contrary to the honest "cardinal" count, it is independent of the choice of a hypersurface, and by this reason provides a strong lower bound on the honest count. In this count the contribution of a line is its local input to the Euler number of a certain auxi… ▽ More In our previous paper we have elaborated a certain signed count of real lines on real projective n-dimensional hypersurfaces of degree 2n-1. Contrary to the honest "cardinal" count, it is independent of the choice of a hypersurface, and by this reason provides a strong lower bound on the honest count. In this count the contribution of a line is its local input to the Euler number of a certain auxiliary vector bundle. The aim of this paper is to present other, in a sense more geometric, interpretations of this local input. One of them results from a generalization of Segre species of real lines on cubic surfaces and another from a generalization of Welschinger weights of real lines on quintic threefolds. △ Less

Submitted 16 November, 2019; v1 submitted 19 January, 2019; originally announced January 2019.

Comments: 20 pages, typos are corrected (most essential, in Proposition 4.3.3)

MSC Class: 14P25

Deformation classification of real non-singular cubic threefolds with a marked line

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We prove that the space of pairs $(X,l)$ formed by a real non-singular cubic hypersurface $X\subset P^4$ with a real line $l\subset X$ has 18 connected components and give for them several quite explicit interpretations. The first one relates these components to the orbits of the monodromy action on the set of connected components of the Fano surface $F_\mathbb{R}(X)$ formed by real lines on $X$.… ▽ More We prove that the space of pairs $(X,l)$ formed by a real non-singular cubic hypersurface $X\subset P^4$ with a real line $l\subset X$ has 18 connected components and give for them several quite explicit interpretations. The first one relates these components to the orbits of the monodromy action on the set of connected components of the Fano surface $F_\mathbb{R}(X)$ formed by real lines on $X$. For another interpretation we associate with each of the 18 components a well defined real deformation class of real non-singular plane quintic curves and show that this deformation class together with the real deformation class of $X$ characterizes completely the component. △ Less

Submitted 1 March, 2019; v1 submitted 1 March, 2018; originally announced March 2018.

Comments: 63 pages, 9 Figures, updated to the accepted version in Arnold Math Journal

MSC Class: 14P25; 14J10; 14N25; 14J30; 14J70

Topology of Real Schlafli Six-Line Configurations on Cubic Surfaces and in $\mathbb{RP}^3$

Authors: Sergey Finashin, Remziye Arzu Zabun

Abstract: A famous configuration of 27 lines on a non-singular cubic surface in $\mathbb P^3$ contains remarkable subconfigurations, and in particular the ones formed by six pairwise disjoint lines. We study such six-line configurations in the case of real cubic surfaces from topological viewpoint, as configurations of six disjoint lines in the real projective 3-space, and show that the condition that they… ▽ More A famous configuration of 27 lines on a non-singular cubic surface in $\mathbb P^3$ contains remarkable subconfigurations, and in particular the ones formed by six pairwise disjoint lines. We study such six-line configurations in the case of real cubic surfaces from topological viewpoint, as configurations of six disjoint lines in the real projective 3-space, and show that the condition that they lie on a cubic surface implies a very special property of {\it homogeneity}. This property distinguish them in the list of 11 deformation types of configurations formed by six disjoint lines in $\mathbb{RP}^3$. △ Less

Submitted 5 August, 2017; originally announced August 2017.

Comments: 10 pages, 9 figures

Deformation Classification of Typical Configurations of 7 Points in the Real Projective Plane

Authors: Sergey Finashin, Remziye Arzu Zabun

Abstract: A configuration of 7 points in RP2 is called typical if it has no collinear triples and no coconic sextuples of points. We show that there exist 14 deformation classes of such configurations. This yields classification of real Aronhold sets. A configuration of 7 points in RP2 is called typical if it has no collinear triples and no coconic sextuples of points. We show that there exist 14 deformation classes of such configurations. This yields classification of real Aronhold sets. △ Less

Submitted 28 July, 2015; v1 submitted 2 February, 2015; originally announced February 2015.

Comments: 27 pages, 18 Figures, historical remarks are added

MSC Class: 14P25; 14N20

Abundance of 3-planes on real projective hypersurfaces

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We show that a generic real projective $n$-dimensional hypersurface of odd degree $d$, such that $4(n-2)=\binom{d+3}3$, contains "many" real 3-planes, namely, in the logarithmic scale their number has the same rate of growth, $d^3\log d$, as the number of complex 3-planes. This estimate is based on the interpretation of a suitable signed count of the 3-planes as the Euler number of an appropriate… ▽ More We show that a generic real projective $n$-dimensional hypersurface of odd degree $d$, such that $4(n-2)=\binom{d+3}3$, contains "many" real 3-planes, namely, in the logarithmic scale their number has the same rate of growth, $d^3\log d$, as the number of complex 3-planes. This estimate is based on the interpretation of a suitable signed count of the 3-planes as the Euler number of an appropriate bundle. △ Less

Submitted 29 July, 2015; v1 submitted 14 October, 2014; originally announced October 2014.

Comments: 25 pages, minor typos corrected after proofreading

MSC Class: 14N15; 14P25; 14J70

Journal ref: Arnold Mathematical Journal: Volume 1, Issue 2 (2015), Page 171-199

Apparent contours of nonsingular real cubic surfaces

Authors: Sergey Finashin, Viatcheslav Kharlamov

Abstract: We give a complete deformation classification of real Zariski sextics, that is of generic apparent contours of nonsingular real cubic surfaces. As a by-product, we observe a certain "reversion" duality in the set of deformation classes of these sextics. We give a complete deformation classification of real Zariski sextics, that is of generic apparent contours of nonsingular real cubic surfaces. As a by-product, we observe a certain "reversion" duality in the set of deformation classes of these sextics. △ Less

Submitted 8 February, 2015; v1 submitted 9 June, 2013; originally announced June 2013.

Comments: 61 pages, 8 figures, Revised version to be published in Transactions AMS: some minor corrections, a missing lemma is included

MSC Class: 14P25; 14J28; 14J70; 14N25; 14H45

Abundance of real lines on real projective hypersurfaces

Authors: S. Finashin, V. Kharlamov

Abstract: We show that a generic real projective n-dimensional hypersurface of degree 2n-1 contains "many" real lines, namely, not less than (2n-1)!!, which is approximately the square root of the number of complex lines. This estimate is based on the interpretation of a suitable signed count of the lines as the Euler number of an appropriate bundle. We show that a generic real projective n-dimensional hypersurface of degree 2n-1 contains "many" real lines, namely, not less than (2n-1)!!, which is approximately the square root of the number of complex lines. This estimate is based on the interpretation of a suitable signed count of the lines as the Euler number of an appropriate bundle. △ Less

Submitted 13 January, 2012; originally announced January 2012.

Comments: 5 pages; http://imrn.oxfordjournals.org/cgi/content/abstract/rns135?

MSC Class: 14N15; 14P25; 14J80

Journal ref: International Mathematics Research Notices 2012

Topology of real cubic fourfolds

Authors: S. Finashin, V. Kharlamov

Abstract: A solution to the problem of topological classification of real cubic fourfolds is presented. It is shown that the real locus of a real non-singular cubic fourfold is obtained from a projective 4-space either by adding several trivial one- and two-handles, or by adding a spherical connected component. A solution to the problem of topological classification of real cubic fourfolds is presented. It is shown that the real locus of a real non-singular cubic fourfold is obtained from a projective 4-space either by adding several trivial one- and two-handles, or by adding a spherical connected component. △ Less

Submitted 8 June, 2009; originally announced June 2009.

Comments: 28 pages, 6 figures

MSC Class: 14P25; 57M99; 14J10; 14N25; 14J35; 14J70

On the deformation chirality of real cubic fourfolds

Authors: S. Finashin, V. Kharlamov

Abstract: According to our previous results, the conjugacy class of the involution induced by the complex conjugation in the homology of a real non-singular cubic fourfold determines the fourfold up to projective equivalence and deformation. Here, we show how to eliminate the projective equivalence and to obtain a pure deformation classification, that is how to respond to the chirality question: which cub… ▽ More According to our previous results, the conjugacy class of the involution induced by the complex conjugation in the homology of a real non-singular cubic fourfold determines the fourfold up to projective equivalence and deformation. Here, we show how to eliminate the projective equivalence and to obtain a pure deformation classification, that is how to respond to the chirality question: which cubics are not deformation equivalent to their image under a mirror reflection. We provide an arithmetical criterion of chirality, in terms of the eigen-sublattices of the complex conjugation involution in homology, and show how this criterion can be effectively applied taking as examples $M$-cubics (that is those for which the real locus has the richest topology) and $(M-1)$-cubics (the next case with respect to complexity of the real locus). It happens that there is one chiral class of $M$-cubics and three chiral classes of $(M-1)$-cubics, contrary to two achiral classes of $M$-cubics and three achiral classes of $(M-1)$-cubics. △ Less

Submitted 30 April, 2008; originally announced April 2008.

Comments: 25 pages, 8 figures

MSC Class: 14P25; 14J10; 14N25; 14J35; 14J70

Journal ref: Compositio Math. 145 (2009) 1277-1304

Exotic embeddings of $#6\Bbb R\roman{P}^2$ in the 4-sphere

Authors: Sergey Finashin

Abstract: We present an infinite sequence of smooth embeddings of a connected sum of 6 projective planes in the 4-sphere, which are all ambient homeomorphic, but pairwise ambient non-diffeomorphic. The double covers of the 4-sphere ramified along these surfaces form a family of the exotic $\Bbb CP^2#5\bar{\Bbb CP^2}$ constructed recently by Park, Stipsicz and Szabó. We present an infinite sequence of smooth embeddings of a connected sum of 6 projective planes in the 4-sphere, which are all ambient homeomorphic, but pairwise ambient non-diffeomorphic. The double covers of the 4-sphere ramified along these surfaces form a family of the exotic $\Bbb CP^2#5\bar{\Bbb CP^2}$ constructed recently by Park, Stipsicz and Szabó. △ Less

Submitted 10 March, 2007; originally announced March 2007.

Comments: 13 pages, 8 figures

MSC Class: 57R40; 57R50; 57R55; 57N13

Deformation Classes of Real Four-dimensional Cubic Hypersurfaces

Authors: S. Finashin, V. Kharlamov

Abstract: We study real nonsingular projective cubic fourfolds up to deformation equivalence combined with projective equivalence and prove that they are classified by the conjugacy classes of involutions induced by the complex conjugation in the middle homology. Moreover, we provide a graph whose vertices represent the equivalence classes of such cubics and edges represent their adjacency. It turns out t… ▽ More We study real nonsingular projective cubic fourfolds up to deformation equivalence combined with projective equivalence and prove that they are classified by the conjugacy classes of involutions induced by the complex conjugation in the middle homology. Moreover, we provide a graph whose vertices represent the equivalence classes of such cubics and edges represent their adjacency. It turns out that this graph essentially coincides with the graph characterizing a certain adjacency of real non-polarized K3-surfaces. △ Less

Submitted 5 July, 2006; originally announced July 2006.

Comments: 25 pages, 3 figures

MSC Class: 14P25 (Primary); 14J10; 14N25; 14J35; 14J70 (Secondary)

Relative Seiberg-Witten and Ozsvath-Szabo 4-dimensional invariants with respect to embedded surfaces

Authors: Sergey Finashin

Abstract: We study the invariants of surfaces in 4-manifolds extracted from the Seiberg-Witten and the Ozsvath-Szabo invariants of their fiber sums with auxiliary Lefschetz fibrations. Such invariants involve relative Spin_c structures and can be treated as refinements of the usual Seiberg-Witten and Ozsvath-Szabo invariants. We prove for instance the adjunction inequality for membranes, which estimates t… ▽ More We study the invariants of surfaces in 4-manifolds extracted from the Seiberg-Witten and the Ozsvath-Szabo invariants of their fiber sums with auxiliary Lefschetz fibrations. Such invariants involve relative Spin_c structures and can be treated as refinements of the usual Seiberg-Witten and Ozsvath-Szabo invariants. We prove for instance the adjunction inequality for membranes, which estimates their genus. △ Less

Submitted 14 July, 2005; v1 submitted 26 January, 2004; originally announced January 2004.

Comments: 18 pages, 1 figure, editing: a few improvements, more detailed proofs in section 3

MSC Class: 57M

Knotting of algebraic curves in complex surfaces

Authors: Sergey Finashin

Abstract: A non-singular connected algebraic curve $A$ in a simply connected algebraic surface $X$ can be knotted so that its homology class and the fundamental group of its complement in $X$ is preserved, provided $A$ is sufficiently complex (not too ``rigid''). For example, it is true if $A$ admits a degeneration to an irreducible curve $A_0$ having a unique singularity of the type $X_9$ (a non-degene… ▽ More A non-singular connected algebraic curve $A$ in a simply connected algebraic surface $X$ can be knotted so that its homology class and the fundamental group of its complement in $X$ is preserved, provided $A$ is sufficiently complex (not too ``rigid''). For example, it is true if $A$ admits a degeneration to an irreducible curve $A_0$ having a unique singularity of the type $X_9$ (a non-degenerate quadriple point), or more complicated one, and $A.A>16$. This generalizes the previous result of the author which concerns the curves in $CP^2$ of degree $d>4$ (the old preprint is included as a part of the current one). △ Less

Submitted 27 November, 2000; originally announced November 2000.

Comments: 12 pages, 4 figures, includes gokova.cls

Report number: Math 00/193 MSC Class: 57R40

Knotting of Algebraic Curves in CP2

Authors: Sergey Finashin

Abstract: I construct "fake algebraic curves" in $Cp^2$. More precisely, for any k>2, I construct infinitely many pairwise smoothly non-isotopic (and moreover not ambient diffeomorphic) smooth surfaces $F\subset Cp^2$ homeomorphic to a non-singular algebraic curve of degree 2k, realizing the same homology class as such a curve and having abelian fundamental group of the complement $Cp^2-F$. This gives… ▽ More I construct "fake algebraic curves" in $Cp^2$. More precisely, for any k>2, I construct infinitely many pairwise smoothly non-isotopic (and moreover not ambient diffeomorphic) smooth surfaces $F\subset Cp^2$ homeomorphic to a non-singular algebraic curve of degree 2k, realizing the same homology class as such a curve and having abelian fundamental group of the complement $Cp^2-F$. This gives an answer to Problem 4.110 of Kirby's list. △ Less

Submitted 27 July, 1999; v1 submitted 16 July, 1999; originally announced July 1999.

Comments: 9 pages, 4 figures. Revision: an Appendix with a Figure is added; a minor correction in the Intro

Report number: Math 99/188

A Rokhlin Conjecture and Smooth Quotients by the Complex Conjugation of Singular Real Algebraic Surfaces

Authors: Sergey Finashin

Abstract: The topology of the orbit space, $Y$, for the action of the complex conjugation on a complex surface, $X$, defined over reals, is studied. I give a criterion for blow-up stable triviality of $Y$ (which implies vanishing of its Seiberg-Witten invariants). The main result concerns the double planes branched along the complexification of reducible real curves with 2 non-singular components. In conn… ▽ More The topology of the orbit space, $Y$, for the action of the complex conjugation on a complex surface, $X$, defined over reals, is studied. I give a criterion for blow-up stable triviality of $Y$ (which implies vanishing of its Seiberg-Witten invariants). The main result concerns the double planes branched along the complexification of reducible real curves with 2 non-singular components. In connection with it, I analize the real singularities of $X$ which become smooth in $Y$ (after taking quotient). △ Less

Submitted 18 March, 1999; originally announced March 1999.

Comments: AMS-TeX,11 pages,2 figures

Report number: Math 99/181 MSC Class: 57N13; 14P25; 32S45

Complex Intersections of Real Cycles in Real Algebraic Varieties and Generalized Arnold-Viro Inequalities

Authors: S. Finashin

Abstract: Consider a real algebraic variety, $\R X$, of dimension $d$. If its complexification, $\C X$, is a rational homology manifold (at least in a neighborhood of $\R X$), then the intersection form in $\C X$ defines a bilinear form in $d$-homologies of $\R X$. Analizing it, one can obtain an information about $\R X$, as it was done by V.I.Arnold in the case of non-singular double planes and then gen… ▽ More Consider a real algebraic variety, $\R X$, of dimension $d$. If its complexification, $\C X$, is a rational homology manifold (at least in a neighborhood of $\R X$), then the intersection form in $\C X$ defines a bilinear form in $d$-homologies of $\R X$. Analizing it, one can obtain an information about $\R X$, as it was done by V.I.Arnold in the case of non-singular double planes and then generalized by O.Ya.Viro and V.M.Kharlamov to the nodal surfaces. I present an integration (based on the Euler characteristic) formula, which expresses this form in terms of a certain local inveriant of the real singularities (which is, essentially, the local version of this form). I give a few methods to calculate this invariant in the case of surface singularities and analyze its properties in the higher dimensional case. The results are applied, for instance, to the double coverings over a projective space, branched along simple arrangements of hyperplanes. △ Less

Submitted 3 February, 1999; originally announced February 1999.

Comments: 44 pages, AMS-TeX, no figures

Report number: METU-1998/180

Generalization of Arnold-Viro inequalities for real singular algebraic curves

Authors: Sergey Finashin

Abstract: The Arnold inequalities characterizing the topology of non-singular plane real algebraic curves and the generalization of these inequalities for nodal curves by Viro are extended in this paper for the curves whose singularities have non-degenerated Milnor form. This involves an invariant of such real singularities, the real linking form, which is calculated. The Arnold inequalities characterizing the topology of non-singular plane real algebraic curves and the generalization of these inequalities for nodal curves by Viro are extended in this paper for the curves whose singularities have non-degenerated Milnor form. This involves an invariant of such real singularities, the real linking form, which is calculated. △ Less

Submitted 3 June, 1997; originally announced June 1997.

Comments: AMS-TeX, 8 pages

On imaginary plane curves and Spin quotients of complex surfaces by complex conjugation

Authors: Sergey Finashin, Eugenii Shustin

Abstract: It is proven that for any topological or analytical types of isolated singular points of plane curves, there exists a non-real irreducible plane algebraic curve of degree $d$ which goes through $d^2$ real distinct points and has imaginary singular points of the given types. This result is used to construct a series of examples of complex algebraic surfaces $X$ defined over $\R$ whose quotients… ▽ More It is proven that for any topological or analytical types of isolated singular points of plane curves, there exists a non-real irreducible plane algebraic curve of degree $d$ which goes through $d^2$ real distinct points and has imaginary singular points of the given types. This result is used to construct a series of examples of complex algebraic surfaces $X$ defined over $\R$ whose quotients $Y=X/\conj$ by the complex conjugation $\conj$ are $Spin$ simply connected 4-manifolds with signature $16k$, for arbitrary integer $k>0$. △ Less

Submitted 18 July, 1996; originally announced July 1996.

Comments: AMS-TeX, 9 pages

MSC Class: 14P25; 57N13

Decomposability of quotients by complex conjugation for rational and Enriques surfaces

Authors: S. Finashin

Abstract: The quotients $Y=X/conj$ by the complex conjugation $conj\: X\to X$ for complex rational and Enriques surfaces $X$ defined over $\R$ are shown to be diffeomorphic to connected sums of $\barCP2$, whenever $Y$ are simply connected. The quotients $Y=X/conj$ by the complex conjugation $conj\: X\to X$ for complex rational and Enriques surfaces $X$ defined over $\R$ are shown to be diffeomorphic to connected sums of $\barCP2$, whenever $Y$ are simply connected. △ Less

Submitted 8 March, 1996; originally announced March 1996.

Comments: 7 pages, AMS-TeX, 2 hand-written figures available by request

Quotients by complex conjugation for real complete intersection surfaces

Authors: S. Finashin

Abstract: Quotients $Y=X/conj$ by the complex conjugation $conj\: X\to X$ for complex surfaces $X$ defined over $\R$ tend to be completely decomposable when they are simply connected, i.e., split into connected sums $\#_n CP^2\#_m\barCP^2$ if $w_2(Y)\ne0$, or into $\#_n(S^2\times S^2)$ if $w_2(Y)=0$. The author proves this property for complete intersections which are constructed by method of a small pert… ▽ More Quotients $Y=X/conj$ by the complex conjugation $conj\: X\to X$ for complex surfaces $X$ defined over $\R$ tend to be completely decomposable when they are simply connected, i.e., split into connected sums $\#_n CP^2\#_m\barCP^2$ if $w_2(Y)\ne0$, or into $\#_n(S^2\times S^2)$ if $w_2(Y)=0$. The author proves this property for complete intersections which are constructed by method of a small perturbation. △ Less

Submitted 11 December, 1995; originally announced December 1995.

Comments: 5 pages, AMS-TeX, no Figures

$Pin$-structures on surfaces and quadratic forms

Authors: A. Degtyarev, S. Finashin

Abstract: A correspondence between different $Pin$-type structures on a compact surface and quadratic (linear) forms on its homology is constructed. Addition of structures is defined and expressed in terms of these quadratic forms. A correspondence between different $Pin$-type structures on a compact surface and quadratic (linear) forms on its homology is constructed. Addition of structures is defined and expressed in terms of these quadratic forms. △ Less

Submitted 10 July, 1995; originally announced July 1995.

Comments: 5 pages, AMS-TeX, no Figures

Rokhlin Conjecture and Topology of Quotients of Complex Surfaces by Complex Conjugation

Authors: Sergey Finashin

Abstract: Quotients $Y=X/conj$ of complex surfaces by anti-holomorphic involutions $conj\: X\to X$ tend to be completely decomposable when they are simply connected, i.e., split into connected sums, $n CP^2\#m\barCP2$, if $w_2(Y)\ne0$, or into $n(S^2\times S^2)$ if $w_2(Y)=0$. If $X$ is a double branched covering over $CP^2$, this phenomenon is related to unknottedness of Arnold surfaces in… ▽ More Quotients $Y=X/conj$ of complex surfaces by anti-holomorphic involutions $conj\: X\to X$ tend to be completely decomposable when they are simply connected, i.e., split into connected sums, $n CP^2\#m\barCP2$, if $w_2(Y)\ne0$, or into $n(S^2\times S^2)$ if $w_2(Y)=0$. If $X$ is a double branched covering over $CP^2$, this phenomenon is related to unknottedness of Arnold surfaces in $S^4=CP^2/conj$, which was conjectured by V.Rokhlin. The paper contains proof of Rokhlin Conjecture and of decomposability of quotients for plenty of double planes and in certain other cases. This results give, in particular, an elementary proof of Donaldson's result on decomposability of $Y$ for K3 surfaces. △ Less

Submitted 29 July, 1996; v1 submitted 14 June, 1995; originally announced June 1995.

Comments: Some minor improvements and correction of misprints were done and some references were added