The homotopy limit problem for Hermitian K-theory, equivariant motivic homotopy theory and motivic Real cobordism

The homotopy limit problem for Karoubi?s Hermitian K-theory (Karoubi, 1980) [26] was posed by Thomason (1983) [44]. There is a canonical map from algebraic Hermitian K-theory to the Z/2-homotopy fixed points of algebraic K-theory. The problem asks, roughly, how close this map is to being an isomorphism, specifically after completion at 2. In this paper, we solve this problem completely for fields of characteristic 0 (Theorems 16, 20). We show that the 2-completed map is an isomorphism for fields F of characteristic 0 which satisfy cd₂(F[i])<∞, but not in general.     

Approximations for nonlinear mappings by the hybrid method in Hilbert spaces

The hybrid method in mathematical programming was introduced by Haugazeau (1968) [1] and he proved a strong convergence theorem for finding a common element of finite nonempty closed convex subsets of a real Hilbert space. Later, Bauschke and Combettes (2001) [2] proposed some condition for a family of mappings (the so-called coherent condition) and established interesting results by the hybrid method. The authors (Nakajo et al., 2009) [10] extended Bauschke and Combettes’s results. In this paper, we introduce a condition weaker than the coherent condition and prove strong convergence theorems which generalize the results of Nakajo et al. (2009) [10]. And we get strong convergence theorems for a family of asymptotically κ-strict pseudo-contractions, a family of Lipschitz and pseudo-contractive mappings and a one-parameter uniformly Lipschitz semigroup of pseudo-contractive mappings.     

Holographic formula for Q-curvature. II

We extend the holographic formula for the critical Q-curvature in Graham and Juhl (2007) [9] to all Q-curvatures. Moreover, we confirm a conjecture of Juhl (2009) [11].     

Classification of the centers and their isochronicity for a class of polynomial differential systems of arbitrary degree

In this paper we classify the centers localized at the origin of coordinates, and their isochronicity for the polynomial differential systems in R² of degree d that in complex notation z=x+iy can be written as where j is either 0 or 1. If j=0 then d?5 is an odd integer and n is an even integer satisfying 2?n?(d+1)/2. If j=1 then d?3 is an integer and n is an integer with converse parity with d and satisfying 0<n?[(d+1)/3] where [⋅] denotes the integer part function. Furthermore λ∈R and A,B,C,D∈C. Note that if d=3 and j=0, we are obtaining the generalization of the polynomial differential systems with cubic homogeneous nonlinearities studied in K.E. Malkin (1964) [17], N.I. Vulpe and K.S. Sibirskii (1988) [25], J. Llibre and C. Valls (2009) [15], and if d=2, j=1 and C=0, we are also obtaining as a particular case the quadratic polynomial differential systems studied in N.N. Bautin (1952) [2], H. Zoladek (1994) [26]. So the class of polynomial differential systems here studied is very general having arbitrary degree and containing the two more relevant subclasses in the history of the center problem for polynomial differential equations.     

An algebraic slice in the coadjoint space of the Borel and the Coxeter element

Let g be a complex simple Lie algebra and b a Borel subalgebra. The algebra Y of polynomial semi-invariants on the dual b^? of b is a polynomial algebra on rank g generators (Grothendieck and Dieudonné (1965–1967)) [16]. The analogy with the semisimple case suggests there exists an algebraic slice to coadjoint action, that is an affine translate y+V of a vector subspace of b^? such that the restriction map induces an isomorphism of Y onto the algebra R[y+V] of regular functions on y+V. This holds in type A and even extends to all biparabolic subalgebras (Joseph (2007)) [20]; but the construction fails in general even with respect to the Borel. Moreover already in type C(2) no algebraic slice exists.Very surprisingly the exception of type C(2) is itself an exception. Indeed an algebraic slice for the coadjoint action of the Borel subalgebra is constructed for all simple Lie algebras except those of types B(2m), C(n) and F(4).Outside type A, the slice obtained meets an open dense subset of regular orbits, even though the special point y of the slice is not itself regular. This explains the failure of our previous construction.     

Motivic integral of K3 surfaces over a non-archimedean field

We prove a formula expressing the motivic integral (Loeser and Sebag, 2003) [34] of a K3 surface over C((t)) with semi-stable reduction in terms of the associated limit mixed Hodge structure. Secondly, for every smooth variety over a complete discrete valuation field we define an analogue of the monodromy pairing, constructed by Grothendieck in the case of abelian varieties, and prove that our monodromy pairing is a birational invariant of the variety. Finally, we propose a conjectural formula for the motivic integral of maximally degenerate K3 surfaces over an arbitrary complete discrete valuation field and prove this conjecture for Kummer K3 surfaces.     

Fully symmetric functionals on a Marcinkiewicz space are Dixmier traces

