A proof of Hilbert's theorem on ternary quartic forms with the ladder technique

Jia Xu,Yong Yao

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

2017-03-21

Abstract:This paper proposes a totally constructive approach for the proof of Hilbert's theorem on ternary quartic forms. The main contribution is the ladder technique, with which the Hilbert's theorem is proved vividly.

Symbolic Computation,Algebraic Geometry

What problem does this paper attempt to address?

An elementary proof of Hilbert's theorem on ternary quartics: Some complements

Albrecht Pfister,Claus Scheiderer

2024-11-13

Abstract:In 1888, Hilbert proved that every nonnegative quartic form $f=f(x,y,z)$ with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. In a 2012 paper we presented a new approach that used only elementary techniques. In this note we add some further simplifications to this proof.

Algebraic Geometry
A NEW PROOF OF THE REALISATION OF CUBIC TABLEAUX

Fei Yang,Yongcheng Yin

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

2013-01-01

Bulletin of the Australian Mathematical Society

Abstract:By means of the dynamics on trees introduced by Emerson, DeMarco and McMullen, we give a new proof of the realisation of cubic tableaux.
Proof of the Branner-Hubbard conjecture on Cantor Julia sets

WeiYuan Qiu,YongCheng Yin

DOI: https://doi.org/10.1007/s11425-008-0178-9

2008-01-01

Abstract:By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that a component of the filled-in Julia set of any polynomial is a point if and only if its forward orbit contains no periodic critical components. It follows immediately that the Julia set of a polynomial is a Cantor set if and only if each critical component of the filled-in Julia set is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.
On the representation numbers of ternary quadratic forms and modular forms of weight 3/2

Xuejun Guo,Yuzhen Peng,Hourong Qin

DOI: https://doi.org/10.1016/j.jnt.2014.01.024

IF: 0.679

2014-01-01

Journal of Number Theory

Abstract:In this paper, we give an alternative proof of Berkovich and Jagy's genus identity and verify a series of conjectures raised by Cooper and Lam on the number of solutions of n2=x2+by2+cz2 and two conjectures raised by Sun on the number of solutions of p=x2+y2+3z2, 3p=x2+y2+3z2.
The classification and representations of positive definite ternary quadratic forms of level 4N

Yifan Luo,Haigang Zhou

2024-02-27

Abstract:Classifications and representations are two main topics in the theory of quadratic forms. In this paper, we consider these topics of ternary quadratic forms. For a given squarefree integer $N$, first we give the classification of positive definite ternary quadratic forms of level $4N$ explicitly. Second, we give explicit formulas of the weighted sum of representations over each class in every genus of ternary quadratic forms of level $4N$, which are involved with modified Hurwitz class number. In the proof of the main results, we use the relations among ternary quadratic forms, quaternion algebras, and Jacobi forms. As a corollary, we get the formula for the class number of positive ternary quadratic forms of level $4N$. As applications, we derive an explicit base of Eisenstein series space of modular forms of weight $3/2$ and level $4N$, and give new proofs of some interesting identities involving representation number of ternary quadratic forms.

Number Theory
Quantitative strong approximation for ternary quadratic forms II

Zhizhong Huang

2024-12-08

Abstract:Let $F$ be a non-degenerate integral ternary quadratic form and let $m_0\in\mathbb{Z}_{\neq 0}$. We study growth of rational points on the affine quadric $(F=m_0)$ and show that they are equidistributed in the adelic space off a finite place. This is closely related to Linnik's problem. Our approach is based on the $\delta$-variant of the Hardy--Littlewood circle method developed by Heath-Brown.

Number Theory
A Direct Geometric Proof of the Lefschetz Fixed-Point Formulas

JD LAFFERTY,YL YU,WP ZHANG

DOI: https://doi.org/10.1090/s0002-9947-1992-1022168-9

IF: 1.3529

1992-01-01

Transactions of the American Mathematical Society

Abstract:In this paper we prove the Lefschetz fixed point formulas of Atiyah, Singer, Segal, and Bott for isometries by using the direct geometric method initiated by Patodi.
On Converse Theorems for Hilbert Modular Forms Assuming Unramified Twists

Pengcheng Zhang

2024-08-06

Abstract:We prove two results on converse theorems for Hilbert modular forms over totally real fields of degree $r>1$. The first result recovers a Hilbert modular form (of some level) from an $L$-series satisfying functional equations twisted by all the unramified Hecke characters. The second result assumes both the 'unramified' functional equations and an Euler product, and recovers a Hilbert modular form of the expected level predicted by the shape of the functional equations. Our result generalizes the current converse theorems for $\mathrm{GL}_2$ in the case of Hilbert modular forms in that we completely remove the assumptions on ramified twists.

Number Theory
Torsion Points and the Latte'S Family

Laura DeMarco,Xiaoguang Wang,Hexi Ye

DOI: https://doi.org/10.1353/ajm.2016.0026

IF: 1.835

