The automorphism group of an affine quadric

We determine the automorphism group for a large class of affine quadric hypersurfaces over a field, viewed as affine algebraic varieties. In particular, we find that the group of real polynomial automorphisms of the n-sphere is just the orthogonal group O(n+1) whenever n is a power of 2. It is not known whether the same is true for arbitrary n. The proof uses Karpenko's theorem that certain projective quadrics over a field are not ruled. That is, they are not birational over the given field to the product of any variety with the projective line. We also formulate a general result on automorphisms of affine varieties. We conclude by conjecturing a converse to Karpenko's theorem, predicting exactly which projective quadrics are ruled.Comment: 9 pages, to appear in Math. Proc. Camb. Phil. So

Algebraic structures of tropical mathematics

Tropical mathematics often is defined over an ordered cancellative monoid \tM, usually taken to be (\RR, +) or (\QQ, +). Although a rich theory has arisen from this viewpoint, cf. [L1], idempotent semirings possess a restricted algebraic structure theory, and also do not reflect certain valuation-theoretic properties, thereby forcing researchers to rely often on combinatoric techniques. In this paper we describe an alternative structure, more compatible with valuation theory, studied by the authors over the past few years, that permits fuller use of algebraic theory especially in understanding the underlying tropical geometry. The idempotent max-plus algebra $A$ of an ordered monoid \tM is replaced by R: = L\times \tM, where $L$ is a given indexing semiring (not necessarily with 0). In this case we say $R$ layered by $L$. When $L$ is trivial, i.e, $L=\{1\}$, $R$ is the usual bipotent max-plus algebra. When $L=\{1,\infty\}$ we recover the "standard" supertropical structure with its "ghost" layer. When L = \NN we can describe multiple roots of polynomials via a "layering function" $s: R \to L$. Likewise, one can define the layering $s: R^{(n)} \to L^{(n)}$ componentwise; vectors $v_1, \dots, v_m$ are called tropically dependent if each component of some nontrivial linear combination \sum \a_i v_i is a ghost, for "tangible" \a_i \in R. Then an $n\times n$ matrix has tropically dependent rows iff its permanent is a ghost. We explain how supertropical algebras, and more generally layered algebras, provide a robust algebraic foundation for tropical linear algebra, in which many classical tools are available. In the process, we provide some new results concerning the rank of d-independent sets (such as the fact that they are semi-additive),put them in the context of supertropical bilinear forms, and lay the matrix theory in the framework of identities of semirings.Comment: 19 page