The evaluation subgroup of a fibre inclusion

Let be a fibration of simply connected CW complexes of finite type with classifying map . We study the evaluation subgroup Gn(E,X;j) of the fibre inclusion as an invariant of the fibre-homotopy type of ξ. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map h induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the decomposition G_∗(E,X;j)⊗Q=(G_∗(X)⊗Q)⊕(π_∗(B)⊗Q) is equivalent to the condition Q(h_?)=0.     

Equivariant homotopical homology with coefficients in a Mackey functor

Let M be a Mackey functor for a finite group G. In this paper, generalizing the Dold-Thom construction, we construct an ordinary equivariant homotopical homology theory with coefficients in M, whose values on the category of finite G-sets realize the bifunctor M, both covariantly and contravariantly. Furthermore, we extend the contravariant functor to define a transfer in the theory for G-equivariant covering maps. This transfer is given by a continuous homomorphism between topological abelian groups.We prove a formula for the composite of the transfer and the projection of a G-equivariant covering map and characterize those Mackey functors M for which that formula has an expression analogous to the classical one.     

Topologies on groups determined by discrete subsets

Let G be an infinite group. Given a filter F on G, let T[F] denote the largest left invariant topology on G in which F converges to the identity. In this paper, we study the topology T[F] in case when F contains the Fréchet filter and there is such that all the subsets xM(x), where x∈G, are pairwise disjoint. We show that T[F] possesses interesting extremal properties. We consider also the question whether T[F] can be a group topology.     

An operadic model for a mapping space and its associated spectral sequence

Let X and Y be simplicial sets and K a field. In [B. Fresse, Derived division functors and mapping spaces, 2002, Preprint arXiv:math.At/0208091], Fresse has constructed an algebra model over an E_∞K-operad E for the mapping space F(X,Y), whose source X is finite, provided the homotopy groups of the target Y are finite. In this paper, we show that if the underlying field K is the closure of the finite field F_p and the given mapping space is connected, then the finiteness assumption of the homotopy group of Y can be dropped in constructing the E-algebra model. Moreover, we give a spectral sequence converging to the cohomology of F(X,Y) with coefficients in , whose E₂-term is expressed via Lannes’ division functor in the category of unstable -algebra over the Steenrod algebra.     

Localization and duality in topology and modular representation theory

We develop a duality theory for localizations in the context of ring spectra in algebraic topology. We apply this to prove a theorem in the modular representation theory of finite groups.Let G be a finite group and k be an algebraically closed field of characteristic p. If p is a homogeneous nonmaximal prime ideal in H^∗(G,k), then there is an idempotent module κ_p which picks out the layer of the stable module category corresponding to p, and which was used by Benson, Carlson and Rickard [D.J. Benson, J.F. Carlson, J. Rickard, Thick subcategories of the stable module category, Fund. Math. 153 (1997) 59-80] in their development of varieties for infinitely generated kG-modules. Our main theorem states that the Tate cohomology is a shift of the injective hull of H^∗(G,k)/p as a graded H^∗(G,k)-module. Since κ_p can be constructed using a version of the stable Koszul complex, this can be viewed as a statement of localized Gorenstein duality in modular representation theory. Various consequences of this theorem are given, including the statement that the stable endomorphism ring of the module κ_p is the p-completion of cohomology , and the statement that κ_p is a pure injective kG-module.In the course of proving the theorem, we further develop the framework introduced by Dwyer, Greenlees and Iyengar [W.G. Dwyer, J.P.C. Greenlees, S. Iyengar, Duality in algebra and topology, Adv. Math. 200 (2006) 357-402] for translating between the unbounded derived categories and . We also construct a functor to the full stable module category, which extends the usual functor and which preserves Tate cohomology. The main theorem is formulated and proved in , and then translated to and finally to .The main theorem in can be viewed as stating that a version of Gorenstein duality holds after localizing at a prime ideal in H^∗(BG;k). This version of the theorem holds more generally for a compact Lie group satisfying a mild orientation condition. This duality lies behind the local cohomology spectral sequence of Greenlees and Lyubeznik for localizations of H^∗(BG;k).In a companion paper [D.J. Benson, Idempotent kG-modules with injective cohomology, J. Pure Appl. Algebra 212 (7) (2008) 1744-1746], a more recent and shorter proof of the main theorem is given. The more recent proof seems less natural, and does not say anything about localization of the Gorenstein condition for compact Lie groups.     

