A Rationality Problem of Some Cremona Transformation

Akinari Hoshi,Ming-chang Kang

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

2007-09-10

Algebraic Geometry

Abstract:We will show the rationality of the function field of two variables under certain Cremona transformation.

What problem does this paper attempt to address?

Rationality Problem of Two-Dimensional Quasi-Monomial Group Actions

Akinari Hoshi,Hidetaka Kitayama

DOI: https://doi.org/10.1007/s00031-023-09832-1

2024-02-13

Transformation Groups

Abstract:The rationality problem of two-dimensional purely quasi-monomial actions was solved completely by (Hoshi, Kang and Kitayama, J. Algebra 403 , 363-400, 2014). As a generalization, we solve the rationality problem of two-dimensional quasi-monomial actions under the condition that the actions are defined within the base field. In order to prove the theorem, we give a brief review of the Severi-Brauer variety with some examples and rationality results. We also use a rationality criterion for conic bundles of over non-closed fields.

mathematics
Rational Maps Admitting Meromorphic Invariant Line Fields

Xiaoguang Wang

DOI: https://doi.org/10.1017/s0004972709000495

2009-01-01

Bulletin of the Australian Mathematical Society

Abstract:It is shown that a rational map of degree at least 2 admits a meromorphic invariant line field if and only if it is conformally conjugate to either an integral Lattes map, a power map, or a Chebyshev polynomial.
Rational Variant of Hartogs' Theorem on Separate Holomorphicity

Hanwen Liu

2023-07-06

Abstract:Given an uncountable algebraically closed field $K$, we proved that if partially defined function $f\colon K \times \dots \times K \dashrightarrow K$ defined on a Zariski open subset of the $n$-fold Cartesian product $K \times \dots \times K$ is rational in each coordinate whilst other coordinates are held constant, then $f$ is itself a rational function in $n$-variables.

Algebraic Geometry,Complex Variables
Rational points on even dimensional Fermat cubics

Alex Massarenti

2024-06-15

Abstract:We show that even dimensional Fermat cubic hypersurfaces are rational over any field of characteristic different from three by producing explicit rational parametrizations given by polynomials of low degree. As a byproduct of our rationality constructions we get estimates on the number of their rational points over a number field, and a class of quadro-cubic Cremona correspondences of even dimensional projective spaces.

Algebraic Geometry,Number Theory,Rings and Algebras
On degenerations of plane Cremona transformations

Jérémy Blanc,Alberto Calabri

DOI: https://doi.org/10.1007/s00209-015-1539-z

2015-09-25

Mathematische Zeitschrift

Abstract:This article studies the possible degenerations of Cremona transformations of the plane of some degree into maps of smaller degree.

mathematics
Automorphisms of quartic surfaces and Cremona transformations

Daniela Paiva,Ana Quedo

2024-04-20

Abstract:In this paper, we consider the problem of determining which automorphisms of a smooth quartic surface $S \subset \mathbb{P}^3$ are induced by a Cremona transformation of $\mathbb{P}^3$. We provide the first steps towards a complete solution of this problem when $\rho(S)=2$. In particular, we give several examples of quartics whose automorphism groups are generated by involutions, but no non-trivial automorphism is induced by a Cremona transformation of $\mathbb{P}^3$, giving a negative answer for Oguiso's question of whether every automorphism of finite order of a smooth quartic surface $S\subset \mathbb{P}^3$ is induced by a Cremona transformation.

Algebraic Geometry
Small Cycles Property of Some Cremer Rational Maps and Polynomials

Fu, Rong

DOI: https://doi.org/10.1007/s11401-024-0006-8

2024-02-09

Chinese Annals of Mathematics Series B

Abstract:This paper concerns the linearization problem on rational maps of degree d ≥ 2 and polynomials of degree d > 2 from the perspective of non-linearizability. The authors introduce a set of irrational numbers and show that if , then any rational map is not linearizable and has infinitely many cycles in every neighborhood of the fixed point with multiplier . Adding more constraints to cubic polynomials, they discuss the above problems by polynomial-like maps. For the family of polynomials, with the help of Yoccoz's method, they obtain its maximum dimension of the set in which the polynomials are non-linearizable.

mathematics
Rationality of forms of $\overline{\mathcal M}_{0,n}$

Brendan Hassett,Yuri Tschinkel,Zhijia Zhang

2024-02-05

Abstract:We study equivariant geometry and rationality of moduli spaces of points on the projective line, for twists associated with permutations of the points.

Algebraic Geometry
On a Class of Permutation Rational Functions Involving Trace Maps

Ruikai Chen,Sihem Mesnager

DOI: https://doi.org/10.1007/s10623-023-01345-y

2023-12-29

Abstract:Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on extensions of finite fields, especially for the cases of quadratic and cubic extensions. Our achievements are obtained by investigating absolute irreducibility of some polynomials in two indeterminates.

