Only single twists on unknots can produce composite knots

Let be a knot in the -sphere , and a disc in meeting transversely more than once in the interior. For non-triviality we assume that over all isotopy of . Let () be a knot obtained from by cutting and -twisting along the disc (or equivalently, performing -Dehn surgery on ). Then we prove the following: (1) If is a trivial knot and is a composite knot, then ; (2) if is a composite knot without locally knotted arc in and is also a composite knot, then . We exhibit some examples which demonstrate that both results are sharp. Independently Chaim Goodman-Strauss has obtained similar results in a quite different method.

     

Cohomological construction of quantized universal enveloping algebras

Given an associative algebra and the category of its finite dimensional modules, additional structures on the algebra induce corresponding ones on the category . Thus, the structure of a rigid quasi-tensor (braided monoidal) category on is induced by an algebra homomorphism (comultiplication), coassociative up to conjugation by (associativity constraint) and cocommutative up to conjugation by (commutativity constraint), together with an antiautomorphism (antipode) of satisfying the compatibility conditions. A morphism of quasi-tensor structures is given by an element with suitable induced actions on , and . Drinfeld defined such a structure on for any semisimple Lie algebra with the usual comultiplication and antipode but nontrivial and , and proved that the corresponding quasi-tensor category is isomomorphic to the category of representations of the Drinfeld-Jimbo (DJ) quantum universal enveloping algebra (QUE), .

In the paper we give a direct cohomological construction of the which reduces to the trivial associativity constraint, without any assumption on the prior existence of a strictly coassociative QUE. Thus we get a new approach to the DJ quantization. We prove that can be chosen to satisfy some additional invariance conditions under (anti)automorphisms of , in particular, gives an isomorphism of rigid quasi-tensor categories. Moreover, we prove that for pure imaginary values of the deformation parameter, the elements , and can be chosen to be formal unitary operators on the second and third tensor powers of the regular representation of the Lie group associated to with depending only on even powers of the deformation parameter. In addition, we consider some extra properties of these elements and give their interpretation in terms of additional structures on the relevant categories.

     

Automorphism Groups and Invariant Subspace Lattices

Let be a - dynamical system and let be the analytic subalgebra of . We extend the work of Loebl and the first author that relates the invariant subspace structure of for a -representation on a Hilbert space , to the possibility of implementing on We show that if is irreducible and if lat is trivial, then is ultraweakly dense in We show, too, that if satisfies what we call the strong Dirichlet condition, then the ultraweak closure of is a nest algebra for each irreducible representation Our methods give a new proof of a ``density' theorem of Kaftal, Larson, and Weiss and they sharpen earlier results of ours on the representation theory of certain subalgebras of groupoid -algebras.

     

Differential operators on Stanley-Reisner rings

Let be an algebraically closed field of characteristic zero, and let be a polynomial ring. Suppose that is an ideal in that may be generated by monomials. We investigate the ring of differential operators on the ring , and , the idealiser of in . We show that and are always right Noetherian rings. If is a square-free monomial ideal then we also identify all the two-sided ideals of . To each simplicial complex on there is a corresponding square-free monomial ideal , and the Stanley-Reisner ring associated to is defined to be . We find necessary and sufficient conditions on for to be left Noetherian.

     

Signed Quasi-Measures

Let be a compact Hausdorff space and let denote the subsets of which are either open or closed. A quasi-linear functional is a map which is linear on singly generated subalgebras and such that for some . There is a one-to-one correspondence between the quasi-linear functional on and the set functions such that i) , ii) If with and disjoint, then , iii) There is an such that whenever are disjoint open sets, , and iv) if is open and , there is a compact such that whenever is open, then . The space of quasi-linear functionals is investigated and quasi-linear maps between two spaces are studied.

     

Herz-Schur multipliers and weakly almost periodic functions on locally compact groups

