An inequality for means with applications

We show that an almost trivial inequality between the first and second moment and the maximal value of a random variable can be used to slightly improve deep theorems. Received: 25 November 2006     

On semidefinite representations of non-closed sets

Spectrahedra are sets defined by linear matrix inequalities. Projections of spectrahedra are called semidefinitely representable sets. Both kinds of sets are of practical use in polynomial optimization, since they occur as feasible sets in semidefinite programming. There are several recent results on the question which sets are semidefinitely representable. So far, all results focus on the case of closed sets.In this work we develop a new method to prove semidefinite representability of sets which are not closed. For example, the interior of a semidefinitely representable set is shown to be semidefinitely representable. More general, one can remove faces of a semidefinitely representable set and preserve semidefinite representability, as long as the faces are parametrized in a suitable way.     

*-Orderings on a ring with involution

The object of the paper is to extend part of the theory of *-orderings on a skewfield with involution to a general ring with involution. The valuation associated to a *-ordering is examined. Every *-ordering is shown to extend. *-orderings are shown to form a space of signs as defined by Brocker and Marshall. In case the involution is the identity, the ring under consideration is commutative and the *-orderings are just the usual orderings making up the usual real spectrum of a commutative ring as defined by Coste and Roy.     

On Bröcker'st-invariant and separating families for constructible sets

Summary The paper looks at certain open problems in the theory of minimal generation of semi-algebraic sets and constructible sets in the real spectrum: problems about thet-invariant and the associatedp-invariant for separating families, and about the extension of the theory to arbitrary commutative rings.     

Toric degenerations of spherical varieties

We prove that any affine, resp. polarized projective, spherical variety admits a flat degeneration to an affine, resp. polarized projective, toric variety. Motivated by mirror symmetry, we give conditions for the limit toric variety to be a Gorenstein Fano, and provide many examples. We also provide an explanation for the limits as boundary points of the moduli space of stable pairs whose existence is predicted by the Minimal Model Program.     

Incidence combinatorics of resolutions

We introduce notions of combinatorial blowups, building sets, and nested sets for arbitrary meet-semilattices. This gives a~common abstract framework for the incidence combinatorics occurring in the context of De Concini-Procesi models of subspace arrangements and resolutions of singularities in toric varieties. Our main theorem states that a sequence of combinatorial blowups, prescribed by a building set in linear extension compatible order, gives the face poset of the corresponding simplicial complex of nested sets. As applications we trace the incidence combinatorics through every step of the De Concini-Procesi model construction, and we introduce the notions of building sets and nested sets to the context of toric varieties. There are several other instances, such as models of stratified manifolds and certain graded algebras associated with finite lattices, where our combinatorial framework has been put to work; we present an outline at the end of this paper.     

Degree of the divisor of solutions of a differential equation on a projective variety

Using the data schemes from [1] we give a rigorous definition of algebraic differential equations on the complex projective space Pⁿ. For an algebraic subvariety S?Pⁿ, we present an explicit formula for the degree of the divisor of solutions of a differential equation on S and give some examples of applications. We extend the technique and result to the real case.     

Completeness and compactness for varieties over a local field

This paper shows that for a local field K, a subfield k ⊂ K and a variety X over k, X is complete if and only if for every finite field extension Kʹ | K, the set X(Kʹ) is compact in its strong topology. The author likes to thank Florian Pop, Jakob Stix, Stefan Wewers, Gunther Cornelissen and his own parents for their support. Received: 13 April 2006     

An irreducible semigroup of non-negative square-zero operators

We construct an irreducible multiplicative semigroup of non-negative square-zero operators acting onL ^p [0,1), for 1p<.The main idea for this paper was developed at the 2nd Linear Algebra Workshop at Bled, Slovenia, in June 1999.The work of the three Slovenian authors was supported by the Research Ministry of Slovenia.This author's work was supported by a Division grant from Colby College.     

Verification method for theta function identities via Liouville’s theorem

Liouville’s theorem is proposed as verification method for theta function identities with several interesting examples being illustrated. Received: 20 June 2007     

Weierstrass semigroups whose minimum positive integers are even

We consider three subsets of the set of 2n-semigroups, where for a positive integer n a 2n-semigroup means a numerical semigroup whose minimum positive integer is 2n. These three subsets are obtained by the Weierstrass semigroups of total ramification points on a cyclic covering of the projective line, the Weierstrass semigroups of ramification points on a double covering of a non-singular curve and the Weierstrass semigroups of points on a non-singular curve. We show that the three subsets are different for n ≧ 3. Partially supported by Grant-in-Aid for Scientific Research (17540046), Japan Society for the Promotion of Science. Received: 19 June 2006     

2-universal -lattices over real quadratic fields

Let be a real quadratic field with m a square-free positive rational integer, and be the ring of integers in F. An -lattice L on a totally positive definite quadratic space V over F is called r-universal if L represents all totally positive definite -lattices l with rank r over . We prove that there exists no 2-universal -lattice over F with rank less than 6, and there exists a 2-universal -lattice over F with rank 6 if and only if m=2, 5. Moreover there exists only one 2-universal -lattice with rank 6, up to isometry, over .     

Toric sets and orbits on toric varieties

Let D be an integer matrix. A toric set, namely the points in Kⁿ parametrized by the columns of D, and a toric variety are associated to D. The toric set is a subset of the toric variety. We describe the relation between the toric set and the toric variety, in terms of the orbits of the torus action on the toric variety. The toric set depends on the sign (+,−,0) pattern of the matrix D. Finally, we prove that any toric variety over an algebraically closed field can be expressed as a toric set, for an appropriate matrix.     

Homomorphisms of matrix semigroups over division rings from dimension two to four

Let D be an arbitrary division ring and M_n(D) the multiplicative semigroup of all n×n matrices over D. We study non-degenerate, injective homomorphisms from M₂(D) to M₄(D). In particular, we present a structural result for the case when D is the ring of quaternions.     

On the number of representations of certain integers as sums of 11 or 13 squares

Let r_k(n) denote the number of representations of an integer n as a sum of k squares. We prove that for odd primes p,

     

Remarks on abelian surfaces in nonsingular toric Fano 4-folds

In this paper, we investigate whether the 124 nonsingular toric Fano 4-folds admit totally nondegenerate embeddings from abelian surfaces or not. In consequence, we determine the possibilities of these embeddings, except for the remaining 18 nonsingular toric Fano 4-folds. Received: 12 July 2002     

Joint discrete universality for periodic zeta-functions

Abstract

In the paper, joint universality theorems for periodic zeta functions with multiplicative coefficients and periodic Hurwitz zeta-functions are proved. The main theorem of [11] is extended, and two new joint universality theorems on the approximation of a collection of analytic functions by discrete shifts of the above zeta-functions are obtained. For this, certain linear independence hypotheses are applied.     

Frames for vector spaces and affine spaces

A finite frame for a finite dimensional Hilbert space is simply a spanning sequence. We show that the linear functionals given by the dual frame vectors do not depend on the inner product, and thus it is possible to extend the frame expansion (and other elements of frame theory) to any finite spanning sequence for a vector space. The corresponding coordinate functionals generalise the dual basis (the case when the vectors are linearly independent), and are characterised by the fact that the associated Gramian matrix is an orthogonal projection. Existing generalisations of the frame expansion to Banach spaces involve an analogue of the frame bounds and frame operator.The potential applications of our results are considerable. Whenever there is a natural spanning set for a vector space, computations can be done directly with it, in an efficient and stable way. We illustrate this with a diverse range of examples, including multivariate spline spaces, generalised barycentric coordinates, and vector spaces over the rationals, such as the cyclotomic fields.