Number Theory
The rational HK-conjecture: transformation groupoids and a revised version

Robin J. Deeley,Rufus Willett

2024-02-10

Abstract:We prove the rational HK-conjecture for a large class of transformation groupoids in the case when the relevant action has torsion-free stabilizers. A revised version of the rational HK-conjecture in the case of (possibly) torsion stabilizers is introduced and proved for a large class of transformation groupoids. In particular, this revised version holds for Scarparo's counterexamples to the original rational HK-conjecture. The key tools used are the Baum-Connes conjecture and a Chern character defined by Raven.

K-Theory and Homology,Operator Algebras
Homological stability fails for the Cremona groups

Markus Szymik

2024-07-09

Abstract:The Cremona groups are the groups of all birational equivalences of rational varieties and, equivalently, the automorphism groups of the rational function fields. In this note, we explain that homological stability fails for them in both possible ways and comment on their stable homology.

Algebraic Geometry,Algebraic Topology,Group Theory,Geometric Topology,K-Theory and Homology
Invariant rational functions under rational transformations

Jason Bell,Rahim Moosa,Matthew Satriano

2024-03-12

Abstract:Let $X$ be an algebraic variety equipped with a dominant rational self-map $\phi:X\to X$. A new quantity measuring the interaction of $(X,\phi)$ with trivial dynamical systems is introduced; the stabilised algebraic dimension of $(X,\phi)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X, \phi)$ and $(Y, \psi)$, as $(Y,\psi)$ ranges over all algebraic dynamical systems. It is shown that this birational invariant agrees with the maximum dimension of a dominant equivariant rational image $(X',\phi')$ where $\phi'$ is part of an algebraic group action on $X'$. As a consequence, it is deduced that if some cartesian power of $(X,\phi)$ admits a nonconstant invariant rational function, then already the second cartesian power does.

Algebraic Geometry,Dynamical Systems,Logic
Rationality for Subgroups Ofs6

Jian Zhou

DOI: https://doi.org/10.1080/00927872.2014.888565

2013-01-01

Abstract:For a transitive subgroup G ≤ S 6 which contain C 3 × C 3 as subgroup, we prove that K(x 1,…, x 6) G is rational over K, where K is any field, and G acts naturally on K(x 1,…, x 6) by permutations on the variables. We also give an application on construction of generic polynomials.
Model of Thermal Wavefront Distortion in Interferometric Gravitational-Wave Detectors I: Thermal Focusing

R.G.Beausoleil,E. D'Ambrosio,W. Kells,J. Camp,E K.Gustafson,M.M.Fejer

DOI: https://doi.org/10.1364/JOSAB.20.001247

2002-05-30

Abstract:We develop a steady-state analytical and numerical model of the optical response of power-recycled Fabry-Perot Michelson laser gravitational-wave detectors to thermal focusing in optical substrates. We assume that the thermal distortions are small enough that we can represent the unperturbed intracavity field anywhere in the detector as a linear combination of basis functions related to the eigenmodes of one of the Fabry-Perot arm cavities, and we take great care to preserve numerically the nearly ideal longitudinal phase resonance conditions that would otherwise be provided by an external servo-locking control system. We have included the effects of nonlinear thermal focusing due to power absorption in both the substrates and coatings of the mirrors and beamsplitter, the effects of a finite mismatch between the curvatures of the laser wavefront and the mirror surface, and the diffraction by the mirror aperture at each instance of reflection and transmission. We demonstrate a detailed numerical example of this model using the MATLAB program Melody for the initial LIGO detector in the Hermite-Gauss basis, and compare the resulting computations of intracavity fields in two special cases with those of a fast Fourier transform field propagation model. Additional systematic perturbations (e.g., mirror tilt, thermoelastic surface deformations, and other optical imperfections) can be included easily by incorporating the appropriate operators into the transfer matrices describing reflection and transmission for the mirrors and beamsplitter.

General Relativity and Quantum Cosmology
A Remark on Holomorphic Functions Rational in Some Variables

O. A. Ivanova,S. N. Melikhov

DOI: https://doi.org/10.1134/s0037446624050112

2024-09-26

Siberian Mathematical Journal

Abstract:Considering the holomorphic functions in a polycylindrical domain which are rational in some of the variables for the arbitrary fixed values of other variables, we prove that the functions are representable as a ratio of polynomials in these variables whose coefficients are holomorphic in the remaining variables. We use the Kronecker method for establishing some criterion for the rationality of a holomorphic function of one complex variable in a neighborhood of zero by using the properties of Hankel matrices.

mathematics
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
Noether's Problem for Ŝ_4 and Ŝ_5

Ming-chang Kang,Jian Zhou

DOI: https://doi.org/10.2140/pjm.2012.258.349

2012-01-01

Pacific Journal of Mathematics