2016-01-01

American Journal of Mathematics

Abstract:We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.
Convex Ternary Quartics Are SOS-Convex

Amir Ali Ahmadi,Grigoriy Blekherman,Pablo A. Parrilo

2024-04-20

Abstract:We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This result is in a meaningful sense the ``convex analogue'' a celebrated theorem of Hilbert from 1888, where he proves that nonnegative ternary quartic forms are sums of squares. We show by an appropriate construction that exploiting the structure of the Hessian matrix is crucial in any possible proof of our result.

Optimization and Control,Algebraic Geometry
New constructions of quaternary bent functions

Baofeng Wu,Dongdai Lin

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

IF: 0.961

2013-09-01

Discrete Mathematics

Abstract:In this paper, a new construction of quaternary bent functions from quaternary quadratic forms over Galois rings of characteristic 4 is proposed. Based on this construction, several new classes of quaternary bent functions are obtained, and as a consequence, several new classes of quadratic binary bent and semi-bent functions in polynomial forms are derived. This work generalizes the recent work of N. Li, X. Tang and T. Helleseth.
Exponential sums over singular binary quartic forms and applications

Yasuhiro Ishitsuka,Takashi Taniguchi,Frank Thorne,Stanley Yao Xiao

2024-03-31

Abstract:We investigate exponential sums over singular binary quartic forms, proving an explicit formula for the finite field Fourier transform of this set. Our formula shares much in common with analogous formulas proved previously for other vector spaces, but also exhibits a striking new feature: the point counting function $a_p(E) = p + 1 - \#E(\mathbb{F}_p)$ associated to an associated elliptic curve makes a prominent appearance. The proof techniques are also new, involving techniques from elementary algebraic geometry and classical invariant theory. As an application to prime number theory, we demonstrate the existence of `many' 2-Selmer elements for elliptic curves with discriminants that are squarefree and have at most four prime factors.

Number Theory
A Geometric Proof of the Hecke Conjecture

Kaida Shi

DOI: https://doi.org/10.48550/arXiv.math/0309017

2003-09-01

General Mathematics

Abstract:Beginning from the resolution of the Dirichlet L function, using the inner product formula between two infinite-dimensional vectors in the complex space, the author proved the baffling problem--Hecke conjecture.
Representation of Integers by Positive Ternary Quadratic Forms

Hourong Qin

DOI: https://doi.org/10.4310/mrl.2017.v24.n2.a13

2017-01-01

Mathematical Research Letters

Abstract:Let m be a positive integer satisfying m equivalent to 1 (mod 4) and (m/7) = 1. Then there exist integers x, y, epsilon Z such that m = x(2) + 7y(2) + 49z(2). Recent work of J. Coates, Y. Li, Y. Tian and S. Zhai ([1]) shows that this conclusion is useful in the study of the arithmetic of elliptic curves. The above m can be represented also by either x2 + 14y2 + 28z2 + 14yz or 2x(2) + 4y(2) + 49z(2) + 2xy. Moreover, if m = 1 (mod 8) and (m/7) = 1, then m can be represented by x(2) + 14y(2) + 28z(2) + 14yz. The same is true for 2x(2) + 4y(2) + 49z(2) + 2xy, provided that m is not square. If we assume further that m = 1 (mod 4) with (m/7) = 1 is not square, then m can be represented by 8x(2) + 8y(2) + 9z(2) + 8yz + 8xz + 2xy and 2x(2) + 7y(2) + 25z(2) + 2xz. Note that the genus of x(2) + 7y(2) + 49z(2) consists of exactly the above appeared five ternary quadratic forms.
On Quadratic Bent Functions in Polynomial Forms.

Honggang Hu,Dengguo Feng

DOI: https://doi.org/10.1109/tit.2007.899553

IF: 2.5

2007-01-01

IEEE Transactions on Information Theory

Abstract:In this correspondence, we construct some new quadratic bent functions in polynomial forms by using the theory of quadratic forms over finite fields. The results improve some previous work. Moreover, we solve a problem left by Yu and Gong in 2006.
Ternary Quadratic Forms and the Class Numbers of Imaginary Quadratic Fields

Lei Gao,Hourong Qin

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

2019-01-01

Communications in Algebra

Abstract:Abstract We establish a series of relations between the numbers of solutions of some positive definite ternary quadratic forms and the class numbers of the corresponding imaginary quadratic fields. In particular, we obtain an explicit formula for the ternary quadratic form , where p and q are odd primes. Let h(d) be the class number of , and for a ternary quadratic form Q, we use for the number of integral solutions (x, y, z) of the equation . We give two examples to illustrate our results: (i) For , if m is a square-free positive integer with , then (ii) for , if m is a square-free positive integer with , then
Rankin-Cohen Brackets of Hilbert Hecke Eigenforms

Yichao Zhang,Yang Zhou

2024-05-28