For a locally compact group and , let be the Herz-Figà-Talamanca algebra and the Herz-Schur multipliers of , and the multipliers of . Let be the algebra of continuous weakly almost periodic functions on . In this paper, we show that (1), if is a noncompact nilpotent group or a noncompact [IN]-group, then contains a linear isometric copy of ; (2), for a noncommutative free group is a proper subset of .

     

Symmetric powers of complete modules over a two-dimensional regular local ring

Let be a two-dimensional regular local ring with infinite residue field. For a finitely generated, torsion-free -module , write for the th symmetric power of , mod torsion. We study the modules , , when is complete (i.e., integrally closed). In particular, we show that , for any minimal reduction and that the ring is Cohen-Macaulay.

     

Liouville type theorems for fourth order elliptic equations in a half plane

Consider an elliptic equation in the half plane with boundary conditions if and if where are second and third order differential operators. It is proved that if and, for some , if if where for some nonnegative integer , then . Results of this type are also established in case under different conditions on and ; furthermore, in one case has a lower order term which depends nonlocally on . Such Liouville type theorems arise in the study of coating flow; in fact, they play a crucial role in the analysis of the linearized version of this problem. The methods developed in this paper are entirely different for the two cases (i) and (ii) ; both methods can be extended to other linear elliptic boundary value problems in a half plane.

     

Approximation by harmonic functions

For a compact set we construct a restoring covering for the space of real-valued functions on which can be uniformly approximated by harmonic functions. Functions from restricted to an element of this covering possess some analytic properties. In particular, every nonnegative function , equal to 0 on an open non-void set, is equal to 0 on . Moreover, when , the algebra of complex-valued functions on which can be uniformly approximated by holomorphic functions is analytic. These theorems allow us to prove that if a compact set has a nontrivial Jensen measure, then contains a nontrivial compact set with analytic algebra .

     

Twin trees and -gons

We define a natural generalization of generalized -gons to the case of -graphs (where is a totally ordered abelian group and ). We term these objects -gons. We then show that twin trees as defined by Ronan and Tits can be viewed as -gons, where is ordered lexicographically. This allows us to then generalize twin trees to the case of -trees. Finally, we give a free construction of -gons in the cases where is discrete and has a subgroup of index that does not contain the minimal element of .

     

Boundary limits and non-integrability of )

In this paper we consider weighted non-tangential and tangential boundary limits of non-negative functions on the unit ball in that are subharmonic with respect to the Laplace-Beltrami operator on . Since the operator is invariant under the group of holomorphic automorphisms of , functions that are subharmonic with respect to are usually referred to as -subharmonic functions. Our main result is as follows: Let be a non-negative -subharmonic function on satisfying

for some and some , where is the -invariant measure on . Suppose . Then for a.e. ,

uniformly as in each , where for ( when )

We also prove that for the only non-negative -subharmonic function satisfying the above integrability criteria is the zero function.

     

Wavelet transform and orthogonal decomposition of

Let be the Weyl-Poincaré group and be the Iwasawa decomposition of with . Then the ``affine Weyl-Poincaré group' can be realized as the complex tube domain or the classical Cartan domain . The square-integrable representations of and give the admissible wavelets and wavelet transforms. An orthogonal basis of the set of admissible wavelets associated to is constructed, and it gives an orthogonal decomposition of space on (or the Cartan domain
) with every component being the range of wavelet transforms of functions in with .

     

Expansive Subdynamics

This paper provides a framework for studying the dynamics of commuting homeomorphisms. Let be a continuous action of on an infinite compact metric space. For each subspace of we introduce a notion of expansiveness for along , and show that there are nonexpansive subspaces in every dimension . For each the set of expansive -dimensional subspaces is open in the Grassmann manifold of all -dimensional subspaces of . Various dynamical properties of are constant, or vary nicely, within a connected component of , but change abruptly when passing from one expansive component to another. We give several examples of this sort of ``phase transition,' including the topological and measure-theoretic directional entropies studied by Milnor, zeta functions, and dimension groups. For we show that, except for one unresolved case, every open set of directions whose complement is nonempty can arise as an . The unresolved case is that of the complement of a single irrational direction. Algebraic examples using commuting automorphisms of compact abelian groups are an important source of phenomena, and we study several instances in detail. We conclude with a set of problems and research directions suggested by our analysis.

     