Abstract:Let k be a field, G be a finite group and k(x_g:g∈ G) be the rationalfunction field over k, on which G acts by k-automorphisms defined byh· x_g=x_hg for any g,h∈ G. Noether's problem asks whether thefixed subfield k(G):=k(x_g:g∈ G)^G is k-rational, i.e. purelytranscendental over k. If S_n is the double cover of thesymmetric group S_n, in which the liftings of transpositions and products ofdisjoint transpositions are of order 4, Serre shows thatQ(S_4) and Q(S_5) are not Q-rational.We will prove that, if k is a field such that char k ≠ 2, 3, andk(ζ_8) is a cyclic extension of k, then k(S_4) isk-rational. If it is assumed furthermore that chark=0, thenk(S_5) is also k-rational.
A note on Rational Maps with three branching points on the Riemann sphere

Zhiqiang Wei,Yingyi Wu,Bin Xu

2024-01-01

Abstract:Studying the existence of rational functions with given branching datum is a classical problem in the field of complex analysis and algebraic geometry. This problem dates back to Hurwitz and remains open to this day. In this paper, we utilize complex analysis to establish a property of rational functions with 3 branching points on the Riemann sphere. Given two compact Riemann surfaces M and N, a pair (d,𝒟) of an integer d≥2 and a collection 𝒟 of nontrivial partitions of d is called a candidate branching datum if it satisfies the Riemann-Hurwitz formula. And a candidate branching datum is exceptional if there does not exist a rational function realization it. As applications, we present some new types of exceptional branching datum. These results cover some previous results mentioned in <cit.>. We also deduce the realizability of a certain type of candidate branching datum on the Riemann sphere.
Lüroth's theorem for fields of rational functions in infinitely many permuted variables

M.Rovinsky

2024-08-08

Abstract:Lüroth's theorem describes the dominant maps from rational curves over a field. In this note we study the dominant maps from cartesian powers $X^{\Psi}$ of absolutely irreducible varieties $X$ over a field $k$ for infinite sets $\Psi$ that are equivariant with respect to all permutations of the factors $X$. At least some of such maps arise as compositions $h:X^{\Psi}\xrightarrow{f^{\Psi}}Y^{\Psi}\to H\backslash Y^{\Psi}$, where $X\xrightarrow{f}Y$ is a dominant $k$-map and $H$ is an automorphism group $H$ of $Y|k$, acting diagonally on $Y^{\Psi}$. In characteristic 0, we show that this construction, when properly modified, gives all dominant equivariant maps from $X^{\Psi}$, if $\dim X=1$. For arbitrary $X$, the results are only partial. In a subsequent paper, the `quasicoherent' equivariant sheaves on the targets of such $h$'s will be studied. Some preliminary results have already appeared in arXiv:math/<a class="link-https" data-arxiv-id="2205.15144" href="https://arxiv.org/abs/2205.15144">2205.15144</a>. A somewhat similar problem is to check, whether the irreducible invariant subvarieties of $X^{\Psi}$ arise as pullbacks under $f^{\Psi}$ (for appropriate $f$'s) of subvarieties of $Y$ diagonally embedded into $Y^{\Psi}$. This would be a complement to the famous theorem of D.E.Cohen on the noetherian property of the symmetric ideals. We show that this is the case if $\dim X=1$.

Algebraic Geometry,Representation Theory
The field of iterates of a rational function

Francesco Veneziano,Solomon Vishkautsan

2024-04-07

Abstract:We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given base field). We show with families of examples that this characterization does not hold for rational functions. Finally, we also classify fractional linear transformations with this property.

Number Theory,Dynamical Systems

A Rationality Problem of Some Cremona Transformation

Rationality Problem of Two-Dimensional Quasi-Monomial Group Actions

Rational Maps Admitting Meromorphic Invariant Line Fields

Rational Variant of Hartogs' Theorem on Separate Holomorphicity

Rational points on even dimensional Fermat cubics

On degenerations of plane Cremona transformations

Automorphisms of quartic surfaces and Cremona transformations

Small Cycles Property of Some Cremer Rational Maps and Polynomials

Rationality of forms of $\overline{\mathcal M}_{0,n}$

On a Class of Permutation Rational Functions Involving Trace Maps

The rational HK-conjecture: transformation groupoids and a revised version

Homological stability fails for the Cremona groups

Invariant rational functions under rational transformations

Rationality for Subgroups Ofs6

Model of Thermal Wavefront Distortion in Interferometric Gravitational-Wave Detectors I: Thermal Focusing

A Remark on Holomorphic Functions Rational in Some Variables

Rationality and Parametrizations of Algebraic Curves under Specializations

Noether's Problem for Ŝ_4 and Ŝ_5

A note on Rational Maps with three branching points on the Riemann sphere

Lüroth's theorem for fields of rational functions in infinitely many permuted variables

The field of iterates of a rational function