1,915 research outputs found
On the cohomology of Galois groups determined by Witt rings
Let F denote a field of characteristic different from two. In this paper we
describe the mod 2 cohomology of a Galois group which is determined by the Witt
ring WF
Positive trace polynomials and the universal Procesi-Schacher conjecture
Positivstellensatz is a fundamental result in real algebraic geometry
providing algebraic certificates for positivity of polynomials on semialgebraic
sets. In this article Positivstellens\"atze for trace polynomials positive on
semialgebraic sets of matrices are provided. A Krivine-Stengle-type
Positivstellensatz is proved characterizing trace polynomials nonnegative on a
general semialgebraic set using weighted sums of hermitian squares with
denominators. The weights in these certificates are obtained from generators of
and traces of hermitian squares. For compact semialgebraic sets
Schm\"udgen- and Putinar-type Positivstellens\"atze are obtained: every trace
polynomial positive on has a sum of hermitian squares decomposition with
weights and without denominators. The methods employed are inspired by
invariant theory, classical real algebraic geometry and functional analysis.
Procesi and Schacher in 1976 developed a theory of orderings and positivity
on central simple algebras with involution and posed a Hilbert's 17th problem
for a universal central simple algebra of degree : is every totally positive
element a sum of hermitian squares? They gave an affirmative answer for .
In this paper a negative answer for is presented. Consequently, including
traces of hermitian squares as weights in the Positivstellens\"atze is
indispensable
Maximal quadratic modules on *-rings
We generalize the notion of and results on maximal proper quadratic modules
from commutative unital rings to -rings and discuss the relation of this
generalization to recent developments in noncommutative real algebraic
geometry. The simplest example of a maximal proper quadratic module is the cone
of all positive semidefinite complex matrices of a fixed dimension. We show
that the support of a maximal proper quadratic module is the symmetric part of
a prime -ideal, that every maximal proper quadratic module in a
Noetherian -ring comes from a maximal proper quadratic module in a simple
artinian ring with involution and that maximal proper quadratic modules satisfy
an intersection theorem. As an application we obtain the following extension of
Schm\" udgen's Strict Positivstellensatz for the Weyl algebra: Let be an
element of the Weyl algebra which is not negative semidefinite
in the Schr\" odinger representation. It is shown that under some conditions
there exists an integer and elements such
that is a finite sum of hermitian squares. This
result is not a proper generalization however because we don't have the bound
.Comment: 11 page
From braid groups to mapping class groups
This paper is a survey of some properties of the braid groups and related
groups that lead to questions on mapping class groups
Commutative association schemes
Association schemes were originally introduced by Bose and his co-workers in
the design of statistical experiments. Since that point of inception, the
concept has proved useful in the study of group actions, in algebraic graph
theory, in algebraic coding theory, and in areas as far afield as knot theory
and numerical integration. This branch of the theory, viewed in this collection
of surveys as the "commutative case," has seen significant activity in the last
few decades. The goal of the present survey is to discuss the most important
new developments in several directions, including Gelfand pairs, cometric
association schemes, Delsarte Theory, spin models and the semidefinite
programming technique. The narrative follows a thread through this list of
topics, this being the contrast between combinatorial symmetry and
group-theoretic symmetry, culminating in Schrijver's SDP bound for binary codes
(based on group actions) and its connection to the Terwilliger algebra (based
on combinatorial symmetry). We propose this new role of the Terwilliger algebra
in Delsarte Theory as a central topic for future work.Comment: 36 page
- …