Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

Generating continuous mappings with Lipschitz mappings

If is a metric space, then and denote the semigroups of continuous and Lipschitz mappings, respectively, from to itself. The relative rank of modulo is the least cardinality of any set where generates . For a large class of separable metric spaces we prove that the relative rank of modulo is uncountable. When is the Baire space , this rank is . A large part of the paper emerged from discussions about the necessity of the assumptions imposed on the class of spaces from the aforementioned results.

     

Analytic contractions, nontangential limits, and the index of invariant subspaces

Let be a Hilbert space of analytic functions on the open unit disc such that the operator of multiplication with the identity function defines a contraction operator. In terms of the reproducing kernel for we will characterize the largest set such that for each , the meromorphic function has nontangential limits a.e. on . We will see that the question of whether or not has linear Lebesgue measure 0 is related to questions concerning the invariant subspace structure of .

We further associate with a second set , which is defined in terms of the norm on . For example, has the property that for all if and only if has linear Lebesgue measure 0.

It turns out that a.e., by which we mean that has linear Lebesgue measure 0. We will study conditions that imply that a.e.. As one corollary to our results we will show that if dim and if there is a such that for all and all we have , then a.e. and the following four conditions are equivalent:

(1) for some ,

(2) for all , ,

(3) has nonzero Lebesgue measure,

(4) every nonzero invariant subspace of has index 1, i.e., satisfies dim .

     

Minimal polynomials and radii of elements in finite-dimensional power-associative algebras

In the first section of this paper we revisit the definition and some of the properties of the minimal polynomial of an element of a finite-dimensional power-associative algebra over an arbitrary field . Our main observation is that , the minimal polynomial of , may depend not only on , but also on the underlying algebra. More precisely, if is a subalgebra of , and if is the minimal polynomial of in , then may differ from , in which case we have .

In the second section we restrict attention to the case where is either the real or the complex numbers, and define , the radius of an element in , to be the largest root in absolute value of the minimal polynomial of . We show that possesses some of the familiar properties of the classical spectral radius. In particular, we prove that is a continuous function on .

In the third and last section, we deal with stability of subnorms acting on subsets of finite-dimensional power-associative algebras. Following a brief survey, we enhance our understanding of the subject with the help of our findings of the previous section. Our main new result states that if , a subset of an algebra , satisfies certain assumptions, and is a continuous subnorm on , then is stable on if and only if majorizes the radius defined above.

     

Deformed preprojective algebras of generalized Dynkin type

We introduce the class of deformed preprojective algebras of generalized Dynkin graphs (), (), , , and () and prove that it coincides with the class of all basic connected finite-dimensional self-injective algebras for which the inverse Nakayama shift of every non-projective simple module is isomorphic to its third syzygy .

     

The distance function from the boundary in a Minkowski space

Let the space be endowed with a Minkowski structure (that is, is the gauge function of a compact convex set having the origin as an interior point, and with boundary of class ), and let be the (asymmetric) distance associated to . Given an open domain of class , let be the Minkowski distance of a point from the boundary of . We prove that a suitable extension of to (which plays the rôle of a signed Minkowski distance to ) is of class in a tubular neighborhood of , and that is of class outside the cut locus of (that is, the closure of the set of points of nondifferentiability of in ). In addition, we prove that the cut locus of has Lebesgue measure zero, and that can be decomposed, up to this set of vanishing measure, into geodesics starting from and going into along the normal direction (with respect to the Minkowski distance). We compute explicitly the Jacobian determinant of the change of variables that associates to every point outside the cut locus the pair , where denotes the (unique) projection of on , and we apply these techniques to the analysis of PDEs of Monge-Kantorovich type arising from problems in optimal transportation theory and shape optimization.

     

On Fano manifolds with Nef tangent bundles admitting 1-dimensional varieties of minimal rational tangents

Let be a Fano manifold of Picard number 1 with numerically effective tangent bundle. According to the principal case of a conjecture of Campana-Peternell's, should be biholomorphic to a rational homogeneous manifold , where is a simple Lie group, and is a maximal parabolic subgroup.

In our opinion there is no overriding evidence for the Campana-Peternell Conjecture for the case of Picard number 1 to be valid in its full generality. As part of a general programme that the author has undertaken with Jun-Muk Hwang to study uniruled projective manifolds via their varieties of minimal rational tangents, a new geometric approach is adopted in the current article in a special case, consisting of (a) recovering the generic variety of minimal rational tangents , and (b) recovering the structure of a rational homogeneous manifold from . The author proves that, when and the generic variety of minimal rational tangents is 1-dimensional, is biholomorphic to the projective plane , the 3-dimensional hyperquadric , or the 5-dimensional Fano homogeneous contact manifold of type , to be denoted by .

The principal difficulty is part (a) of the scheme. We prove that is a rational curve of degrees , and show that resp. 2 resp. 3 corresponds precisely to the cases of resp. resp. . Let be the normalization of a choice of a Chow component of minimal rational curves on . Nefness of the tangent bundle implies that is smooth. Furthermore, it implies that at any point , the normalization of the corresponding Chow space of minimal rational curves marked at is smooth. After proving that is a rational curve, our principal object of study is the universal family of , giving a double fibration , which gives -bundles. There is a rank-2 holomorphic vector bundle on whose projectivization is isomorphic to . We prove that is stable, and deduce the inequality from the inequality resulting from stability and the existence theorem on Hermitian-Einstein metrics. The case of is ruled out by studying the structure of the curvature tensor of the Hermitian-Einstein metric on in the special case where .

     

