Galois coverings of selfinjective algebras by repetitive algebras

In the representation theory of selfinjective artin algebras an important role is played by selfinjective algebras of the form where is the repetitive algebra of an artin algebra and is an admissible group of automorphisms of . If is of finite global dimension, then the stable module category of finitely generated -modules is equivalent to the derived category of bounded complexes of finitely generated -modules. For a selfinjective artin algebra , an ideal and , we establish a criterion for to admit a Galois covering with an infinite cyclic Galois group . As an application we prove that all selfinjective artin algebras whose Auslander-Reiten quiver has a non-periodic generalized standard translation subquiver closed under successors in are socle equivalent to the algebras , where is a representation-infinite tilted algebra and is an infinite cyclic group of automorphisms of .

     

Conjugacy Classes of

Let be a quadratic extension of a global field , of characteristic not two, and the integral closure in of a Dedekind ring of -integers in . Then is isomorphic to the spinorial kernel for an indefinite quadratic -lattice of rank 4. The isomorphism is used to study the conjugacy classes of unitary groups of primitive odd binary hermitian matrices under the action of .

     

Decomposition of

For any locally compact group , let and be the Fourier and the Fourier-Stieltjes algebras of , respectively. is decomposed as a direct sum of and , where is a subspace of consisting of all elements that satisfy the property: for any and any compact subset , there is an with and such that is characterized by the following: an element is in if and only if, for any there is a compact subset such that for all with and . Note that we do not assume the amenability of . Consequently, we have for all if is noncompact. We will apply this characterization of to investigate the general properties of and we will see that is not a subalgebra of even for abelian locally compact groups. If is an amenable locally compact group, then is the subspace of consisting of all elements with the property that for any compact subset , .

     

The heat kernel weighted Hodge Laplacian on noncompact manifolds

On a compact orientable Riemannian manifold, the Hodge Laplacian has compact resolvent, therefore a spectral gap, and the dimension of the space of harmonic -forms is a topological invariant. By contrast, on complete noncompact Riemannian manifolds, is known to have various pathologies, among them the absence of a spectral gap and either ``too large' or ``too small' a space . In this article we use a heat kernel measure to determine the space of square-integrable forms and to construct the appropriate Laplacian . We recover in the noncompact case certain results of Hodge's theory of in the compact case. If the Ricci curvature of a noncompact connected Riemannian manifold is bounded below, then this ``heat kernel weighted Laplacian' acts on functions on in precisely the manner we would wish, that is, it has a spectral gap and a one-dimensional kernel. We prove that the kernel of on -forms is zero-dimensional on , as we expect from topology, if the Ricci curvature is nonnegative. On Euclidean space, there is a complete Hodge theory for . Weighted Laplacians also have a duality analogous to Poincaré duality on noncompact manifolds. Finally, we show that heat kernel-like measures give desirable spectral properties (compact resolvent) in certain general cases. In particular, we use measures with Gaussian decay to justify the statement that every topologically tame manifold has a strong Hodge decomposition.

     

The nonarchimedean theta correspondence for

In this paper we consider the theta correspondence between the sets and when is a nonarchimedean local field and . Our main theorem determines all the elements of that occur in the correspondence. The answer involves distinguished representations. As a corollary, we characterize all the elements of that occur in the theta correspondence between and . We also apply our main result to prove a case of a new conjecture of S.S. Kudla concerning the first occurrence of a representation in the theta correspondence.

     

A counterexample concerning the relation between decoupling constants and -constants

For Banach spaces and and a bounded linear operator
we let such that

for all finitely supported and all , where is the sequence of Haar functions. We construct an operator , where is superreflexive and of type 2, with such that there is no constant with

In particular it turns out that the decoupling constants , where is the identity of a Banach space , fail to be equivalent up to absolute multiplicative constants to the usual -constants. As a by-product we extend the characterization of the non-superreflexive Banach spaces by the finite tree property using lower 2-estimates of sums of martingale differences.

     

``Best possible' upper and lower bounds for the zeros of the Bessel function

Let denote the -th positive zero of the Bessel function . In this paper, we prove that for and , 2, 3, ,

These bounds coincide with the first few terms of the well-known asymptotic expansion

as , being fixed, where is the -th negative zero of the Airy function , and so are ``best possible'.

     

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.

     

Golubev series for solutions of elliptic equations

Let be an elliptic system with real analytic coefficients on an open set and let be a fundamental solution of Given a locally connected closed set we fix some massive measure on . Here, a non-negative measure is called massive, if the conditions and imply that We prove that, if is a solution of the equation in then for each relatively compact open subset of and every there exist a solution of the equation in and a sequence () in satisfying such that for This complements an earlier result of the second author on representation of solutions outside a compact subset of

     

On the coefficients of Jacobi sums in prime cyclotomic fields

