Geodesics,distance, and the CAT(0) property for the manifold of Riemannian metrics

Let $\mathcal F ^a_\lambda $ be the PBW degeneration of the flag varieties of type $A_{n-1}$ . These varieties are singular and are acted upon with the degenerate Lie group $SL_n^a$ . We prove that $\mathcal F ^a_\lambda $ have rational singularities, are normal and locally complete intersections, and construct a desingularization $R_\lambda $ of $\mathcal F ^a_\lambda $ . The varieties $R_\lambda $ can be viewed as towers of successive $\mathbb{P }^1$ -fibrations, thus providing an analogue of the classical Bott–Samelson–Demazure–Hansen desingularization. We prove that the varieties $R_\lambda $ are Frobenius split. This gives us Frobenius splitting for the degenerate flag varieties and allows to prove the Borel–Weil type theorem for $\mathcal F ^a_\lambda $ . Using the Atiyah–Bott–Lefschetz formula for $R_\lambda $ , we compute the $q$ -characters of the highest weight $\mathfrak sl _n$ -modules.     

Equilibrium measures on saddle sets of holomorphic maps on \mathbb{P }^2

We consider the case of hyperbolic basic sets $\Lambda $ of saddle type for holomorphic maps $f:{\mathbb{P }}^2{\mathbb{C }}\rightarrow {\mathbb{P }}^2{\mathbb{C }}$ . We study equilibrium measures $\mu _\phi $ associated to a class of Hölder potentials $\phi $ on $\Lambda $ , and find the measures $\mu _\phi $ of iterates of arbitrary Bowen balls. Estimates for the pointwise dimension $\delta _{\mu _\phi }$ of $\mu _\phi $ that involve Lyapunov exponents and a correction term are found, and also a formula for the Hausdorff dimension of $\mu _\phi $ in the case when the preimage counting function is constant on $\Lambda $ . For terminal/minimal saddle sets we prove that an invariant measure $\nu $ obtained as a wedge product of two positive closed currents, is in fact the measure of maximal entropy for the restriction $f|_\Lambda $ . This allows then to obtain formulas for the measure $\nu $ of arbitrary balls, and to give a formula for the pointwise dimension and the Hausdorff dimension of $\nu $ .     

Nielsen coincidence,fixed point and root theories of n-valued maps

Let ${(\phi, \psi)}$ be an (m, n)-valued pair of maps ${\phi, \psi : X \multimap Y}$ , where ${\phi}$ is an m-valued map and ${\psi}$ is n-valued, on connected finite polyhedra. A point ${x \in X}$ is a coincidence point of ${\phi}$ and ${\psi}$ if ${\phi(x) \cap \psi(x) \neq \emptyset}$ . We define a Nielsen coincidence number ${N(\phi : \psi)}$ which is a lower bound for the number of coincidence points of all (m, n)-valued pairs of maps homotopic to ${(\phi, \psi)}$ . We calculate ${N(\phi : \psi)}$ for all (m, n)-valued pairs of maps of the circle and show that ${N(\phi : \psi)}$ is a sharp lower bound in that setting. Specifically, if ${\phi}$ is of degree a and ${\psi}$ of degree b, then ${N(\phi : \psi) = \frac{|an - bm|}{\langle m, n \rangle}}$ , where ${\langle m, n \rangle}$ is the greatest common divisor of m and n. In order to carry out the calculation, we obtain results, of independent interest, for n-valued maps of compact connected Lie groups that relate the Nielsen fixed point number of Helga Schirmer to the Nielsen root number of Michael Brown.     

Stochastics and thermodynamics for equilibrium measures of holomorphic endomorphisms on complex projective spaces

