Separated Variables on Plane Algebraic Curves

Manfred Buchacher

2024-11-13

Abstract:We present a semi-algorithm which for any rational function $r\in\mathbb{K}(x,y)$ and any irreducible polynomial $p\in\mathbb{K}[x,y]$ decides whether the restriction of $r$ to the curve defined by $p$ is the restriction of an element of $\mathbb{K}(x)+\mathbb{K}(y)$. In case it is, it finds all such elements.

Algebraic Geometry,Commutative Algebra

What problem does this paper attempt to address?

Separating Variables in Bivariate Polynomial Ideals: the Local Case

Manfred Buchacher

2024-09-03

Abstract:We present a semi-algorithm which for any irreducible $p\in\mathbb{K}[x,y]$ finds all elements of $\mathbb{K}(x) + \mathbb{K}(y)$ that are of the form $qp$ for some $q\in\mathbb{K}(x,y)$ whose denominator is not divisible by $p$.

Commutative Algebra
Separating semigroup of genus 4 curves

S. Yu. Orevkov

2024-12-03

Abstract: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 $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R C$. M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_r(f))$ where $f$ is a separating function and $d_i(f)$ is the degree of the restriction of $f$ to $c_i$. In the present paper we describe the separating semigroups of all genus 4 curves. For the proofs we consider the canonical embedding of $C$ into a quadric $X$ in $\mathbb P^3$ and apply Abel's theorem to 1-forms obtained as Poincaré residues at $C$ of certain meromorphic 2-forms on $X$.

Algebraic Geometry
On the Problem of Separating Variables in Multivariate Polynomial Ideals

Manfred Buchacher,Manuel Kauers

DOI: https://doi.org/10.1145/3666000.366968

2024-05-30

Abstract:For a given ideal I in K[x_1,...,x_n,y_1,...,y_m] in a polynomial ring with n+m variables, we want to find all elements that can be written as f-g for some f in K[x_1,...,x_n] and some g in K[y_1,...,y_m], i.e., all elements of I that contain no term involving at the same time one of the x_1,...,x_n and one of the y_1,...,y_m. For principal ideals and for ideals of dimension zero, we give a algorithms that compute all these polynomials in a finite number of steps.

Symbolic Computation
Parametrizing Algebraic Curves

Franz Lemmermeyer

DOI: https://doi.org/10.48550/arXiv.1108.6219

2011-08-31

Abstract:We present the technique of parametrization of plane algebraic curves from a number theorist's point of view and present Kapferer's simple and beautiful (but little known) proof that nonsingular curves of degree > 2 cannot be parametrized by rational functions.

Number Theory
Rationality and Parametrizations of Algebraic Curves under Specializations

Sebastian Falkensteiner,Rafael Sendra

DOI: https://doi.org/10.1016/j.jalgebra.2024.07.009

2024-08-13

Abstract:Rational algebraic curves have been intensively studied in the last decades, both from the theoretical and applied point of view. In applications (e.g. level curves, linear homotopy deformation, geometric constructions in computer aided design, etc.), there often appear unknown parameters. It is possible to adjoin these parameters to the coefficient field as transcendental elements. In some particular cases, however, the curve has a different behavior than in the generic situation treated in this way. In this paper, we show when the singularities and thus the (geometric) genus of the curves might change. More precisely, we give a partition of the affine space, where the parameters take values, so that in each subset of the partition the specialized curve is either reducible or its genus is invariant. In particular, we give a Zariski-closed set in the space of parameter values where the genus of the curve under specialization might decrease or the specialized curve gets reducible. For the genus zero case, and for a given rational parametrization, a better description is possible such that the set of parameters where Hilbert's irreducibility theorem does not hold can be isolated, and such that the specialization of the parametrization parametrizes the specialized curve. We conclude the paper by illustrating these results by some concrete applications.

Algebraic Geometry
Tracing a Planar Algebraic Curve

Chen Falai,Feng Yuyu,Jerenj Kozak

DOI: https://doi.org/10.1007/s11766-997-0002-2

1997-01-01

Abstract:In this paper, an algorithm that determines a real algebraic curve is outlined. Its basic step is to divide the plane into subdomains that include only simple branches of the algebraic curve without singular points. Each of the branches is then stably and efficiently traced in the particular subdomain. Except for tracing, the algorithm requires only a couple of simple operations on polynomials that can be carried out exactly if the coefficients are rational, and the determination of the real roots of several univariate polynomials.
Real plane separating (M-2)-curves of degree d and totally real pencils of degree (d-3)

Matilde Manzaroli

2024-07-03

Abstract:It is well known that a non-singular real plane projective curve of degree five with five connected components is separating if and only if its ovals are in non-convex position. In this article, this property is set into a different context and generalised to all real plane separating (M-2)-curves.

Algebraic Geometry
Algebraic Curves With Many Rational Points Over Finite Fields Of Characteristic 2

H Niederreiter,Cp Xing

1999-01-01

