arXiv subjects

Huajun Lu

Publications and source records attributed to Huajun Lu.

6 recordsLinked to original sources

arXiv2022

Harrison center and products of sums of powers

This paper is mainly concerned with identities like \[ (x_1^d + x_2^d + \cdots + x_r^d) (y_1^d + y_2^d + \cdots y_n^d) = z_1^d + z_2^d + \cdots + z_n^d \] where $d>2,$ $x=(x_1, x_2, \dots, x_r)$ and $y=(y_1, y_2, \dots, y_n)$ are systems of indeterminates and each $z_k$ is a linear form in $y$ with coefficients in the rational function field $\k (x)$ over any field $\k$ of characteristic $0$ or greater than $d.$ These identities are higher degree analogue of the well-known composition formulas of sums of squares of Hurwitz, Radon and Pfister. We show that such composition identities of sums of powers of degree at least $3$ are trivial, i.e., if $d>2,$ then $r=1.$ Our proof is simple and elementary, in which the crux is Harrison's center theory of homogeneous polynomials.

math.RA↗

arXiv2021

Centers of Multilinear Forms and Applications

In this paper we study the center algebras of multilinear forms. It is shown that the center of a nondegenerate multilinear form is a finite dimensional commutative algebra and can be effectively applied to its direct sum decompositions. As an application of the algebraic structure of centers, we also show that almost all multilinear forms are absolutely indecomposable. The theory of centers can be extended to multilinear maps and be applied to their symmetric equivalence. Moreover, with a help of the results of symmetric equivalence, we are able to provide a linear algebraic proof of a well known Torelli type result which says that two complex homogeneous polynomials with the same Jacobian ideal are linearly equivalent.

math.RA↗

arXiv2021

On Centers and Direct Sum Decompositions of Higher Degree Forms

Higher degree forms are homogeneous polynomials of degree $d > 2,$ or equivalently symmetric $d$-linear spaces. This paper is mainly concerned about the algebraic structure of the centers of higher degree forms with applications specifically to direct sum decompositions, namely expressing higher degree forms as sums of forms in disjoint sets of variables. We show that the center algebra of almost every form is the ground field, consequently almost all higher degree forms are absolutely indecomposable. If a higher degree form is decomposable, then we provide simple criteria and algorithms for direct sum decompositions by its center algebra. It is shown that the direct sum decomposition problem can be boiled down to some standard tasks of linear algebra, in particular the computations of eigenvalues and eigenvectors. We also apply the structure results of center algebras to provide a complete answer to the classical problem of whether a higher degree form can be reconstructed from its Jacobian ideal.

math.RA↗

arXiv2020

Diagonalizable Higher Degree Forms and Symmetric Tensors

We provide simple criteria and algorithms for expressing homogeneous polynomials as sums of powers of independent linear forms, or equivalently, for decomposing symmetric tensors into sums of rank-1 symmetric tensors of linearly independent vectors. The criteria rely on two facets of higher degree forms, namely Harrison's algebraic theory and some algebro-geometric properties. The proposed algorithms are elementary and based purely on solving linear and quadratic equations. Moreover, as a byproduct of our criteria and algorithms one can easily decide whether or not a homogeneous polynomial or symmetric tensor is orthogonally or unitarily decomposable.

math.RA↗

arXiv2014

Uniform bounds of base change conductors and link with the generalized Szpiro conjecture

The difference between the Faltings height of an abelian variety $A$ defined over a number field $k$ and its stable height is measured by the so-called base change conductor. In this paper, we give a uniform bound of the base change conductor in terms of the dimension of $A$ and the degree of $k$. This allows us to reduce the generalized Szpiro conjecture to the semi-stable case.

math.AG↗

arXiv2013

Congruences of models of elliptic curves

Let O_K be a discrete valuation ring with field of fractions K and perfect residue field. Let E be an elliptic curve over K, let L/K be a finite Galois extension and let O_L be the integral closure of O_K in L. Denote by X' the minimal regular model of E_L over O_L. We show that the special fibers of the minimal Weierstrass model and the minimal regular model of E over O_K are determined by the infinitesimal fiber X'_m together with the action of Gal(L/K), when m is big enough (depending on the minimal discriminant of E and the different of L/K).

math.AG↗