It was proved by Urbański and Zdunik (Fund Math 220:23–69, 2013) that for every holomorphic endomorphism $f:{{\mathbb { P}}}^k\rightarrow {{\mathbb { P}}}^k$ of a complex projective space ${{\mathbb { P}}}^k,k\ge 1$ , there exists a positive number $\kappa _f>0$ such that if $J$ is the Julia set of $f$ (i.e. the support of the maximal entropy measure) and $\phi :J\rightarrow {\mathbb R}$ is a Hölder continuous function with $\sup (\phi )-\inf (\phi )<\kappa _f$ (pressure gap), then $\phi $ admits a unique equilibrium state $\mu _\phi $ on $J$ . In this paper we prove that the dynamical system ( $f,\mu _\phi $ ) enjoys exponential decay of correlations of Hölder continuous observables as well as the Central Limit Theorem and the Law of Iterated Logarithm for the class of these variables that, in addition, satisfy a natural co-boundary condition. We also show that the topological pressure function $t\mapsto P(t\phi )$ is real-analytic throughout the open set of all parameters $t$ for which the potentials $t\phi $ have pressure gaps.     

Biharmonic maps from a complete Riemannian manifold into a non-positively curved manifold

We consider biharmonic maps $\phi :(M,g)\rightarrow (N,h)$ from a complete Riemannian manifold into a Riemannian manifold with non-positive sectional curvature. Assume that $ p $ satisfies $ 2\le p <\infty $ . If for such a $ p $ , $\int _M|\tau (\phi )|^{ p }\,\mathrm{d}v_g<\infty $ and $\int _M|\,\mathrm{d}\phi |^2\,\mathrm{d}v_g<\infty ,$ where $\tau (\phi )$ is the tension field of $\phi $ , then we show that $\phi $ is harmonic. For a biharmonic submanifold, we obtain that the above assumption $\int _M|\,\mathrm{d}\phi |^2\,\mathrm{d}v_g<\infty $ is not necessary. These results give affirmative partial answers to the global version of generalized Chen’s conjecture.     

Growth estimates for orbits of self-adjoint groups

Let $G$ denote a closed, connected, self-adjoint, noncompact subgroup of $GL(n,\mathbb R )$ , and let $d_{R}$ and $d_{L}$ denote respectively the right and left invariant Riemannian metrics defined by the canonical inner product on $M(n,\mathbb R ) = T_{I} GL(n,\mathbb R )$ . Let $v$ be a nonzero vector of $\mathbb R ^{n}$ such that the orbit $G(v)$ is unbounded in $\mathbb R ^{n}$ . Then the function $g \rightarrow d_{R}(g, G_{v})$ is unbounded, where $G_{v} = \{g \in G : g(v) = v \}$ , and we obtain algebraically defined upper and lower bounds $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ for the asymptotic behavior of the function $\frac{log|g(v)|}{d_{R}(g, G_{v})}$ as $d_{R}(g, G_{v}) \rightarrow \infty $ . The upper bound $\lambda ^{+}(v)$ is at most 1. The orbit $G(v)$ is closed in $\mathbb R ^{n} \Leftrightarrow \lambda ^{-}(w)$ is positive for some w $\in G(v)$ . If $G_{v}$ is compact, then $g \rightarrow |d_{R}(g,I) - d_{L}(g,I)|$ is uniformly bounded in $G$ , and the exponents $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ are sharp upper and lower asymptotic bounds for the functions $\frac{log|g(v)|}{d_{R}(g,I)}$ and $\frac{log|g(v)|}{d_{L}(g,I)}$ as $d_{R}(g,I) \rightarrow \infty $ or as $d_{L}(g,I) \rightarrow \infty $ . However, we show by example that if $G_{v}$ is noncompact, then there need not exist asymptotic upper and lower bounds for the function $\frac{log|g(v)|}{d_{L}(g, G_{v})}$ as $d_{L}(g, G_{v}) \rightarrow \infty $ . The results apply to representations of noncompact semisimple Lie groups $G$ on finite dimensional real vector spaces. We compute $\lambda ^{+}$ and $\lambda ^{-}$ for the irreducible, real representations of $SL(2,\mathbb R )$ , and we show that if the dimension of the $SL(2,\mathbb R )$ -module $V$ is odd, then $\lambda ^{+} = \lambda ^{-}$ on a nonempty open subset of $V$ . We show that the function $\lambda ^{-}$ is $K$ -invariant, where $K = O(n,\mathbb R ) \cap G$ . We do not know if $\lambda ^{-}$ is $G$ -invariant.     

