Claus Scheiderer

Learn More
We begin a systematic study of positivity and moment problems in an equivariant setting. Given a reductive group G over R acting on an affine R-variety V , we consider the induced dual action on the coordinate ring R[V ] and on the linear dual space of R[V ]. In this setting, given an invariant closed semialgebraic subset K of V (R), we study the problem of(More)
Given two positive definite forms f, g ∈ R[x 0 ,. .. , xn], we prove that f g N is a sum of squares of forms for all sufficiently large N ≥ 0. We generalize this result to projective R-varieties X as follows. Suppose that X is reduced without one-dimensional irreducible components, and X(R) is Zariski dense in X. Given everywhere positive global sections f(More)
In 1888, Hilbert proved that every nonnegative quartic form f = f (x, y, z) with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. Up to now, no elementary proof is known. Here we present a completely new approach. Although our proof is not easy, it(More)
In recent years, much work has been devoted to a systematic study of polynomial identities certifying strict or non-strict posi-tivity of a polynomial f on a basic closed set K ⊂ R n. The interest in such identities originates not least from their importance in polynomial optimization. The majority of the important results requires the archimedean(More)
Continuing our recent work in [5] we study polynomial masks of multivariate tight wavelet frames from two additional and complementary points of view: convexity and system theory. We consider such polynomial masks that are derived by means of the unitary extension principle from a single polynomial. We show that the set of such poly-nomials is convex and(More)
We study local-global questions for Galois cohomology over the function field of a curve defined over a p-adic field, the main focus being weak approximation of rational points. We construct a 9-term Poitou–Tate type exact sequence for tori over a field as above (and also a 12-term sequence for finite modules). Like in the number field case, part of the(More)