Convergence and the length spectrum

The author defines and analyzes the 1/k length spectra, L1/k(M), whose union, over all k∈N is the classical length spectrum. These new length spectra are shown to converge in the sense that limk→∞K1/k(Mi)⊂L1/k(M)∪{0} as Mi→M in the Gromov-Hausdorff sense. Energy methods are introduced to estimate the shortest element of L1/k, as well as a concept called the minimizing index which may be used to estimate the length of the shortest closed geodesic of a simply connected manifold in any dimension. A number of gap theorems are proven, including one for manifolds, Mn, with Ricci?(n−1) and volume close to Vol(Sn). Many results in this paper hold on compact length spaces in addition to Riemannian manifolds.     

Crystalline boundedness principle

We prove that an F-crystal (M,φ) over an algebraically closed field k of characteristic p>0 is determined by , where n?1 depends only on the rank of M and on the greatest Hodge slope of (M,φ). We also extend this result to triples (M,φ,G), where G is a flat, closed subgroup scheme of GLM whose generic fibre is connected and has a Lie algebra normalized by φ. We get two purity results. If C is an F-crystal over a reduced Fp-scheme S, then each stratum of the Newton polygon stratification of S defined by C, is an affine S-scheme (a weaker result was known before for S noetherian). The locally closed subscheme of the Mumford scheme Ad,1,Nk defined by the isomorphism class of a principally quasi-polarized p-divisible group over k of height 2d, is an affine Ad,1,Nk-scheme.     

Weighted inequalities and pointwise estimates for the multilinear fractional integral and maximal operators

In this article we prove weighted norm inequalities and pointwise estimates between the multilinear fractional integral operator and the multilinear fractional maximal. As a consequence of these estimations we obtain weighted weak and strong inequalities for the multilinear fractional maximal operator or function. In particular, we extend some results given in Carro et al. (2005) [7] to the multilinear context. On the other hand we prove weighted pointwise estimates between the multilinear fractional maximal operator Mα,B associated to a Young function B and the multilinear maximal operators Mψ=M0,ψ, ψ(t)=B(t1−α/(nm))^nm/(nm−α). As an application of these estimate we obtain a direct proof of the Lp−Lq boundedness results of Mα,B for the case B(t)=t and Bk(t)=tk(1+log⁺t) when 1/q=1/p−α/n. We also give sufficient conditions on the weights involved in the boundedness results of Mα,B that generalizes those given in Moen (2009) [22] for B(t)=t. Finally, we prove some boundedness results in Banach function spaces for a generalized version of the multilinear fractional maximal operator.     

Schur-class multipliers on the Arveson space: De Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations

