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.

     

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

     

Distribution semigroups and abstract Cauchy problems

We present a new definition of distribution semigroups, covering in particular non-densely defined generators. We show that for a closed operator in a Banach space the following assertions are equivalent: (a) generates a distribution semigroup; (b) the convolution operator has a fundamental solution in where denotes the domain of supplied with the graph norm and denotes the inclusion ; (c) generates a local integrated semigroup. We also show that every generator of a distribution semigroup generates a regularized semigroup.

     

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 .

     

Forcing minimal extensions of Boolean algebras

We employ a forcing approach to extending Boolean algebras. A link between some forcings and some cardinal functions on Boolean algebras is found and exploited. We find the following applications:

1) We make Fedorchuk's method more flexible, obtaining, for every cardinal of uncountable cofinality, a consistent example of a Boolean algebra whose every infinite homomorphic image is of cardinality and has a countable dense subalgebra (i.e., its Stone space is a compact S-space whose every infinite closed subspace has weight ). In particular this construction shows that it is consistent that the minimal character of a nonprincipal ultrafilter in a homomorphic image of an algebra can be strictly less than the minimal size of a homomorphic image of , answering a question of J. D. Monk.

2) We prove that for every cardinal of uncountable cofinality it is consistent that and both and exist.

3) By combining these algebras we obtain many examples that answer questions of J.D. Monk.

4) We prove the consistency of MA + CH + there is a countably tight compact space without a point of countable character, complementing results of A. Dow, V. Malykhin, and I. Juhasz. Although the algebra of clopen sets of the above space has no ultrafilter which is countably generated, it is a subalgebra of an algebra all of whose ultrafilters are countably generated. This proves, answering a question of Arhangelskii, that it is consistent that there is a first countable compact space which has a continuous image without a point of countable character.

5) We prove that for any cardinal of uncountable cofinality it is consistent that there is a countably tight Boolean algebra with a distinguished ultrafilter such that for every the algebra is countable and has hereditary character .

     

Vertex operators for twisted quantum affine algebras

We construct explicitly the -vertex operators (intertwining operators) for the level one modules of the classical quantum affine algebras of twisted types using interacting bosons, where for (), for , for (), and for (). A perfect crystal graph for is constructed as a by-product.

     

Windows of given area with minimal heat diffusion

For a bounded Lipschitz domain , we show the existence of a measurable set of given area such that the first eigenvalue of the Laplacian with Dirichlet conditions on and Neumann conditions on becomes minimal. If is a ball, will be a spherical cap.

     

On the number of terms in the middle of almost split sequences over tame algebras

Let be a finite dimensional tame algebra over an algebraically closed field . It has been conjectured that any almost split sequence with indecomposable modules has and in case , then exactly one of the is a projective-injective module. In this work we show this conjecture in case all the are directing modules, that is, there are no cycles of non-zero, non-iso maps between indecomposable -modules. In case, and are isomorphic, we show that and give precise information on the structure of .

     

On the number of radially symmetric solutions to Dirichlet problems with jumping nonlinearities of superlinear order

This paper is concerned with the multiplicity of radially symmetric solutions to the Dirichlet problem

on the unit ball with boundary condition on . Here is a positive function and is a function that is superlinear (but of subcritical growth) for large positive , while for large negative we have that , where is the smallest positive eigenvalue for in with on . It is shown that, given any integer , the value may be chosen so large that there are solutions with or less interior nodes. Existence of positive solutions is excluded for large enough values of .

     

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 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.

     

Scrambled sets of continuous maps of 1-dimensional polyhedra

Let be a 1-dimensional simplicial complex in without isolated vertexes, be the polyhedron of with the metric induced by , and be a continuous map. In this paper we prove that if is finite, then the interior of every scrambled set of in is empty. We also show that if is an infinite complex, then there exist continuous maps from to itself having scrambled sets with nonempty interiors, and if or , then there exist maps of with the whole space being a scrambled set.

     

On the depth of the tangent cone and the growth of the Hilbert function

For a dimensional Cohen-Macaulay local ring we study the depth of the associated graded ring of with respect to an -primary ideal in terms of the Vallabrega-Valla conditions and the length of , where is a minimal reduction of and . As a corollary we generalize Sally's conjecture on the depth of the associated graded ring with respect to a maximal ideal to -primary ideals. We also study the growth of the Hilbert function.

     

