The -local -homology of

In this paper, we introduce a Hopf algebra, developed by the author and André Henriques, which is usable in the computation of the -homology of a space. As an application, we compute the -homology of in a manner analogous to Mahowald and Milgram's computation of the -homology .

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

Real -flats tangent to quadrics in

Let and denote the dimension and the degree of the Grassmannian , respectively. For each there are (a priori complex) -planes in tangent to general quadratic hypersurfaces in . We show that this class of enumerative problems is fully real, i.e., for there exists a configuration of real quadrics in (affine) real space so that all the mutually tangent -flats are real.

     

A sharp result on -covers

Let be a finite system of residue classes which forms an -cover of (i.e., every integer belongs to at least members of ). In this paper we show the following sharp result: For any positive integers and , if there is such that the fractional part of is , then there are at least such subsets of . This extends an earlier result of M. Z. Zhang and an extension by Z. W. Sun. Also, we generalize the above result to -covers of the integral ring of any algebraic number field with a power integral basis.

     

An affine restriction estimate in

We prove that the Fourier transform of an function can be restricted to any compact convex surface of revolution in .

     

planes in

We establish a homeomorphism between the moduli space of ordered -tuples of 2-dimensional linear subspaces (mod ) and the quotient by simultaneous conjugation of a certain open subset . For , this leads to an explicit computation of the moduli space of central 2-arrangements in mod and its subspace of those classes that contain a complex hyperplane arrangement.

     

On the index and spectrum of differential operators on

If is an system of differential operators on having continuous coefficients with vanishing oscillation at infinity, the Cordes-Illner theory ensures that is Fredholm from to for all or no value We prove that both the index (when defined) and the spectrum of are independent of

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

The distribution functions of and

Let be the sum of the positive divisors of . We show that the natural density of the set of integers satisfying is given by , where denotes Euler's constant. The same result holds when is replaced by , where is Euler's totient function.

     

The Laplacian subalgebra of is a strongly singular masa

In this paper, we present a new class of strongly singular maximal abelian subalgebras living inside the -folded tensor product of the free group factor with itself (). The notions of strongly singular masas in type factors and that of asymptotic homomorphism were introduced by A. Sinclair and R. Smith. One of their first examples was the Laplacian subalgebra of the free group factor, generated by the sum of words of length 1 in . This subalgebra was known to be a singular masa. Using the results of A. Sinclair and R. Smith, we show that the unique trace-preserving conditional expectation onto the Laplacian subalgebra of is an asymptotic homomorphism, and hence the Laplacian subalgebra is a strongly singular masa for every .

     

The universal central extension of the three-point loop algebra

We consider the three-point loop algebra,

where denotes a field of characteristic 0 and is an indeterminate. The universal central extension of was determined by Bremner. In this note, we give a presentation for via generators and relations, which highlights a certain symmetry over the alternating group . To obtain our presentation of , we use the realization of as the tetrahedron Lie algebra.

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Cube-approximating bounded wavelet sets in

We prove that for any real expansive matrix , there exists a bounded -dilation wavelet set in the frequency domain (the inverse Fourier transform of whose characteristic function is a band-limited single wavelet in the time domain ). Moreover these wavelet sets can approximate a cube in arbitrarily. This result improves Dai, Larson and Speegle's result about the existence of (basically unbounded) wavelet sets for real expansive matrices.

     

An obstruction for the mean curvature of a conformal immersion

We prove a Pohozaev type identity for non-linear eigenvalue equations of the Dirac operator on Riemannian spin manifolds with boundary. As an application, we obtain that the mean curvature of a conformal immersion satisfies where is a conformal vector field on and where the integration is carried out with respect to the Euclidean volume measure of the image. This identity is analogous to the Kazdan-Warner obstruction that appears in the problem of prescribing the scalar curvature on inside the standard conformal class.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

An ascending HNN extension of a free group inside

We give an example of a subgroup of which is a strictly ascending HNN extension of a non-abelian finitely generated free group . In particular, we exhibit a free group in of rank which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir (2005). The main ingredient in our construction is a specific finite volume (non-compact) hyperbolic 3-manifold which is a surface bundle over the circle. In particular, most of comes from the fundamental group of a surface fiber. A key feature of is that there is an element of in with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group we construct is actually free.

     

Definite regular quadratic forms over

Let be a power of an odd prime, and be the ring of polynomials over a finite field of elements. A quadratic form over is said to be regular if globally represents all polynomials that are represented by the genus of . In this paper, we study definite regular quadratic forms over . It is shown that for a fixed , there are only finitely many equivalence classes of regular definite primitive quadratic forms over , regardless of the number of variables. Characterizations of those which are universal are also given.

     

Line arrangements in

If is a hyperbolic manifold and is a simple closed geodesic, then lifts to a collection of lines in acted upon by . In this paper we show that such a collection of lines cannot contain a particular type of subset (called a bad triple) unless has orientation-reversing elements. This fact allows us to extend certain lower bounds on hyperbolic volume to the non-orientable case.

     

Upper bounds for the volume and diameter of -dimensional sections of convex bodies

In this paper some upper bounds for the volume and diameter of central sections of symmetric convex bodies are obtained in terms of the isotropy constant of the polar body. The main consequence is that every symmetric convex body in of volume one has a proportional section , dim ( ), of diameter bounded by

whenever the polar body is in isotropic position ( is some absolute constant).