Rational Gauss-Chebyshev quadrature formulas for complex poles outside

In this paper we provide an extension of the Chebyshev orthogonal rational functions with arbitrary real poles outside to arbitrary complex poles outside . The zeros of these orthogonal rational functions are not necessarily real anymore. By using the related para-orthogonal functions, however, we obtain an expression for the nodes and weights for rational Gauss-Chebyshev quadrature formulas integrating exactly in spaces of rational functions with arbitrary complex poles outside .

     

Local existence of -sets, projective tensor products, and Arens regularity for

Theorem. If are perfect compact subsets of the locally compact metrizable abelian group, then there are pairwise disjoint perfect subsets such that (i) is either a Kronecker set or (ii) for some , is a translate of a -set all of whose elements have order , and (iii) is isomorphic to the projective tensor product .

This extends what was previously known for groups such as or for the case to the general locally compact abelian group. Old results concerning the local existence of Kronecker and -sets are improved.

     

On the - boundedness of operators

We prove that if is in , is a Banach space, and is a linear operator defined on the space of finite linear combinations of -atoms in with the property that

then admits a (unique) continuous extension to a bounded linear operator from to . We show that the same is true if we replace -atoms by continuous -atoms. This is known to be false for -atoms.

     

-regularity, -fibrant Hochschild homology, and a conjecture of Vorst

In this paper we prove that for an affine scheme essentially of finite type over a field and of dimension , -regularity implies regularity, assuming that the characteristic of is zero. This verifies a conjecture of Vorst.

     

-equivalence in adjoint classical groups over fields of virtual cohomological dimension

Let be a field of characteristic not whose virtual cohomological dimension is at most . Let be a semisimple group of adjoint type defined over . Let denote the normal subgroup of consisting of elements -equivalent to identity. We show that if is of classical type not containing a factor of type , . If is a simple classical adjoint group of type , we show that if and its multi-quadratic extensions satisfy strong approximation property, then . This leads to a new proof of the -triviality of -rational points of adjoint classical groups defined over number fields.

     

Enumerative tropical algebraic geometry in

The paper establishes a formula for enumeration of curves of arbitrary genus in toric surfaces. It turns out that such curves can be counted by means of certain lattice paths in the Newton polygon. The formula was announced earlier in Counting curves via lattice paths in polygons, C. R. Math. Acad. Sci. Paris 336 (2003), no. 8, 629-634.

The result is established with the help of the so-called tropical algebraic geometry. This geometry allows one to replace complex toric varieties with the real space and holomorphic curves with certain piecewise-linear graphs there.

     

More on convexity numbers of closed sets in

The convexity number of a set is the least size of a family of convex sets with . is countably convex if its convexity number is countable. Otherwise is uncountably convex.

Uncountably convex closed sets in have been studied recently by Geschke, Kubis, Kojman and Schipperus. Their line of research is continued in the present article. We show that for all , it is consistent that there is an uncountably convex closed set whose convexity number is strictly smaller than all convexity numbers of uncountably convex subsets of .

Moreover, we construct a closed set whose convexity number is and that has no uncountable -clique for any 1$">. Here is a -clique if the convex hull of no -element subset of is included in . Our example shows that the main result of the above-named authors, a closed set either has a perfect -clique or the convexity number of is in some forcing extension of the universe, cannot be extended to higher dimensions.

     

An -local discontinuous Galerkin method for some quasilinear elliptic boundary value problems of nonmonotone type

In this paper, an -local discontinuous Galerkin method is applied to a class of quasilinear elliptic boundary value problems which are of nonmonotone type. On -quasiuniform meshes, using the Brouwer fixed point theorem, it is shown that the discrete problem has a solution, and then using Lipschitz continuity of the discrete solution map, uniqueness is also proved. A priori error estimates in broken norm and norm which are optimal in , suboptimal in are derived. These results are exactly the same as in the case of linear elliptic boundary value problems. Numerical experiments are provided to illustrate the theoretical results.

     

Spectral radius algebras and contractions

We consider the spectral radius algebras associated to contractions. If is such an operator we show that the spectral radius algebra always properly contains the commutant of .

     

-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

.

     

Sandwiching C0-Semigroups

Let T = {T(t)}_t0 be a C₀-semigroup on a Banach space X. Thefollowing results are proved. (i) If X is separable, there exist separable Hilbert spacesX₀ and X₁, continuous dense embeddings j₀:X₀ X and j₁:X X₁,and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively, suchthat j₀ T₀(t) = T(t) j₀ and T₁(t) j₁ = j₁ T(t) for all t 0. (ii) If T is -reflexive, there exist reflexive Banach spacesX₀ and X₁ , continuous dense embeddings j:D(A²) X₀, j₀:X₀ X, j₁:X X₁, and C₀-semigroups T₀ and T₁ on X₀ and X₁ respectively,such that T₀(t) j = j T(t), j₀ T₀(t) = T(t) j₀ and T(t) j₁ = j₁ T(t) for all t 0, and such that (A₀) = (A) = (A₁),where A_k is the generator of T_k, k = 0, Ø, 1.     

