Sharp dimension estimates of holomorphic functions and rigidity

Let be a complete noncompact Kähler manifold of complex dimension with nonnegative holomorphic bisectional curvature. Denote by the space of holomorphic functions of polynomial growth of degree at most on . In this paper we prove that

for all , with equality for some positive integer if and only if is holomorphically isometric to . We also obtain sharp improved dimension estimates when its volume growth is not maximal or its Ricci curvature is positive somewhere.

     

Algebraic Goodwillie calculus and a cotriple model for the remainder

Goodwillie has defined a tower of approximations for a functor from spaces to spaces that is analogous to the Taylor series of a function. His order approximation at a space depends on the values of on coproducts of large suspensions of the space: .

We define an ``algebraic' version of the Goodwillie tower, , that depends only on the behavior of on coproducts of . When is a functor to connected spaces or grouplike -spaces, the functor is the base of a fibration

whose fiber is the simplicial space associated to a cotriple built from the cross effect of the functor . In a range in which commutes with realizations (for instance, when is the identity functor of spaces), the algebraic Goodwillie tower agrees with the ordinary (topological) Goodwillie tower, so this theory gives a way of studying the Goodwillie approximation to a functor in many interesting cases.

     

A generalization of Marshall's equivalence relation

For prime and for a field containing a root of unity of order , we generalize Marshall's equivalence relation on orderings to arbitrary subgroups of of index . The equivalence classes then correspond to free pro- factors of the maximal pro- Galois group of . We generalize to this setting results of Jacob on the maximal pro- Galois group of a Pythagorean field.

     

Algebra of dimension theory

The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory, this algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes of graded groups . There are two geometric interpretations of these equivalence classes: 1) For pointed CW complexes and , if and only if the infinite symmetric products and are of the same extension type (i.e., iff for all compact ). 2) For pointed compact spaces and , if and only if and are of the same dimension type (i.e., for all Abelian groups ).

Dranishnikov's version of the Hurewicz Theorem in extension theory becomes for all simply connected .

The concept of cohomological dimension of a pointed compact space with respect to a graded group is introduced. It turns out iff for all . If and are two positive graded groups, then if and only if for all compact .

     

Extension-orthogonal components of preprojective varieties

Let be a Dynkin quiver, and let be the corresponding preprojective algebra. Let be a set of pairwise different indecomposable irreducible components of varieties of -modules such that generically there are no extensions between and for all . We show that the number of elements in is at most the number of positive roots of . Furthermore, we give a module-theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky.

     

Polar sets on metric spaces

We show that if is a proper metric measure space equipped with a doubling measure supporting a Poincaré inequality, then subsets of with zero -capacity are precisely the -polar sets; that is, a relatively compact subset of a domain in is of zero -capacity if and only if there exists a -superharmonic function whose set of singularities contains the given set. In addition, we prove that if is a -hyperbolic metric space, then the -superharmonic function can be required to be -superharmonic on the entire space . We also study the the following question: If a set is of zero -capacity, does there exist a -superharmonic function whose set of singularities is precisely the given set?

     

Generalized interpolation in with a complexity constraint

In a seminal paper, Sarason generalized some classical interpolation problems for functions on the unit disc to problems concerning lifting onto of an operator that is defined on ( is an inner function) and commutes with the (compressed) shift . In particular, he showed that interpolants (i.e., such that ) having norm equal to exist, and that in certain cases such an is unique and can be expressed as a fraction with . In this paper, we study interpolants that are such fractions of functions and are bounded in norm by (assuming that , in which case they always exist). We parameterize the collection of all such pairs and show that each interpolant of this type can be determined as the unique minimum of a convex functional. Our motivation stems from the relevance of classical interpolation to circuit theory, systems theory, and signal processing, where is typically a finite Blaschke product, and where the quotient representation is a physically meaningful complexity constraint.

     

Resonances for steplike potentials: Forward and inverse results

We consider resonances associated to the one dimensional Schrödinger operator , where if x_M$"> and if , with . We obtain asymptotics of the resonance-counting function for several regions. Moreover, we show that in several situations, the resonances, , and determine uniquely up to translation.

     

Root invariants in the Adams spectral sequence

Let be a ring spectrum for which the -Adams spectral sequence converges. We define a variant of Mahowald's root invariant called the `filtered root invariant' which takes values in the term of the -Adams spectral sequence. The main theorems of this paper are concerned with when these filtered root invariants detect the actual root invariant, and explain a relationship between filtered root invariants and differentials and compositions in the -Adams spectral sequence. These theorems are compared to some known computations of root invariants at the prime . We use the filtered root invariants to compute some low-dimensional root invariants of -periodic elements at the prime . We also compute the root invariants of some infinite -periodic families of elements at the prime .

     