Overgroups of irreducible linear groups, II

Determining the subgroup structure of algebraic groups (over an algebraically closed field of arbitrary characteristic) often requires an understanding of those instances when a group and a closed subgroup both act irreducibly on some module , which is rational for and . In this paper and in Overgroups of irreducible linear groups, I (J. Algebra 181 (1996), 26-69), we give a classification of all such triples when is a non-connected algebraic group with simple identity component , is an irreducible -module with restricted -high weight(s), and is a simple algebraic group of classical type over sitting strictly between and .

     

Compressions of resolvents and maximal radius of regularity

Suppose that is left invertible in for all , where is an open subset of the complex plane. Then an operator-valued function is a left resolvent of in if and only if has an extension , the resolvent of which is a dilation of of a particular form. Generalized resolvents exist on every open set , with included in the regular domain of . This implies a formula for the maximal radius of regularity of in terms of the spectral radius of its generalized inverses. A solution to an open problem raised by
J. Zemánek is obtained.

     

Extendability of Large-Scale Lipschitz Maps

Let be metric spaces, a subset of , and a large-scale lipschitz map. It is shown that possesses a large-scale lipschitz extension (with possibly larger constants) if is a Gromov hyperbolic geodesic space or the cartesian product of finitely many such spaces. No extension exists, in general, if is an infinite-dimensional Hilbert space. A necessary and sufficient condition for the extendability of a lipschitz map is given in the case when is separable and is a proper, convex geodesic space.

     

Isoperimetric Estimates on Sierpinski Gasket Type Fractals

For a compact Hausdorff space that is pathwise connected, we can define the connectivity dimension to be the infimum of all such that all points in can be connected by a path of Hausdorff dimension at most . We show how to compute the connectivity dimension for a class of self-similar sets in that we call point connected, meaning roughly that is generated by an iterated function system acting on a polytope such that the images of intersect at single vertices. This class includes the polygaskets, which are obtained from a regular -gon in the plane by contracting equally to all vertices, provided is not divisible by 4. (The Sierpinski gasket corresponds to .) We also provide a separate computation for the octogasket (), which is not point connected. We also show, in these examples, that , where the infimum is taken over all paths connecting and , and denotes Hausdorff measure, is equivalent to the original metric on . Given a compact subset of the plane of Hausdorff dimension and connectivity dimension , we can define the isoperimetric profile function to be the supremum of , where is a region in the plane bounded by a Jordan curve (or union of Jordan curves) entirely contained in , with . The analog of the standard isperimetric estimate is . We are particularly interested in finding the best constant and identifying the extremal domains where we have equality. We solve this problem for polygaskets with . In addition, for we find an entirely different estimate for as , since the boundary of has infinite measure. We find that the isoperimetric profile function is discontinuous, and that the extremal domains have relatively simple polygonal boundaries. We discuss briefly the properties of minimal paths for the Sierpinski gasket, and the isodiametric problem in the intrinsic metric.

     

Witten-Helffer-Sjöstrand theory for -equivariant cohomology

Given an -invariant Morse function and an -invariant Riemannian metric , a family of finite dimensional subcomplexes , , of the Witten deformation of the -equivariant de Rham complex is constructed, by studying the asymptotic behavior of the spectrum of the corresponding Laplacian as . In fact the spectrum of can be separated into the small eigenvalues, finite eigenvalues and the large eigenvalues. Then one obtains as the complex of eigenforms corresponding to the small eigenvalues of . This permits us to verify the -equivariant Morse inequalities. Moreover suppose is self-indexing and satisfies the Morse-Smale condition, then it is shown that this family of subcomplexes converges as to a geometric complex which is induced by and calculates the -equivariant cohomology of .

     

On the non-vanishing of cubic twists of automorphic -series

Let be a normalised new form of weight for over and , its base change lift to . A sufficient condition is given for the nonvanishing at the center of the critical strip of infinitely many cubic twists of the -function of . There is an algorithm to check the condition for any given form. The new form of level is used to illustrate our method.