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.

     

Deformations of dihedral -group extensions of fields

Given a -Galois extension of number fields we ask whether it is a specialization of a regular -Galois cover of . This is the ``inverse" of the usual use of the Hilbert Irreducibility Theorem in the Inverse Galois problem. We show that for many groups such arithmetic liftings exist by observing that the existence of generic extensions implies the arithmetic lifting property. We explicitly construct generic extensions for dihedral -groups under certain assumptions on the base field . We also show that dihedral groups of order and have generic extensions over any base field with characteristic different from .

     

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.

     

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 .

     

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.

     

Toeplitz operators with PC symbols on general Carleson Jordan curves with arbitrary Muckenhoupt weights

We describe the spectra and essential spectra of Toeplitz operators with piecewise continuous symbols on the Hardy space in case , is a Carleson Jordan curve and is a Muckenhoupt weight in . Classical results tell us that the essential spectrum of the operator is obtained from the essential range of the symbol by filling in line segments or circular arcs between the endpoints of the jumps if both the curve and the weight are sufficiently nice. Only recently it was discovered by Spitkovsky that these line segments or circular arcs metamorphose into horns if the curve is nice and is an arbitrary Muckenhoupt weight, while the authors observed that certain special so-called logarithmic leaves emerge in the case of arbitrary Carleson curves with nice weights. In this paper we show that for general Carleson curves and general Muckenhoupt weights the sets in question are logarithmic leaves with a halo, and we present final results concerning the shape of the halo.

     

The maximality of the core model

Our main results are: 1) every countably certified extender that coheres with the core model is on the extender sequence of , 2) computes successors of weakly compact cardinals correctly, 3) every model on the maximal 1-small construction is an iterate of , 4) (joint with W. J. Mitchell) is universal for mice of height whenever , 5) if there is a such that is either a singular countably closed cardinal or a weakly compact cardinal, and fails, then there are inner models with Woodin cardinals, and 6) an -Erdös cardinal suffices to develop the basic theory of .

     

Knot invariants from symbolic dynamical systems

If is the group of an oriented knot , then the set of representations of the commutator subgroup into any finite group has the structure of a shift of finite type , a special type of dynamical system completely described by a finite directed graph. Invariants of , such as its topological entropy or the number of its periodic points of a given period, determine invariants of the knot. When is abelian, gives information about the infinite cyclic cover and the various branched cyclic covers of . Similar techniques are applied to oriented links.

     

Möbius-like groups of homeomorphisms of the circle

An orientation preserving homeomorphism of is Möbius-like if it is conjugate in to a Möbius transformation. Our main result is: given a (noncyclic) group whose every element is Möbius-like, if has at least one global fixed point, then the whole group is conjugate in to a Möbius group if and only if the limit set of is all of . Moreover, we prove that if the limit set of is not all of , then after identifying some closed subintervals of to points, the induced action of is conjugate to an action of a Möbius group. Said differently, is obtained from a group which is conjugate to a Möbius group, by a sort of generalized Denjoy's insertion of intervals. In this case is isomorphic, as a group, to a Möbius group.

This result has another interpretation. Namely, we prove that a group of orientation preserving homeomorphisms of whose every element can be conjugated to an affine map (i.e., a map of the form ) is just the conjugate of a group of affine maps, up to a certain insertion of intervals. In any case, the group structure of is the one of an affine group.

     

Overgroups of irreducible linear groups, II

Determining the subgroup structure of algebraic groups (over an algebraically closed field of arbitrary characteristic) often requires an understanding of those instances when a group and a closed subgroup both act irreducibly on some module , which is rational for and . In this paper and in Overgroups of irreducible linear groups, I (J. Algebra 181 (1996), 26-69), we give a classification of all such triples when is a non-connected algebraic group with simple identity component , is an irreducible -module with restricted -high weight(s), and is a simple algebraic group of classical type over sitting strictly between and .

     

A theorem on zeta functions associated with polynomials

Let be an -tuple of non-negative integers and be polynomials in such that for all and the series

is absolutely convergent for Re . We consider the zeta functions

All these zeta functions and are analytic functions of when Re is sufficiently large and they have meromorphic analytic continuations in the whole complex plane.

In this paper we shall prove that

As an immediate application, we use it to evaluate the special values of zeta functions associated with products of linear forms as considered by Shintani and the first author.

     

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.

     

Turnpike property for extremals of variational problems with vector-valued functions

In this paper we study the structure of extremals of variational problems with large enough , fixed end points and an integrand from a complete metric space of functions. We will establish the turnpike property for a generic integrand . Namely, we will show that for a generic integrand , any small and an extremal of the variational problem with large enough , fixed end points and the integrand , for each the set is equal to a set up to in the Hausdorff metric. Here is a compact set depending only on the integrand and are constants which depend only on and , .

     

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

     

On the degree of groups of polynomial subgroup growth

Let be a finitely generated residually finite group and let denote the number of index subgroups of . If for some and for all , then is said to have polynomial subgroup growth (PSG, for short). The degree of is then defined by .

Very little seems to be known about the relation between and the algebraic structure of . We derive a formula for computing the degree of certain metabelian groups, which serves as a main tool in this paper. Addressing a problem posed by Lubotzky, we also show that if is a finite index subgroup, then .

A large part of the paper is devoted to the structure of groups of small degree. We show that is bounded above by a linear function of if and only if is virtually cyclic. We then determine all groups of degree less than , and reveal some connections with plane crystallographic groups. It follows from our results that the degree of a finitely generated group cannot lie in the open interval .

Our methods are largely number-theoretic, and density theorems à la Chebotarev play essential role in the proofs. Most of the results also rely implicitly on the Classification of Finite Simple Groups.

     

Windows of given area with minimal heat diffusion

For a bounded Lipschitz domain , we show the existence of a measurable set of given area such that the first eigenvalue of the Laplacian with Dirichlet conditions on and Neumann conditions on becomes minimal. If is a ball, will be a spherical cap.

     

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 .

     

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.