TY - JOUR

T1 - Factorization of Noncommutative Polynomials and Nullstellensätze for the Free Algebra

AU - Helton, J. W.

AU - Klep, Igor

AU - Volčič, Jurij

N1 - Funding Information:
Helton: Supported by the NSF grant DMS 1500835. Klep: Supported by the Slovenian Research Agency grants J1-8132, N1-0057 and P1-0222, and partially supported by the Marsden Fund Council of the Royal Society of New Zealand. Volcˇicˇ: Supported by the Deutsche Forschungsge-meinschaft (DFG) Grant No. SCHW 1723/1-1.
Publisher Copyright:
© The Author(s) 2020.

PY - 2022/1/1

Y1 - 2022/1/1

N2 - This article gives a class of Nullstellensätze for noncommutative polynomials. The singularity set of a noncommutative polynomial f = f (x1, . . . , xg) is Z ( f ) = (Zn( f ))n, where Zn( f ) = {X ϵ Mn(C)g: detf (X) = 0}. The 1st main theorem of this article shows that the irreducible factors of f are in a natural bijective correspondence with irreducible components of Zn( f ) for every sufficiently large n. With each polynomial h in x and x*one also associates its real singularity set Z re(h) = {X: deth(X,X*) = 0}. A polynomial f that depends on x alone (no x*variables) will be called analytic. The main Nullstellensatz proved here is as follows: for analytic f but for h dependent on possibly both x and x*, the containment Z ( f ) ⊆ Z re(h) is equivalent to each factor of f being "stably associated"to a factor of h or of h*. For perspective, classical Hilbert-type Nullstellensätze typically apply only to analytic polynomials f , h, while real Nullstellensätze typically require adjusting the functions by sums of squares of polynomials (sos). Since the above "algebraic certificate"does not involve a sos, it seems justified to think of this as the natural determinantal Hilbert Nullstellensatz. An earlier paper of the authors (Adv. Math. 331 (2018): 589-626) obtained such a theorem for special classes of analytic polynomials f and h. This paper requires few hypotheses and hopefully brings this type of Nullstellensatz to near final form. Finally, the paper gives a Nullstellensatz for zeros V( f ) = {X : f (X,X*) = 0} of a hermitian polynomial f , leading to a strong Positivstellensatz for quadratic free semialgebraic sets by the use of a slack variable.

AB - This article gives a class of Nullstellensätze for noncommutative polynomials. The singularity set of a noncommutative polynomial f = f (x1, . . . , xg) is Z ( f ) = (Zn( f ))n, where Zn( f ) = {X ϵ Mn(C)g: detf (X) = 0}. The 1st main theorem of this article shows that the irreducible factors of f are in a natural bijective correspondence with irreducible components of Zn( f ) for every sufficiently large n. With each polynomial h in x and x*one also associates its real singularity set Z re(h) = {X: deth(X,X*) = 0}. A polynomial f that depends on x alone (no x*variables) will be called analytic. The main Nullstellensatz proved here is as follows: for analytic f but for h dependent on possibly both x and x*, the containment Z ( f ) ⊆ Z re(h) is equivalent to each factor of f being "stably associated"to a factor of h or of h*. For perspective, classical Hilbert-type Nullstellensätze typically apply only to analytic polynomials f , h, while real Nullstellensätze typically require adjusting the functions by sums of squares of polynomials (sos). Since the above "algebraic certificate"does not involve a sos, it seems justified to think of this as the natural determinantal Hilbert Nullstellensatz. An earlier paper of the authors (Adv. Math. 331 (2018): 589-626) obtained such a theorem for special classes of analytic polynomials f and h. This paper requires few hypotheses and hopefully brings this type of Nullstellensatz to near final form. Finally, the paper gives a Nullstellensatz for zeros V( f ) = {X : f (X,X*) = 0} of a hermitian polynomial f , leading to a strong Positivstellensatz for quadratic free semialgebraic sets by the use of a slack variable.

UR - http://www.scopus.com/inward/record.url?scp=85127270119&partnerID=8YFLogxK

U2 - 10.1093/imrn/rnaa122

DO - 10.1093/imrn/rnaa122

M3 - Article

AN - SCOPUS:85127270119

SN - 1073-7928

VL - 2022

SP - 343

EP - 372

JO - International Mathematics Research Notices

JF - International Mathematics Research Notices

IS - 1

ER -