Let and be prime numbers, and let be a primitive root mod . For , denote by the Jacobi sum . We study the integers such that and . We give a list of properties that characterize these coefficients. Then we show some of their applications to the study of the arithmetic of , in particular to the study of Vandiver's conjecture. For , let be the number of distinct roots of in . We show that . We give closed formulas for the numbers and in terms of quadratic and cubic power residue symbols mod .

     

On sectional genus of quasi-polarized 3-folds

Let be a smooth projective variety over and a nef-big (resp. ample) divisor on . Then is called a quasi-polarized (resp. polarized) manifold. Then we conjecture that , where is the sectional genus of and is the irregularity of . In general it is unknown whether this conjecture is true or not, even in the case of . For example, this conjecture is true if and . But it is unknown if and . In this paper, we prove if and . Furthermore we classify polarized manifolds with , , and .

     

Spherical functions and conformal densities on spherically symmetric -spaces

Let be a -space which is spherically symmetric around some point and whose boundary has finite positive dimensional Hausdorff measure. Let be a conformal density of dimension on . We prove that is a weak limit of measures supported on spheres centered at . These measures are expressed in terms of the total mass function of and of the dimensional spherical function on . In particular, this result proves that is entirely determined by its dimension and its total mass function. The results of this paper apply in particular for symmetric spaces of rank one and semi-homogeneous trees.

     

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.

     

Homogeneous projective varieties with degenerate secants

The secant variety of a projective variety in , denoted by , is defined to be the closure of the union of lines in passing through at least two points of , and the secant deficiency of is defined by . We list the homogeneous projective varieties with under the assumption that arise from irreducible representations of complex simple algebraic groups. It turns out that there is no homogeneous, non-degenerate, projective variety with and , and the -variety is the only homogeneous projective variety with largest secant deficiency . This gives a negative answer to a problem posed by R. Lazarsfeld and A. Van de Ven if we restrict ourselves to homogeneous projective varieties.

     

Diffeomorphisms approximated by Anosov on the 2-torus and their SBR measures

We consider the set of diffeomorphisms of the 2-torus , provided the conditions that the tangent bundle splits into the directed sum of -invariant subbundles , and there is such that and . Then we prove that the set is the union of Anosov diffeomorphisms and diffeomorphisms approximated by Anosov, and moreover every diffeomorphism approximated by Anosov in the set has no SBR measures. This is related to a result of Hu-Young.

     

On the diophantine equation

In this paper we prove that the equation , , , , , has only the solutions and with is a prime power. The proof depends on some new results concerning the upper bounds for the number of solutions of the generalized Ramanujan-Nagell equations.

     

The stability of the equilibrium of reversible systems

In this paper, we consider the system

where , , and are continuous, even and 1-periodic in the time variable ; and are real analytic in a neighbourhood of the origin of -plane and continuous 1-periodic in . We also assume that the above system is reversible with respect to the involution . A sufficient and necessary condition for the stability in the Liapunov sense of the equilibrium is given.

     

On minimal parabolic functions and time-homogeneous parabolic -transforms

Does a minimal harmonic function remain minimal when it is viewed as a parabolic function? The question is answered for a class of long thin semi-infinite tubes of variable width and minimal harmonic functions corresponding to the boundary point of ``at infinity.' Suppose is the width of the tube units away from its endpoint and is a Lipschitz function. The answer to the question is affirmative if and only if . If the test fails, there exist parabolic -transforms of space-time Brownian motion in with infinite lifetime which are not time-homogenous.

     

A classification of Baire-1 functions

In this paper we give some topological characterizations of
bounded Baire-1 functions using some ranks. Kechris and Louveau classified the Baire-1 functions to the subclasses for every (where is a compact metric space). The first basic result of this paper is that for , iff there exists a sequence of differences of bounded semicontinuous functions on with pointwise and (where ``' denotes the convergence rank). This extends the work of Kechris and Louveau who obtained this result for . We also show that the result fails for . The second basic result of the paper involves the introduction of a new ordinal-rank on sequences , called the -rank, which is smaller than the convergence rank . This result yields the following characterization of iff there exists a sequence of continuous functions with pointwise and if , resp. if .

     

A -deformation of a trivial symmetric group action

Let be the arrangement of hyperplanes consisting of the reflecting hyperplanes for the root system . Let be the Varchenko matrix for this arrangement with all hyperplane parameters equal to . We show that is the matrix with rows and columns indexed by permutations with entry equal to where is the number of inversions of . Equivalently is the matrix for left multiplication on by

Clearly commutes with the right-regular action of on . A general theorem of Varchenko applied in this special case shows that is singular exactly when is a root of for some between and . In this paper we prove two results which partially solve the problem (originally posed by Varchenko) of describing the -module structure of the nullspace of in the case that is singular. Our first result is that

in the case that where Lie denotes the multilinear part of the free Lie algebra with generators. Our second result gives an elegant formula for the determinant of restricted to the virtual -module with characteristic the power sum symmetric function .