As a consequence of the exposition of Dixmier type traces in the book of A. Connes (1994) [2], we were led to ask how general is this class of functionals within the space of all unitarily invariant functionals on the corresponding Marcinkiewicz ideal Mψ. In this paper we prove the surprising result that the set of all Dixmier traces on Mψ coincides with the set of all fully symmetric functionals on this space.     

Partial hyperbolicity far from homoclinic bifurcations

We prove that any diffeomorphism of a compact manifold can be C¹-approximated by a diffeomorphism which exhibits a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by a diffeomorphism which is partially hyperbolic (its chain-recurrent set splits into partially hyperbolic pieces whose centre bundles have dimensions less or equal to two). We also study in a more systematic way the central models introduced in Crovisier (in press) [10].     

The topology of moduli spaces of group representations: The case of compact surface

Let G be a connected complex semisimple affine algebraic group, and let K be a maximal compact subgroup of G. Let X be a noncompact oriented surface. The main theorem of Florentino and Lawton (2009) [3] says that the moduli space of flat K-connections on X is a strong deformation retraction of the moduli space of flat G-connections on X. We prove that this statement fails whenever X is compact of genus at least two.     

On special types of nonholonomic contact elements

Our starting point has been a recent clarification of the role of semiholonomic contact elements in the theory of submanifolds of Cartan geometries, Kolá? and Vitolo (2010) [5]. We deduce some further properties of the iterated contact elements by using the general concept of contact (n,F)-element for a regular subcategory F of the category of nonholonomic r-jets. Special attention is paid to the incidence relation of contact F-elements of different dimensions.     

Generalized complex and Dirac structures on homogeneous spaces

The aim of this paper is to study generalized complex geometry (Hitchin, 2002) [6] and Dirac geometry (Courant, 1990) [3], (Courant and Weinstein, 1988) [4] on homogeneous spaces. We offer a characterization of equivariant Dirac structures on homogeneous spaces, which is then used to construct new examples of generalized complex structures. We consider Riemannian symmetric spaces, quotients of compact groups by closed connected subgroups of maximal rank, and nilpotent orbits in sln(R). For each of these cases, we completely classify equivariant Dirac structures. Additionally, we consider equivariant Dirac structures on semisimple orbits in a semisimple Lie algebra. Here equivariant Dirac structures can be described in terms of root systems or by certain data involving parabolic subalgebras.     

Operator ergodic theory for one-parameter decomposable groups

After initial treatment of the Fourier analysis and operator ergodic theory of strongly continuous decomposable one-parameter groups of operators in the Banach space setting, we show that in the setting of a super-reflexive Banach space X these groups automatically transfer from the setting of R to X the behavior of the Hilbert kernel, as well as the Fourier multiplier actions of functions of higher variation on R. These considerations furnish one-parameter groups with counterparts for the single operator theory in Berkson (2010) [4]. Since no uniform boundedness of one-parameter groups of operators is generally assumed in the present article, its results for the super-reflexive space setting go well beyond the theory of uniformly bounded one-parameter groups on UMD spaces (which was developed in Berkson et al., 1986 [13]), and in the process they expand the scope of vector-valued transference to encompass a genre of representations of R that are not uniformly bounded.     

Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. IV: Divergence points and packing dimension

During the past 10 years multifractal analysis has received an enormous interest. For a sequence n(φn) of functions on a metric space X, multifractal analysis refers to the study of the Hausdorff and/or packing dimension of the level sets(1) of the limit function limnφn. However, recently a more general notion of multifractal analysis, focusing not only on points x for which the limit limnφn(x) exists, has emerged and attracted considerable interest. Namely, for a sequence n(xn) in a metric space X, we let A(xn) denote the set of accumulation points of the sequence n(xn). The problem of computing that the Hausdorff dimension of the set of points x for which the set of accumulation points of the sequence (φnn(x)) equals a given set C, i.e. computing the Hausdorff dimension of the set(2){x∈X|A(φn(x))=C} has recently attracted considerable interest and a number of interesting results have been obtained. However, almost nothing is known about the packing dimension of sets of this type except for a few special cases investigated in [I.S. Baek, L. Olsen, N. Snigireva, Divergence points of self-similar measures and packing dimension, Adv. Math. 214 (2007) 267–287]. The purpose of this paper is to compute the packing dimension of those sets for a very general class of maps φn, including many examples that have been studied previously, cf. Theorem 3.1 and Corollary 3.2. Surprisingly, in many cases, the packing dimension and the Hausdorff dimension of the sets in (2) do not coincide. This is in sharp contrast to well-known results in multifractal analysis saying that the Hausdorff and packing dimensions of the sets in (1) coincide.     

An improved monotone algorithm for scheduling related machines with precedence constraints