Excessive factorizations of bipartite multigraphs

An excessive factorization of a multigraph G is a set F={F₁,F₂,…,F_r} of 1-factors of G whose union is E(G) and, subject to this condition, r is minimum. The integer r is called the excessive index of G and denoted by . We set if an excessive factorization does not exist. Analogously, let m be a fixed positive integer. An excessive[m]-factorization is a set M={M₁,M₂,…,M_k} of matchings of G, all of size m, whose union is E(G) and, subject to this condition, k is minimum. The integer k is denoted by and called the excessive [m]-index of G. Again, we set if an excessive [m]-factorization does not exist. In this paper we shall prove that, for bipartite multigraphs, both the parameters and are computable in polynomial time, and we shall obtain an efficient algorithm for finding an excessive factorization and excessive [m]-factorization, respectively, of any bipartite multigraph.     

Rational torus-equivariant stable homotopy I: Calculating groups of stable maps

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show that it is of finite injective dimension. It can be used as a model for rational G-spectra in the sense that there is a homology theory

     

An asymptotic formula for the ranks of homotopy groups

Let X be a finite simply connected CW complex of dimension n. The loop space homology H_∗(ΩX;Q) is the universal enveloping algebra of a graded Lie algebra LX isomorphic with π∗−1(X)⊗Q. Let QX⊂LX be a minimal generating subspace, and set .Theorem: If dimLX=∞ and , then

     

A note on path kernels and partitions

The detour order of a graph G, denoted by τ(G), is the order of a longest path in G. A subset S of V(G) is called a P_n-kernel of G if τ(G[S])≤n−1 and every vertex v∈V(G)−S is adjacent to an end-vertex of a path of order n−1 in G[S]. A partition of the vertex set of G into two sets, A and B, such that τ(G[A])≤a and τ(G[B])≤b is called an (a,b)-partition of G. In this paper we show that any graph with girth g has a P_n+1-kernel for every . Furthermore, if τ(G)=a+b, 1≤a≤b, and G has girth greater than , then G has an (a,b)-partition.     

On the classification of minimal mass blowup solutions of the focusing mass-critical Hartree equation

Consider the focusing mass-critical nonlinear Hartree equation iut+Δu=−(⁻²|⋅|∗²|u|)u for spherically symmetric initial data with ground state mass M(Q) in dimension d?5. We show that any global solution u which does not scatter must be the solitary wave eitQ up to phase rotation and scaling.     

Iterated homotopy fixed points for the Lubin-Tate spectrum

When G is a profinite group and H and K are closed subgroups, with H normal in K, it is not known, in general, how to form the iterated homotopy fixed point spectrum (ZhH)^hK/H, where Z is a continuous G-spectrum and all group actions are to be continuous. However, we show that, if G=Gn, the extended Morava stabilizer group, and , where is Bousfield localization with respect to Morava K-theory, En is the Lubin-Tate spectrum, and X is any spectrum with trivial Gn-action, then the iterated homotopy fixed point spectrum can always be constructed. Also, we show that is just , extending a result of Devinatz and Hopkins.     

Involutions and representations for reduced quantum algebras

In the context of deformation quantization, there exist various procedures to deal with the quantization of a reduced space Mred. We shall be concerned here mainly with the classical Marsden-Weinstein reduction, assuming that we have a proper action of a Lie group G on a Poisson manifold M, with a moment map J for which zero is a regular value. For the quantization, we follow Bordemann et al. (2000) [6] (with a simplified approach) and build a star product red_? on Mred from a strongly invariant star product ? on M. The new questions which are addressed in this paper concern the existence of natural ^∗-involutions on the reduced quantum algebra and the representation theory for such a reduced ^∗-algebra.We assume that ? is Hermitian and we show that the choice of a formal series of smooth densities on the embedded coisotropic submanifold C=J−1(0), with some equivariance property, defines a ^∗-involution for red_? on the reduced space. Looking into the question whether the corresponding ^∗-involution is the complex conjugation (which is a ^∗-involution in the Marsden-Weinstein context) yields a new notion of quantized modular class.We introduce a left (C^∞(M)?λ?,?)-submodule and a right (C^∞(Mred)?λ?,red_?)-submodule of C^∞(C)?λ?; we define on it a C^∞(Mred)?λ?-valued inner product and we establish that this gives a strong Morita equivalence bimodule between C^∞(Mred)?λ? and the finite rank operators on . The crucial point is here to show the complete positivity of the inner product. We obtain a Rieffel induction functor from the strongly non-degenerate ^∗-representations of (C^∞(Mred)?λ?,red_?) on pre-Hilbert right D-modules to those of (C^∞(M)?λ?,?), for any auxiliary coefficient ^∗-algebra D over C?λ?.     