Asymptotics for Some Combinatorial Characteristics of the Convex Hull of a Poisson Point Process in the Clifford Torus

Let $\mathcal P _\lambda $ be a homogeneous Poisson point process of rate $\lambda $ in the Clifford torus $T^2\subset \mathbb E ^4$ . Let $(f_0, f_1, f_2, f_3)$ be the $f$ -vector of conv $\,\mathcal P _\lambda $ and let $\bar{v}$ be the mean valence of a vertex of the convex hull. Asymptotic expressions for $\mathsf E \, f_1$ , $\mathsf E \, f_2$ , $\mathsf E \, f_3$ and $\mathsf E \, \bar{v}$ as $\lambda \rightarrow \infty $ are proved in this paper.     

A functional model associated with a generalized Nevanlinna pair

Let $ \mathcal{L} $ be a Hilbert space, and let $ \mathcal{H} $ be a Pontryagin space. For every self-adjoint linear relation $ \tilde{A} $ in $ \mathcal{H} \oplus \mathcal{L} $ , the pair $ \{ I + \lambda \psi (\lambda ),\,\psi (\lambda )\} $ where $ \psi (\lambda ) $ is the compressed resolvent of $ \tilde{A} $ , is a normalized generalized Nevanlinna pair. Conversely, every normalized generalized Nevanlinna pair is shown to be associated with some self-adjoint linear relation $ \tilde{A} $ in the above sense. A functional model for this selfadjoint linear relation $ \tilde{A} $ is constructed.     

Homology of Littlewood complexes

Let $V$ be a symplectic vector space of dimension $2n$ . Given a partition $\lambda $ with at most $n$ parts, there is an associated irreducible representation $\mathbf{{S}}_{[\lambda ]}(V)$ of $\mathbf{{Sp}}(V)$ . This representation admits a resolution by a natural complex $L^{\lambda }_{\bullet }$ , which we call the Littlewood complex, whose terms are restrictions of representations of $\mathbf{{GL}}(V)$ . When $\lambda $ has more than $n$ parts, the representation $\mathbf{{S}}_{[\lambda ]}(V)$ is not defined, but the Littlewood complex $L^{\lambda }_{\bullet }$ still makes sense. The purpose of this paper is to compute its homology. We find that either $L^{\lambda }_{\bullet }$ is acyclic or it has a unique nonzero homology group, which forms an irreducible representation of $\mathbf{{Sp}}(V)$ . The nonzero homology group, if it exists, can be computed by a rule reminiscent of that occurring in the Borel–Weil–Bott theorem. This result can be interpreted as the computation of the “derived specialization” of irreducible representations of $\mathbf{{Sp}}(\infty )$ and as such categorifies earlier results of Koike–Terada on universal character rings. We prove analogous results for orthogonal and general linear groups. Along the way, we will see two topics from commutative algebra: the minimal free resolutions of determinantal ideals and Koszul homology.     

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

On the images of horodisks under holomorphic self-maps of the unit disk

