Katetov's problem

In 1948 Miroslav Katetov showed that if the cube of a compact space satisfies the separation axiom T then must be metrizable. He asked whether can be replaced by in this metrization result. In this note we prove the consistency of this implication.

     

On the correlations of directions in the Euclidean plane

Let denote the repartition of the -level correlation measure of the finite set of directions , where is the fixed point and is an integer lattice point in the square . We show that the average of the pair correlation repartition over in a fixed disc converges as . More precisely we prove, for every and , the estimate

We also prove that for each individual point , the -level correlation diverges at any point as , and we give an explicit lower bound for the rate of divergence.

     

Sets of uniqueness for spherically convergent multiple trigonometric series

A subset of the -dimensional torus is called a set of uniqueness, or -set, if every multiple trigonometric series spherically converging to outside vanishes identically. We show that all countable sets are -sets and also that sets are -sets for every . In particular, , where is the Cantor set, is an set and hence a -set. We will say that is a -set if every multiple trigonometric series spherically Abel summable to outside and having certain growth restrictions on its coefficients vanishes identically. The above-mentioned results hold also for sets. In addition, every -set has measure , and a countable union of closed -sets is a -set.

     

Valence of complex-valued planar harmonic functions

The valence of a function at a point is the number of distinct, finite solutions to . Let be a complex-valued harmonic function in an open set . Let denote the critical set of and the global cluster set of . We show that partitions the complex plane into regions of constant valence. We give some conditions such that has empty interior. We also show that a component is an -fold covering of some component . If is simply connected, then is univalent on . We explore conditions for combining adjacent components to form a larger region of univalence. Those results which hold for functions on open sets in are first stated in that form and then applied to the case of planar harmonic functions. If is a light, harmonic function in the complex plane, we apply a structure theorem of Lyzzaik to gain information about the difference in valence between components of sharing a common boundary arc in .

     

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.

     

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.

     

Block representation type of reduced enveloping algebras

Let be an algebraically closed field of characteristic , a connected, reductive -group, , and the reduced enveloping algebra of associated with . Assume that is simply-connected, is good for and has a non-degenerate -invariant bilinear form. All blocks of having finite and tame representation type are determined.

     

Fixed point property and the Fourier algebra of a locally compact group

We establish some characterizations of the weak fixed point property (weak fpp) for noncommutative (and commutative) spaces and use this for the Fourier algebra of a locally compact group In particular we show that if is an IN-group, then has the weak fpp if and only if is compact. We also show that if is any locally compact group, then has the fixed point property (fpp) if and only if is finite. Furthermore if a nonzero closed ideal of has the fpp, then must be discrete.

     

Quantum symmetric derivatives

For , a one-parameter family of symmetric quantum derivatives is defined for each order of differentiation as are two families of Riemann symmetric quantum derivatives. For , symmetrization holds, that is, whenever the th Peano derivative exists at a point, all of these derivatives of order also exist at that point. The main result, desymmetrization, is that conversely, for , each symmetric quantum derivative is a.e. equivalent to the Peano derivative of the same order. For and , each th symmetric quantum derivative coincides with both corresponding th Riemann symmetric quantum derivatives, so, in particular, for and , both th Riemann symmetric quantum derivatives are a.e. equivalent to the Peano derivative.

     

Milnor classes of local complete intersections

Let be a compact local complete intersection defined as the zero set of a section of a holomorphic vector bundle over the ambient space. For each connected component of the singular set of , we define the Milnor class in the homology of . The difference between the Schwartz-MacPherson class and the Fulton-Johnson class of is shown to be equal to the sum of over the connected components of . This is done by proving Poincaré-Hopf type theorems for these classes with respect to suitable tangent frames. The -degree component coincides with the Milnor numbers already defined by various authors in particular situations. We also give an explicit formula for when is a non-singular component and satisfies the Whitney condition along .

     

The toric -vectors of partially ordered sets

An explicit formula for the toric -vector of an Eulerian poset in terms of the -index is developed using coalgebra techniques. The same techniques produce a formula in terms of the flag -vector. For this, another proof based on Fine's algorithm and lattice-path counts is given. As a consequence, it is shown that the Kalai relation on dual posets, , is the only equation relating the -vectors of posets and their duals. A result on the -vectors of oriented matroids is given. A simple formula for the -index in terms of the flag -vector is derived.

     

A universal continuum of weight