Abstract:We present new general results on algebraic curves over finite fields and apply them to obtain improved constructions of algebraic curves with many rational points over the finite fields of order 8 and 16. An important role in this work is played by Drinfeld modules of rank 1 and covers corresponding to narrow ray class extensions. 1991 Mathematics Subject Classification: 11G09, 11G20, 11R58, 14G15.
Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Y. Abdelaziz,S. Boukraa,C. Koutschan,J-M. Maillard

DOI: https://doi.org/10.48550/arXiv.2002.00789

2022-04-27

Abstract:We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case where creative telescoping yields pullbacked $ _2F_1$ hypergeometric functions, we generalize this result to other families of rational functions in three, and even more than three, variables. We also generalise this result to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, foliation in elliptic curves. We also extend these results to rational functions in three variables when the denominator is associated with a {\em genus-two curve such that its Jacobian is a split Jacobian} corresponding to the product of two elliptic curves. We sketch the situation where the denominator of the rational function is associated with algebraic varieties that are not of the general type, having an infinite set of birational automorphisms. We finally provide some examples of rational functions in more than three variables, where the telescopers have pullbacked $ _2F_1$ hypergeometric solutions, the denominator corresponding to an algebraic variety being not simply foliated in elliptic curves, but having a selected elliptic curve in the variety explaining the pullbacked $ _2F_1$ hypergeometric solution.

Algebraic Geometry
Splitting Root-Locus Plot into Algebraic Plane Curves

Francisco Mota

DOI: https://doi.org/10.48550/arXiv.1505.03580

2015-05-14

Abstract:In this paper we show how to split the Root Locus plot for an irreducible rational transfer function into several individual algebraic plane curves, like lines, circles, conics, etc. To achieve this goal we use results of a previous paper of the author to represent the Root Locus as an algebraic variety generated by an ideal over a polynomial ring, and whose primary decomposion allow us to isolate the planes curves that composes the Root Locus. As a by-product, using the concept of duality in projective algebraic geometry, we show how to obtain the dual curve of each plane curve that composes the Root Locus and unite them to obtain what we denominate the "Algebraic Dual Root Locus".

Systems and Control
Arithmetic and birational properties of linear spaces on intersections of two quadrics

Lena Ji,Fumiaki Suzuki

2024-02-29

Abstract:We study rationality questions for Fano schemes of linear spaces on smooth complete intersections of two quadrics, especially over non-closed fields. Our approach is to study hyperbolic reductions of the pencil of quadrics associated to $X$. We prove that the Fano schemes $F_r(X)$ of $r$-planes are birational to symmetric powers of hyperbolic reductions, generalizing results of Reid and Colliot-Th\'el\`ene--Sansuc--Swinnerton-Dyer, and we give several applications to rationality properties of $F_r(X)$. For instance, we show that if $X$ contains an $(r+1)$-plane over a field $k$, then $F_r(X)$ is rational over $k$. When $X$ has odd dimension, we show a partial converse for rationality of the Fano schemes of second maximal linear spaces, generalizing results of Hassett--Tschinkel and Benoist--Wittenberg. When $X$ has even dimension, the analogous result does not hold, and we further investigate this situation over the real numbers. In particular, we prove a rationality criterion for the Fano schemes of second maximal linear spaces on these even-dimensional complete intersections over $\mathbb R$; this may be viewed as extending work of Hassett--Koll\'ar--Tschinkel.

Algebraic Geometry
Rational Curves on Real Classical Groups

Zijia Li,Ke Ye

2024-08-08

Abstract:This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify quadratic rational curves on $\mathrm{U}_n$, $\mathrm{O}_n(\mathbb{R})$, $\mathrm{O}_{n-1,1}(\mathbb{R})$ and $\mathrm{O}_{n-2,2}(\mathbb{R})$. (ii) We prove a decomposition theorem for rational curves on real classical groups, which can be regarded as a non-commutative generalization of the fundamental theorem of algebra and partial fraction decomposition. (iii) As an application of (i) and (ii), we generalize Kempe's Universality Theorem to rational curves on homogeneous spaces.

Algebraic Geometry,Symbolic Computation,Group Theory
Quatroids and Rational Plane Cubics

Taylor Brysiewicz,Fulvio Gesmundo,Avi Steiner

2023-09-14

Abstract:It is a classical result that there are $12$ (irreducible) rational cubic curves through $8$ generic points in $\mathbb{P}_{\mathbb{C}}^2$, but little is known about the non-generic cases. The space of $8$-point configurations is partitioned into strata depending on combinatorial objects we call quatroids, a higher-order version of representable matroids. We compute all $779777$ quatroids on eight distinct points in the plane, which produces a full description of the stratification. For each stratum, we generate several invariants, including the number of rational cubics through a generic configuration. As a byproduct of our investigation, we obtain a collection of results regarding the base loci of pencils of cubics and positive certificates for non-rationality.

Algebraic Geometry
Automorphisms of rigid hypersurfaces with separable variables

Anton Trushin

2024-07-12

