BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context.
A short proof is given of the fact that various classes of algebras including the free associative algebra are Hopfian, i.e., every epimorphism is an automorphism. This further simplifies the Dicks-Lewin solution of the Jacobian conjecture for the free associative algebra.
Let p be a polynomial in several non-commuting variables with coefficients in a field K of arbitrary characteristic. It has been conjectured that for any n, for p multilinear, the image of p evaluated on the set Mn(K) of n by n matrices is either zero, or the set of scalar matrices, or the set sln(K) of matrices of trace 0, or all of Mn(K). This expository paper describes research on this problem and related areas. We discuss the solution of this conjecture for n=2 in Section 2, some decisive results for n=3 in Section 3, and partial information for n≥3 in Section 4, also for non-multilinear polynomials. In addition we consider the case of K not algebraically closed, and polynomials evaluated on other finite dimensional simple algebras (in particular the algebra of the quaternions). This review recollects results and technical material of our previous papers, as well as new results of other researches, and applies them in a new context. This article also explains the role of the Deligne trick, which is related to some nonassociative cases in new situations, underlying our earlier, more straightforward approach. We pose some problems for future generalizations and point out possible generalizations in the present state of art, and in the other hand providing counterexamples showing the boundaries of generalizations.
We develop the rudiments of a tropical homology theory, based on "triples" and "systems." Results include a version of Schanuel's lemma, projective dimension, the homology semi-module, and a weak Snake lemma.
In a series of papers, we used full quivers as tools in describing PI-varieties of algebras and providing a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. In this paper, utilizing ideas from that work, we give a full exposition of Belov's theorem that relatively free affine PI-algebras over an arbitrary field are representable. (Kemer proved the theorem over an infinite field.)
Associative or Jordan algebras generated by two idempotents are described precisely.
We study the pathology that causes tropical eigenspaces of distinct supertropical eigenvalues of a nonsingular matrix A, to be dependent. We show that in lower dimensions the eigenvectors of distinct eigenvalues are independent, as desired. The index set that differentiates between subsequent essential monomials of the characteristic polynomial, yields an eigenvalue λ, and corresponds to the columns of the eigenmatrix A+λI from which the eigenvectors are taken. We ascertain the cause for failure in higher dimensions, and prove that independence of the eigenvectors is recovered in case a certain "difference criterion" holds, defined in terms of disjoint differences between index sets of subsequent coefficients. We conclude by considering the eigenvectors of the matrix $A^\nabla : = \det(A)^{-1}\adj(A)$ and the connection of the independence question to generalized eigenvectors.
Hypergroups are lifted to power semigroups with negation, yielding a method of transferring results from semigroup theory. This applies to analogous structures such as hypergroups, hyperfields, and hypermodules, and permits us to transfer the general theory from universal algebra. Special attention is given to the examples from Baker's article.
A direct sum decomposition theory is developed for direct summands (and complements) of modules over a semiring R, having the property that v+w=0 implies v=0 and w=0. Although this never occurs when R is a ring, it always does holds for free modules over the max-plus semiring and related semirings. In such situations, the direct complement is unique, and the decomposition is unique up to refinement. Thus, every finitely generated projective module is a finite direct sum of summands of R (assuming the mild assumption that 1 is a finite sum of orthogonal primitive idempotents of R). Some of the results are presented more generally for weak complements and semidirect complements. We conclude by examining the obstruction to the "upper bound" property in this context.
A correspondence exists between affine tropical varieties and algebraic objects, following the classical Zariski correspondence between irreducible affine varieties and the prime spectrum of the coordinate algebra in affine algebraic geometry. Although in this context the natural analog of the polynomial ring over a field is the polynomial semiring over a semifield (without a zero element), one obtains homomorphic images of coordinate algebras via congruences rather than ideals, which complicates the algebraic theory considerably. In this paper, we pass to the semifield F(λ1,…,λn) of fractions of the polynomial semiring, for which there already exists a well developed theory of kernels, which are normal convex subgroups; this approach enables us to switch the structural roles of addition and multiplication and makes available much of the extensive theory of chains of homomorphisms of groups, including the Jordan-Holder theory. The parallel of the zero set now is the 1-set. These notions are refined in the language of supertropical algebra to ν-kernels and 1ν-sets, lending more precision to the theory. In analogy to Hilbert's celebrated Nullstellensatz which provides a correspondence between radical ideals and zero sets, we develop a correspondence between 1ν-sets and a well-studied class of ν-kernels of the rational semifield called polars, originating from the theory of lattice-ordered groups. This correspondence becomes simpler and more applicable when restricted to a special kind of kernel, called principal, intersected with the kernel generated by F. We utilize this theory to study tropical roots in tropical geometry. As an application, we develop composition series and convexity degree, leading to a tropical version of the Jordan-Hölder theorem.
We study quadratic forms on free modules with unique base, the situation that arises in tropical algebra, and prove the analog of Witt's Cancellation Theorem. Also, the tensor product of an indecomposable bilinear module (U,γ) with an indecomposable quadratic module (V,q) is indecomposable, with the exception of one case, where two indecomposable components arise.
We initiate the theory of a quadratic form q over a semiring R. As customary, one can write q(x+y)=q(x)+q(y)+b(x,y), where b is a companion bilinear form. But in contrast to the ring-theoretic case, the companion bilinear form need not be uniquely defined. Nevertheless, q can always be written as a sum of quadratic forms q=κ+ρ, where κ is quasilinear in the sense that κ(x+y)=κ(x)+κ(y), and ρ is rigid in the sense that it has a unique companion. In case that R is a supersemifield (cf. Definition 4.1 below) and q is defined on a free R-module, we obtain an explicit classification of these decompositions q=κ+ρ and of all companions b of q. As an application to tropical geometry, given a quadratic form q:V→R on a free module V over a commutative ring R and a supervaluation φ:R→U with values in a supertropical semiring [5], we define - after choosing a base L=(vi∣i∈I) of V - a quadratic form qφ:U(I)→U on the free module U(I) over the semiring U. The analysis of quadratic forms over a supertropical semiring enables one to measure the "position" of q with respect to L via φ.
This article is a sequel of [4], where we introduced quadratic forms on a module~ V over a supertropical semiring R and analysed the set of bilinear companions of a quadratic form q:V→R in case that the module V is free, with fairly complete results if R is a supersemifield. Given such a companion b we now classify the pairs of vectors in V in terms of (q,b). This amounts to a kind of tropical trigonometry with a sharp distinction between the cases that a sort of Cauchy-Schwarz inequality holds or fails. We apply this to study the supertropicalizations (cf. [4]) of a quadratic form on a free module X over a field in the simplest cases of interest where rk(X)=2. In the last part of the paper we start exploiting the fact that the free module V as above has a unique base up to permutations and multiplication by units of R, and moreover~V carries a so called minimal (partial) ordering. Under mild restriction on~R we determine all q-minimal vectors in V, i.e., the vectors x∈V for which q(x′)<q(x) whenever x′<x.
We develop some algebraic structure notions such as composition series and convexity degree, along with some notions holding a geometric interpretation, like reducibility and hyperdimension, with the main objective being a tropical Krull-Schmidt theorem.
In this paper we present two intrinsic algebraic definitions of tropical variety motivated by the classical Zariski correspondence, one utilizing the algebraic structure of the coordinate semiring of an affine supertropical algebraic set, and the second based on the layered structure. We tie them to tropical geometry, especially in connection with the dimension of an affine variety.
A self-contained, combinatoric exposition is given for the Braun-Kemer-Razmyslov Theorem over an arbitrary commutative Noetherian ring.
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,∞} 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→L. Likewise, one can define the layering s:R(n)→L(n) componentwise; vectors v1,…,vm 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×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.
This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories, together with a "tropicalization functor" which permits us to pass from usual algebraic geometry to the tropical world. We consider tropical varieties from this categorical viewpoint, with emphasis on polynomial functions and their roots.
We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended accordingly, to cover noncancellative monoids.
Continuing [5], this paper investigates finer points of supertropical vector spaces, including dual bases and bilinear forms, with supertropical versions of standard classical results such as the Gram-Schmidt theorem and Cauchy-Schwarz inequality, and change of base. We also present the supertropical version of quadratic forms, and see how they correspond to symmetric supertropical bilinear forms.
This paper is a sequel of [IKR1], where we defined supervaluations on a commutative ring R and studied a dominance relation ϕ≥ψ between supervaluations ϕ and ψ on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry. A supervaluation ϕ:R→U is a multiplicative map from R to a supertropical semiring U, cf. [IR1], [IR2], [IKR1], with further properties, which mean that ϕ is a sort of refinement, or covering, of an m-valuation (= monoid valuation) v:R→M. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [B], while ϕ≥ψ means that ψ:R→V is a sort of coarsening of the supervaluation ϕ. If ϕ(R) generates the semiring U, then ϕ≥ψ iff there exists a "transmission" α:U→V with ψ=α∘ϕ. Transmissions are multiplicative maps with further properties, cf. [IKR1, Sec. 5]. Every semiring homomorphism α:U→V is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the paper we study surjective transmissions via equivalence relations on supertropical semirings, often much more complicated than congruences by ideals in usual commutative algebra.
We describe the ideals, especially the prime ideals, of semirings of polynomials over layered domains, and in particular over supertropical domains. Since there are so many of them, special attention is paid to the ideals arising from layered varieties, for which we prove that every prime ideal is a consequence of finitely many binomials. We also obtain layered tropical versions of the classical Principal Ideal Theorem and Hilbert Basis Theorem.
Generalizing supertropical algebras, we present a "layered" structure, "sorted" by a semiring which permits varying ghost layers, and indicate how it is more amenable than the "standard" supertropical construction in factorizations of polynomials, description of varieties, properties of the resultant, and for mathematical analysis and calculus, in particular with respect to multiple roots of polynomials. Explicit examples and comparisons are given for various sorting semirings such as the natural numbers and the positive rational numbers, and we see how this theory relates to some recent developments in the tropical literature such as "characteristic 1," "analytification," and "hyperfields."
We complement two papers on supertropical valuation theory ([IKR1],[IKR2]) by providing natural examples of m-valuations (= monoid valuations), after that of supervaluations and transmissions between them. The supervaluations discussed have values in totally ordered supertropical semirings, and the transmissions discussed respect the orderings. Basics of a theory of such semirings and transmissions are developed as far as needed.
Supertropical monoids are a structure slightly more general than the supertropical semirings, which have been introduced and used by the first and the third authors for refinements of tropical geometry and matrix theory in [IR1]-[IR3], and then studied by us in a systematic way in [IKR1]-[IKR3] in connection with "supervaluations". In the present paper we establish a category $\STROP_m$ of supertropical monoids by choosing as morphisms the "transmissions", defined in the same way as done in [IKR1] for supertropical semirings. The previously investigated category STROP of supertropical semirings is a full subcategory of STROPm. Moreover, there is associated to every supertropical monoid V a supertropical semiring V^ in a canonical way. A central problem in [IKR1]-[IKR3] has been to find for a supertropical semiring U the quotient U/E by a "TE-relation", which is a certain kind of equivalence relation on the set U compatible with multiplication (cf. [IK1, Definition 4.5]). It turns out that this quotient always exists in $\STROP_m$. In the good case, that U/E is a supertropical semiring, this is also the right quotient in $\STROP.$ Otherwise, analyzing (U/E)∧, we obtain a mild modification of E to a TE-relation E′ such that U/E′=(U/E)∧ in $\STROP.$ In this way we now can solve various problems left open in [IKR1], [IKR2] and gain further insight into the structure of transmissions and supervaluations. Via supertropical monoids we also obtain new results on totally ordered supervaluations and monotone transmissions studied in [IKR3].
This paper began as an investigation of the question of whether D1⊗FD2 is a domain where the Di are division algebras and F is an algebraically closed field contained in their centers. We present an example where the answer is "no", and also study the Picard group and Brauer group properties of F1⊗FF2 where the Fi are fields. Finally, as part of our example, we have results about division algebras and Brauer groups over curves. Specifically, we give a splitting criterion for certain Brauer group elements on the product of two curves over F.
We give a short tour through major parts of a recent long paper [IKR1] on supertropical valuation theory, leaving aside nearly all proofs (to be found in [IKR1]). In this way we hope to give easy access to ideas of a new branch of so called "supertropical algebra".
A celebrated theorem of P.M.Cohn says that for any two division rings (not necessarily finite dimensional) over a field F, their amalgamated product over F is a domain which can be embedded in a division ring. Note that even with the two initial division rings begin finite dimensional over their centers, the resulting division ring is never finite dimensional over its center. Perhaps this led Lance Small to ask the following question. Assume F1 and F2 are fields with the same characteristic. Small asked whether any two division algebras D1/F1 and D2/F2 can be embedded in some third division algebra E/F. We start with a surprisingly straightforward counterexample, but then show that a positive solution exists for division algebras finitely generated over a common subfield which is either algebraically closed or the prime subfield.
The objective of this paper is to lay out the algebraic theory of supertropical vector spaces and linear algebra, utilizing the key antisymmetric relation of ``ghost surpasses.''Special attention is paid to the various notions of ``base,'' which include d-base and s-base, and these are compared to other treatments in the tropical theory. Whereas the number of elements in a d-base may vary according to the d-base, it is shown that when an s-base exists, it is unique up to permutation and multiplication by scalars, and can be identified with a set of ``critical'' elements. Linear functionals and the dual space are also studied, leading to supertropical bilinear forms and a supertropical version of the Gram matrix, including its connection to linear dependence, as well as a supertropical version of a theorem of Artin.
We investigate powers of supertropical matrices, with special attention to the role of the coefficients of the supertropical characteristic polynomial (especially the supertropical trace) in controlling the rank of a power of a matrix. This leads to a Jordan-type decomposition of supertropical matrices, together with a generalized eigenspace decomposition of a power of an arbitrary supertropical matrix.
We interpret a valuation v on a ring R as a map v:R→M into a so called bipotent semiring M (the usual max-plus setting), and then define a \textbf{supervaluation} ϕ as a suitable map into a supertropical semiring U with ghost ideal M (cf. [IR1], [IR2]) covering v via the ghost map U→M. The set $\Cov(v)$ of all supervaluations covering v has a natural ordering which makes it a complete lattice. In the case that R is a field, hence for v a Krull valuation, we give a complete explicit description of $\Cov(v)$. The theory of supertropical semirings and supervaluations aims for an algebra fitting the needs of tropical geometry better than the usual max-plus setting. We illustrate this by giving a supertropical version of Kapranov's lemma.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.