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 .

     

Witten-Helffer-Sjöstrand theory for -equivariant cohomology

Given an -invariant Morse function and an -invariant Riemannian metric , a family of finite dimensional subcomplexes , , of the Witten deformation of the -equivariant de Rham complex is constructed, by studying the asymptotic behavior of the spectrum of the corresponding Laplacian as . In fact the spectrum of can be separated into the small eigenvalues, finite eigenvalues and the large eigenvalues. Then one obtains as the complex of eigenforms corresponding to the small eigenvalues of . This permits us to verify the -equivariant Morse inequalities. Moreover suppose is self-indexing and satisfies the Morse-Smale condition, then it is shown that this family of subcomplexes converges as to a geometric complex which is induced by and calculates the -equivariant cohomology of .

     

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.

     

Scrambled sets of continuous maps of 1-dimensional polyhedra

Let be a 1-dimensional simplicial complex in without isolated vertexes, be the polyhedron of with the metric induced by , and be a continuous map. In this paper we prove that if is finite, then the interior of every scrambled set of in is empty. We also show that if is an infinite complex, then there exist continuous maps from to itself having scrambled sets with nonempty interiors, and if or , then there exist maps of with the whole space being a scrambled set.

     

An algorithm for calculating the Nielsen number on surfaces with boundary

Let be a self-map of a hyperbolic surface with boundary. The Nielsen number, , depends only on the induced map of the fundamental group, which can be viewed as a free group on generators, . We determine conditions for fixed points to be in the same fixed point class and if these conditions are enough to determine the fixed point classes, we say that is -characteristic. We define an algebraic condition on the and show that ``most' maps satisfy this condition and that all maps which satisfy this condition are -characteristic. If is -characteristic, we present an algorithm for calculating and prove that the inequality holds, where denotes the Lefschetz number of and the Euler characteristic of , thus answering in part a question of Jiang and Guo.

     

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

     

Multivariate matrix refinable functions with arbitrary matrix dilation

Characterizations of the stability and orthonormality of a multivariate matrix refinable function with arbitrary matrix dilation are provided in terms of the eigenvalue and -eigenvector properties of the restricted transition operator. Under mild conditions, it is shown that the approximation order of is equivalent to the order of the vanishing moment conditions of the matrix refinement mask . The restricted transition operator associated with the matrix refinement mask is represented by a finite matrix , with and being the Kronecker product of matrices and . The spectral properties of the transition operator are studied. The Sobolev regularity estimate of a matrix refinable function is given in terms of the spectral radius of the restricted transition operator to an invariant subspace. This estimate is analyzed in an example.

     

Derivatives of Wronskians with applications to families of special Weierstrass points

Let be a flat proper family of smooth connected projective curves parametrized by some smooth scheme of finite type over . On every such a family, suitable derivatives along the fibers" (in the sense of Lax) of the relative wronskian, as defined by Laksov and Thorup, are constructed. They are sections of suitable jets extensions of the -th tensor power of the relative canonical bundle of the family itself.

