-
arXiv:2509.05063 [pdf, ps, other]
Quotients of flag varieties and their birational geometry
Abstract: We compute the Chow quotient of the complete flag variety of subspaces of a four dimensional complex vector space, show that it is smooth and a Mori Dream Space, and describe in detail its birational geometry.
Submitted 5 September, 2025; originally announced September 2025.
Comments: 40 pages, 8 figures
MSC Class: Primary 14L30; Secondary 14E30; 14L24; 14M17
-
Constructing geometric realizations of birational maps between Mori Dream Spaces
Abstract: We construct geometric realizations -- projective algebraic versions of cobordisms -- for birational maps between Mori Dream Spaces. We show that these geometric realizations are Mori Dream Spaces, as well, and that they can be constructed so that they induce factorizations of the original birational maps as compositions of wall-crossings. In the case of toric birational maps between normal… ▽ More
Submitted 31 March, 2025; originally announced March 2025.
Comments: 23 pages, 4 figures
MSC Class: Primary 14E30; Secondary 14L30; 14L24; 14M25
-
Chow quotients of ${\mathbb C}^*$-actions on convex varieties
Abstract: In this paper we study the Chow quotient ${\mathcal C}X$ of a convex variety $X$ of Picard number one by the action of a one dimensional torus having no non-trivial finite isotropy. Examples of these actions can be found in the rational homogeneous framework. We prove that the subvariety of ${\mathcal C}X$ parametrizing reducible torus-invariant cycles is a simple normal crossing divisor, we compu… ▽ More
Submitted 31 March, 2025; v1 submitted 25 March, 2025; originally announced March 2025.
Comments: 24 pages, 2 figures
MSC Class: Primary 14L30; Secondary 14E30; 14L24; 14M17; 14J45
-
Characterizing rational homogeneous spaces via $\mathbb{C}^*$-actions
Abstract: We study smooth varieties of Picard number one admitting a special dominating family of rational curves and an equalized $\mathbb{C}^*$-action. In particular we show that $X$ is a smooth variety of Picard number one with nef tangent bundle admitting an equalized $\mathbb{C}^*$-action with an isolated extremal fixed point if and only if $X$ is an irreducible Hermitian symmetric space.
Submitted 21 November, 2024; v1 submitted 9 May, 2024; originally announced May 2024.
Comments: Updated version, 33 pages. To appear in Collectanea Mathematica
MSC Class: Primary 14L30; 14J45; Secondary 14E30; 14M17
-
Chow quotients of $\mathbb{C}^*$-actions
Abstract: Given an action of the one-dimensional torus on a projective variety, the associated Chow quotient arises as a natural parameter space of invariant $1$-cycles, which dominates the GIT quotients of the variety. In this paper we explore the relation between the Chow and the GIT quotients of a variety, showing how to construct explicitly the former upon the latter via successive blowups under suitabl… ▽ More
Submitted 25 March, 2025; v1 submitted 28 October, 2023; originally announced October 2023.
Comments: Improved version. 32 pages, 4 figures
MSC Class: Primary 14L30; Secondary 14E30; 14L24; 14M17
-
arXiv:2211.08216 [pdf, ps, other]
Maximal disjoint Schubert cycles in rational homogeneous varieties
Abstract: In this paper we study properties of the Chow ring of rational homogeneous varieties of classical type, more concretely, effective zero divisors of low codimension, and a related invariant called effective good divisibility. This information is then used to study the question of (non)existence of nonconstant maps among these varieties, generalizing previous results for projective spaces and Grassm… ▽ More
Submitted 2 July, 2023; v1 submitted 15 November, 2022; originally announced November 2022.
Comments: 21 pages
MSC Class: 14M15
Journal ref: Math. Nachr. 297(1), 174-194 (2024)
-
arXiv:2208.14216 [pdf, ps, other]
Inversion maps and torus actions on rational homogeneous varieties
Abstract: Complex projective algebraic varieties with $\mathbb{C}^*$-actions can be thought of as geometric counterparts of birational transformations. In this paper we describe geometrically the birational transformations associated to rational homogeneous varieties endowed with a $\mathbb{C}^*$-action with no proper isotropy subgroups.
Submitted 13 September, 2022; v1 submitted 30 August, 2022; originally announced August 2022.
MSC Class: Primary 14L30; Secondary 14E30; 14L24; 14M17
-
Mori Dream Bonds and $\mathbb{C}^*$-actions
Abstract: We construct a correspondence between Mori dream regions arising from small modifications of normal projective varieties and $\mathbb{C}^*$-actions on polarized pairs which are bordisms. Moreover, we show that the Mori dream regions constructed in this way admit a chamber decomposition on which the models are the geometric quotients of the $\mathbb{C}^*$-action. In addition we construct, from a gi… ▽ More
Submitted 12 February, 2025; v1 submitted 20 July, 2022; originally announced July 2022.
Comments: 25 pages. To appear in Math. Nachr
MSC Class: Primary 14L30; Secondary 14E30; 14L24; 14M17
-
Geometric realizations of birational transformations via $\mathbb{C}^*$-actions
Abstract: In this paper we study varieties admitting torus actions as geometric realizations of birational transformations. We present an explicit construction of these geometric realizations for a particular class of birational transformations, and study some of their geometric properties, such as their Mori, Nef and Movable cones.
Submitted 9 July, 2023; v1 submitted 17 May, 2022; originally announced May 2022.
Journal ref: Math. Z. 304, 45 (2023)
-
Rational homogeneous spaces as geometric realizations of birational transformations
Abstract: A geometric realization of a birational map $ψ$ among two complex projective varieties is a variety $X$ endowed with a $\mathbb{C}^*$-action inducing $ψ$ as the natural birational map among two extremal geometric quotients. In this paper we study geometric realizations of some classic birational maps --inversion maps, special Cremona transformations, special birational transformations of type… ▽ More
Submitted 30 December, 2021; originally announced December 2021.
Comments: 28 pages, 2 figures
MSC Class: Primary 14L30; Secondary 14E30; 14L24; 14M17
Journal ref: Rend. Circ. Mat. Palermo (2) 72 (2023), no. 6, 3223-3253
-
Small modifications of Mori dream spaces arising from ${\mathbb C}^*$-actions
Abstract: We link small modifications of projective varieties with a ${\mathbb C}^*$-action to their GIT quotients. Namely, using flips with centers in closures of Białynicki-Birula cells, we produce a system of birational equivariant modifications of the original variety, which includes those on which a quotient map extends from a set of semistable points to a regular morphism. The structure of the modif… ▽ More
Submitted 12 March, 2021; originally announced March 2021.
Comments: 29 pages, 7 figures
MSC Class: Primary 14L30; Secondary 14E30; 14L24; 14M17
Journal ref: Eur. J. Math. 8 (2022), no. 3, 1072-1104
-
High rank torus actions on contact manifolds
Abstract: We prove LeBrun--Salamon conjecture in the following situation: if $X$ is a contact Fano manifold of dimension $2n+1$ whose group of automorphisms is reductive of rank $\geq \max(2,(n-3)/2)$ then $X$ is the adjoint variety of a simple group. The rank assumption is fulfilled not only by the three series of classical linear groups but also by almost all the exceptional ones.
Submitted 12 March, 2021; v1 submitted 13 April, 2020; originally announced April 2020.
Comments: Minor changes committed
MSC Class: Primary 14L30; Secondary 14M17; 14M25
Journal ref: Selecta Math., 27(10), 2021
-
arXiv:2001.06215 [pdf, ps, other]
Manifolds with two projective bundle structures
Abstract: In this paper we classify varieties of Picard number two having two projective bundle structures of any relative dimension, under the assumption that these structures are mutually uniform. As an application we prove the Campana--Peternell conjecture for varieties of Picard number one admitting $\mathbb C^*$-actions of a certain kind.
Submitted 17 January, 2020; originally announced January 2020.
Comments: 15 pages
MSC Class: Primary 14M99; Secondary 14J45; 14M17
Journal ref: Proc. Amer. Math. Soc. 150 (2022), pp. 1381-1395
-
Small bandwidth ${\mathbb C}^*$-actions and birational geometry
Abstract: In this paper we study smooth projective varieties and polarized pairs with an action of a one dimensional complex torus. As a main tool, we define birational geometric counterparts of these actions, that, under certain assumptions, encode the information necessary to reconstruct them. In particular, we consider some cases of actions of low complexity -- measured in terms of two invariants of the… ▽ More
Submitted 26 October, 2021; v1 submitted 27 November, 2019; originally announced November 2019.
Comments: Revised version, 46 pages
Journal ref: J. Algebraic Geom. 32 (2023), 1-57
-
arXiv:1905.01057 [pdf, ps, other]
Nestings of rational homogeneous varieties
Abstract: In this paper we study the existence of sections of universal bundles on rational homogeneous varieties -- called nestings -- classifying them completely in the case in which the Lie algebra of the automorphism group of the variety is simple of classical type. In particular we show that, under this hypothesis, nestings do not exist unless there exists a proper algebraic subgroup of the automorphis… ▽ More
Submitted 15 November, 2019; v1 submitted 3 May, 2019; originally announced May 2019.
Comments: Major revision of the exposition. To appear in Tranformation Groups
MSC Class: 14J45 (Primary); 14E30; 14M15; 14M17 (Secondary)
Journal ref: Transformation Groups 27(1) (2022) 189-223
-
Embedded error estimation and adaptive step-size control for optimal explicit strong stability preserving Runge--Kutta methods
Abstract: We construct a family of embedded pairs for optimal strong stability preserving explicit Runge-Kutta methods of order $2 \leq p \leq 4$ to be used to obtain numerical solution of spatially discretized hyperbolic PDEs. In this construction, the goals include non-defective methods, large region of absolute stability, and optimal error measurement as defined in [5,19]. The new family of embedded pair… ▽ More
Submitted 22 June, 2018; originally announced June 2018.
Comments: 22 pages, 49 figures
Journal ref: J. Comput. Appl. Math, Vol. 412, 114325, 2022
-
arXiv:1804.05702 [pdf, ps, other]
Deformation of Bott-Samelson varieties and variations of isotropy structures
Abstract: In the framework of the problem of characterizing complete flag manifolds by their contractions, the complete flags of type $F_4$ and $G_2$ satisfy the property that any possible tower of Bott-Samelson varieties dominating them birationally deforms in a nontrivial moduli. In this paper we illustrate the fact that, at least in some cases, these deformations can be explained in terms of automorphism… ▽ More
Submitted 15 March, 2019; v1 submitted 16 April, 2018; originally announced April 2018.
Comments: New version with additional results
MSC Class: 14J45; 14E30; 14M17
Journal ref: Journal of Pure and Applied Algebra, 224 (7), (2020)
-
arXiv:1711.10908 [pdf, ps, other]
Splitting conjectures for uniform flag bundles
Abstract: We present here some conjectures on the diagonalizability of uniform principal bundles on rational homogeneous spaces, that are natural extensions of classical theorems on uniform vector bundles on the projective space, and study the validity of these conjectures in the case of classical groups.
Submitted 29 November, 2017; originally announced November 2017.
Comments: 20 pages, 8 tables
MSC Class: 14J60 (Primary); 14M15; 14M17; 14N15 (Secondary)
Journal ref: European Journal of Mathematics, 6, (2020), 430-452
-
arXiv:1706.01640 [pdf, ps, other]
Characterizing the homogeneous variety F_4(4)
Abstract: In this paper we consider the $15$-dimensional homogeneous variety of Picard number one ${\rm F}_4(4)$, and provide a characterization of it in terms of its varieties of minimal rational tangents.
Submitted 6 June, 2017; originally announced June 2017.
Comments: 16 pages
MSC Class: Primary 14J45; Secondary 14E30; 14M15; 14M17
-
Implicit and Implicit-Explicit Strong Stability Preserving Runge-Kutta Methods with High Linear Order
Abstract: When evolving in time the solution of a hyperbolic partial differential equation, it is often desirable to use high order strong stability preserving (SSP) time discretizations. These time discretizations preserve the monotonicity properties satisfied by the spatial discretization when coupled with the first order forward Euler, under a certain time-step restriction. While the allowable time-step… ▽ More
Submitted 15 February, 2017; originally announced February 2017.
-
arXiv:1610.05930 [pdf, ps, other]
On uniform flag bundles on Fano manifolds
Abstract: As a natural extension of the theory of uniform vector bundles on Fano manifolds, we consider uniform principal bundles, and study them by means of the associated flag bundles, as their natural projective geometric realizations. In this paper we develop the necessary background, and prove some theorems that are flag bundle counterparts of some of the central results in the theory of uniform vector… ▽ More
Submitted 29 January, 2019; v1 submitted 19 October, 2016; originally announced October 2016.
MSC Class: 14J45 (Primary); 14E30; 14M15; 14M17 (Secondary)
Journal ref: Kyoto J. Math. 61, no. 4 (2021), 843-872
-
arXiv:1604.06867 [pdf, ps, other]
A Characterization of Symplectic Grassmannians
Abstract: We provide a characterization of Symplectic Grassmannians in terms of their Varieties of Minimal Rational Tangents.
Submitted 12 February, 2019; v1 submitted 23 April, 2016; originally announced April 2016.
Comments: As kindly observed by Jun-Muk Hwang, the previous version of the paper (Math. Zeit., 286 (3-4), (2017) 1421-1433) contained an incorrect construction of the vector bundles $\cQ^\vee, \cF_1^\vee$ and $\cF_2^\vee$. However, the main Theorem can be proved by slightly modifying the arguments, as explained in a corrigendum, just published in the same journal. This version implements those changes
MSC Class: Primary 14J45; Secondary 14E30; 14M15; 14M17
Journal ref: Math. Z. (2017) 286:1421-1433; Math. Z. (2019). https://doi.org/10.1007/s00209-019-02230-y
-
arXiv:1601.07299 [pdf, ps, other]
Flag bundles on Fano manifolds
Abstract: As an application of a recent characterization of complete flag manifolds as Fano manifolds having only ${\mathbb P}^1$-bundles as elementary contractions, we consider here the case of a Fano manifold $X$ of Picard number one supporting an unsplit family of rational curves whose subfamilies parametrizing curves through a fixed point are rational homogeneous, and we prove that $X$ is homogeneous. I… ▽ More
Submitted 30 March, 2016; v1 submitted 27 January, 2016; originally announced January 2016.
Comments: To appear in J. Math. Pures Appl
MSC Class: 14J45 (Primary); 14E30; 14M15; 14M17 (Secondary)
Journal ref: Journal de Mathématiques Pures et Appliquées, 106, (2016), 651-669
-
arXiv:1503.05312 [pdf, ps, other]
Uniform families of minimal rational curves on Fano manifolds
Abstract: It is a well-known fact that families of minimal rational curves on rational homogeneous manifolds of Picard number one are uniform, in the sense that the tangent bundle to the manifold has the same splitting type on each curve of the family. In this note we prove that certain --stronger-- uniformity conditions on a family of minimal rational curves on a Fano manifold of Picard number one allow to… ▽ More
Submitted 11 November, 2015; v1 submitted 18 March, 2015; originally announced March 2015.
MSC Class: Primary 14J45; Secondary 14M17; 14M22
-
arXiv:1407.6483 [pdf, ps, other]
A survey on the Campana-Peternell Conjecture
Abstract: In 1991 Campana and Peternell proposed, as a natural algebro-geometric extension of Mori's characterization of the projective space, the problem of classifying the complex projective Fano manifolds whose tangent bundle is nef, conjecturing that the only varieties satisfying these properties are rational homogeneous. In this paper we review some background material related to this problem, with spe… ▽ More
Submitted 11 November, 2015; v1 submitted 24 July, 2014; originally announced July 2014.
Comments: 47 pages
MSC Class: Primary 14J45; Secondary 14E30; 14M17
Journal ref: Rend. Istit. Mat. Univ. Trieste Volume 47 (2015), 127-185
-
arXiv:1407.3658 [pdf, ps, other]
Fano manifolds whose elementary contractions are smooth $\mathbb P^1$-fibrations: A geometric characterization of flag varieties
Abstract: The present paper provides a geometric characterization of complete flag varieties for semisimple algebraic groups. Namely, if $X$ is a Fano manifold whose all elementary contractions are $\mathbb P^1$-fibrations then $X$ is isomorphic to the complete flag manifold $G/B$ where $G$ is a semi-simple Lie algebraic group and $B$ is a Borel subgroup of $G$.
Submitted 26 January, 2016; v1 submitted 14 July, 2014; originally announced July 2014.
Comments: 30 pages, minor issues corrected. To appear in Annali della Scuola Normale Superiore di Pisa, Classe di Scienze
MSC Class: Primary 14J45; Secondary 14E30; 14M17
Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVII (2017), 573-607
-
arXiv:1304.3928 [pdf, ps, other]
Rational curves, Dynkin diagrams and Fano manifolds with nef tangent bundle
Abstract: A Fano manifold $X$ with nef tangent bundle is of flag-type if it has the same type of elementary contractions as a complete flag manifold. In this paper we present a method to associate a Dynkin diagram $\mathcal{D}(X)$ with any such $X$, based on the numerical properties of its contractions. We then show that $\mathcal{D}(X)$ is the Dynkin diagram of a semisimple Lie group. As an application we… ▽ More
Submitted 24 July, 2014; v1 submitted 14 April, 2013; originally announced April 2013.
MSC Class: Primary 14M15; Secondary 14E30; 14J45
Journal ref: Mathematische Annalen, Volume 361, Issue 3-4, pp 583-609 (2015)
-
arXiv:1204.4793 [pdf, ps, other]
A classification theorem on Fano bundles
Abstract: In this paper we classify rank two Fano bundles $\cE$ on Fano manifolds satisfying $H^2(X,\Z)\cong H^4(X,\Z)\cong\Z$. The classification is obtained via the computation of the nef and pseudoeffective cones of the projectivization ${\mathbb{P}}(\cE)$, that allows us to obtain the cohomological invariants of $X$ and $\cE$. As a by-product we discuss Fano bundles associated to congruences of lines, s… ▽ More
Submitted 21 April, 2012; originally announced April 2012.
MSC Class: Primary 14M15; Secondary 14E30; 14J45
Journal ref: Ann. Inst. Fourier 64 (2014), no. 1, 341-373
-
arXiv:1109.5815 [pdf, ps, other]
Rank two Fano bundles on G(1,4)
Abstract: We classify rank two Fano bundles over the Grassmannian of lines $\G(1,4)$. In particular we show that the only non-split rank two Fano bundle over $\G(1,4)$ is, up to a twist, the universal quotient bundle $\cQ$. This completes the classification of rank two Fano bundles over Grassmannians of lines.
Submitted 27 September, 2011; originally announced September 2011.
MSC Class: (Primary) 14J60 (Secondary) 14M15; 14J45
Journal ref: J. Pure Appl. Algebra 216 (2012), no. 10, 2269-2273
-
arXiv:1104.1490 [pdf, ps, other]
On rank 2 vector bundles on Fano manifolds
Abstract: In this work we deal with vector bundles of rank two on a Fano manifold $X$ with $b_2=b_4=1$. We study the nef and pseudoeffective cones of the corresponding projectivizations and how these cones are related to the decomposability of the vector bundle. As consequences, we obtain the complete list of $\mathbb{P}^1$-bundles over $X$ that have a second $\mathbb{P}^1$-bundle structure, classify all th… ▽ More
Submitted 21 December, 2012; v1 submitted 8 April, 2011; originally announced April 2011.
Comments: Updated version with an issue corrected
MSC Class: 14M15 (Primary) 14E30; 14J45 (Secondary)
Journal ref: Kyoto J. Math. 54, no. 1 (2014), 167-197
-
arXiv:0911.2606 [pdf, ps, other]
Uniform vector bundles on Fano manifolds and applications
Abstract: In this paper we give a splitting criterion for uniform vector bundles on Fano manifolds covered by lines. As a consequence, we classify low rank uniform vector bundles on Hermitian symmetric spaces and Fano bundles of rank two on Grassmannians.
Submitted 20 October, 2010; v1 submitted 13 November, 2009; originally announced November 2009.
Comments: Updated version. 20 pages
MSC Class: 14M15 (Primary); 14E30; 14J45 (Secondary)
Journal ref: J. Reine Angew. Math. 664 (2012), 141-162
-
arXiv:0906.4695 [pdf, ps, other]
An extension of Fujita's non extendability theorem for Grassmannians
Abstract: In this paper we study smooth complex projective varieties $X$ containing a Grassmannian of lines $G(1,r)$ which appears as the zero locus of a section of a rank two nef vector bundle $E$. Among other things we prove that the bundle $E$ cannot be ample.
Submitted 25 June, 2009; originally announced June 2009.
MSC Class: 14M15 (Primary); 14E30; 14J45 (Secondary)
Journal ref: Math. Ann. 348 (2010), pp. 577-592
-
arXiv:0811.2141 [pdf, ps, other]
Maximal rationally connected fibrations and movable curves
Abstract: A well known result of Miyaoka asserts that a complex projective manifold is uniruled if its cotangent bundle restricted to a general complete intersection curve is not nef. Using the Harder-Narasimhan filtration of the tangent bundle, it can moreover be shown that the choice of such a curve gives rise to a rationally connected foliation of the manifold. In this note we show that, conversely, a… ▽ More
Submitted 19 November, 2008; v1 submitted 13 November, 2008; originally announced November 2008.
Comments: An error in the argumentation has been corrected
MSC Class: 14J99; 14D99; 53C12
Journal ref: Ann. Inst. Fourier 59, no. 6 (2009), pp. 2350-2369
-
arXiv:0811.1354 [pdf, ps, other]
Holomorphic Engel Structures
Abstract: Recently there has been renewed interest among differential geometers in the theory of Engel structures. We introduce holomorphic analogues of these structures, and pose the problem of classifying projective manifolds admitting them. Besides providing the basic properties of these varieties, we present two series of examples and characterize them by certain positivity conditions on the Engel str… ▽ More
Submitted 9 November, 2008; originally announced November 2008.
MSC Class: 53C15; 14E35
Journal ref: Rev. Mat. Complut. 27 1 (2014), 327-344
-
arXiv:0810.0129 [pdf, ps, other]
Varieties swept out by grassmannians of lines
Abstract: We classify complex projective varieties of dimension $2r \geq 8$ swept out by a family of codimension two grassmannians of lines $\mathbb{G}(1,r)$. They are either fibrations onto normal surfaces such that the general fibers are isomorphic to $\G(1,r)$ or the grassmannian $\mathbb{G}(1,r+1)$. The cases $r=2$ and $r=3$ are also considered in the more general context of varieties swept out by cod… ▽ More
Submitted 27 May, 2009; v1 submitted 1 October, 2008; originally announced October 2008.
MSC Class: 14M15 (Primary); 14E30; 14J45 (Secondary)
Journal ref: Interactions of classical and numerical algebraic geometry, Contemp. Math. 496 (2009), pp. 303-315
-
arXiv:0707.1429 [pdf, ps, other]
Tangential projections and secant defective varieties
Abstract: Going one step further in Zak's classification of Scorza varieties with secant defect equal to one, we characterize the Veronese embedding of $¶^n$ given by the complete linear system of quadrics and its smooth projections from a point as the only smooth irreducible complex and non-degenerate projective subvarieties of $¶^N$ that can be projected isomorphically into $¶^{2n}$ when… ▽ More
Submitted 10 July, 2007; originally announced July 2007.
Comments: To appear in Bulletin of the London Mathematical Society
MSC Class: 14N05; 14M07
Journal ref: Bull. London Math. Soc. 39 (2007), pp. 949-961
-
arXiv:math/0512487 [pdf, ps, other]
Existence of rational curves on algebraic varieties, minimal rational tangents, and applications
Abstract: This survey paper discusses some of the recent progress in the study of rational curves on algebraic varieties. It was written for the survey volume of the priority programme "Global Methods in Complex Geometry", supported by the DFG. To start, we discuss existence results for rational curves on foliated manifolds. We construct the tangent morphism, define the variety of minimal rational tange… ▽ More
Submitted 8 May, 2006; v1 submitted 21 December, 2005; originally announced December 2005.
Comments: added an index and fixed an issue in chapter 5; to appear in the survey volume of the priority programme "Global Methods in Complex Geometry", supported by the DFG
MSC Class: 14J45; 14E30
-
arXiv:math/0505222 [pdf, ps, other]
Rationally connected foliations after Bogomolov and McQuillan
Abstract: This paper is concerned with a sufficient criterion to guarantee that a given foliation on a normal variety has algebraic and rationally connected leaves. Following ideas from a preprint of Bogomolov-McQuillan and using recent works of Langer and Graber-Harris-Starr, we give a clean, short and simple proof of previous results. Apart from a new vanishing theorem for vector bundles in positive cha… ▽ More
Submitted 16 December, 2005; v1 submitted 11 May, 2005; originally announced May 2005.
Comments: Minor simplification. A few typos and an obvious issue in the main statement are fixed
MSC Class: 14M20; 14E05