Kac–Moody groups and cluster algebras

Let Q be a finite quiver without oriented cycles, let Λ be the associated preprojective algebra, let g be the associated Kac–Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory Cw of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that Cw is a Frobenius category and that its stable category is a Calabi–Yau category of dimension two. We show that Cw yields a cluster algebra structure on the coordinate ring C[N(w)] of the unipotent group N(w):=N∩(w−1N₋w). Here N is the pro-unipotent pro-group with Lie algebra the completion of n. One can identify C[N(w)] with a subalgebra of , the graded dual of the universal enveloping algebra U(n) of n. Let S^? be the dual of Lusztig?s semicanonical basis S of U(n). We show that all cluster monomials of C[N(w)] belong to S^?, and that S^?∩C[N(w)] is a C-basis of C[N(w)]. Moreover, we show that the cluster algebra obtained from C[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra C[Nw] of regular functions on the unipotent cell Nw of the Kac–Moody group with Lie algebra g. We obtain a corresponding dual semicanonical basis of C[Nw]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way.     

BLO spaces associated with the Ornstein–Uhlenbeck operator

Let (Rn,|⋅|,dγ) be the Gauss measure metric space, where Rn denotes the n-dimensional Euclidean space, |⋅| the Euclidean norm and for all x∈Rn the Gauss measure. In this paper, for any a∈(0,∞), the authors introduce some BLOa(γ) space, namely, the space of functions with bounded lower oscillation associated with a given class of admissible balls with parameter a. Then the authors prove that the noncentered local natural Hardy–Littlewood maximal operator is bounded from BMO(γ) of Mauceri and Meda to BLOa(γ). Moreover, a characterization of the space BLOa(γ), via the local natural maximal operator and BMO(γ), is given. The authors further prove that a class of maximal singular integrals, including the corresponding maximal operators of both imaginary powers of the Ornstein–Uhlenbeck operator and Riesz transforms of any order associated with the Ornstein–Uhlenbeck operator, are bounded from L^∞(γ) to BLOa(γ).     

Pointwise characterizations of Besov and Triebel–Lizorkin spaces and quasiconformal mappings

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces and Triebel–Lizorkin spaces for all s∈(0,1) and p,q∈(n/(n+s),∞], both in Rn and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve on Rn for all s∈(0,1) and q∈(n/(n+s),∞]. A metric measure space version of the above morphism property is also established.     

Functional properties of rearrangement invariant spaces defined in terms of oscillations

Function spaces whose definition involves the quantity f^**-f^*, which measures the oscillation of f^*, have recently attracted plenty of interest and proved to have many applications in various, quite diverse fields. Primary role is played by the spaces S_p(w), with 0<p<∞ and w a weight function on (0,∞), defined as the set of Lebesgue-measurable functions on R such that f^*(∞)=0 and

     

Sharp bounds for integral means

We introduce a bound M of f, ‖f‖_∞?M?2‖f‖_∞, which allows us to give for 0?p<∞ sharp upper bounds, and for −∞<p<0 sharp lower bounds for the average of |f|^p over E if the average of f over E is zero. As an application we give a new proof of Grüss's inequality estimating the covariance of two random variables. We also give a new estimate for the error term in the trapezoidal rule.     

Poisson integrals and Riesz transforms for Hermite function expansions with weights

We consider expansions with respect to the multi-dimensional Hermite functions which are eigenfunctions of the harmonic oscillator L=−Δ+|x|². For the heat-diffusion and Poisson semigroups corresponding to a self-adjoint extension of L we investigate their boundary behaviour and mapping properties. All this is done for functions from L^p(w), 1?p<∞, w∈A_p. Then Riesz transforms and conjugate Poisson integrals are considered. The Riesz transforms occur to be Calderón-Zygmund operators hence their mapping properties follow by using results from a general theory.     

Plurisubharmonic domination in Banach spaces

We show that if X is a Banach space with a Schauder basis, Ω⊂X is a pseudoconvex open subset, and u:Ω→(−∞,∞) is a locally bounded function, then there is a continuous plurisubharmonic function w:Ω→(−∞,∞) with u(x)?w(x) for all x∈Ω. This has many applications to analytic cohomology of complex Banach manifolds.     

Extrapolation with weights, rearrangement-invariant function spaces, modular inequalities and applications to singular integrals

We present an extrapolation theory that allows us to obtain, from weighted L^p inequalities on pairs of functions for p fixed and all A_∞ weights, estimates for the same pairs on very general rearrangement invariant quasi-Banach function spaces with A_∞ weights and also modular inequalities with A_∞ weights. Vector-valued inequalities are obtained automatically, without the need of a Banach-valued theory. This provides a method to prove very fine estimates for a variety of operators which include singular and fractional integrals and their commutators. In particular, we obtain weighted, and vector-valued, extensions of the classical theorems of Boyd and Lorentz-Shimogaki. The key is to develop appropriate versions of Rubio de Francia's algorithm.     

Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part I: General operator theory and weights

This is the first part of a series of four articles. In this work, we are interested in weighted norm estimates. We put the emphasis on two results of different nature: one is based on a good-λ inequality with two parameters and the other uses Calderón-Zygmund decomposition. These results apply well to singular “non-integral” operators and their commutators with bounded mean oscillation functions. Singular means that they are of order 0, “non-integral” that they do not have an integral representation by a kernel with size estimates, even rough, so that they may not be bounded on all Lp spaces for 1<p<∞. Pointwise estimates are then replaced by appropriate localized Lp-Lq estimates. We obtain weighted Lp estimates for a range of p that is different from (1,∞) and isolate the right class of weights. In particular, we prove an extrapolation theorem “à la Rubio de Francia” for such a class and thus vector-valued estimates.     

Global uniqueness and reconstruction for the multi-channel Gel?fand–Calderón inverse problem in two dimensions

We study the multi-channel Gel?fand–Calderón inverse problem in two dimensions, i.e. the inverse boundary value problem for the equation −Δψ+v(x)ψ=0, x∈D, where v is a smooth matrix-valued potential defined on a bounded planar domain D. We give an exact global reconstruction method for finding v from the associated Dirichlet-to-Neumann operator. This also yields a global uniqueness results: if two smooth matrix-valued potentials defined on a bounded planar domain have the same Dirichlet-to-Neumann operator then they coincide.     

Extrapolation from A∞ weights and applications

We generalize the A_p extrapolation theorem of Rubio de Francia to A_∞ weights in the context of Muckenhoupt bases. Our result has several important features. First, it can be used to prove weak endpoint inequalities starting from strong-type inequalities, something which is impossible using the classical result. Second, it provides an alternative to the technique of good-λ inequalities for proving L^p norm inequalities relating operators. Third, it yields vector-valued inequalities without having to use the theory of Banach space valued operators. We give a number of applications to maximal functions, singular integrals, potential operators, commutators, multilinear Calderón-Zygmund operators, and multiparameter fractional integrals. In particular, we give new proofs, which completely avoid the good-λ inequalities, of Coifman's inequality relating singular integrals and the maximal operator, of the Fefferman-Stein inequality relating the maximal operator and the sharp maximal operator, and the Muckenhoupt-Wheeden inequality relating the fractional integral operator and the fractional maximal operator.     

Compactness of Schrödinger semigroups with unbounded below potentials

By using the super Poincaré inequality of a Markov generator L₀ on L²(μ) over a σ-finite measure space (E,F,μ), the Schrödinger semigroup generated by L₀−V for a class of (unbounded below) potentials V is proved to be L²(μ)-compact provided μ(V?N)<∞ for all N>0. This condition is sharp at least in the context of countable Markov chains, and considerably improves known ones on, e.g., Rd under the condition that V(x)→∞ as |x|→∞. Concrete examples are provided to illustrate the main result.     

A Greedy Partition Lemma for directed domination

A directed dominating set in a directed graph D is a set S of vertices of V such that every vertex u∈V(D)?S has an adjacent vertex v in S with v directed to u. The directed domination number of D, denoted by γ(D), is the minimum cardinality of a directed dominating set in D. The directed domination number of a graph G, denoted Γ_d(G), is the maximum directed domination number γ(D) over all orientations D of G. The directed domination number of a complete graph was first studied by Erd?s [P. Erd?s On a problem in graph theory, Math. Gaz. 47 (1963) 220–222], albeit in a disguised form. In this paper we prove a Greedy Partition Lemma for directed domination in oriented graphs. Applying this lemma, we obtain bounds on the directed domination number. In particular, if α denotes the independence number of a graph G, we show that α≤Γ_d(G)≤α(1+2ln(n/α)).     

Oscillation in the initial segment complexity of random reals

We study oscillation in the prefix-free complexity of initial segments of 1-random reals. For upward oscillations, we prove that _∑n∈ω²−g(n) diverges iff (^∃∞n)K(X?n)>n+g(n) for every 1-random X∈ω². For downward oscillations, we characterize the functions g such that (^∃∞n)K(X?n)<n+g(n) for almost every X∈ω². The proof of this result uses an improvement of Chaitin's counting theorem—we give a tight upper bound on the number of strings σ∈n² such that K(σ)<n+K(n)−m.The work on upward oscillations has applications to the K-degrees. Write XK_?Y to mean that K(X?n)?K(Y?n)+O(1). The induced structure is called the K-degrees. We prove that there are comparable () 1-random K-degrees. We also prove that every lower cone and some upper cones in the 1-random K-degrees have size continuum.Finally, we show that it is independent of ZFC, even assuming that the Continuum Hypothesis fails, whether all chains of 1-random K-degrees of size less than ℵ₀² have a lower bound in the 1-random K-degrees.     

Lie algebras associated to systems of Dyson–Schwinger equations

We consider systems of combinatorial Dyson–Schwinger equations in the Connes–Kreimer Hopf algebra HI of rooted trees decorated by a set I. Let H(S) be the subalgebra of HI generated by the homogeneous components of the unique solution of this system. If it is a Hopf subalgebra, we describe it as the dual of the enveloping algebra of a Lie algebra g(S) of one of the following types:

• 1. 

  g(S) is an associative algebra of paths associated to a certain oriented graph.

• 2. 

  Or g(S) is an iterated extension of the Faà di Bruno Lie algebra.

• 3. 

  Or g(S) is an iterated extension of an infinite-dimensional abelian Lie algebra.

We also describe the character groups of H(S).     

Sharp inequalities for the dyadic square function in the BMO setting

We introduce a method for the simultaneous study of a BMO function φ and its dyadic square function S(φ) that can yield sharp norm inequalities between the two. One of the applications is the sharp bound for the p-th moment of S(φ), 0<p<∞, which in turn implies the square-exponential integrability of the square function. We also present sharp refinements of these inequalities in the more restrictive case when φ is assumed to be bounded.     

Positive definite distributions and normed spaces

We answer a question of Alex Koldobsky. We show that for each −∞<p<2 and each n?3−p there is a normed space X of dimension n which embeds in Ls if and only if −n<s?p.     

Some Closed Range Integral Operators on Spaces of Analytic Functions

Our main result is a characterization of g for which the operator S_g(f)(z) = ò₀^z f￠(w)g(w) dw{S_g(f)(z) = \int_0^z f'(w)g(w)\, dw} is bounded below on the Bloch space. We point out analogous results for the Hardy space H ² and the Bergman spaces A ^p for 1 ≤ p < ∞. We also show the companion operator T_g(f)(z) = ò₀^z f(w)g￠(w)  dw{T_g(f)(z) = \int_0^z f(w)g'(w) \, dw} is never bounded below on H ², Bloch, nor BMOA, but may be bounded below on A ^p .