The Product Formula in Unitary Deformation K-theory

For finitely generated groups G and H, we prove that there is a weak equivalence G H (G × H) of ku-algebra spectra, where denotes the “unitary deformation K-theory” functor. Additionally, we give spectral sequences for computing the homotopy groups of G and HG in terms of connective K-theory and homology of spaces of G-representations.     

On the minimality of the p-harmonic ma p $$x/\|x\|$$ for weighted energy

In this paper, we study the minimality of the map for the weighted energy functional , where is a continuous function. We prove that for any integer and any non-negative, non-decreasing continuous function f, the map minimizes E _f,p among the maps in which coincide with on . The case p = 1 has been already studied in [Bourgoin J.-C. Calc. Var. (to appear)]. Then, we extend results of Hong (see Ann. Inst. Poincaré Anal. Non-linéaire 17: 35–46 (2000)). Indeed, under the same assumptions for the function f, we prove that in dimension n ≥  7 for any real with , the map minimizes E _f,p among the maps in which coincide with on .      

A local rigidity theorem for minimal surfaces in Minkowski 3-space of Randers type

Let be a Minkowski 3-space of Randers type with , where is the Euclidean metric and . We consider minimal surfaces in and prove that if a connected surface M in is minimal with respect to both the Busemann–Hausdorff volume form and the Holmes–Thompson volume form, then up to a parallel translation of , M is either a piece of plane or a piece of helicoid which is generated by lines screwing about the x ³-axis.      

Rigidity and holomorphic Segre transversality for holomorphic Segre maps

Let and denote the complexifications of Heisenberg hypersurfaces in and , respectively. We show that non-degenerate holomorphic Segre mappings from into with possess a partial rigidity property. As an application, we prove that the holomorphic Segre non-transversality for a holomorphic Segre map from into with propagates along Segre varieties. We also give an example showing that this propagation property of holomorphic Segre transversality fails when N > 2n − 2.     

A note on simultaneous Diophantine approximation on planar curves

Let denote the set of simultaneously - approximable points in and denote the set of multiplicatively ψ-approximable points in . Let be a manifold in . The aim is to develop a metric theory for the sets and analogous to the classical theory in which is simply . In this note, we mainly restrict our attention to the case that is a planar curve . A complete Hausdorff dimension theory is established for the sets and . A divergent Khintchine type result is obtained for ; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on of is full. Furthermore, in the case that is a rational quadric the convergent Khintchine type result is obtained for both types of approximation. Our results for naturally generalize the dimension and Lebesgue measure statements of Beresnevich et al. (Mem AMS, 179 (846), 1–91 (2006)). Moreover, within the multiplicative framework, our results for constitute the first of their type. The research of Victor V. Beresnevich was supported by an EPSRC Grant R90727/01. Sanju L. Velani is a Royal Society University Research Fellow. For Iona and Ayesha on No. 3.     

A regularity result for polyharmonic maps with higher integrability

We prove a regularity result for critical points of the polyharmonic energy in with and p > 1. Our proof is based on a Gagliardo–Nirenberg-type estimate and avoids the moving frame technique. In view of the monotonicity formulae for stationary harmonic and biharmonic maps, we infer partial regularity in theses cases.     

On the expansion of the resolvent for elliptic boundary contact problems

Let A be an elliptic operator on a compact manifold with boundary , and let be a covering map, where Y is a closed manifold. Let A _C be a realization of A subject to a coupling condition C that is elliptic with parameter in the sector Λ. By a coupling condition we mean a nonlocal boundary condition that respects the covering structure of the boundary. We prove that the resolvent trace for N sufficiently large has a complete asymptotic expansion as . In particular, the heat trace has a complete asymptotic expansion as , and the -function has a meromorphic extension to .      

Obstruction classes of crossed modules of Lie algebroids and Lie groupoids linked to existence of principal bundles

Let K be a Lie group and P be a K-principal bundle on a manifold M. Suppose given furthermore a central extension of K. It is a classical question whether there exists a -principal bundle on M such that . Neeb (Commun. Algebra 34:991–1041, 2006) defines in this context a crossed module of topological Lie algebras whose cohomology class is an obstruction to the existence of . In the present article, we show that is up to torsion a full obstruction for this problem, and we clarify its relation to crossed modules of Lie algebroids and Lie groupoids, and finally to gerbes.      

Kaplansky classes and derived categories

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies the method used by the author in (Trans Am Math Soc 356(8) 3369–3390, 2004) and (Trans Am Math Soc 358(7), 2855–2874, 2006) to build monoidal model structures on the category of chain complexes of modules over a ring and chain complexes of sheaves over a ringed space. Indeed, much of the paper is dedicated to showing that in any Grothendieck category , any nice enough class of objects induces a model structure on the category Ch() of chain complexes. The main technical requirement on is the existence of a regular cardinal κ such that every object satisfies the following property: Each κ-generated subobject of F is contained in another κ-generated subobject S for which . Such a class is called a Kaplansky class. Kaplansky classes first appeared in Enochs and López-Ramos (Rend Sem Mat Univ Padova 107, 67–79, 2002) in the context of modules over a ring R. We study in detail the connection between Kaplansky classes and model categories. We also find simple conditions to put on which will guarantee that our model structure is monoidal. We will see that in several categories the class of flat objects form such Kaplansky classes, and hence induce monoidal model structures on the associated chain complex categories. We will also see that in any Grothendieck category , the class of all objects is a Kaplansky class which induces the usual (non-monoidal) injective model structure on Ch().     

