Normalizers of the congruence subgroups of the Hecke group II

Let . Let be an ideal of and let be the maximal ideal of such that . Then . In particular, if is square free, then is self-normalized in .

     

The location of the zeros of the higher order derivatives of a polynomial

Let be a complex polynomial of degree having zeros in a disk . We deal with the problem of finding the smallest concentric disk containing zeros of . We obtain some estimates on the radius of this disk in general as well as in the special case, where zeros in are isolated from the other zeros of . We indicate an application to the root-finding algorithms.

     

Finite groups of matrices over group rings

We investigate certain finite subgroups of , where is a finite nilpotent group. Such a group gives rise to a -module; we study the characters of these modules to limit the structure of . We also exhibit some exotic subgroups .

     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

Asymptotic behavior of Fourier transforms of self-similar measures

Let be a self-similar probability measure on satisfying where 0$"> and Let be the Fourier transform of A necessary and sufficient condition for to approach zero at infinity is given. In particular, if and for then 0$"> if and only if is a PV-number and is not a factor of . This generalizes the corresponding theorem of Erdös and Salem for the case

     

Eigenvalues of a Sturm-Liouville problem and inequalities of Lyapunov type

We consider the eigenvalue problem in , , where keeps a fixed sign and , and we obtain some lower and upper bounds for in terms of its nonnegative eigenvalues . Two typical results are: (1) if and is not the square of a positive integer; (2) if is the smallest eigenvalue.

     

On contravariant finiteness of subcategories of modules of projective dimension

Let be an artin algebra. This paper presents a sufficient condition for the subcategory of to be contravariantly finite in , where is the subcategory of consisting of --modules of projective dimension less than or equal to . As an application of this condition it is shown that is contravariantly finite in for each when is stably equivalent to a hereditary algebra.

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

Global behavior of the branch of positive solutions to a logistic equation of population dynamics

We consider the nonlinear problem arising in population dynamics:

where is a constant and is a positive parameter. We establish the crucial asymptotic formula for the branch of positive solutions in -framework as , where ( ). Especially, for the original logistic equation, namely the case where and , we obtain not only the asymptotic expansion formula for but also the remainder estimate. Such a formula for the bifurcation branch seems to be new.

     

Lower bounds for dimensions of representation varieties

The set of -dimensional complex representations of a finitely generated group form a complex affine variety . Suppose that is such a representation and consider the associated representation on complex matrices obtained by following with conjugation of matrices. Then it is shown that the dimension of at is at least the difference of the complex dimensions of and . It is further shown that in the latter cohomology may be replaced by various proalgebraic groups associated to and .

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

On the product of two generalized derivations

Two elements and in a ring determine a generalized derivation on by setting for any in . We characterize when the product is a generalized derivation in the cases when the ring is the algebra of all bounded operators on a Banach space , and when is a -algebra . We use these characterizations to compute the commutant of the range of .

     

Zeta functions of a class of elliptic curves over a rational function field of characteristic two

We show how to calculate the zeta functions and the orders of Tate-Shafarevich groups of the elliptic curves with equation over the rational function field , where is a power of 2. In the range , , odd of degree , the largest values obtained for are (one case), (one case) and (three cases). We observe and discuss a remarkable pattern for the distributions of signs in the functional equation and of fudge factors at places of bad reduction. These imply strong restrictions on the precise form of the Langlands correspondence for GL over local or global fields of characteristic two.

     

Properties of subgenerators of regularized semigroups

We introduce two operations , in the set of subgenerators of a given - regularized semigroup and prove that is a complete partially ordered lattice with respect to , and the operator inclusion . Also presented are some other properties and examples for

     

Superrigid subgroups of solvable Lie groups

Let be a discrete subgroup of a simply connected, solvable Lie group , such that has the same Zariski closure as . If is any finite-dimensional representation of , we show that virtually extends to a continuous representation of . Furthermore, the image of is contained in the Zariski closure of the image of . When is not discrete, the same conclusions are true if we make the additional assumption that the closure of is a finite-index subgroup of (and is closed and is continuous).

     

Covers of algebraic varieties III. The discriminant of a cover of degree 4 and the trigonal construction

For each Gorenstein cover of degree we define a scheme and a generically finite map of degree called the discriminant of . Using this construction we deal with smooth degree covers with . Moreover we also generalize the trigonal construction of S. Recillas.

     

On the ordering of -modal cycles

The forcing relation on -modal cycles is studied. If is an -modal cycle then the -modal cycles with block structure that force form a -horseshoe above . If -modal forces , and does not have a block structure over , then forces a -horseshoe of simple extensions of .

     

Almost simple groups of Suzuki type acting on polytopes

Let , with an odd power of two. For each almost simple group such that , we prove that is not a C-group and therefore is not the automorphism group of an abstract regular polytope. For , we show that there is always at least one abstract regular polytope such that . Moreover, if is an abstract regular polytope such that , then is a polyhedron.

     

Pointwise convergence of bounded cascade sequences

The cascade algorithm plays an important role in computer graphics and wavelet analysis. For an initial function , a cascade sequence is constructed by the iteration where is defined by In this paper, under a condition that the sequence is bounded in , we prove that the following three statements are equivalent: (i) converges . (ii) For , there exist a positive constant and a constant such that (iii) For some converges in . An example is presented to illustrate our result.

     

On quadratic forms of height two and a theorem of Wadsworth

Let and be anisotropic quadratic forms over a field of characteristic not . Their function fields and are said to be equivalent (over ) if and are isotropic. We consider the case where and is divisible by an -fold Pfister form. We determine those forms for which becomes isotropic over if , and provide partial results for . These results imply that if and are equivalent and , then is similar to over . This together with already known results yields that if is of height and degree or , and if , then and are equivalent iff and are isomorphic over .