The geometrical meaning of such sections is discussed: the zero schemes of the -th derivative () of a relative wronskian correspond to families of Weierstrass Points (WP's) having weight at least .

The locus in , the coarse moduli space of smooth projective curves of genus , of curves possessing a WP of weight at least , is denoted by . The fact that has the expected dimension for all was implicitly known in the literature. The main result of this paper hence consists in showing that has the expected dimension for all . As an application we compute the codimension Chow (-)class of for all , the main ingredient being the definition of the -th derivative of a relative wronskian, which is the crucial tool which the paper is built on. In the concluding remarks we show how this result may be used to get relations among some codimension Chow (-)classes in (), corresponding to varieties of curves having a point with a suitable prescribed Weierstrass Gap Sequence, relating to previous work of Lax.

     

Dehn surgery on arborescent links

This paper studies Dehn surgery on a large class of links, called arborescent links. It will be shown that if an arborescent link is sufficiently complicated, in the sense that it is composed of at least rational tangles with all , and none of its length 2 tangles are of the form , then all complete surgeries on produce Haken manifolds. The proof needs some result on surgery on knots in tangle spaces. Let be a tangle with a closed circle, and let . We will show that if and mod , then remains incompressible after all nontrivial surgeries on . Two bridge links are a subclass of arborescent links. For such a link , most Dehn surgeries on it are non-Haken. However, it will be shown that all complete surgeries yield manifolds containing essential laminations, unless has a partial fraction decomposition of the form , in which case it does admit non-laminar surgeries.

     

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.

     

On the number of radially symmetric solutions to Dirichlet problems with jumping nonlinearities of superlinear order

This paper is concerned with the multiplicity of radially symmetric solutions to the Dirichlet problem

on the unit ball with boundary condition on . Here is a positive function and is a function that is superlinear (but of subcritical growth) for large positive , while for large negative we have that , where is the smallest positive eigenvalue for in with on . It is shown that, given any integer , the value may be chosen so large that there are solutions with or less interior nodes. Existence of positive solutions is excluded for large enough values of .

     

Class numbers of cyclotomic function fields

Let be a prime power and let be the finite field with elements. For each polynomial in , one could use the Carlitz module to construct an abelian extension of , called a Carlitz cyclotomic extension. Carlitz cyclotomic extensions play a fundamental role in the study of abelian extensions of , similar to the role played by cyclotomic number fields for abelian extensions of . We are interested in the tower of Carlitz cyclotomic extensions corresponding to the powers of a fixed irreducible polynomial in . Two types of properties are obtained for the -parts of the class numbers of the fields in this tower, for a fixed prime number . One gives congruence relations between the -parts of these class numbers. The other gives lower bound for the -parts of these class numbers.

     

Distribution semigroups and abstract Cauchy problems

We present a new definition of distribution semigroups, covering in particular non-densely defined generators. We show that for a closed operator in a Banach space the following assertions are equivalent: (a) generates a distribution semigroup; (b) the convolution operator has a fundamental solution in where denotes the domain of supplied with the graph norm and denotes the inclusion ; (c) generates a local integrated semigroup. We also show that every generator of a distribution semigroup generates a regularized semigroup.

     

Combinatorial families that are exponentially far from being listable in Gray code sequence

Let be a collection of subsets of . In this paper we study numerical obstructions to the existence of orderings of for which the cardinalities of successive subsets satisfy congruence conditions. Gray code orders provide an example of such orderings. We say that an ordering of is a Gray code order if successive subsets differ by the adjunction or deletion of a single element of . The cardinalities of successive subsets in a Gray code order must alternate in parity. It follows that if is the difference between the number of elements of having even (resp. odd) cardinality, then is a lower bound for the cardinality of the complement of any subset of which can be listed in Gray code order. For , the collection of -blockfree subsets of is defined to be the set of all subsets of such that if and . We will construct a Gray code order for . In contrast, for we find the precise (positive) exponential growth rate of with as . This implies is far from being listable in Gray code order if is large. Analogous results for other kinds of orderings of subsets of are proved using generalizations of . However, we will show that for all , one can order so that successive elements differ by the adjunction and/or deletion of an integer from . We show that, over an -letter alphabet, the words of length which contain no block of consecutive letters cannot, in general, be listed so that successive words differ by a single letter. However, if and or if and , such a listing is always possible.

     

Haar Measure and the Artin Conductor

Let be a connected reductive group, defined over a local, non-archimedean field . The group is locally compact and unimodular. In On the motive of a reductive group, Invent. Math. 130 (1997), by B. H. Gross, a Haar measure was defined on , using the theory of Bruhat and Tits. In this note, we give another construction of the measure , using the Artin conductor of the motive of over . The equivalence of the two constructions is deduced from a result of G. Prasad.

     

Vertex operators for twisted quantum affine algebras

We construct explicitly the -vertex operators (intertwining operators) for the level one modules of the classical quantum affine algebras of twisted types using interacting bosons, where for (), for , for (), and for (). A perfect crystal graph for is constructed as a by-product.

     

Compressions of resolvents and maximal radius of regularity

Suppose that is left invertible in for all , where is an open subset of the complex plane. Then an operator-valued function is a left resolvent of in if and only if has an extension , the resolvent of which is a dilation of of a particular form. Generalized resolvents exist on every open set , with included in the regular domain of . This implies a formula for the maximal radius of regularity of in terms of the spectral radius of its generalized inverses. A solution to an open problem raised by
J. Zemánek is obtained.

     

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 .

     

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.

     

Maximal function estimates of solutions to general dispersive partial differential equations

Let be the solution of the general dispersive initial value problem:

and the global maximal operator of . Sharp weighted -esimates for with are given for general phase functions .