Embeddings of open manifolds

Let be the simplicial group of homeomorphisms of . The following theorems are proved.

Theorem A. Let be a topological manifold of dim 5 with a finite number of tame ends , . Let be the simplicial group of end preserving homeomorphisms of . Let be a periodic neighborhood of each end in , and let be manifold approximate fibrations. Then there exists a map such that the homotopy fiber of is equivalent to , the simplicial group of homeomorphisms of which have compact support.

Theorem B. Let be a compact topological manifold of dim 5, with connected boundary , and denote the interior of by . Let be the restriction map and let be the homotopy fiber of over . Then is isomorphic to for , where is the concordance space of .

Theorem C. Let be a manifold approximate fibration with dim 5. Then there exist maps and for , such that , where is a compact and connected manifold and is the infinite cyclic cover of .

     

Exact Hausdorff measure and intervals of maximum density for Cantor sets

Consider a linear Cantor set , which is the attractor of a linear iterated function system (i.f.s.) , , on the line satisfying the open set condition (where the open set is an interval). It is known that has Hausdorff dimension given by the equation , and that is finite and positive, where denotes Hausdorff measure of dimension . We give an algorithm for computing exactly as the maximum of a finite set of elementary functions of the parameters of the i.f.s. When (or more generally, if and are commensurable), the algorithm also gives an interval that maximizes the density . The Hausdorff measure is not a continuous function of the i.f.s. parameters. We also show that given the contraction parameters , it is possible to choose the translation parameters in such a way that , so the maximum density is one. Most of the results presented here were discovered through computer experiments, but we give traditional mathematical proofs.

     

On the non-vanishing of cubic twists of automorphic -series

Let be a normalised new form of weight for over and , its base change lift to . A sufficient condition is given for the nonvanishing at the center of the critical strip of infinitely many cubic twists of the -function of . There is an algorithm to check the condition for any given form. The new form of level is used to illustrate our method.

     

On the coefficients of Jacobi sums in prime cyclotomic fields

Let and be prime numbers, and let be a primitive root mod . For , denote by the Jacobi sum . We study the integers such that and . We give a list of properties that characterize these coefficients. Then we show some of their applications to the study of the arithmetic of , in particular to the study of Vandiver's conjecture. For , let be the number of distinct roots of in . We show that . We give closed formulas for the numbers and in terms of quadratic and cubic power residue symbols mod .

     

On sectional genus of quasi-polarized 3-folds

Let be a smooth projective variety over and a nef-big (resp. ample) divisor on . Then is called a quasi-polarized (resp. polarized) manifold. Then we conjecture that , where is the sectional genus of and is the irregularity of . In general it is unknown whether this conjecture is true or not, even in the case of . For example, this conjecture is true if and . But it is unknown if and . In this paper, we prove if and . Furthermore we classify polarized manifolds with , , and .

     

Galois coverings of selfinjective algebras by repetitive algebras

In the representation theory of selfinjective artin algebras an important role is played by selfinjective algebras of the form where is the repetitive algebra of an artin algebra and is an admissible group of automorphisms of . If is of finite global dimension, then the stable module category of finitely generated -modules is equivalent to the derived category of bounded complexes of finitely generated -modules. For a selfinjective artin algebra , an ideal and , we establish a criterion for to admit a Galois covering with an infinite cyclic Galois group . As an application we prove that all selfinjective artin algebras whose Auslander-Reiten quiver has a non-periodic generalized standard translation subquiver closed under successors in are socle equivalent to the algebras , where is a representation-infinite tilted algebra and is an infinite cyclic group of automorphisms of .

     

Classes of singular integrals along curves and surfaces

This paper is concerned with singular convolution operators in , , with convolution kernels supported on radial surfaces . We show that if , then boundedness holds if and only if . This statement can be reduced to a similar statement about the multiplier in . We also construct smooth for which the corresponding operators are bounded for but unbounded for , for given . Finally we discuss some examples of singular integrals along convex curves in the plane, with odd extensions.

     

Golubev series for solutions of elliptic equations

Let be an elliptic system with real analytic coefficients on an open set and let be a fundamental solution of Given a locally connected closed set we fix some massive measure on . Here, a non-negative measure is called massive, if the conditions and imply that We prove that, if is a solution of the equation in then for each relatively compact open subset of and every there exist a solution of the equation in and a sequence () in satisfying such that for This complements an earlier result of the second author on representation of solutions outside a compact subset of

     

On the diophantine equation

In this paper we prove that the equation , , , , , has only the solutions and with is a prime power. The proof depends on some new results concerning the upper bounds for the number of solutions of the generalized Ramanujan-Nagell equations.

     

Diffeomorphisms approximated by Anosov on the 2-torus and their SBR measures

We consider the set of diffeomorphisms of the 2-torus , provided the conditions that the tangent bundle splits into the directed sum of -invariant subbundles , and there is such that and . Then we prove that the set is the union of Anosov diffeomorphisms and diffeomorphisms approximated by Anosov, and moreover every diffeomorphism approximated by Anosov in the set has no SBR measures. This is related to a result of Hu-Young.

     

Capacity convergence results and applications to a Berstein-Markov inequality

Given a sequence of Borel subsets of a given non-pluripolar Borel set in the unit ball in with , we show that the relative capacities converge to if and only if the relative (global) extremal functions () converge pointwise to (). This is used to prove a sufficient mass-density condition on a finite positive Borel measure with compact support in guaranteeing that the pair satisfy a Bernstein-Markov inequality. This implies that the orthonormal polynomials associated to may be used to recover the global extremal function .

     