Suppose that f is a holomorphic self map of the unit disk ${\mathbb{D}}$ . Recently several monotonicity results related to the image of smaller disks under f have been proved. These results extend the classical Schwarz lemma in various ways. We prove analogous monotonicity results in the context of Julia’s boundary Schwarz lemma. A horodisk is a disk internally tangent to the unit circle. For positive ${\lambda}$ , we denote by ${H_{\lambda}}$ the disk of radius ${\lambda/(1\,+\,\lambda)}$ centered at the point ${1/(1\,+\,\lambda)}$ . This is a horodisk that touches the unit circle at the point 1. Suppose that f(1) = 1 (in the sense of radial limit) and denote by ${f^{\prime}(1)}$ the angular derivative. By Julia’s lemma ${f(H_{\lambda})\,\subset H_{{\lambda}f^{\prime}(1)}}$ . Let ${\Psi_f(\lambda)\,=\,\inf\,\{\rho > 0 : f(H_{\lambda}) \subset H_\rho\}}$ . We show that the function ${\Psi_f(\lambda)/\lambda}$ is a decreasing function of ${\lambda}$ and that ${\lim_{\lambda\,\to\,0+} \Psi_f(\lambda)/\lambda = f^\prime(1)}$ . This result implies that the constant ${f^\prime(1)}$ in Julia’s lemma is the best possible.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

An isoperimetric result for the fundamental frequency via domain derivative

The Faber–Krahn deficit $\delta \lambda $ of an open bounded set $\Omega $ is the normalized gap between the values that the first Dirichlet Laplacian eigenvalue achieves on $\Omega $ and on the ball having same measure as $\Omega $ . For any given family of open bounded sets of $\mathbb R ^N$ ( $N\ge 2$ ) smoothly converging to a ball, it is well known that both $\delta \lambda $ and the isoperimetric deficit $\delta P$ are vanishing quantities. It is known as well that, at least for convex sets, the ratio $\frac{\delta P}{\delta \lambda }$ is bounded by below by some positive constant (Brandolini et al., Arch Math (Basel) 94(4): 391–400, 2010; Payne and Weinberger, J Math Anal Appl 2:210–216, 1961), and in this note, using the technique of the shape derivative, we provide the explicit optimal lower bound of such a ratio as $\delta P$ goes to zero.     

Rational preimages in families of dynamical systems

Let ${\phi}$ be a rational function of degree at least two defined over a number field k. Let ${a \in \mathbb{P}^1(k)}$ and let K be a number field containing k. We study the cardinality of the set of rational iterated preimages Preim ${(\phi, a, K) = \{x_{0} \in \mathbb{P}^1(K) | \phi^{N} (x_0) = a {\rm for some} N \geq 1\}}$ . We prove two new results (Theorems 2 and 4) bounding ${|{\rm Preim}(\phi, a, K)|}$ as ${\phi}$ varies in certain families of rational functions. Our proofs are based on unit equations and a method of Runge for effectively determining integral points on certain affine curves. We also formulate and state a uniform boundedness conjecture for Preim ${(\phi, a, K)}$ and prove that a version of this conjecture is implied by other well-known conjectures in arithmetic dynamics.     

Convergence of the eigenvalues of the p-Laplace operator as p goes to 1

Let $(\lambda ^k_p)_k$ be the usual sequence of min-max eigenvalues for the $p$ -Laplace operator with $p\in (1,\infty )$ and let $(\lambda ^k_1)_k$ be the corresponding sequence of eigenvalues of the 1-Laplace operator. For bounded $\Omega \subseteq \mathbb{R }^n$ with Lipschitz boundary the convergence $\lambda ^k_p\rightarrow \lambda ^k_1$ as $p\rightarrow 1$ is shown for all $k\in \mathbb{N }$ . The proof uses an approximation of $BV(\Omega )$ -functions by $C_0^\infty (\Omega )$ -functions in the sense of strict convergence on $\mathbb{R }^n$ .     

A characterization of {\square(\kappa^{+})} in extender models

