TY - JOUR
T1 - Basic Operations on Supertropical Quadratic Forms
AU - Izhakian, Zur
AU - Knebusch, Manfred
N1 - Publisher Copyright:
© 2017, EMS Press. All rights reserved.
PY - 2017
Y1 - 2017
N2 - In the case that a module V over a (commutative) supertropical semiring R is free, the R-module Quad(V) of all quadratic forms on V is almost never a free module. Nevertheless, Quad(V) has two free submodules, the module QL(V) of quasilinear forms with base D0 and the module Rig(V) of rigid forms with base H0, such that Quad(V) = QL(V) + Rig(V) and QL(V) ∩ Rig(V) = {0}.In this paper we study endomorphisms of Quad(V) for which each submodule Rq with q ∈ D0 ∪ H0 is invariant; these basic endomorphisms are determined by coefficients in R and do not depend on the base of V. We aim for a description of all basic endomorphisms of Quad(V), or more generally of its submodules spanned by subsets of D0 ∪ H0. But, due to complexity issues, this naive goal is highly non-trivial for an arbitrary supertropical semiring R. Our main stress is therefore on results valid under only mild conditions on R, while a complete solution is provided for the case that R is a tangible super-semifield.
AB - In the case that a module V over a (commutative) supertropical semiring R is free, the R-module Quad(V) of all quadratic forms on V is almost never a free module. Nevertheless, Quad(V) has two free submodules, the module QL(V) of quasilinear forms with base D0 and the module Rig(V) of rigid forms with base H0, such that Quad(V) = QL(V) + Rig(V) and QL(V) ∩ Rig(V) = {0}.In this paper we study endomorphisms of Quad(V) for which each submodule Rq with q ∈ D0 ∪ H0 is invariant; these basic endomorphisms are determined by coefficients in R and do not depend on the base of V. We aim for a description of all basic endomorphisms of Quad(V), or more generally of its submodules spanned by subsets of D0 ∪ H0. But, due to complexity issues, this naive goal is highly non-trivial for an arbitrary supertropical semiring R. Our main stress is therefore on results valid under only mild conditions on R, while a complete solution is provided for the case that R is a tangible super-semifield.
KW - Tropical algebra
KW - bilinear forms
KW - minimal ordering
KW - quadratic forms
KW - quadratic pairs
KW - supertropical modules
KW - unique base property
UR - http://www.scopus.com/inward/record.url?scp=85166055505&partnerID=8YFLogxK
U2 - 10.4171/DM/607
DO - 10.4171/DM/607
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85166055505
SN - 1431-0635
VL - 22
SP - 1661
EP - 1707
JO - Documenta Mathematica
JF - Documenta Mathematica
ER -