On Rank Functions of Lattices

Let be a lattice of finite height. The correspondence between closure operators and ∧-subsemilattices is well known. Here we investigate what type of number-valued function is induces a ∧-subsemilattice ; and if so, what kind of . Conversely, what type of function is induced by what type of (or cl). Several results known for matroids, greedoids, or semimodular lattices are generalized.     

On injective modules over Azumaya algebras over locally noetherian schemes

Let be an Azumaya algebra over a locally noetherian scheme X. We describe in this work quasi-coherent -bimodules which are injective in the category of sheaves of left -modules     

Weak Riemannian manifolds from finite index subfactors

Let N ⊂ M be a finite Jones’ index inclusion of II₁ factors and denote by U _N ⊂ U _M their unitary groups. In this article, we study the homogeneous space U _M /U _N , which is a (infinite dimensional) differentiable manifold, diffeomorphic to the orbit of the Jones projection of the inclusion. We endow with a Riemannian metric, by means of the trace on each tangent space. These are pre-Hilbert spaces (the tangent spaces are not complete); therefore, is a weak Riemannian manifold. We show that enjoys certain properties similar to classic Hilbert–Riemann manifolds. Among them are metric completeness of the geodesic distance, uniqueness of geodesics of the Levi-Civita connection as minimal curves, and partial results on the existence of minimal geodesics. For instance, around each point p ₁ of , there is a ball (of uniform radius r) of the usual norm of M, such that any point p ₂ in the ball is joined to p ₁ by a unique geodesic, which is shorter than any other piecewise smooth curve lying inside this ball. We also give an intrinsic (algebraic) characterization of the directions of degeneracy of the submanifold inclusion , where the last set denotes the Grassmann manifold of the von Neumann algebra generated by M and .      

Relaxation of an area-like functional for the function $$\frac{x}{|x|}$$

We compute the relaxation

<Emphasis Type="Italic">K</Emphasis><Subscript>0</Subscript>-group and approximate similarity invariants of strongly irreducible operators

Let H olenote a complex separable Hilbert space and L(H) denote the collection of bounded linear operators on H. An operator T ∈ L(H) is said to be strongly irreducible if T does not commute with any nontrivial idempotent. Herrero and Jiang showed that the norm-closure of the class of all strongly irreducible operators is the class of all operators with connected spectrum. This result can be considered as an approximate inverse of the Riesz decomposition theorem. In the paper, we give a more precise charact...     

Dy namic of Abelia n Subgroups of GL( n, $$\mathbb{C}$$): A Structure Theorem

In this paper, we characterize the dynamic of every Abelian subgroups of , or . We show that there exists a -invariant, dense open set U in saturated by minimal orbits with a union of at most n -invariant vector subspaces of of dimension n−1 or n−2 over . As a consequence, has height at most n and in particular it admits a minimal set in . This work is supported by the research unit: systèmes dynamiques et combinatoire: 99UR15-15     

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.     

An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures

We study hypersurfaces in Euclidean space whose position vector x satisfies the condition L _k x = Ax + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed , is a constant matrix and is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature and open pieces of round hyperspheres and generalized right spherical cylinders of the form , with . This extends a previous classification for hypersurfaces in satisfying , where is the Laplacian operator of the hypersurface, given independently by Hasanis and Vlachos [J. Austral. Math. Soc. Ser. A 53, 377–384 (1991) and Chen and Petrovic [Bull. Austral. Math. Soc. 44, 117–129 (1991)].      

Parabolic twists for the linear algebras <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>−1</Subscript>

New solutions of twist equations for the universal enveloping algebras U (A_n−1) are found. These solutions can be represented as products of full chains of extended Jordanian twists Abelian factors (“rotations”) , and sets of quasi-Jordanian twists . The latter are generalizations of Jordanian twists (with carrier b²) for special deformed extensions of the Hopf algebra U (b²). The carrier subalgebra for the composition is a nonminimal parabolic subalgebra in A _n−1 such that . The parabolic twisting elements are obtained in an explicit form. Details of the construction are illustrated by considering the examples n = 4 and n = 11. Bibliography: 21 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 347, 2007, pp. 187–213.     

The Poisson boundary of lamplighter random walks on trees

Let be the homogeneous tree with degree q + 1 ≥ 3 and a finitely generated group whose Cayley graph is . The associated lamplighter group is the wreath product , where is a finite group. For a large class of random walks on this group, we prove almost sure convergence to a natural geometric boundary. If the probability law governing the random walk has finite first moment, then the probability space formed by this geometric boundary together with the limit distribution of the random walk is proved to be maximal, that is, the Poisson boundary. We also prove that the Dirichlet problem at infinity is solvable for continuous functions on the active part of the boundary, if the lamplighter “operates at bounded range”. Supported by ESF program RDSES and by Austrian Science Fund (FWF) P15577.     

Anisotropic version of a theorem of H. Hopf

Given a positive function F on S ² which satisfies a convexity condition, we define a function for surfaces in which is a generalization of the usual mean curvature function. We prove that an immersed topological sphere in with = constant is the Wulff shape, up to translations and homotheties.