No Arabic abstract
Let $A$ be an algebra and let $f(x_1,...,x_d)$ be a multilinear polynomial in noncommuting indeterminates $x_i$. We consider the problem of describing linear maps $phi:Ato A$ that preserve zeros of $f$. Under certain technical restrictions we solve the problem for general polynomials $f$ in the case where $A=M_n(F)$. We also consider quite general algebras $A$, but only for specific polynomials $f$.
Let $X$ and $Y$ be completely regular spaces and $E$ and $F$ be Hausdorff topological vector spaces. We call a linear map $T$ from a subspace of $C(X,E)$ into $C(Y,F)$ a emph{Banach-Stone map} if it has the form $Tf(y) = S_{y}(f(h(y))$ for a family of linear operators $S_{y} : E to F$, $y in Y$, and a function $h: Y to X$. In this paper, we consider maps having the property: cap^{k}_{i=1}Z(f_{i}) eqemptysetiffcap^{k}_{i=1}Z(Tf_{i}) eq emptyset, where $Z(f) = {f = 0}$. We characterize linear bijections with property (Z) between spaces of continuous functions, respectively, spaces of differentiable functions (including $C^{infty}$), as Banach-Stone maps. In particular, we confirm a conjecture of Ercan and Onal: Suppose that $X$ and $Y$ are realcompact spaces and $E$ and $F$ are Hausdorff topological vector lattices (respectively, $C^{*}$-algebras). Let $T: C(X,E) to C(Y,F)$ be a vector lattice isomorphism (respectively, *-algebra isomorphism) such that Z(f) eqemptysetiff Z(Tf) eqemptyset. Then $X$ is homeomorphic to $Y$ and $E$ is lattice isomorphic (respectively, $C^{*}$-isomorphic) to $F$. Some results concerning the continuity of $T$ are also obtained.
A 1993 result of Alon and Furedi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain Condition (D) on the grid which holds vacuously when the ring is a domain. In the first half of this paper we give a further Generalized Alon-Furedi Theorem which provides a sharp upper bound when the degrees of the polynomial in each variable are also taken into account. This yields in particular a new proof of Alon-Furedi. We then discuss the relationship between Alon-Furedi and results of DeMillo-Lipton, Schwartz and Zippel. A direct coding theoretic interpretation of Alon-Furedi Theorem and its generalization in terms of Reed--Muller type affine variety codes is shown which gives us the minimum Hamming distance of these codes. Then we apply the Alon-Furedi Theorem to quickly recover (and sometimes strengthen) old and new results in finite geometry, including the Jamison/Brouwer-Schrijver bound on affine blocking sets. We end with a discussion of multiplicity enhancements.
Given a polynomial system f associated with a simple multiple zero x of multiplicity {mu}, we give a computable lower bound on the minimal distance between the simple multiple zero x and other zeros of f. If x is only given with limited accuracy, we propose a numerical criterion that f is certified to have {mu} zeros (counting multiplicities) in a small ball around x. Furthermore, for simple double zeros and simple triple zeros whose Jacobian is of normalized form, we define modified Newton iterations and prove the quantified quadratic convergence when the starting point is close to the exact simple multiple zero. For simple multiple zeros of arbitrary multiplicity whose Jacobian matrix may not have a normalized form, we perform unitary transformations and modified Newton iterations, and prove its non-quantified quadratic convergence and its quantified convergence for simple triple zeros.
We give a new characterization of silting subcategories in the stable category of a Frobenius extriangulated category, generalizing the result of Di et al. (J. Algebra 525 (2019) 42-63) about the Auslander-Reiten type correspondence for silting subcategories over triangulated categories. More specifically, for any Frobenius extriangulated category $mathcal{C}$, we establish a bijective correspondence between silting subcategories of the stable category $underline{mathcal{C}}$ and certain covariantly finite subcategories of $mathcal{C}$. As a consequence, a characterization of silting subcategories in the stable category of a Frobenius exact category is given. This result is applied to homotopy categories over abelian categories with enough projectives, derived categories over Grothendieck categories with enough projectives as well as to the stable category of Gorenstein projective modules over a ring $R$.
For a simple Lie algebra, over $mathbb{C}$, we consider the weight which is the sum of all simple roots and denote it $tilde{alpha}$. We formally use Kostants weight multiplicity formula to compute the dimension of the zero-weight space. In type $A_r$, $tilde{alpha}$ is the highest root, and therefore this dimension is the rank of the Lie algebra. In type $B_r$, this is the defining representation, with dimension equal to 1. In the remaining cases, the weight $tilde{alpha}$ is not dominant and is not the highest weight of an irreducible finite-dimensional representation. Kostants weight multiplicity formula, in these cases, is assigning a value to a virtual representation. The point, however, is that this number is nonzero if and only if the Lie algebra is classical. This gives rise to a new characterization of the exceptional Lie algebras as the only Lie algebras for which this value is zero.