Symmetric Markov chains on with unbounded range

We consider symmetric Markov chains on where we do not assume that the conductance between two points must be zero if the points are far apart. Under a uniform second moment condition on the conductances, we obtain upper bounds on the transition probabilities, estimates for exit time probabilities, and certain lower bounds on the transition probabilities. We show that a uniform Harnack inequality holds if an additional assumption is made, but that without this assumption such an inequality need not hold. We establish a central limit theorem giving conditions for a sequence of normalized symmetric Markov chains to converge to a diffusion on corresponding to an elliptic operator in divergence form.

     

estimates for a class of oscillatory integrals

We obtain a simpler proof of Theorem 3.1 of The complete mapping properties of some oscillatory integrals in several dimensions, by G. Sampson and P. Szeptycki (Canad. Math. J. 53 (5) (2001), 1031-1056).

     

Unconditional stability and convergence of fully discrete schemes for viscous fluids models with mass diffusion

In this work we develop fully discrete (in time and space) numerical schemes for two-dimensional incompressible fluids with mass diffusion, also so-called Kazhikhov-Smagulov models. We propose at most -conformed finite elements (only globally continuous functions) to approximate all unknowns (velocity, pressure and density), although the limit density (solution of continuous problem) will have regularity. A backward Euler in time scheme is considered decoupling the computation of the density from the velocity and pressure.

Unconditional stability of the schemes and convergence towards the (unique) global in time weak solution of the models is proved. Since a discrete maximum principle cannot be ensured, we must use a different interpolation inequality to obtain the strong estimates for the discrete density, from the used one in the continuous case. This inequality is a discrete version of the Gagliardo-Nirenberg interpolation inequality in domains. Moreover, the discrete density is truncated in some adequate terms of the velocity-pressure problem.

     

Geometric characterizations of finite Chevalley groups of type B

Finite Moufang generalized quadrangles were classified in 1974 as a corollary to the classification of finite groups with a split BN-pair of rank , by P. Fong and G. M. Seitz (1973), (1974). Later on, work of S. E. Payne and J. A. Thas culminated in an almost complete, elementary proof of that classification; see Finite Generalized Quadrangles, 1984. Using slightly more group theory, first W. M. Kantor (1991), then the first author (2001), and finally, essentially without group theory, J. A. Thas (preprint), completed this geometric approach. Recently, J. Tits and R. Weiss classified all (finite and infinite) Moufang polygons (2002), and this provides a third independent proof for the classification of finite Moufang quadrangles.

In the present paper, we start with a much weaker condition on a BN-pair of Type and show that it must correspond to a Moufang quadrangle, proving that the BN-pair arises from a finite Chevalley group of (relative) Type . Our methods consist of a mixture of combinatorial, geometric and group theoretic arguments, but we do not use the classification of finite simple groups. The condition on the BN-pair translates to the generalized quadrangle as follows: for each point , the stabilizer of all lines through that point acts transitively on the points opposite .

     

Crystals of type and Young walls

We give a new realization of arbitrary level perfect crystals and arbitrary level irreducible highest weight crystals of type , in the language of Young walls. We refine the notions of splitting of blocks and slices that have appeared in our previous works, and these play crucial roles in the construction of crystals. The perfect crystals are realized as the set of equivalence classes of slices, and the irreducible highest weight crystals are realized as the affine crystals consisting of reduced proper Young walls which, in turn, are concatenations of slices.

     

Dynamics of the function and the Green-Tao theorem on arithmetic progressions in the primes

Let be the set of all positive integers , where are primes and possibly two, but not all three of them are equal. For any , define a function by where is the largest prime factor of . It is clear that if , then . For any , define , for . An element is semi-periodic if there exists a nonnegative integer and a positive integer such that . We use ind to denote the least such nonnegative integer . Wushi Goldring [Dynamics of the function and primes, J. Number Theory 119(2006), 86-98] proved that any element is semi-periodic. He showed that there exists such that , ind, and conjectured that ind can be arbitrarily large.

In this paper, it is proved that for any we have ind , and the Green-Tao Theorem on arithmetic progressions in the primes is employed to confirm Goldring's above conjecture.

     

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree

Let , , be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform of degree . It is proved that if is not in the Maaß space, then there exist infinitely many primes for which the sequence , , has infinitely many sign changes.

     

A note on -bases of a regular affine domain extension

Let be a tower of commutative rings where is a regular affine domain over an algebraically closed field of prime characteristic and is a regular domain. Suppose has a -basis over and . For a subset of whose elements satisfy a certain condition on linear independence, let be a set of maximal ideals of such that is a -basis of over . We shall characterize this set in a geometrical aspect.

     

Topology of three-manifolds with positive -scalar curvature

Consider an -dimensional smooth Riemannian manifold with a given smooth measure on it. We call such a triple a Riemannian measure space. Perelman introduced a variant of scalar curvature in his recent work on solving Poincaré's conjecture , where and is the scalar curvature of . In this note, we study the topological obstruction for the -stable minimal submanifold with positive -scalar curvature in dimension three under the setting of manifolds with density.