Definability in substructure orderings, III: Finite distributive lattices

Let ${{\mathcal D}}$ be the ordered set of isomorphism types of finite distributive lattices, where the ordering is by embeddability. We study first-order definability in this ordered set. We prove among other things that for every finite distributive lattice D, the set {d, d ^opp} is definable, where d and d ^opp are the isomorphism types of D and its opposite (D turned upside down). We prove that the only non-identity automorphism of ${{\mathcal D}}$ is the opposite map. Then we apply these results to investigate definability in the closely related lattice of universal classes of distributive lattices. We prove that this lattice has only one non-identity automorphism, the opposite map; that the set of finitely generated and also the set of finitely axiomatizable universal classes are definable subsets of the lattice; and that for each element K of the two subsets, {K, K ^opp} is a definable subset of the lattice.     

Diamond-Free Subsets in the Linear Lattices

Four distinct elements a, b, c, and d of a poset form a diamond if \(a< b and \(a . A subset of a poset is diamond-free if no four elements of the subset form a diamond. Even in the Boolean lattices, finding the size of the largest diamond-free subset remains an open problem. In this paper, we consider the linear lattices—poset of subspaces of a finite dimensional vector space over a finite field of order q—and extend the results of Griggs et al. (J. Combin. Theory Ser. A 119(2):310–322, 2012) on the Boolean lattices, to prove that the number of elements of a diamond-free subset of a linear lattice can be no larger than \(2+\frac {1}{q+1}\) times the width of the lattice, so that this fraction tends to 2 as \(q \longrightarrow \infty \) . In addition, using an algebraic technique, we introduce so-called diamond matchings, and prove that for linear lattices of dimensions up to 5, the size of a largest diamond-free subset is equal to the sum of the largest two rank numbers of the lattice.     

An existence theorem for probability measures invariant under a Markov kernel

LetP be a Markov kernel defined on a measurable space (X,A). A probability measure μ onA is said to beP-invariant if μ(A=∫P(x,A)dμ(x) for allA ∈A∈A. In this note we prove a criterion for the existence ofP-invariant probabilities which is, in particular, a substantial generalization of a classical theorem due to Oxtoby and Ulam ([5]). As another consequence of our main result, it is shown that every pseudocompact topological space admits aP-invariant Baire probability measure for any Feller kernelP.     

The subvariety of commutative residuated lattices represented by twist-products

Given an integral commutative residuated lattice L, the product L × L can be endowed with the structure of a commutative residuated lattice with involution that we call a twist-product. In the present paper, we study the subvariety ${\mathbb{K}}$ of commutative residuated lattices that can be represented by twist-products. We give an equational characterization of ${\mathbb{K}}$ , a categorical interpretation of the relation among the algebraic categories of commutative integral residuated lattices and the elements in ${\mathbb{K}}$ , and we analyze the subvariety of representable algebras in ${\mathbb{K}}$ . Finally, we consider some specific class of bounded integral commutative residuated lattices ${\mathbb{G}}$ , and for each fixed element ${{\bf L} \in \mathbb{G}}$ , we characterize the subalgebras of the twist-product whose negative cone is L in terms of some lattice filters of L, generalizing a result by Odintsov for generalized Heyting algebras.     

Derivations,Gradings, Actions of Algebraic Groups,and Codimension Growth of Polynomial Identities

Suppose a finite dimensional semisimple Lie algebra  $\mathfrak g$ acts by derivations on a finite dimensional associative or Lie algebra A over a field of characteristic 0. We prove the $\mathfrak g$ -invariant analogs of Wedderburn—Mal’cev and Levi theorems, and the analog of Amitsur’s conjecture on asymptotic behavior for codimensions of polynomial identities with derivations of A. It turns out that for associative algebras the differential PI-exponent coincides with the ordinary one. Also we prove the analog of Amitsur’s conjecture for finite dimensional associative algebras with an action of a reductive affine algebraic group by automorphisms and anti-automorphisms or graded by an arbitrary Abelian group. In addition, we provide criteria for G-, H- and graded simplicity in terms of codimensions.     

Nilpotent Gelfand pairs and spherical transforms of Schwartz functions I: rank-one actions on the centre

The spectrum of a Gelfand pair of the form ${(K\ltimes N,K)}$ , where N is a nilpotent group, can be embedded in a Euclidean space ${{\mathbb R}^d}$ . The identification of the spherical transforms of K-invariant Schwartz functions on N with the restrictions to the spectrum of Schwartz functions on ${{\mathbb R}^d}$ has been proved already when N is a Heisenberg group and in the case where N?=?N _3,2 is the free two-step nilpotent Lie group with three generators, with K?=?SO₃ (Astengo et?al. in J Funct Anal 251:772–791, 2007; Astengo et?al. in J Funct Anal 256:1565–1587, 2009; Fischer and Ricci in Ann Inst Fourier Gren 59:2143–2168, 2009). We prove that the same identification holds for all pairs in which the K-orbits in the centre of N are spheres. In the appendix, we produce bases of K-invariant polynomials on the Lie algebra ${{\mathfrak n}}$ of N for all Gelfand pairs ${(K\ltimes N,K)}$ in Vinberg’s list (Vinberg in Trans Moscow Math Soc 64:47–80, 2003; Yakimova in Transform Groups 11:305–335, 2006).     

Principal eigenvalue of the fractional Laplacian with a large incompressible drift

We study the principal Dirichlet eigenvalue of the operator \({L_A=\Delta^{\alpha/2}+Ab(x)\cdot\nabla}\) , on a bounded C ^1,1 regular domain D. Here \({\alpha\in(1,2)}\) , \({\Delta^{\alpha/2}}\) is the fractional Laplacian, \({A\in\mathbb{R}}\) , and b is a bounded d-dimensional divergence-free vector field in the Sobolev space W ^1,2d/(d+α)(D). We prove that the eigenvalue remains bounded, as A→ + ∞, if and only if b has non-trivial first integrals in the domain of the quadratic form of \({\Delta^{\alpha/2}}\) for the Dirichlet condition.     

Flat orbits, minimal ideals and spectral synthesis

Let G = exp ${\mathfrak{g}}$ be a connected, simply connected, nilpotent Lie group and let ω be a continuous symmetric weight on G with polynomial growth. In the weighted group algebra ${L^{1}_{\omega}(G)}$ we determine the minimal ideal of given hull ${\{\pi_{l'} \in \hat{G} | l' \in l + \mathfrak{n}^{\perp}\}}$ , where ${\mathfrak{n}}$ is an ideal contained in ${\mathfrak{g}(l)}$ , and we characterize all the L ^∞(G/N)-invariant ideals (where ${N = {\rm exp}\, \mathfrak{n}}$ ) of the same hull. They are parameterized by a set of G-invariant, translation invariant spaces of complex polynomials on N dominated by ω and are realized as kernels of specially built induced representations. The result is particularly simple if the co-adjoint orbit of l is flat.     

On the number of reducible polynomials of bounded naive height

We prove an asymptotical formula for the number of reducible integer polynomials of degree d and of naive height at most T when \({T \to \infty}\) . The main term turns out to be of the form \({\kappa_d T^d}\) for each \({d \geq 3}\) , where the constant \({\kappa_d}\) is given in terms of some infinite Dirichlet series involving the volumes of symmetric convex bodies in \({\mathbb{R}^d}\) . For d = 2, we prove that there are asymptotically \({\kappa_2 T^2 \,\text{log} T}\) of such polynomials, where \({\kappa_2:=6(3\sqrt{5}+2\,\text{log} (1+\sqrt{5}) -2 \,\text{log}\, 2)/\pi^2}\) . Earlier results in this direction were given by van der Waerden, Pólya and Szegö, Dörge, Chela, and Kuba.     

Singular integral operators with operator-valued kernels,and extrapolation of maximal regularity into rearrangement invariant Banach function spaces

We prove two extrapolation results for singular integral operators with operator-valued kernels, and we apply these results in order to obtain the following extrapolation of L ^p -maximal regularity: if an autonomous Cauchy problem on a Banach space has L ^p -maximal regularity for some \({p \in (1,\infty )}\) , then it has \({\mathbb{E}_w}\) -maximal regularity for every rearrangement invariant Banach function space \({\mathbb{E}}\) with Boyd indices \({1 < p_\mathbb{E} \leq q_\mathbb{E} < \infty}\) and every Muckenhoupt weight \({w \in A_{p \mathbb{E}}}\) . We prove a similar result for nonautonomous Cauchy problems on the line.     

On Weak*-Convergence in \boldsymbol{H^1_L(\boldsymbol{\mathbb R}^d)}

Let L?=???Δ?+?V be a Schrödinger operator on $\mathbb R^d$ , d?≥?3, where V is a nonnegative function, $V\ne 0$ , and belongs to the reverse Hölder class RH _d/2. In this paper, we prove a version of the classical theorem of Jones and Journé on weak*-convergence in the Hardy space $H^1_L(\mathbb R^d)$ .     

Branched covers of the sphere and the prime-degree conjecture

To a branched cover ${\widetilde{\Sigma} \to \Sigma}$ between closed, connected, and orientable surfaces, one associates a branch datum, which consists of Σ and ${\widetilde{\Sigma}}$ , the total degree d, and the partitions of d given by the collections of local degrees over the branching points. This datum must satisfy the Riemann–Hurwitz formula. A candidate surface cover is an abstract branch datum, a priori not coming from a branched cover, but satisfying the Riemann– Hurwitz formula. The old Hurwitz problem asks which candidate surface covers are realizable by branched covers. It is now known that all candidate covers are realizable when Σ has positive genus, but not all are when Σ is the 2-sphere. However, a long-standing conjecture asserts that candidate covers with prime degree are realizable. To a candidate surface cover, one can associate one ${\widetilde {X} \dashrightarrow X}$ between 2-orbifolds, and in Pascali and Petronio (Trans Am Math Soc 361:5885–5920, 2009), we have completely analyzed the candidate surface covers such that either X is bad, spherical, or Euclidean, or both X and ${\widetilde{X}}$ are rigid hyperbolic orbifolds, thus also providing strong supporting evidence for the prime-degree conjecture. In this paper, using a variety of different techniques, we continue this analysis, carrying it out completely for the case where X is hyperbolic and rigid and ${\widetilde{X}}$ has a 2-dimensional Teichmüller space. We find many more realizable and non-realizable candidate covers, providing more support for the prime-degree conjecture.     

The height of minimal Hilbert bases

For an integral polyhedral cone C = pos{a¹,…,a^m, a ⁱ ∈ ?^d, a subset $\cal B$ (C) ? C ∩ ?^d is called a minimal Hilbert basis of C iff (i) each element of C∩?^d can be written as a non-negative integral combination of elements of $\cal B$ (C) and (ii) $\cal B$ (C) has minimal cardinality with respect to all subsets of C ∩ ?^d for which (i) holds. We give a tight bound for the so-called height of an element of the basis which improves on former results.     

Integration of H?lder forms and currents in snowflake spaces

For an oriented n-dimensional Lipschitz manifold M we give meaning to the integral ${\int_M f \, dg_1 \wedge \cdots \wedge dg_n}$ in case the functions ${f, g_1, \ldots, g_n}$ are merely H?lder continuous of a certain order by extending the construction of the Riemann?CStieltjes integral to higher dimensions. More generally, we show that for ${\alpha \in (\tfrac{n}{n+1},1]}$ the n-dimensional locally normal currents in a locally compact metric space (X, d) represent a subspace of the n-dimensional currents in (X, d ^?? ). On the other hand, for ${n \geq 1}$ and ${\alpha \leq \tfrac{n}{n+1}}$ the vector space of n-dimensional currents in (X, d ^?? ) is zero.     

Alternating groups and flag-transitive triplanes

Let ${\mathcal{D}}$ be a nontrivial triplane, and G be a subgroup of the full automorphism group of ${\mathcal{D}}$ . In this paper we prove that if ${\mathcal{D}}$ is a triplane, ${G\leq Aut(\mathcal{D})}$ is flag-transitive, point-primitive and Soc(G) is an alternating group, then ${\mathcal{D}}$ is the projective space PG ₂(3, 2), and ${G\cong A_7}$ with the point stabiliser ${G_x\cong PSL_3(2)}$ .     

Flat bundles on G/Γ and stability

Let G be a connected complex Lie group and Γ a cocompact lattice in G. Let H be a connected reductive complex affine algebraic group and \({\rho\, : \Gamma\, \longrightarrow H}\) a homomorphism such that \({\rho(\Gamma)}\) is not contained in some proper parabolic subgroup of H. Let \({E^\rho_H}\) be the holomorphic principal H–bundle on G/Γ associated to ρ. We prove that \({E^\rho_H}\) is polystable. If ρ satisfies the further condition that \({\rho(\Gamma)}\) is contained in a compact subgroup of H, then we prove that \({E^\rho_H}\) is stable.     

Lower semicontinuity for functionals with (p, q)-growth in Carnot groups

Let ?? be a bounded open subset of ${\mathbb{G}}$ , where ${\mathbb{G}}$ is a Carnot group, and let ${u: \Omega \rightarrow \mathbb{R}^d}$ be a vector valued function. We prove a lower semicontinuity result in the weak topology of the horizontal Sobolev space ${W^{1,p}_X(\Omega,\mathbb{R}^d)}$ , with p?>?1, of the integral functional of the calculus of variations of the type $$F(u)=\int\limits_\Omega f(Xu)\,dx$$ where f is a X-quasiconvex function satisfying a non-standard growth conditions and Xu is the horizontal gradient of u.     

Size of Components of a Cube Coloring

Suppose a d-dimensional lattice cube of size $n^d$ n d is colored in several colors so that no face of its triangulation (subdivision of the standard partition into $n^d$ n d small cubes) is colored in $m+2$ m + 2 colors. Then one color is used at least $f(d, m) n^{d-m}$ f ( d , m ) n d ? m times.     

Geometric properties of Poisson matchings

Suppose that red and blue points occur as independent Poisson processes of equal intensity in ${\mathbb {R}^d}$ , and that the red points are matched to the blue points via straight edges in a translation-invariant way. We address several closely related properties of such matchings. We prove that there exist matchings that locally minimize total edge length in d?=?1 and d??? 3, but not in the strip ${\mathbb {R}\times[0,1]}$ . We prove that there exist matchings in which every bounded set intersects only finitely many edges in d ?? 2, but not in d = 1 or in the strip. It is unknown whether there exists a matching with no crossings in d = 2, but we prove positive answers to various relaxations of this question. Several open problems are presented.