Selections of bounded variation under the excess restrictions

Let X be a metric space with metric d, c(X) denote the family of all nonempty compact subsets of X and, given F,G∈c(X), let e(F,G)=supx∈Finfy∈Gd(x,y) be the Hausdorff excess of F over G. The excess variation of a multifunction , which generalizes the ordinary variation V of single-valued functions, is defined by where the supremum is taken over all partitions of the interval [a,b]. The main result of the paper is the following selection theorem: If,V₊(F,[a,b])<∞,t₀∈[a,b]andx₀∈F(t₀), then there exists a single-valued functionof bounded variation such thatf(t)∈F(t)for allt∈[a,b],f(t₀)=x₀,V(f,[a,t₀))?V₊(F,[a,t₀))andV(f,[t₀,b])?V₊(F,[t₀,b]). We exhibit examples showing that the conclusions in this theorem are sharp, and that it produces new selections of bounded variation as compared with [V.V. Chistyakov, Selections of bounded variation, J. Appl. Anal. 10 (1) (2004) 1-82]. In contrast to this, a multifunction F satisfying e(F(s),F(t))?C(t−s) for some constant C?0 and all s,t∈[a,b] with s?t (Lipschitz continuity with respect to e(⋅,⋅)) admits a Lipschitz selection with a Lipschitz constant not exceeding C if t₀=a and may have only discontinuous selections of bounded variation if a<t₀?b. The same situation holds for continuous selections of when it is excess continuous in the sense that e(F(s),F(t))→0 as s→t−0 for all t∈(a,b] and e(F(t),F(s))→0 as s→t+0 for all t∈[a,b) simultaneously.     

Semigroup crossed products and the induced algebras of lattice-ordered groups

Let (G,G₊) be a quasi-lattice-ordered group with positive cone G₊. Laca and Raeburn have shown that the universal C^∗-algebra C^∗(G,G₊) introduced by Nica is a crossed product BG₊α_×G₊ by a semigroup of endomorphisms. The goal of this paper is to extend some results for totally ordered abelian groups to the case of discrete lattice-ordered abelian groups. In particular given a hereditary subsemigroup H₊ of G₊ we introduce a closed ideal IH₊ of the C^∗-algebra BG₊. We construct an approximate identity for this ideal and show that IH₊ is extendibly α-invariant. It follows that there is an isomorphism between C^∗-crossed products and B₊(G/H)β_×G₊. This leads to our main result that B₊(G/H)β_×G₊ is realized as an induced C^∗-algebra .     

A classification of sharp tridiagonal pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider a pair of linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W, A^∗W⊆W, W≠0, W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide. The pair A,A^∗ is called sharp whenever . It is known that if F is algebraically closed then A,A^∗ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the μ-conjecture.     

Homotopy monomorphisms and H-splitting in loop space fibrations

Let be a fibration, the holonomy action of this fibration and the connecting map. It is shown that if the fibre F admits an H-structure ν such that ρ?ν○(1×∂) (principal fibrations of all kinds satisfy such a condition), then i is a monomorphism if and only if it is weak monomorphism, the latter is equivalent to that Ωp has a homotopy right inverse Γ. If in addition Γ is an H-map, then ΩE has the same H-type as ΩB×ΩF.     

The Cauchy problem for the Schrödinger-KdV system

In this paper we prove that in the general case (i.e. β not necessarily vanishing) the Cauchy problem for the Schrödinger-Korteweg-de Vries system is locally well-posed in , and if β=0 then it is locally well-posed in with . These results improve the corresponding results of Corcho and Linares (2007) [5]. Idea of the proof is to establish some bilinear and trilinear estimates in the space Gs×Fs, where Gs and Fs are dyadic Bourgain-type spaces related to the Schrödinger operator and the Airy operator , respectively, but with a modification on Fs in low frequency part of functions with a weaker structure related to the maximal function estimate of the Airy operator.