56,600 research outputs found

    Geometry of the Wiman Pencil, I: Algebro-Geometric Aspects

    Full text link
    In 1981 W.L. Edge discovered and studied a pencil C\mathcal{C} of highly symmetric genus 66 projective curves with remarkable properties. Edge's work was based on an 1895 paper of A. Wiman. Both papers were written in the satisfying style of 19th century algebraic geometry. In this paper and its sequel [FL], we consider C\mathcal{C} from a more modern, conceptual perspective, whereby explicit equations are reincarnated as geometric objects.Comment: Minor revisions. Now 49 pages, 4 figures. To appear in European Journal of Mathematics, special issue in memory of W.L. Edg

    Geometry of the Wiman Pencil, I: Algebro-Geometric Aspects

    Full text link
    In 1981 W.L. Edge discovered and studied a pencil C\mathcal{C} of highly symmetric genus 66 projective curves with remarkable properties. Edge's work was based on an 1895 paper of A. Wiman. Both papers were written in the satisfying style of 19th century algebraic geometry. In this paper and its sequel [FL], we consider C\mathcal{C} from a more modern, conceptual perspective, whereby explicit equations are reincarnated as geometric objects.Comment: Minor revisions. Now 49 pages, 4 figures. To appear in European Journal of Mathematics, special issue in memory of W.L. Edg

    Exact Symbolic-Numeric Computation of Planar Algebraic Curves

    Full text link
    We present a novel certified and complete algorithm to compute arrangements of real planar algebraic curves. It provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in terms of a cylindrical algebraic decomposition. From a high-level perspective, the overall method splits into two main subroutines, namely an algorithm denoted Bisolve to isolate the real solutions of a zero-dimensional bivariate system, and an algorithm denoted GeoTop to analyze a single algebraic curve. Compared to existing approaches based on elimination techniques, we considerably improve the corresponding lifting steps in both subroutines. As a result, generic position of the input system is never assumed, and thus our algorithm never demands for any change of coordinates. In addition, we significantly limit the types of involved exact operations, that is, we only use resultant and gcd computations as purely symbolic operations. The latter results are achieved by combining techniques from different fields such as (modular) symbolic computation, numerical analysis and algebraic geometry. We have implemented our algorithms as prototypical contributions to the C++-project CGAL. They exploit graphics hardware to expedite the symbolic computations. We have also compared our implementation with the current reference implementations, that is, LGP and Maple's Isolate for polynomial system solving, and CGAL's bivariate algebraic kernel for analyses and arrangement computations of algebraic curves. For various series of challenging instances, our exhaustive experiments show that the new implementations outperform the existing ones.Comment: 46 pages, 4 figures, submitted to Special Issue of TCS on SNC 2011. arXiv admin note: substantial text overlap with arXiv:1010.1386 and arXiv:1103.469

    Distance bounds of ϵ-points on hypersurfaces

    Get PDF
    ϵ-points were introduced by the authors (see [S. Pérez-Díaz, J.R. Sendra, J. Sendra, Parametrization of approximate algebraic curves by lines, Theoret. Comput. Sci. 315(2–3) (2004) 627–650 (Special issue); S. Pérez-Díaz, J.R. Sendra, J. Sendra, Parametrization of approximate algebraic surfaces by lines, Comput. Aided Geom. Design 22(2) (2005) 147–181; S. Pérez-Díaz, J.R. Sendra, J. Sendra, Distance properties of ϵ-points on algebraic curves, in: Series Mathematics and Visualization, Computational Methods for Algebraic Spline Surfaces, Springer, Berlin, 2005, pp. 45–61]) as a generalization of the notion of approximate root of a univariate polynomial. The notion of ϵ-point of an algebraic hypersurface is quite intuitive. It essentially consists in a point such that when substituted in the implicit equation of the hypersurface gives values of small module. Intuition says that an ϵ-point of a hypersurface is a point close to it. In this paper, we formally analyze this assertion giving bounds of the distance of the ϵ-point to the hypersurface. For this purpose, we introduce the notions of height, depth and weight of an ϵ-point. The height and the depth control when the distance bounds are valid, while the weight is involved in the bounds.Ministerio de Educación y CienciaComunidad de MadridUniversidad de Alcal

    Hochschild Homology and Cohomology of Klein Surfaces

    Get PDF
    Within the framework of deformation quantization, a first step towards the study of star-products is the calculation of Hochschild cohomology. The aim of this article is precisely to determine the Hochschild homology and cohomology in two cases of algebraic varieties. On the one hand, we consider singular curves of the plane; here we recover, in a different way, a result proved by Fronsdal and make it more precise. On the other hand, we are interested in Klein surfaces. The use of a complex suggested by Kontsevich and the help of Groebner bases allow us to solve the problem.Comment: This is a contribution to the Special Issue on Deformation Quantization, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA

    Jet bundles on Gorenstein curves and applications

    Get PDF
    In the last twenty years a number of papers appeared aiming to construct locally free replacements of the sheaf of principal parts for families of Gorenstein curves. The main goal of this survey is to present to the widest possible audience of mathematical readers a catalogue of such constructions, discussing the related literature and reporting on a few applications to classical problems in Enumerative Algebraic Geometry.Comment: Minor revisions, improved expositio

    The structure of algebraic varieties

    Full text link
    ICM lecture on minimal models and moduli of varieties
    corecore