Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ arXiv.org e-Print Ar...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 2024
Data sources: zbMATH Open
https://dx.doi.org/10.48550/ar...
Article . 2021
License: arXiv Non-Exclusive Distribution
Data sources: Datacite
DBLP
Article . 2024
Data sources: DBLP
versions View all 6 versions
addClaim

Minimization of hypersurfaces

Authors: Andreas-Stephan Elsenhans; Michael Stoll;

Minimization of hypersurfaces

Abstract

Let F ∈ Z [ x 0 , … , x n ] F \in \mathbb {Z}[x_0, \ldots , x_n] be homogeneous of degree d d and assume that F F is not a ‘nullform’, i.e., there is an invariant I I of forms of degree d d in n + 1 n+1 variables such that I ( F ) ≠ 0 I(F) \neq 0 . Equivalently, F F is semistable in the sense of Geometric Invariant Theory. Minimizing F F at a prime p p means to produce T ∈ M a t ( n + 1 , Z ) ∩ G L ( n + 1 , Q ) T \in Mat(n+1, \mathbb {Z}) \cap GL(n+1, \mathbb {Q}) and e ∈ Z ≥ 0 e \in \mathbb {Z}_{\ge 0} such that F 1 = p − e F ( [ x 0 , … , x n ] ⋅ T ) F_1 = p^{-e} F([x_0, \ldots , x_n] \cdot T) has integral coefficients and v p ( I ( F 1 ) ) v_p(I(F_1)) is minimal among all such F 1 F_1 . Following Kollár [Electron. Res. Announc. Amer. Math. Soc. 3 (1997), pp. 17–27], the minimization process can be described in terms of applying weight vectors w ∈ Z ≥ 0 n + 1 w \in \mathbb {Z}_{\ge 0}^{n+1} to F F . We show that for any dimension n n and degree d d , there is a complete set of weight vectors consisting of [ 0 , w 1 , w 2 , … , w n ] [0,w_1,w_2,\dots ,w_n] with 0 ≤ w 1 ≤ w 2 ≤ ⋯ ≤ w n ≤ 2 n d n − 1 0 \le w_1 \le w_2 \le \dots \le w_n \le 2 n d^{n-1} . When n = 2 n = 2 , we improve the bound to d d . This answers a question raised by Kollár. These results are valid in a more general context, replacing Z \mathbb {Z} and p p by a PID R R and a prime element of R R . Based on this result and a further study of the minimization process in the planar case n = 2 n = 2 , we devise an efficient minimization algorithm for ternary forms (equivalently, plane curves) of arbitrary degree d d . We also describe a similar algorithm that allows to minimize (and reduce) cubic surfaces. These algorithms are available in the computer algebra system Magma.

Keywords

Primary 11D25, 11D41, Secondary 11G30, 14G25, 14Q05, 14Q10, 14Q25, 11Y99, Computational aspects of algebraic curves, Mathematics - Number Theory, Computational aspects of algebraic surfaces, plane curves, reduction, Cubic and quartic Diophantine equations, cubic surfaces, hypersurfaces, Computational algebraic geometry over arithmetic ground fields, Higher degree equations; Fermat's equation, Mathematics - Algebraic Geometry, Curves of arbitrary genus or genus \(\ne 1\) over global fields, FOS: Mathematics, minimization, Number Theory (math.NT), Algebraic Geometry (math.AG), Global ground fields in algebraic geometry

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    3
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
3
Top 10%
Average
Average
Green