On Generic differential -extensions

Let be an algebraically closed field with trivial derivation and let denote the differential rational field , with , , , , differentially independent indeterminates over . We show that there is a Picard-Vessiot extension for a matrix equation , with differential Galois group , with the property that if is any differential field with field of constants , then there is a Picard-Vessiot extension with differential Galois group if and only if there are with well defined and the equation giving rise to the extension .

     

Enriched Reedy categories

We define the notion of an enriched Reedy category and show that if is a -Reedy category for some symmetric monoidal model category and is a -model category, the category of -functors and -natural transformations from to is again a model category.

     

Finite rank Toeplitz operators on the Bergman space

Given a complex Borel measure with compact support in the complex plane the sesquilinear form defined on analytic polynomials and by , determines an operator from the space of such polynomials to the space of linear functionals on . This operator is called the Toeplitz operator with symbol . We show that has finite rank if and only if is a finite linear combination of point masses. Application to Toeplitz operators on the Bergman space is immediate.

     

Some exact sequences for Toeplitz algebras of spherical isometries

A family of commuting bounded operators on a Hilbert space is said to be a spherical isometry if in the weak operator topology. We show that every commuting family of spherical isometries is jointly subnormal, which means that it has a commuting normal extension on some Hilbert space Suppose now that the normal extension is minimal. Then we show that every bounded operator in the commutant of has a unique norm preserving extension to an operator in the commutant of Moreover, if is the commutator ideal in then is *-isomorphic to We also show that the commutant of the minimal normal extension is completely isometric, via the compression mapping, to the space of Toeplitz-type operators associated to We apply these results to construct exact sequences for Toeplitz algebras on generalized Hardy spaces associated to strictly pseudoconvex domains.

     

Norming algebras and automatic complete boundedness of isomorphisms of operator algebras

We combine the notion of norming algebra introduced by Pop, Sinclair and Smith with a result of Pisier to show that if and are operator algebras, then any bounded epimorphism of onto is completely bounded provided that contains a norming -subalgebra. We use this result to give some insights into Kadison's Similarity Problem: we show that every faithful bounded homomorphism of a -algebra on a Hilbert space has completely bounded inverse, and show that a bounded representation of a -algebra is similar to a -representation precisely when the image operator algebra -norms itself. We give two applications to isometric isomorphisms of certain operator algebras. The first is an extension of a result of Davidson and Power on isometric isomorphisms of CSL algebras. Secondly, we show that an isometric isomorphism between subalgebras of -diagonals () satisfying extends uniquely to a -isomorphism of the -algebras generated by and ; this generalizes results of Muhly-Qiu-Solel and Donsig-Pitts.

     

Tauberian type theorem for operators with interpolation spectrum for Hölder classes

We consider an invertible operator on a Banach space whose spectrum is an interpolating set for Hölder classes. We show that if , , with and , then for all , assuming that satisfies suitable regularity conditions. When is a Hilbert space and (i.e. is a contraction), we show that under the same assumptions, is unitary and this is sharp.

     

Perturbations and Weyl's theorem

A Banach space operator is completely hereditarily normaloid, , if either every part, and (also) for every invertible part , of is normaloid or if for every complex number every part of is normaloid. Sufficient conditions for the perturbation of by an algebraic operator to satisfy Weyl's theorem are proved. Our sufficient conditions lead us to the conclusion that the conjugate operator satisfies -Weyl's theorem.

     

Counting cusps of subgroups of

Let be a number field with real places and complex places, and let be the ring of integers of . The quotient has cusps, where is the class number of . We show that under the assumption of the generalized Riemann hypothesis that if is not or an imaginary quadratic field and if , then has infinitely many maximal subgroups with cusps. A key element in the proof is a connection to Artin's Primitive Root Conjecture.

     

On the residual finiteness and other properties of (relative) one-relator groups

A relative one-relator presentation has the form where is a set, is a group, and is a word on . We show that if the word on obtained from by deleting all the terms from has what we call the unique max-min property, then the group defined by is residually finite if and only if is residually finite (Theorem 1). We apply this to obtain new results concerning the residual finiteness of (ordinary) one-relator groups (Theorem 4). We also obtain results concerning the conjugacy problem for one-relator groups (Theorem 5), and results concerning the relative asphericity of presentations of the form (Theorem 6).

     