We answer an open question posed by Krumke et al. (2008) [6] by showing how to turn the algorithm of Chekuri and Bender for scheduling related machines with precedence constraints into an O(logm)-approximation algorithm that is monotone in expectation. This significantly improves on the previously best known monotone approximation algorithms for this problem, from Krumke et al. [6] and Thielen and Krumke (2008) [8], which have an approximation guarantee of O(m^2/3).     

Absolute E-rings

A ring R with 1 is called an E-ring if EndZR is ring-isomorphic to R under the canonical homomorphism taking the value 1σ for any σ∈EndZR. Moreover R is an absolute E-ring if it remains an E-ring in every generic extension of the universe. E-rings are an important tool for algebraic topology as explained in the introduction. The existence of an E-ring R of each cardinality of the form λℵ₀ was shown by Dugas, Mader and Vinsonhaler (1987) [9]. We want to show the existence of absolute E-rings. It turns out that there is a precise cardinal-barrier κ(ω) for this problem: (The cardinal κ(ω) is the first ω-Erd?s cardinal defined in the introduction. It is a relative of measurable cardinals.) We will construct absolute E-rings of any size λ<κ(ω). But there are no absolute E-rings of cardinality ?κ(ω). The non-existence of huge, absolute E-rings ?κ(ω) follows from a recent paper by Herden and Shelah (2009) [24] and the construction of absolute E-rings R is based on an old result by Shelah (1982) [31] where families of absolute, rigid colored trees (with no automorphism between any distinct members) are constructed. We plant these trees into our potential E-rings with the aim to prevent unwanted endomorphisms of their additive group to survive. Endomorphisms will recognize the trees which will have branches infinitely often divisible by primes. Our main result provides the existence of absolute E-rings for all infinite cardinals λ<κ(ω), i.e. these E-rings remain E-rings in all generic extensions of the universe (e.g. using forcing arguments). Indeed all previously known E-rings (Dugas, Mader and Vinsonhaler, 1987 [9]; Göbel and Trlifaj, 2006 [23]) of cardinality ?ℵ₀² have a free additive group R⁺ in some extended universe, thus are no longer E-rings, as explained in the introduction. Our construction also fills all cardinal-gaps of the earlier constructions (which have only sizes λℵ₀). These E-rings are domains and as a by-product we obtain the existence of absolutely indecomposable abelian groups, compare Göbel and Shelah (2007) [22].     

Consistent multiple testing for change points

The change point problem for independent normal means is considered as a multiple testing problem. Two stepwise methods are considered. Namely, the binary segmentation method of Vostrikova (1981) [7] and the maximum residual down method of Cohen et al. (2009) [5]. Both of these methods are shown to be consistent. Consistent here means that as sample sizes tend to infinity, the probability of making an error (false rejection or false acceptance) tends to zero.     

Sharp anisotropic estimates for the Boltzmann collision operator and its entropy production

This article provides sharp constructive upper and lower bound estimates for the Boltzmann collision operator with the full range of physical non-cut-off collision kernels (γ>−n and s∈(0,1)) in the trilinear L²(Rn) energy 〈Q(g,f),f〉. These new estimates prove that, for a very general class of g(v), the global diffusive behavior (on f) in the energy space is that of the geometric fractional derivative semi-norm identified in the linearized context in our earlier works (Gressman and Strain, 2010 [15], 2011 [16]). We further prove new global entropy production estimates with the same anisotropic semi-norm. This resolves the longstanding, widespread heuristic conjecture about the sharp diffusive nature of the non-cut-off Boltzmann collision operator in the energy space L²(Rn).     

Graph-directed systems and self-similar measures on limit spaces of self-similar groups

Let G be a group and ?:H→G be a contracting homomorphism from a subgroup H<G of finite index. V. Nekrashevych (2005) [25] associated with the pair (G,?) the limit dynamical system (JG,s) and the limit G-space XG together with the covering _?g∈GT⋅g by the tile T. We develop the theory of self-similar measures m on these limit spaces. It is shown that (JG,s,m) is conjugated to the one-sided Bernoulli shift. Using sofic subshifts we prove that the tile T has integer measure and we give an algorithmic way to compute it. In addition we give an algorithm to find the measure of the intersection of tiles T∩(T⋅g) for g∈G. We present applications to the invariant measures for the rational functions on the Riemann sphere and to the evaluation of the Lebesgue measure of integral self-affine tiles.     

Integrability of a nuclear spin generator

In this work we consider a nuclear spin generator given by where α, β, κ are nonnegative parameters. It models the two temperature feedback nuclear reactor problem as model by Vreeke and Sandquist (1970) [4]. We contribute to the understanding of its global dynamics, or more precisely, to the topological structure of its orbits by studying the integrability problem. We prove that β=0 or β≠0 and κ=0 are the only values of the parameters for which the system is integrable, and in this case we provide an explicit expression for its first integrals.