Invariants, Boolean algebras and ACA

The sentences asserting the existence of invariants for mathematical structures are usually third order ones. We develop a general approach to analyzing the strength of such statements in second order arithmetic in the spirit of reverse mathematics. We discuss a number of simple examples that are equivalent to ACA. Our major results are that the existence of elementary equivalence invariants for Boolean algebras and isomorphism invariants for dense Boolean algebras are both of the same strength as ACA. This system corresponds to the assertion that (the arithmetic jump of ) exists for every set . These are essentially the first theorems known to be of this proof theoretic strength. The proof begins with an analogous result about these invariants on recursive (dense) Boolean algebras coding .

     

Stable geometric dimension of vector bundles over even-dimensional real projective spaces

In 1981, Davis, Gitler, and Mahowald determined the geometric dimension of stable vector bundles of order over if is even and sufficiently large and . In this paper, we use the Bendersky-Davis computation of to show that the 1981 result extends to all (still provided that is sufficiently large). If , the result is often different due to anomalies in the formula for when , but we also determine the stable geometric dimension in these cases.

     

Quivers with relations arising from clusters case)

Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. Let be a cluster algebra of type . We associate to each cluster of an abelian category such that the indecomposable objects of are in natural correspondence with the cluster variables of which are not in . We give an algebraic realization and a geometric realization of . Then, we generalize the ``denominator theorem' of Fomin and Zelevinsky to any cluster.

     

New properties of convex functions in the Heisenberg group

We prove some new properties of the weakly -convex functions recently introduced by Danielli, Garofalo and Nhieu. As an interesting application of our results we prove a theorem of Busemann-Feller-Alexandrov type in the Heisenberg groups , .

     

On the -theory and topological cyclic homology of smooth schemes over a discrete valuation ring

We show that for a smooth and proper scheme over a henselian discrete valuation ring of mixed characteristic , the -adic étale -theory and -adic topological cyclic homology agree.

     

On the correlations of directions in the Euclidean plane

Let denote the repartition of the -level correlation measure of the finite set of directions , where is the fixed point and is an integer lattice point in the square . We show that the average of the pair correlation repartition over in a fixed disc converges as . More precisely we prove, for every and , the estimate

We also prove that for each individual point , the -level correlation diverges at any point as , and we give an explicit lower bound for the rate of divergence.

     

On the eigenvalue problem for perturbed nonlinear maximal monotone operators in reflexive Banach spaces

Let be a real reflexive Banach space with dual and open and bounded and such that  Let be maximal monotone with and and with and A general and more unified eigenvalue theory is developed for the pair of operators  Further conditions are given for the existence of a pair such that

The ``implicit" eigenvalue problem, with in place of is also considered.  The existence of continuous branches of eigenvectors of infinite length is investigated, and a Fredholm alternative in the spirit of Necas is given for a pair of homogeneous operators No compactness assumptions have been made in most of the results.  The degree theories of Browder and Skrypnik are used, as well as the degree theories of the authors involving densely defined perturbations of maximal monotone operators.  Applications to nonlinear partial differential equations are included.

     

Equivalence of domains arising from duality of orbits on flag manifolds

S. Gindikin and the author defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of non-holomorphic type by computing many examples. In this paper, we first prove this conjecture for the open -orbit on an ``arbitrary' flag manifold generalizing the result of Barchini. This conjecture for closed was solved by J. A. Wolf and R. Zierau for Hermitian cases and by G. Fels and A. Huckleberry for non-Hermitian cases. We also deduce an alternative proof of this result for non-Hermitian cases.

     

Unramified cohomology of classifying varieties for exceptional simply connected groups

Let be a classifying variety for an exceptional simple simply connected algebraic group . We compute the degree 3 unramified Galois cohomology of with values in over an arbitrary field . Combined with a paper by Merkurjev, this completes the computation of these cohomology groups for semisimple simply connected over all fields.

These computations provide another family of examples of simple simply connected groups such that is not stably rational.

     

Isovariant Borsuk-Ulam results for pseudofree circle actions and their converse

In this paper we shall study the existence of an -isovariant map from a rational homology sphere with pseudofree action to a representation sphere . We first show some isovariant Borsuk-Ulam type results. Next we shall consider the converse of those results and show that there exists an -isovariant map from to under suitable conditions.