The quantum analog of a symmetric pair: a construction in type

Let be the ideal in the enveloping algebra of generated by the maximal compact subalgebra of . In this paper we construct an analog of in the quantized enveloping algebra corresponding to a type diagram at generic . We find generators for and explicit bases for .

     

A Characterization of Finitely Decidable Congruence Modular Varieties

For every finitely generated, congruence modular variety of finite type we find a finite family of finite rings such that the variety is finitely decidable if and only if is congruence permutable and residually small, all solvable congruences in finite algebras from are Abelian, each congruence above the centralizer of the monolith of a subdirectly irreducible algebra from is comparable with all congruences of , each homomorphic image of a subdirectly irreducible algebra with a non-Abelian monolith has a non-Abelian monolith, and, for each ring from , the variety of -modules is finitely decidable.

     

Strict definiteness of integrals via complete monotonicity of derivatives

Let be a nonnegative integer and let be a function with completely monotone and not constant. If is a signed measure on any euclidean space , with vanishing moments up to order , then the integral is strictly positive whenever it exists. For general no larger class of continuous functions seems to admit the same conclusion. Examples and applications are indicated. A section on 'bilinear integrability' might be of independent interest.

     

Bloch constants of bounded symmetric domains

Let and be two irreducible bounded symmetric domains in the complex spaces and respectively. Let be the Euclidean metric on and the Bergman metric on . The Bloch constant is defined to be the supremum of , taken over all the holomorphic functions and , and nonzero vectors . We find the constants for all the irreducible bounded symmetric domains and . As a special case we answer an open question of Cohen and Colonna.

     

Congruences between Modular Forms, Cyclic Isogenies of Modular Elliptic Curves, and Integrality of -Functions

Let be a congruence subgroup of type and of level . We study congruences between weight 2 normalized newforms and Eisenstein series on modulo a prime above a rational prime . Assume that , is a common eigenfunction for all Hecke operators and is ordinary at . We show that the abelian variety associated to and the cuspidal subgroup associated to intersect non-trivially in their -torsion points. Let be a modular elliptic curve over with good ordinary reduction at . We apply the above result to show that an isogeny of degree divisible by from the optimal curve in the -isogeny class of elliptic curves containing to extends to an étale morphism of Néron models over if . We use this to show that -adic distributions associated to the -adic -functions of are -valued.

     

Group actions on arrangements of linear subspaces and applications to configuration spaces

For an arrangement of linear subspaces in that is invariant under a finite subgroup of the general linear group we develop a formula for the -module structure of the cohomology of the complement . Our formula specializes to the well known Goresky-MacPherson theorem in case , but for the formula shows that the -module structure of the complement is not a combinatorial invariant. As an application we are able to describe the free part of the cohomology of the quotient space . Our motivating examples are arrangements in that are invariant under the action of by permuting coordinates. A particular case is the ``-equal' arrangement, first studied by Björner, Lovász, and Yao motivated by questions in complexity theory. In these cases and are spaces of ordered and unordered point configurations in many of whose properties are reduced by our formulas to combinatorial questions in partition lattices. More generally, we treat point configurations in and provide explicit results for the ``-equal' and the ``-divisible' cases.

     

On Matroids Representable over and other Fields

The matroids that are representable over and some other fields depend on the choice of field. This paper gives matrix characterisations of the classes that arise. These characterisations are analogues of the characterisation of regular matroids as the ones that can be represented over the rationals by a totally-unimodular matrix. Some consequences of the theory are as follows. A matroid is representable over and if and only if it is representable over and the rationals, and this holds if and only if it is representable over for all odd primes . A matroid is representable over and the complex numbers if and only if it is representable over and . A matroid is representable over , and if and only if it is representable over every field except possibly . If a matroid is representable over for all odd primes , then it is representable over the rationals.