Differential structure of the Thompson components of selfadjoint operators

Different equivalence relations are defined in the set of selfadjoint operators of a Hilbert space in order to extend a very well known relation in the cone of positive operators. As in the positive case, for the equivalence class admits a differential structure, which is compatible with a complete metric defined on . This metric coincides with the Thompson metric when is positive.

     

Norms of elementary operators

Let and , , be bounded linear operators acting on a separable Hilbert space . In this note, we prove that Moreover, we prove that there exists an operator with such that if and only if there exists a unitary such that

     

Generalized bi-circular projections on minimal ideals of operators

We characterize generalized bi-circular projections on a minimal norm ideal of operators in where is a separable infinite dimensional Hilbert space.

     

On the isolated points of the surjective spectrum of a bounded operator

For a bounded operator acting on a complex Banach space, we show that if is not surjective, then is an isolated point of the surjective spectrum of if and only if , where is the quasinilpotent part of and is the analytic core for . Moreover, we study the operators for which . We show that for each of these operators , there exists a finite set consisting of Riesz points for such that and is connected, and derive some consequences.

     

On the distribution of Kloosterman sums

For a prime , we consider Kloosterman sums

over a finite field of elements. It is well known that due to results of Deligne, Katz and Sarnak, the distribution of the sums when runs through is in accordance with the Sato-Tate conjecture. Here we show that the same holds where runs through the sums for , for any two sufficiently large sets .

We also improve a recent bound on the nonlinearity of a Boolean function associated with the sequence of signs of Kloosterman sums.

     

Operator theory on noncommutative varieties, II

An -tuple of operators on a Hilbert space is called a -constrained row contraction if and

where is a WOT-closed two-sided ideal of the noncommutative analytic Toeplitz algebra and is defined using the -functional calculus for row contractions.

We show that the constrained characteristic function associated with and is a complete unitary invariant for -constrained completely non-coisometric (c.n.c.) row contractions. We also provide a model for this class of row contractions in terms of the constrained characteristic functions. In particular, we obtain a model theory for -commuting c.n.c. row contractions.

     

Nests with the partial factorization property

It is proved that a nest on a separable complex Hilbert space has the left (resp. right) partial factorization property, which means that for every invertible operator from onto a Hilbert space there exists an isometry (resp. a coisometry) from into such that both and are in the associated nest algebra if and only if it is atomic (resp. countable).

     

Codes over rings of size four, Hermitian lattices, and corresponding theta functions

Let be an imaginary quadratic field with ring of integers , where is a square free integer such that , and let is a linear code defined over . The level theta function of is defined on the lattice , where is the natural projection. In this paper, we prove that:

i) for any such that , and have the same coefficients up to ,

ii) for , determines the code uniquely,

iii) for , there is a positive dimensional family of symmetrized weight enumerator polynomials corresponding to .

     

On residualities in the set of Markov operators on

We show that the set of those Markov operators on the Schatten class such that , where is one-dimensional projection, is norm open and dense. If we require that the limit projections must be on strictly positive states, then such operators form a norm dense . Surprisingly, for the strong operator topology operators the situation is quite the opposite.

     

On the triple jump of the set of atoms of a Boolean algebra

We prove the following result concerning the degree spectrum of the atom relation on a computable Boolean algebra. Let be a computable Boolean algebra with infinitely many atoms and be the Turing degree of the atom relation of . If is a c.e. degree such that , then there is a computable copy of where the atom relation has degree . In particular, for every c.e. degree , any computable Boolean algebra with infinitely many atoms has a computable copy where the atom relation has degree .

     

A non-Hausdorff model for the complement of a complexified hyperplane arrangement

Given a hyperplane arrangement in a real vector space , we introduce a real algebraic prevariety , and exhibit the complement of in the complexification of as the total space of an affine bundle over with fibers modeled on the dual vector space .