Abstract:Consider a polynomial F such that each variable appears in exactly one monomial. The hypersurface defined by the polynomial F is called a hypersurface with separable variables. A variety is called rigid if there are no nontrivial actions of the additive group of the ground field on it. If a variety is rigid, then it is known that in the automorphism group there exists a unique maximal torus. We describe the automorphism group of a rigid hypersurface with separable variables, in particular we show that it is a finite extension of the maximal torus.

Algebraic Geometry,Rings and Algebras
Parameter spaces for curves on surfaces and enumeration of rational curves

Lucia Caporaso,Joe Harris

DOI: https://doi.org/10.48550/arXiv.alg-geom/9608024

1996-08-22

Algebraic Geometry

Abstract:We answer some enumerative questions about irreducible rational curves on Hirzebruch surfaces, by combining an idea of Kontsevich with the study of the geometry of certain natural parameter spaces. Our formulas generalize Kontsevich's formula for rational plane curves of given degree.
K-varieties and Galois representations

Enric Florit,Ariel Pacetti

2024-12-04

Abstract:In a remarkable article Ribet showed how to attach rational $2$-dimensional representations to elliptic ${\mathbb Q}$-curves. An abelian variety $A$ is a (weak) $K$-variety if it is isogenous to all of its $\text{Gal}_K$-conjugates. In this article we study the problem of attaching an absolutely irreducible $\ell$-adic representation of $\text{Gal}_K$ to an abelian $K$-variety, which sometimes has smaller dimension than expected. When possible, we also construct a Galois-equivariant pairing, which restricts the image of this representation. As an application of our construction, we prove modularity of abelian surfaces over ${\mathbb Q}$ with potential quaternionic multiplication.

Number Theory
Approximating rational points on surfaces

Brian Lehmann,David McKinnon,Matthew Satriano

2024-03-05

Abstract:Let $X$ be a smooth projective algebraic variety over a number field $k$ and $P$ in $X(k)$. In 2007, the second author conjectured that, in a precise sense, if rational points on $X$ are dense enough, then the best rational approximations to $P$ must lie on a curve. We present a strategy for deducing a slightly weaker conjecture from Vojta's conjecture, and execute this strategy for the full conjecture for split surfaces.

Algebraic Geometry,Number Theory
Drinfeld Modules of Rank 1 and Algebraic Curves with Many Rational Points

Chaoping Xing,Harald Niederreiter

DOI: https://doi.org/10.1007/s006050050036

1999-01-01

Monatshefte für Mathematik

Abstract:We construct algebraic curves C defined over a finite prime field  such that the number of -rational points of C is large relative to the genus of C. The methods of construction are based on the relationship between algebraic curves and their function fields, as well as on narrow ray class extensions obtained from Drinfeld modules of rank 1.
Irreducibility of the space of cyclic covers of algebraic curves of fixed numerical type and the irreducible components of $Sing (\bar{\mathfrak M_g})$

Fabrizio Catanese

DOI: https://doi.org/10.48550/arXiv.1011.0316

2010-11-01

Abstract:We prove irreducibility for the space of cyclic covers of fixed numerical type between smooth projective curves, and also for the space of cyclic covers of prime order and of fixed numerical-combinatorial type between moduli-stable projective curves. As an application we describe the irreducible components of the singular locus of the compactified moduli space of curves $\bar{\mahfrak M_g}$, extending the work of Cornalba, who described the irreducible components of the singular locus of the moduli space of curves $\mahfrak M_g}$.

Algebraic Geometry,Complex Variables
Irreducible components of Hilbert scheme of points on non-reduced curves

Yuze Luan

2023-10-24

Abstract:We classify the irreducible components of the Hilbert scheme of $n$ points on non-reduced algebraic plane curves, and give a formula for the multiplicities of the irreducible components. The irreducible components are indexed by partitions of $n$; all have dimension $n$; and their multiplicities are given as a polynomial of the parts of the corresponding partitions.

Algebraic Geometry

Separated Variables on Plane Algebraic Curves

Separating Variables in Bivariate Polynomial Ideals: the Local Case

Separating semigroup of genus 4 curves

On the Problem of Separating Variables in Multivariate Polynomial Ideals

Parametrizing Algebraic Curves

Rationality and Parametrizations of Algebraic Curves under Specializations

Tracing a Planar Algebraic Curve

Real plane separating (M-2)-curves of degree d and totally real pencils of degree (d-3)

Algebraic Curves With Many Rational Points Over Finite Fields Of Characteristic 2

Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Splitting Root-Locus Plot into Algebraic Plane Curves

Arithmetic and birational properties of linear spaces on intersections of two quadrics

Rational Curves on Real Classical Groups

Quatroids and Rational Plane Cubics

Automorphisms of rigid hypersurfaces with separable variables

Parameter spaces for curves on surfaces and enumeration of rational curves

K-varieties and Galois representations

Approximating rational points on surfaces

Drinfeld Modules of Rank 1 and Algebraic Curves with Many Rational Points

Irreducibility of the space of cyclic covers of algebraic curves of fixed numerical type and the irreducible components of $Sing (\bar{\mathfrak M_g})$

Irreducible components of Hilbert scheme of points on non-reduced curves