An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers S(λ) for the reproducing kernel Hilbert space H(kd) on the unit ball Bd⊂Cd, where kd is the positive kernel kd(λ,ζ)=1/(1−〈λ,ζ〉) on Bd. The reproducing kernel space H(KS) associated with the positive kernel KS(λ,ζ)=(I−S(λ)S^∗(ζ))⋅kd(λ,ζ) is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space H(KS) in general may not be invariant under the adjoints of the multiplication operators on H(kd). We show that invariance of H(KS) under for each j=1,…,d is equivalent to the existence of a realization for S(λ) of the form S(λ)=D+C⁻¹(I−λ₁A₁−?−λdAd)(λ₁B₁+?+λdBd) such that connecting operator has adjoint U^∗ which is isometric on a certain natural subspace (U is “weakly coisometric”) and has the additional property that the state operators A₁,…,Ad pairwise commute; in this case one can take the state space to be the functional-model space H(KS) and the state operators A₁,…,Ad to be given by (a de Branges-Rovnyak functional-model realization). We show that this special situation always occurs for the case of inner functions S (where the associated multiplication operator MS is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators A₁,…,Ad satisfy an additional stability property.     

Integer points in backward orbits

A theorem of J. Silverman states that a forward orbit of a rational map φ(z) on P¹(K) contains finitely many S-integers in the number field K when (φ°φ)(z) is not a polynomial. We state an analogous conjecture for the backward orbits using a general S-integrality notion based on the Galois conjugates of points. This conjecture is proven for the map φ(z)=zd, and consequently Chebyshev polynomials, by uniformly bounding the number of Galois orbits for zn−β when β≠0 is a non-root of unity. In general, our conjecture is true provided that the number of Galois orbits for φn(z)−β is bounded independently of n.     

Linearized inverse problem for the Dirichlet-to-Neumann map on differential forms

For a compact n-dimensional Riemannian manifold (M,g) with boundary i:∂M⊂M, the Dirichlet-to-Neumann (DN) map Λg:Ωk(∂M)→Ωn−k−1(∂M) is defined on exterior differential forms by Λgφ=i^∗(?dω), where ω solves the boundary value problem Δω=0, i^∗ω=φ, i^∗δω=0. For a symmetric second rank tensor field h on M, let be the Gateaux derivative of the DN map in the direction h. We study the question: for a given (M,g), how large is the subspace of tensor fields h satisfying ? Potential tensor fields belong to the subspace since the DN map is invariant under isomeries fixing the boundary. For a manifold of an even dimension n, the DN map on (n/2−1)-forms is conformally invariant, therefore spherical tensor fields belong to the subspace in the case of k=n/2−1. The manifold is said to be Ωk-rigid if there is no other h satisfying . We prove that the Ωk-rigidity is equivalent to the density of the range of some bilinear form on the space of exact harmonic fields.     

Epimorphisms of knot groups onto free products

Let k be a knot in S³. There is an epimorphism from π₁(S³−k) onto a free product of two nontrivial cyclic groups sending a meridian to an element of length two iff k has property Q (Topology of Manifolds, Markham, Chicago, IL, 1970, pp. 195-199) that is if there is a closed surface F in S³ containing k, such that k is imprimitive in H₁(X) and in H₁(Y) where X and Y are the closures of the components of S³−F. We give answers to questions of Simon (1970) about properties Q, Q∗ and Q∗∗. Epimorphisms from knot groups onto torus knot groups are also studied and some results on property P and surgery are included.     

On orthogonal systems of matrix algebras

In this work it is shown that certain interesting types of orthogonal system of subalgebras (whose existence cannot be ruled out by the trivial necessary conditions) cannot exist. In particular, it is proved that there is no orthogonal decomposition of M_n(C)⊗M_n(C)≡M_n²(C) into a number of maximal abelian subalgebras and factors isomorphic to M_n(C) in which the number of factors would be 1 or 3.In addition, some new tools are introduced, too: for example, a quantity c(A,B), which measures “how close” the subalgebras A,B⊂M_n(C) are to being orthogonal. It is shown that in the main cases of interest, c(A^′,B^′) - where A^′ and B^′ are the commutants of A and B, respectively - can be determined by c(A,B) and the dimensions of A and B. The corresponding formula is used to find some further obstructions regarding orthogonal systems.     

Maximal degree variational principles and Liouville dynamics

Let M be smooth n-dimensional manifold, fibered over a k-dimensional submanifold B as π:M→B, and ?∈Λ^k(M); one can consider the functional on sections φ of the bundle π defined by , with D a domain in B. We show that for k=n−2 the variational principle based on this functional identifies a unique (up to multiplication by a smooth function) nontrivial vector field in M, i.e., a system of ODEs. Conversely, any vector field X on M satisfying for some ?∈Λⁿ⁻²(M) admits such a variational characterization. We consider the general case, and also the particular case M=P×R where one of the variables (the time) has a distinguished role; in this case our results imply that any Liouville (volume-preserving) vector field on the phase space P admits a variational principle of the kind considered here.     

Selection over classes of ordinals expanded by monadic predicates

A monadic formula ψ(Y) is a selector for a monadic formula φ(Y) in a structure M if ψ defines in M a unique subset P of the domain and this P also satisfies φ in M. If C is a class of structures and φ is a selector for ψ in every M∈C, we say that φ is a selector for φ over C.For a monadic formula φ(X,Y) and ordinals α≤ω₁ and δ<ω^ω, we decide whether there exists a monadic formula ψ(X,Y) such that for every P⊆αof order-type smaller thanδ, ψ(P,Y) selects φ(P,Y) in (α,<). If so, we construct such a ψ.We introduce a criterion for a class C of ordinals to have the property that every monadic formula φ has a selector over it. We deduce the existence of S⊆ω^ω such that in the structure (ω^ω,<,S) every formula has a selector.Given a monadic sentence π and a monadic formula φ(Y), we decide whether φ has a selector over the class of countable ordinals satisfying π, and if so, construct one for it.     

On the chromaticity of complete multipartite graphs with certain edges added

Let P(G,λ) be the chromatic polynomial of a graph G. A graph G is chromatically unique if for any graph H, P(H,λ)=P(G,λ) implies H is isomorphic to G. For integers k≥0, t≥2, denote by K((t−1)×p,p+k) the complete t-partite graph that has t−1 partite sets of size p and one partite set of size p+k. Let K(s,t,p,k) be the set of graphs obtained from K((t−1)×p,p+k) by adding a set S of s edges to the partite set of size p+k such that 〈S〉 is bipartite. If s=1, denote the only graph in K(s,t,p,k) by K⁺((t−1)×p,p+k). In this paper, we shall prove that for k=0,1 and p+k≥s+2, each graph G∈K(s,t,p,k) is chromatically unique if and only if 〈S〉 is a chromatically unique graph that has no cut-vertex. As a direct consequence, the graph K⁺((t−1)×p,p+k) is chromatically unique for k=0,1 and p+k≥3.     

Embedding of a pseudo-point residual design into a Möbius plane

Let $\text{U}$ be a class of subsets of a finite set X. Elements of $\text{U}$ are called blocks. Let υ, t, λ and k be nonnegative integers such that υ?k?t?0. A pair (X, $\text{U}$) is called a (υ, k, λ) t-design, denoted by S_λ(t, k, υ), if (1) |X| = υ, (2) every t-subset of X is contained in exactly λ blocks and (3) for every block A in $\text{U}$, |A| = k. A Möbius plane M is an S₁(3, q+1, q²+1) where q is a positive integer. Let ∞ be a fixed point in M. If ∞ is deleted from M, together with all the blocks containing ∞, then we obtain a point-residual design M^*. It can be easily checked that M^* is an S_q(2, q+1, q²). Any S_q(2, q+1, q²) is called a pseudo-point-residual design of order q, abbreviated by PPRD(q). Let A and B be two blocks in a PPRD(q)M^*. A and B are said to be tangent to each other at z if and only if A∩B={z}. M^* is said to have the Tangency Property if for any block A in M^*, and points x and y such that x?A and y?A, there exists at most one block containing y and tangent to A at x. This paper proves that any PPRD(q)M^* is uniquely embeddable into a Möbius plane if and only if M^* satisfies the Tangency Property.     

Multiplicative mappings at some points on matrix algebras

Let M_n be the algebra of all n×n matrices, and let φ:M_n→M_n be a linear mapping. We say that φ is a multiplicative mapping at G if φ(ST)=φ(S)φ(T) for any S,T∈M_n with ST=G. Fix G∈M_n, we say that G is an all-multiplicative point if every multiplicative linear bijection φ at G with φ(I_n)=I_n is a multiplicative mapping in M_n, where I_n is the unit matrix in M_n. We mainly show in this paper the following two results: (1) If G∈M_n with detG=0, then G is an all-multiplicative point in M_n; (2) If φ is an multiplicative mapping at I_n, then there exists an invertible matrix P∈M_n such that either φ(S)=PSP^-1 for any S∈M_n or φ(T)=PT^trP^-1 for any T∈M_n.     

On a conjecture by B. Grünbaum

Denote by p_k(M) or υ_k(M) the number of k-gonal faces or k-valent of the convex 3-polytope M, respectively. Completely solving a problem by B. Grünbaum, the following theorem is proved: Given sequences of nonnegative integers p = (p₃, p₄,…p_m), υ = (υ₃, υ₄,…,υ_n) satisfying ∑_k?3(6−k)p_k + 2∑_k?3(3−k)υ_k = 12, there exists a convex 3-polytope M with p_k(M) = p_k for all k ≠ 6 and υ_k for all k ≠ 3 if and only if for the sequences p, υ the following does not hold: ∑p_i = 0 for i odd and ∑υ_i = 1 for i ? 0 (mod 3).     

Chain sequences and symmetric generalized orthogonal polynomials

In this paper, we derive an explicit expression for the parameter sequences of a chain sequence in terms of the corresponding orthogonal polynomials and their associated polynomials. We use this to study the orthogonal polynomials K_n^(λ,M,k) associated with the probability measure dφ(λ,M,k;x), which is the Gegenbauer measure of parameter λ+1 with two additional mass points at ±k. When k=1 we obtain information on the polynomials K_n^(λ,M) which are the symmetric Koornwinder polynomials. Monotonicity properties of the zeros of K_n^(λ,M,k) in relation to M and k are also given.     

Bijective linear maps on semimodules spanned by Boolean matrices of fixed rank

Let M_m,n(B) be the semimodule of all m×n Boolean matrices where B is the Boolean algebra with two elements. Let k be a positive integer such that 2?k?min(m,n). Let B(m,n,k) denote the subsemimodule of M_m,n(B) spanned by the set of all rank k matrices. We show that if T is a bijective linear mapping on B(m,n,k), then there exist permutation matrices P and Q such that T(A)=PAQ for all A∈B(m,n,k) or m=n and T(A)=PA^tQ for all A∈B(m,n,k). This result follows from a more general theorem we prove concerning the structure of linear mappings on B(m,n,k) that preserve both the weight of each matrix and rank one matrices of weight k². Here the weight of a Boolean matrix is the number of its nonzero entries.     

Minimal tori with low nullity

The nullity of a minimal submanifold M⊂Sn is the dimension of the nullspace of the second variation of the area functional. That space contains as a subspace the effect of the group of rigid motions SO(n+1) of the ambient space, modulo those motions which preserve M, whose dimension is the Killing nullitykn(M) of M. In the case of 2-dimensional tori M in S³, there is an additional naturally-defined 2-dimensional subspace that contributes to the nullity; the dimension of the sum of the action of the rigid motions and this space is the natural nullitynnt(M). In this paper we will study minimal tori in S³ with natural nullity less than 8. We construct minimal immersions of the plane R² in S³ that contain all possible examples of tori with nnt(M)<8. We prove that the examples of Lawson and Hsiang with kn(M)=5 also have nnt(M)=5, and we prove that if the nnt(M)?6 then the group of isometries of M is not trivial.     

The Connes-Higson construction is an isomorphism

Let A be a separable C∗-algebra and B a stable C∗-algebra containing a strictly positive element. We show that the group Ext^−1/2(SA,B) of unitary equivalence classes of extensions of SA by B, modulo the extensions which are asymptotically split, coincides with the group of homotopy classes of such extensions. This is done by proving that the Connes-Higson construction gives rise to an isomorphism between Ext^−1/2(SA,B) and the E-theory group E(A,B) of homotopy classes of asymptotic homomorphisms from S²A to B.     

Infinitesimal non-crossing cumulants and free probability of type B

Free probabilistic considerations of type B first appeared in the paper of Biane, Goodman and Nica [P. Biane, F. Goodman, A. Nica, Non-crossing cumulants of type B, Trans. Amer. Math. Soc. 355 (2003) 2263-2303]. Recently, connections between type B and infinitesimal free probability were put into evidence by Belinschi and Shlyakhtenko [S.T. Belinschi, D. Shlyakhtenko, Free probability of type B: Analytic aspects and applications, preprint, 2009, available online at www.arxiv.org under reference arXiv:0903.2721]. The interplay between “type B” and “infinitesimal” is also the object of the present paper. We study infinitesimal freeness for a family of unital subalgebras A₁,…,Ak in an infinitesimal noncommutative probability space (A,φ,φ^′) and we introduce a concept of infinitesimal non-crossing cumulant functionals for (A,φ,φ^′), obtained by taking a formal derivative in the formula for usual non-crossing cumulants. We prove that the infinitesimal freeness of A₁,…,Ak is equivalent to a vanishing condition for mixed cumulants; this gives the infinitesimal counterpart for a theorem of Speicher from “usual” free probability. We show that the lattices NC(B)(n) of non-crossing partitions of type B appear in the combinatorial study of (A,φ,φ^′), in the formulas for infinitesimal cumulants and when describing alternating products of infinitesimally free random variables. As an application of alternating free products, we observe the infinitesimal analogue for the well-known fact that freeness is preserved under compression with a free projection. As another application, we observe the infinitesimal analogue for a well-known procedure used to construct free families of free Poisson elements. Finally, we discuss situations when the freeness of A₁,…,Ak in (A,φ) can be naturally upgraded to infinitesimal freeness in (A,φ,φ^′), for a suitable choice of a “companion functional” .     

Higher-order recurrences for Bernoulli numbers

Euler's well-known nonlinear relation for Bernoulli numbers, which can be written in symbolic notation as n(B₀+B₀)=−nBn−1−(n−1)Bn, is extended to n(Bk₁+?+Bkm) for m?2 and arbitrary fixed integers k₁,…,km?0. In the general case we prove an existence theorem for Euler-type formulas, and for m=3 we obtain explicit expressions. This extends the authors' previous work for m=2.