Homogeneous projective varieties with degenerate secants

The secant variety of a projective variety in , denoted by , is defined to be the closure of the union of lines in passing through at least two points of , and the secant deficiency of is defined by . We list the homogeneous projective varieties with under the assumption that arise from irreducible representations of complex simple algebraic groups. It turns out that there is no homogeneous, non-degenerate, projective variety with and , and the -variety is the only homogeneous projective variety with largest secant deficiency . This gives a negative answer to a problem posed by R. Lazarsfeld and A. Van de Ven if we restrict ourselves to homogeneous projective varieties.

     

Compatible complex structures on almost quaternionic manifolds

On an almost quaternionic manifold we study the integrability of almost complex structures which are compatible with the almost quaternionic structure . If , we prove that the existence of two compatible complex structures forces to be quaternionic. If , that is is an oriented conformal 4-manifold, we prove a maximum principle for the angle function of two compatible complex structures and deduce an application to anti-self-dual manifolds. By considering the special class of Oproiu connections we prove the existence of a well defined almost complex structure on the twistor space of an almost quaternionic manifold and show that is a complex structure if and only if is quaternionic. This is a natural generalization of the Penrose twistor constructions.

     

Positive definite spherical functions on Olshanskii domains

Let be a simply connected complex Lie group with Lie algebra , a real form of , and the analytic subgroup of corresponding to . The symmetric space together with a -invariant partial order is referred to as an Olshanskii space. In a previous paper we constructed a family of integral spherical functions on the positive domain of . In this paper we determine all of those spherical functions on which are positive definite in a certain sense.

     

The ideal structure of some analytic crossed products

We study the ideal structure of a class of some analytic crossed products. For an -discrete, principal, minimal groupoid , we consider the analytic crossed product , where is given by a cocycle . We show that the maximal ideal space of depends on the asymptotic range of , ; that is, is homeomorphic to for finite, and consists of the unique maximal ideal for . We also prove that is semisimple in both cases, and that is invariant under isometric isomorphism.

     

A classification of Baire-1 functions

In this paper we give some topological characterizations of
bounded Baire-1 functions using some ranks. Kechris and Louveau classified the Baire-1 functions to the subclasses for every (where is a compact metric space). The first basic result of this paper is that for , iff there exists a sequence of differences of bounded semicontinuous functions on with pointwise and (where ``' denotes the convergence rank). This extends the work of Kechris and Louveau who obtained this result for . We also show that the result fails for . The second basic result of the paper involves the introduction of a new ordinal-rank on sequences , called the -rank, which is smaller than the convergence rank . This result yields the following characterization of iff there exists a sequence of continuous functions with pointwise and if , resp. if .

     

Isoperimetric Estimates on Sierpinski Gasket Type Fractals

For a compact Hausdorff space that is pathwise connected, we can define the connectivity dimension to be the infimum of all such that all points in can be connected by a path of Hausdorff dimension at most . We show how to compute the connectivity dimension for a class of self-similar sets in that we call point connected, meaning roughly that is generated by an iterated function system acting on a polytope such that the images of intersect at single vertices. This class includes the polygaskets, which are obtained from a regular -gon in the plane by contracting equally to all vertices, provided is not divisible by 4. (The Sierpinski gasket corresponds to .) We also provide a separate computation for the octogasket (), which is not point connected. We also show, in these examples, that , where the infimum is taken over all paths connecting and , and denotes Hausdorff measure, is equivalent to the original metric on . Given a compact subset of the plane of Hausdorff dimension and connectivity dimension , we can define the isoperimetric profile function to be the supremum of , where is a region in the plane bounded by a Jordan curve (or union of Jordan curves) entirely contained in , with . The analog of the standard isperimetric estimate is . We are particularly interested in finding the best constant and identifying the extremal domains where we have equality. We solve this problem for polygaskets with . In addition, for we find an entirely different estimate for as , since the boundary of has infinite measure. We find that the isoperimetric profile function is discontinuous, and that the extremal domains have relatively simple polygonal boundaries. We discuss briefly the properties of minimal paths for the Sierpinski gasket, and the isodiametric problem in the intrinsic metric.

     

Decomposition of

For any locally compact group , let and be the Fourier and the Fourier-Stieltjes algebras of , respectively. is decomposed as a direct sum of and , where is a subspace of consisting of all elements that satisfy the property: for any and any compact subset , there is an with and such that is characterized by the following: an element is in if and only if, for any there is a compact subset such that for all with and . Note that we do not assume the amenability of . Consequently, we have for all if is noncompact. We will apply this characterization of to investigate the general properties of and we will see that is not a subalgebra of even for abelian locally compact groups. If is an amenable locally compact group, then is the subspace of consisting of all elements with the property that for any compact subset , .

     

Causal compactification and Hardy spaces

Let be a irreducible symmetric space of Cayley type. Then is diffeomorphic to an open and dense -orbit in the Shilov boundary of . This compactification of is causal and can be used to give answers to questions in harmonic analysis on . In particular we relate the Hardy space of to the classical Hardy space on the bounded symmetric domain . This gives a new formula for the Cauchy-Szegö kernel for .

     

On the depth of the tangent cone and the growth of the Hilbert function

For a dimensional Cohen-Macaulay local ring we study the depth of the associated graded ring of with respect to an -primary ideal in terms of the Vallabrega-Valla conditions and the length of , where is a minimal reduction of and . As a corollary we generalize Sally's conjecture on the depth of the associated graded ring with respect to a maximal ideal to -primary ideals. We also study the growth of the Hilbert function.