We prove that every continuum of weight  is a continuous image of the Cech-Stone-remainder  of the real line. It follows that under  the remainder of the half line is universal among the continua of weight  -- universal in the `mapping onto' sense.

We complement this result by showing that 1) under  every continuum of weight less than  is a continuous image of , 2) in the Cohen model the long segment of length  is not a continuous image of , and 3)  implies that is not a continuous image of , whenever  is a -saturated ultrafilter.

We also show that a universal continuum can be gotten from a -saturated ultrafilter on , and that it is consistent that there is no universal continuum of weight  .

     

On a class of jointly hyponormal Toeplitz operators

We characterize when a pair of Toeplitz operators is jointly hyponormal under various assumptions--for example, is analytic or is a trigonometric polynomial or is analytic. A typical characterization states that is jointly hyponormal if and only if an algebraic relation of and holds and the single Toeplitz operator is hyponormal, where is a combination of and . More general results for an -tuple of Toeplitz operators are also obtained.

     

Nonradial solvability structure of super-diffusive nonlinear parabolic equations

We study the solvability of the Cauchy problem for the nonlinear parabolic equation

when in , with a given nonnegative function. It is known from earlier works of the authors that the asymptotic radial growth , for the spherical averages of is critical for local solvability, in particular ensuring it if is radially symmetric. We show that if the initial data behaves in polar coordinates like , for large with nonnegative and -periodic, then the following holds: If vanishes on some interval of length 0$">, then there is no local solution of the initial value problem. On the other hand, if such an interval does not exist, then the initial value problem is locally solvable and the time of existence can be estimated explicitly.

     

A sharp bound for the ratio of the first two Dirichlet eigenvalues of a domain in a hemisphere of

For a domain contained in a hemisphere of the -dimensional sphere we prove the optimal result for the ratio of its first two Dirichlet eigenvalues where , the symmetric rearrangement of in , is a geodesic ball in having the same -volume as . We also show that for geodesic balls of geodesic radius less than or equal to is an increasing function of which runs between the value for (this is the Euclidean value) and for . Here denotes the th positive zero of the Bessel function . This result generalizes the Payne-Pólya-Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of and having a fixed value of the one with the maximal value of is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for . Various other results for and of geodesic balls in are proved in the course of our work.

     

having a fixed class of nilpotence: combinatorics and enumeration

We study the combinatorics of -nilpotent ideals of a Borel subalgebra of . We provide an inductive method for calculating the class of nilpotence of these ideals and formulas for the number of ideals having a given class of nilpotence. We study the relationships between these results and the combinatorics of Dyck paths, based upon a remarkable bijection between -nilpotent ideals and Dyck paths. Finally, we propose a -analogue of the Catalan number . These -Catalan numbers count, on the one hand, -nilpotent ideals with respect to dimension and class of nilpotence and, on the other hand, admit interpretations in terms of natural statistics on Dyck paths.

     

A novel dual approach to nonlinear semigroups of Lipschitz operators

Lipschitzian semigroup refers to a one-parameter semigroup of Lipschitz operators that is strongly continuous in the parameter. It contains -semigroup, nonlinear semigroup of contractions and uniformly -Lipschitzian semigroup as special cases. In this paper, through developing a series of Lipschitz dual notions, we establish an analysis approach to Lipschitzian semigroup. It is mainly proved that a (nonlinear) Lipschitzian semigroup can be isometrically embedded into a certain -semigroup. As application results, two representation formulas of Lipschitzian semigroup are established, and many asymptotic properties of -semigroup are generalized to Lipschitzian semigroup.

     

On the Glauberman and Watanabe correspondences for blocks of finite -solvable groups

If is a finite -solvable group for some prime , a solvable subgroup of the automorphism group of of order prime to such that stabilises a -block of and acts trivially on a defect group of , then there is a Morita equivalence between the block and its Watanabe correspondent of , given by a bimodule with vertex and an endo-permutation module as source, which on the character level induces the Glauberman correspondence (and which is an isotypy by Watanabe's results).

     

The braid index is not additive for the connected sum of 2-knots

Any -dimensional knot can be presented in a braid form, and its braid index, , is defined. For the connected sum of -knots and , it is easily seen that holds. Birman and Menasco proved that the braid index (minus one) is additive for the connected sum of -dimensional knots; the equality holds for -knots. We prove that the equality does not hold for -knots unless or is a trivial -knot. We also prove that the -knot obtained from a granny knot by Artin's spinning is of braid index , and there are infinitely many -knots of braid index .

     

The extraspecial case of the problem

Let be an extraspecial-type group and a faithful, absolutely irreducible -module, where is a finite field. Let be the normalizer in of . We show that, with few exceptions, there exists a such that the restriction of to is self-dual whenever and .