-manifolds with planar presentations and the width of satellite knots

We consider compact -manifolds having a submersion to in which each generic point inverse is a planar surface. The standard height function on a submanifold of is a motivating example. To we associate a connectivity graph . For , is a tree if and only if there is a Fox reimbedding of which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of is a tree, then there is a level-preserving reimbedding of so that is a connected sum of handlebodies.

Corollary.

The width of a satellite knot is no less than the width of its pattern knot and so

.

     

Maximal theorems for the directional Hilbert transform on the plane

For a Schwartz function on the plane and a non-zero define the Hilbert transform of in the direction to be

p.v.

Let be a Schwartz function with frequency support in the annulus , and . We prove that the maximal operator maps into weak , and into for . The estimate is sharp. The method of proof is based upon techniques related to the pointwise convergence of Fourier series. Indeed, our main theorem implies this result on Fourier series.

     

Specializations of Brauer classes over algebraic function fields

Let be either a number field or a field finitely generated of transcendence degree over a Hilbertian field of characteristic 0, let be the rational function field in one variable over , and let . It is known that there exist infinitely many such that the specialization induces a specialization , where has exponent equal to that of . Now let be a finite extension of and let . We give sufficient conditions on and for there to exist infinitely many such that the specialization has an extension to inducing a specialization , the residue field of , where has exponent equal to that of . We also give examples to show that, in general, such need not exist.

     

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.

     

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.

     

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

     

Cremer fixed points and small cycles

Let , , and let denote the sequence of convergents to the regular continued fraction of . Let be a function holomorphic at the origin, with a power series of the form . We assume that for infinitely many we simultaneously have (i) , (ii) the coefficients stay outside two small disks, and (iii) the series is lacunary, with for . We then prove that has infinitely many periodic orbits in every neighborhood of the origin.

     

A growth dichotomy for o-minimal expansions of ordered groups

Let be an o-minimal expansion of a divisible ordered abelian group with a distinguished positive element . Then the following dichotomy holds: Either there is a -definable binary operation such that is an ordered real closed field; or, for every definable function there exists a -definable with . This has some interesting consequences regarding groups definable in o-minimal structures. In particular, for an o-minimal structure there are, up to definable isomorphism, at most two continuous (with respect to the product topology induced by the order) -definable groups with underlying set .

     

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.

     

Entire majorants via Euler-Maclaurin summation

It is the aim of this article to give extremal majorants of type for the class of functions sgn, where . As applications we obtain positive definite extensions to of defined on , where , optimal bounds in Hilbert-type inequalities for the class of functions , and majorants of type for functions whose graphs are trapezoids.

     

Average size of -Selmer groups of elliptic curves, I

In this paper, we study a class of elliptic curves over with -torsion group , and prove that the average order of the -Selmer groups is bounded.

     

Bounded Hochschild cohomology of Banach algebras with a matrix-like structure

Let be a unital Banach algebra. A projection in which is equivalent to the identitity may give rise to a matrix-like structure on any two-sided ideal in . In this set-up we prove a theorem to the effect that the bounded cohomology vanishes for all . The hypotheses of this theorem involve (i) strong H-unitality of , (ii) a growth condition on diagonal matrices in , and (iii) an extension of in by an amenable Banach algebra. As a corollary we show that if is an infinite dimensional Banach space with the bounded approximation property, is an infinite dimensional -space, and is the Banach algebra of approximable operators on , then for all .

     

A moment approach to analyze zeros of triangular polynomial sets

Let be a zero-dimensional ideal of such that its associated set of polynomial equations for all is in triangular form. By introducing multivariate Newton sums we provide a numerical characterization of polynomials in . We also provide a necessary and sufficient (numerical) condition for all the zeros of to be in a given set , without explicitly computing the zeros. In addition, we also provide a necessary and sufficient condition on the coefficients of the 's for to have (a) only real zeros, (b) to have only real zeros, all contained in a given semi-algebraic set . In the proof technique, we use a deep result of Curto and Fialkow (2000) on the -moment problem, and the conditions we provide are given in terms of positive definiteness of some related moment and localizing matrices depending on the 's via the Newton sums of . In addition, the number of distinct real zeros is shown to be the maximal rank of a related moment matrix.

     

Toroidal orbifolds, gerbes and group cohomology

In this paper we compute the integral cohomology of certain semi-direct products of the form , arising from a linear action on the -torus, where is a finite group. The main application is the complete calculation of torsion gerbes for six-dimensional examples arising in string theory.

     

Open loci of graded modules

Let be an excellent homogeneous Noetherian graded ring and let be a finitely generated graded -module. We consider as a module over and show that the -loci of are open in . In particular, the Cohen-Macaulay locus    is Cohen-Macaulay is an open subset of . We also show that the -loci on the homogeneous parts of are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module over an excellent ring and for an ideal which is not contained in any minimal prime of , the -loci for the modules are eventually stable.

     

On the Andrews-Stanley refinement of Ramanujan's partition congruence modulo and generalizations

In a recent study of sign-balanced, labelled posets, Stanley introduced a new integral partition statistic

where denotes the number of odd parts of the partition and is the conjugate of . In a forthcoming paper, Andrews proved the following refinement of Ramanujan's partition congruence mod :

where () denotes the number of partitions of with and is the number of unrestricted partitions of . Andrews asked for a partition statistic that would divide the partitions enumerated by () into five equinumerous classes.

In this paper we discuss three such statistics: the ST-crank, the -quotient-rank and the -core-crank. The first one, while new, is intimately related to the Andrews-Garvan (1988) crank. The second one is in terms of the -quotient of a partition. The third one was introduced by Garvan, Kim and Stanton in 1990. We use it in our combinatorial proof of the Andrews refinement. Remarkably, the Andrews result is a simple consequence of a stronger refinement of Ramanujan's congruence mod . This more general refinement uses a new partition statistic which we term the BG-rank. We employ the BG-rank to prove new partition congruences modulo . Finally, we discuss some new formulas for partitions that are -cores and discuss an intriguing relation between -cores and the Andrews-Garvan crank.

     

Brownian intersection local times: Exponential moments and law of large masses

Consider independent Brownian motions in , each running up to its first exit time from an open domain , and their intersection local time as a measure on . We give a sharp criterion for the finiteness of exponential moments,

where are nonnegative, bounded functions with compact support in . We also derive a law of large numbers for intersection local time conditioned to have large total mass.

     

Resolutions for metrizable compacta in extension theory

We prove a -resolution theorem for simply connected CW- complexes in extension theory in the class of metrizable compacta . This means that if is a connected CW-complex, is an abelian group, , , for , and (in the sense of extension theory, that is, is an absolute extensor for ), then there exists a metrizable compactum and a surjective map such that:

(a) is -acyclic,

(b) , and

(c) .

This implies the -resolution theorem for arbitrary abelian groups for cohomological dimension when . Thus, in case is an Eilenberg-MacLane complex of type , then (c) becomes .

If in addition , then (a) can be replaced by the stronger statement,

(aa) is -acyclic.

To say that a map is -acyclic means that for each , every map of the fiber to is nullhomotopic.

     

Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.