56,600 research outputs found
Geometry of the Wiman Pencil, I: Algebro-Geometric Aspects
In 1981 W.L. Edge discovered and studied a pencil of highly
symmetric genus 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 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
In 1981 W.L. Edge discovered and studied a pencil of highly
symmetric genus 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 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
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
ϵ-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
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
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
ICM lecture on minimal models and moduli of varieties
- …