Rigidity of smooth Schubert varieties in Hermitian symmetric spaces

In this paper we study the space of effective -cycles in with the homology class equal to an integral multiple of the homology class of Schubert variety of type . When is a proper linear subspace of a linear space in , we know that is already complicated. We will show that for a smooth Schubert variety in a Hermitian symmetric space, any irreducible subvariety with the homology class , , is again a Schubert variety of type , unless is a non-maximal linear space. In particular, any local deformation of such a smooth Schubert variety in Hermitian symmetric space is obtained by the action of the Lie group .

     

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.

     

On the shape of the moduli of spherical minimal immersions

The DoCarmo-Wallach moduli space parametrizing spherical minimal immersions of a Riemannian manifold is a compact convex body in a linear space of tracefree symmetric endomorphisms of an eigenspace of . In this paper we define and study a sequence of metric invariants , , associated to a compact convex body with base point in the interior of . The invariant measures how lopsided is in dimension with respect to . The results are then appplied to the DoCarmo-Wallach moduli space. We also give an efficient algorithm to calculate for convex polytopes.

     

A homotopy principle for maps with prescribed Thom-Boardman singularities

Let and be smooth manifolds of dimensions and ( ) respectively. Let denote an open subspace of which consists of all Boardman submanifolds of symbols with . An -regular map refers to a smooth map such that . We will prove what is called the homotopy principle for -regular maps on the existence level. Namely, a continuous section of over has an -regular map such that and are homotopic as sections.

     

Scrollar syzygies of general canonical curves with genus

We prove that for a general canonical curve of genus , the space of th (last) scrollar syzygies is isomorphic to the Brill-Noether locus . Schreyer has conjectured that these scrollar syzygies span the space of all th (last) syzygies of . Using Mukai varieties we prove this conjecture for genus , and .

     

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.

     

Generalized Ahlfors functions

Let be a bordered Riemann surface with genus and boundary components. Let be a smooth family of smooth Jordan curves in which all contain the point 0 in their interior. Let and let be the family of all bounded holomorphic functions on such that and for almost every . Then there exists a smooth up to the boundary holomorphic function with at most zeros on so that for every and such that for every . If, in addition, all the curves are strictly convex, then is unique among all the functions from the family .

     

Homotopical complexity and good spaces

This paper is an exploration of two ideas in the study of closed classes: the -complexity of a space and the notion of good spaces (spaces for which ). A variety of formulae for the computation of complexity are given, along with some calculations. Good spaces are characterized in terms of the functors and . The main result is a countable upper bound for -complexity when is a good space.

     

Fixed points of commuting holomorphic mappings other than the Wolff point

Let be the unit disc of and let be such that . For 1$">, let . We study the behavior of on . In particular, we prove that . As a consequence, besides conditions for , we prove a conjecture of C. Cowen in case and are univalent mappings.

     

Geometric interplay between function subspaces and their rings of differential operators

We study, in the setting of algebraic varieties, finite-dimensional spaces of functions that are invariant under a ring of differential operators, and give conditions under which acts irreducibly. We show how this problem, originally formulated in physics, is related to the study of principal parts bundles and Weierstrass points, including a detailed study of Taylor expansions. Under some conditions it is possible to obtain and as global sections of a line bundle and its ring of differential operators. We show that several of the published examples of are of this type, and that there are many more--in particular, arising from toric varieties.

     

Bochner-Riesz means with respect to a rough distance function

The generalized Bochner-Riesz operator may be defined as

where is an appropriate distance function and is the inverse Fourier transform. The behavior of on is described for , a rough distance function. We conjecture that this operator is bounded on when and , and unbounded when . This conjecture is verified for large ranges of .

     

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.

     

Structure and stability of triangle-free set systems

We define the notion of stability for a monotone property of set systems. This phenomenon encompasses some classical results in combinatorics, foremost among them the Erdos-Simonovits stability theorem. A triangle is a family of three sets such that , , are each nonempty, and . We prove the following new theorem about the stability of triangle-free set systems.

Fix . For every , there exist and such that the following holds for all : if and is a triangle-free family of -sets of containing at least members, then there exists an -set which contains fewer than members of .

This is one of the first stability theorems for a nontrivial problem in extremal set theory. Indeed, the corresponding extremal result, that for every triangle-free family of -sets of has size at most , was a longstanding conjecture of Erdos (open since 1971) that was only recently settled by Mubayi and Verstraëte (2005) for all .

     

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).

     

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 .

     

Effective cones of quotients of moduli spaces of stable -pointed curves of genus zero

Let , the moduli space of -pointed stable genus zero curves, and let be the quotient of by the action of on the last marked points. The cones of effective divisors , , are calculated. Using this, upper bounds for the cones generated by divisors with moving linear systems are calculated, , along with the induced bounds on the cones of ample divisors of and . As an application, the cone is analyzed in detail.

     

Stratified transversality by isotopy

For an abstract stratified set or a -regular stratification, hence for any -, - or -regular stratification, we prove that after stratified isotopy of , a stratified subspace of , or a stratified map , can be made transverse to a fixed stratified map .

     

Translation equivalence in free groups

Motivated by the work of Leininger on hyperbolic equivalence of homotopy classes of closed curves on surfaces, we investigate a similar phenomenon for free groups. Namely, we study the situation when two elements in a free group have the property that for every free isometric action of on an -tree the translation lengths of and on are equal.