We prove that, in any fine structural extender model with Jensen’s λ-indexing, there is a ${\square(\kappa^{+})}$ -sequence if and only if there is a pair of stationary subsets of ${\kappa^{+} \cap {\rm {cof}}( < \kappa)}$ without common reflection point of cofinality ${ < \kappa}$ which, in turn, is equivalent to the existence of a family of size ${ < \kappa}$ of stationary subsets of ${\kappa^{+} \cap {\rm {cof}}( < \kappa)}$ without common reflection point of cofinality ${ < \kappa}$ . By a result of Burke/Jensen, ${\square_\kappa}$ fails whenever ${\kappa}$ is a subcompact cardinal. Our result shows that in extender models, it is still possible to construct a canonical ${\square(\kappa^{+})}$ -sequence where ${\kappa}$ is the first subcompact.     

Geodesic Ricci solitons on unit tangent sphere bundles

In the paper, (Abbassi and Kowalski, Ann Glob Anal Geom, 38: 11–20, 2010) the authors study Einstein Riemannian $g$ natural metrics on unit tangent sphere bundles. In this study, we equip the unit tangent sphere bundle $T_1 M$ of a Riemannian manifold $(M,g)$ with an arbitrary Riemannian $g$ natural metric $\tilde{G}$ and we show that if the geodesic flow $\tilde{\xi }$ is the potential vector field of a Ricci soliton $(\tilde{G},\tilde{\xi },\lambda )$ on $T_1M,$ then $(T_1M,\tilde{G})$ is Einstein. Moreover, we show that the Reeb vector field of a contact metric manifold is an infinitesimal harmonic transformation if and only if it is Killing. Thus, we consider a natural contact metric structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi }, \tilde{\xi })$ over $T_1 M$ and we show that the geodesic flow $\tilde{\xi }$ is an infinitesimal harmonic transformation if and only if the structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi },\tilde{\xi })$ is Sasaki $\eta $ -Einstein. Consequently, we get that $(\tilde{G},\tilde{\xi }, \lambda )$ is a Ricci soliton if and only if the structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi }, \tilde{\xi })$ is Sasaki-Einstein with $\lambda = 2(n-1) >0.$ This last result gives new examples of Sasaki–Einstein structures.     

Julia Sets of Joukowski-Exponential Maps

Let $h$ be a transcendental entire function of finite type such that all the coefficients in its Taylor series about the origin are non-negative, $h(x)\! >\!0 \hbox { for } x \!<~0,\,h(0)\ge 1$ and each finite singular value of $h$ is either real or is with unit modulus. For $J(z) = z + (1/z)\hbox { and } n \in \mathbb {N}$ , we define $f_{\lambda }(z)=\lambda J^n(h(z))$ . It is proved that there exists a $\lambda ^{*}$ such that the Julia set of $f_\lambda $ is a nowhere dense subset of $\widehat{\mathbb {C}}\hbox { for }0< \lambda \le \lambda ^*$ whereas it becomes equal to $\widehat{\mathbb {C}}$ for $\lambda >\lambda ^*$ . A detailed study of the Julia sets of Joukowski-exponential maps $\lambda J( e^z+1)$ is undertaken when it is not equal to the whole sphere. Such a Julia set consists of a non-singleton, unbounded and forward invariant component, infinitely many non-singleton bounded components and singleton components. A bounded component of the Julia set eventually not mapped into the unbounded Julia component is singleton if and only if it is not expanding. The Julia set contains two topologically as well as dynamically distinct completely invariant subsets.     

Small perturbation of a disordered harmonic chain by a noise and an anharmonic potential

We study the thermal properties of a pinned disordered harmonic chain weakly perturbed by a noise and an anharmonic potential. The noise is controlled by a parameter $\lambda \rightarrow 0$ , and the anharmonicity by a parameter $\lambda ^{\prime } \le \lambda $ . Let $\kappa $ be the conductivity of the chain, defined through the Green–Kubo formula. Under suitable hypotheses, we show that $\kappa = \mathcal O (\lambda )$ and, in the absence of anharmonic potential, that $\kappa \sim \lambda $ . This is in sharp contrast with the ordered chain for which $\kappa \sim 1/\lambda $ , and so shows the persistence of localization effects for a non-integrable dynamics.