Abstract:Over any fixed totally real number field with narrow class number one, we prove that the Rankin-Cohen bracket of two Hecke eigenforms for the Hilbert modular group can only be a Hecke eigenform for dimension reasons, except for a couple of cases where the Rankin-Selberg method does not apply. We shall also prove a conjecture of Freitag on the volume of Hilbert modular groups, and assuming a conjecture of Freitag on the dimension of the cuspform space, we obtain a finiteness result on eigenform product identities.

Number Theory
Toward Qin's Conjecture on Hilbert schemes of points and quasi-modular forms

Mazen M Alhwaimel

2024-04-30

Abstract:For a line bundle $L$ on a smooth projective surface $X$ and nonnegative integers $k_1, \ldots, k_N$, Okounkov \cite{Oko} introduced the reduced generating series $\big \langle {\rm ch}_{k_1}^{L} \cdots {\rm ch}_{k_N}^{L} \big \rangle'$ for the intersection numbers among the Chern characters of the tautological bundles over the Hilbert schemes of points on $X$ and the total Chern classes of the tangent bundles of these Hilbert schemes. In \cite{Qin2}, Qin conjectured that these reduced generating series are quasi-modular forms if the canonical divisor of $X$ is numerically trivial. In this paper, we verify that Qin's conjecture holds for $\langle {\rm ch}_1^{L_1}{\rm ch}_1^{L_2} \rangle'$. The main approaches are to use the methods laid out in \cite{QY} and construct various relations regarding multiple $q$-zeta values and quasi-modular forms.

Algebraic Geometry
On the arithmetic Hilbert-Samuel theorem : a proof by deformation

Dorian Ni

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

2022-07-12

Abstract:We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called arithmetic Hilbert invariants, through the deformation to the projective completion of the cone. This construction lies at the intersection of deformation theory and Arakelov geometry. It provides a deformation of a Hermitian line bundle over the deformation to the normal cone.

Algebraic Geometry,Number Theory
Congruent Numbers, Quadratic Forms and $$K_2$$

Qin Hourong

DOI: https://doi.org/10.1007/s00208-021-02263-x

2021-01-01

Mathematische Annalen

Abstract:We give a new and self-contained proof for an alternative form of Tunnell’s theorem on congruent numbers. The proof relies on more knowledge on quadratic forms with less calculation than Tunnell’s proof. The approach is based on our observation that the equality $$\#\{(x,y,z,w) \in \mathbb {Z}^4|p=2x^2+3y^2+3z^2+4w^2+2yz\}=\#\{(x,y,z) \in \mathbb {Z}^3|p^2=2x^2+4y^2+9z^2-4yz\}$$ holds for any odd prime p. The same method is applied to the elliptic curves $$E_n:~y^2=x^3+n^2x$$ and $$E_{n}:~~y^2=x(x-n)(x+3n)(E_{-n}:~~y^2=x(x+n)(x-3n))$$ ( $$\pi /3$$ ( $$2\pi /3$$ )-congruent elliptic curves), where we list, without proof, the analogous results. A series of criteria for congruent numbers are given. In particular, for a prime p, we show that if $$p\equiv 1\pmod {8}$$ is a congruent number then the 8-rank of $$K_2O_{\mathbb {Q}(\sqrt{p})}$$ equals one; if $$p\equiv 1\pmod {16}$$ with $$h(-p)\not \equiv h(-2p)\pmod {16}$$ then 2p is not a congruent number; and if $$p\equiv 1, q\equiv 3\pmod {8}$$ are two primes with $$h(-pq)\not \equiv h(-p)\pmod {8}$$ then pq is not a congruent number.

A proof of Hilbert's theorem on ternary quartic forms with the ladder technique

An elementary proof of Hilbert's theorem on ternary quartics: Some complements

A NEW PROOF OF THE REALISATION OF CUBIC TABLEAUX

Proof of the Branner-Hubbard conjecture on Cantor Julia sets

On the representation numbers of ternary quadratic forms and modular forms of weight 3/2

The classification and representations of positive definite ternary quadratic forms of level 4N

Quantitative strong approximation for ternary quadratic forms II

A Direct Geometric Proof of the Lefschetz Fixed-Point Formulas

On Converse Theorems for Hilbert Modular Forms Assuming Unramified Twists

Torsion Points and the Latte'S Family

Convex Ternary Quartics Are SOS-Convex

New constructions of quaternary bent functions

Exponential sums over singular binary quartic forms and applications

A Geometric Proof of the Hecke Conjecture

Representation of Integers by Positive Ternary Quadratic Forms

On Quadratic Bent Functions in Polynomial Forms.

Ternary Quadratic Forms and the Class Numbers of Imaginary Quadratic Fields

Rankin-Cohen Brackets of Hilbert Hecke Eigenforms

Toward Qin's Conjecture on Hilbert schemes of points and quasi-modular forms

On the arithmetic Hilbert-Samuel theorem : a proof by deformation

Congruent Numbers, Quadratic Forms and $$K_2$$