Complex symmetric operators and applications II

A bounded linear operator on a complex Hilbert space is called complex symmetric if , where is a conjugation (an isometric, antilinear involution of ). We prove that , where is an auxiliary conjugation commuting with . We consider numerous examples, including the Poincaré-Neumann singular integral (bounded) operator and the Jordan model operator (compressed shift). The decomposition also extends to the class of unbounded -selfadjoint operators, originally introduced by Glazman. In this context, it provides a method for estimating the norms of the resolvents of certain unbounded operators.

     

Trees and valuation rings

A subring of a division algebra is called a valuation ring of if or holds for all nonzero in . The set of all valuation rings of is a partially ordered set with respect to inclusion, having as its maximal element. As a graph is a rooted tree (called the valuation tree of ), and in contrast to the commutative case, may have finitely many but more than one vertices. This paper is mainly concerned with the question of whether each finite, rooted tree can be realized as a valuation tree of a division algebra , and one main result here is a positive answer to this question where can be chosen as a quaternion division algebra over a commutative field.

     

Quadratic maps and Bockstein closed group extensions

Let be a central extension of the form where and are elementary abelian -groups. Associated to there is a quadratic map , given by the -power map, which uniquely determines the extension. This quadratic map also determines the extension class of the extension in and an ideal in which is generated by the components of . We say that is Bockstein closed if is an ideal closed under the Bockstein operator.

We find a direct condition on the quadratic map that characterizes when the extension is Bockstein closed. Using this characterization, we show for example that quadratic maps induced from the fundamental quadratic map given by yield Bockstein closed extensions.

On the other hand, it is well known that an extension is Bockstein closed if and only if it lifts to an extension for some -lattice . In this situation, one may write for a ``binding matrix' with entries in . We find a direct way to calculate the module structure of in terms of . Using this, we study extensions where the lattice is diagonalizable/triangulable and find interesting equivalent conditions to these properties.

     

Curves of genus 2 with group of automorphisms isomorphic to or

The classification of curves of genus 2 over an algebraically closed field was studied by Clebsch and Bolza using invariants of binary sextic forms, and completed by Igusa with the computation of the corresponding three-dimensional moduli variety . The locus of curves with group of automorphisms isomorphic to one of the dihedral groups or is a one-dimensional subvariety.

In this paper we classify these curves over an arbitrary perfect field of characteristic in the case and in the case. We first parameterize the -isomorphism classes of curves defined over by the -rational points of a quasi-affine one-dimensional subvariety of ; then, for every curve representing a point in that variety we compute all of its -twists, which is equivalent to the computation of the cohomology set .

The classification is always performed by explicitly describing the objects involved: the curves are given by hyperelliptic models and their groups of automorphisms represented as subgroups of . In particular, we give two generic hyperelliptic equations, depending on several parameters of , that by specialization produce all curves in every -isomorphism class.

     

Differentiability of spectral functions for symmetric -stable processes

Let be a signed Radon measure in the Kato class and define a Schrödinger type operator on . We show that its spectral bound is differentiable if and is Green-tight.

     

The McMullen domain: Rings around the boundary

In this paper we show that there are infinitely many rings , around the McMullen domain in the parameter plane for the family of complex rational maps of the form where and . These rings converge to the boundary of the McMullen domain as . The rings contain parameter values that lie at the center of Sierpinski holes. That is, these parameters lie at the center of an open set in the parameter plane in which all of the corresponding maps have Julia sets that are Sierpinski curves. The rings also contain the same number of superstable parameter values, i.e., parameter values for which one of the critical points is periodic of period either or .

     

On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

Bases for some reciprocity algebras I

For a complex vector space , let be the algebra of polynomial functions on . In this paper, we construct bases for the algebra of all highest weight vectors in , where and for all , and the algebra of highest weight vectors in .

     

Greedy wavelet projections are bounded on BV

Let be the space of functions of bounded variation on with . Let , , be a wavelet system of compactly supported functions normalized in , i.e., , . Each has a unique wavelet expansion with convergence in . If is the set of indicies for which are largest (with ties handled in an arbitrary way), then is called a greedy approximation to . It is shown that with a constant independent of . This answers in the affirmative a conjecture of Meyer (2001).

     

Projective manifolds with small pluridegrees

Let be a very ample line bundle on a connected complex projective manifold of dimension . Except for a short list of degenerate pairs , and there exists a morphism expressing as the blowup of a projective manifold at a finite set , with nef and big for the ample line bundle . The projective geometry of is largely controlled by the pluridegrees for , of . For example, , where is the genus of a curve section of , and is equal to the self-intersection of the canonical divisor of the minimal model of a surface section of . In this article, a detailed analysis is made of the pluridegrees of . The restrictions found are used to give a new lower bound for the dimension of the space of sections of . The inequalities for the pluridegrees, that are presented in this article, will be used in a sequel to study the sheet number of the morphism associated to .