Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

Weighted Composition Operators from the Minimal Möbius Invariant Space into the Bloch Space

Let ${{\varphi}}$ be an analytic self-map of the open unit disk ${{\mathbb{D}}}$ in the complex plane ${{\mathbb{C}, H(\mathbb{D})}}$ the space of complex-valued analytic functions on ${{\mathbb{D}}}$ , and let u be a fixed function in ${{H(\mathbb{D})}}$ . The weighted composition operator is defined by $$(uC_{\varphi}f)(z) = u(z)f({\varphi}(z)), \quad z \in \mathbb{D}, f \in H(\mathbb{D}).$$ In this paper, we study the boundedness and the compactness of the weighted composition operators from the minimal Möbius invariant space into the Bloch space and the little Bloch space.     

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 $ .     

Conditional Reducibility of Certain Unbounded Nonnegative Hamiltonian Operator Functions

Let J and ${{\mathfrak{J}}}$ be operators on a Hilbert space ${{\mathcal{H}}}$ which are both self-adjoint and unitary and satisfy ${J{\mathfrak{J}}=-{\mathfrak{J}}J}$ . We consider an operator function ${{\mathfrak{A}}}$ on [0, 1] of the form ${{\mathfrak{A}}(t)={\mathfrak{S}}+{\mathfrak{B}}(t)}$ , ${t \in [0, 1]}$ , where ${\mathfrak{S}}$ is a closed densely defined Hamiltonian ( ${={\mathfrak{J}}}$ -skew-self-adjoint) operator on ${{\mathcal{H}}}$ with ${i {\mathbb{R}} \subset \rho ({\mathfrak{S}})}$ and ${{\mathfrak{B}}}$ is a function on [0, 1] whose values are bounded operators on ${{\mathcal{H}}}$ and which is continuous in the uniform operator topology. We assume that for each ${t \in [0,1] \,{\mathfrak{A}}(t)}$ is a closed densely defined nonnegative (=J-accretive) Hamiltonian operator with ${i {\mathbb{R}} \subset \rho({\mathfrak{A}}(t))}$ . In this paper we give sufficient conditions on ${{\mathfrak{S}}}$ under which ${{\mathfrak{A}}}$ is conditionally reducible, which means that, with respect to a natural decomposition of ${{\mathcal{H}}}$ , ${{\mathfrak{A}}}$ is diagonalizable in a 2×2 block operator matrix function such that the spectra of the two operator functions on the diagonal are contained in the right and left open half planes of the complex plane. The sufficient conditions involve bounds on the resolvent of ${{\mathfrak{S}}}$ and interpolation of Hilbert spaces.     

Uniqueness of minimal surfaces whose boundary is a horizontal graph and some Bernstein problems in {{\mathbb{H}^{2}\times \mathbb{R}}}

We deduce that a connected compact immersed minimal surface in ${{\mathbb{H}^{2}\times \mathbb{R}}}$ whose boundary has an injective horizontal projection on an admissible convex curve in ${\partial_\infty{\mathbb{H}^{2}\times \mathbb{R}}}$ , and satisfies an admissible bounded slope condition, is the Morrey’s solution of the Plateau problem and is a horizontal minimal graph. We prove that there is no entire horizontal minimal graph in ${{\mathbb{H}^{2}\times \mathbb{R}}}$ .     

On the Topology of Kac–Moody groups

We study the topology of spaces related to Kac–Moody groups. Given a Kac–Moody group over $\mathbb C $ , let $\text {K}$ denote the unitary form with maximal torus ${{\mathrm{T}}}$ having normalizer ${{\mathrm{N}}}({{\mathrm{T}}})$ . In this article we study the cohomology of the flag manifold $\text {K}/{{{\mathrm{T}}}}$ as a module over the Nil-Hecke algebra, as well as the (co)homology of $\text {K}$ as a Hopf algebra. In particular, if $\mathbb F $ has positive characteristic, we show that $\text {H}_*(\text {K},\mathbb F )$ is a finitely generated algebra, and that $\text {H}^*(\text {K},\mathbb F )$ is finitely generated only if $\text {K}$ is a compact Lie group . We also study the stable homotopy type of the classifying space $\text {BK}$ and show that it is a retract of the classifying space $\text {BN(T)}$ of ${{\mathrm{N}}}({{\mathrm{T}}})$ . We illustrate our results with the example of rank two Kac–Moody groups.     

Central limit theorems for moving average processes*

Let $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ be a stationary sequence of real random variables with E ξ ₀ = 0 and infinite variance. Furthermore, assume that $ {{\left( {{c_n}} \right)}_{{n\in \mathbb{Z}}}} $ is a sequence of real numbers and $ {X_n}=\sum {_{{j\in \mathbb{Z}}}{c_j}{\xi_{n-j }}} $ is a moving average processes driven by $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ . By using a decomposition of the moving average processes, a central limit theorem for the partial sums $ \sum\nolimits_{k=1}^n {{X_k}} $ is established. As applications, we obtain some central limit theorems for stationary dependent sequences $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ , such as associated sequence, martingale difference, and so on.     

A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra

It is assumed that a Kripke–Joyal semantics ${\mathcal{A} = \left\langle \mathbb{C},{\rm Cov}, {\it F},\Vdash \right\rangle}$ A = C , Cov , F , ? has been defined for a first-order language ${\mathcal{L}}$ L . To transform ${\mathbb{C}}$ C into a Heyting algebra ${\overline{\mathbb{C}}}$ C ¯ on which the forcing relation is preserved, a standard construction is used to obtain a complete Heyting algebra made up of cribles of ${\mathbb{C}}$ C . A pretopology ${\overline{{\rm Cov}}}$ Cov ¯ is defined on ${\overline{\mathbb{C}}}$ C ¯ using the pretopology on ${\mathbb{C}}$ C . A sheaf ${\overline{{\it F}}}$ F ¯ is made up of sections of F that obey functoriality. A forcing relation ${\overline{\Vdash}}$ ? ¯ is defined and it is shown that ${\overline{\mathcal{A}} = \left\langle \overline{\mathbb{C}},\overline{\rm{Cov}},\overline{{\it F}}, \overline{\Vdash} \right\rangle }$ A ¯ = C ¯ , Cov ¯ , F ¯ , ? ¯ is a Kripke–Joyal semantics that faithfully preserves the notion of forcing of ${\mathcal{A}}$ A . That is to say, an object a of ${\mathbb{C}Ob}$ C O b forces a sentence with respect to ${\mathcal{A}}$ A if and only if the maximal a-crible forces it with respect to ${\overline{\mathcal{A}}}$ A ¯ . This reduces a Kripke–Joyal semantics defined over an arbitrary site to a Kripke–Joyal semantics defined over a site which is based on a complete Heyting algebra.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

Bernoulli coding map and almost sure invariance principle for endomorphisms of {\mathbb P^k}

Let f be an holomorphic endomorphism of ${\mathbb{P}^k}$ and μ be its measure of maximal entropy. We prove an almost sure invariance principle for the systems ${(\mathbb{P}^k,f,\mu)}$ . Our class ${\mathcal {U}}$ of observables includes the Hölder functions and unbounded ones which present analytic singularities. The proof is based on a geometric construction of a Bernoulli coding map ${\omega: (\Sigma, s, \nu) \to (\mathbb{P}^k,f,\mu)}$ . We obtain the invariance principle for an observable ψ on ${(\mathbb{P}^k,f,\mu)}$ by applying Philipp–Stout’s theorem for ${\chi = \psi \circ \omega}$ on (Σ, s, ν). The invariance principle implies the central limit theorem as well as several statistical properties for the class ${\mathcal {U}}$ . As an application, we give a direct proof of the absolute continuity of the measure μ when it satisfies Pesin’s formula. This approach relies on the central limit theorem for the unbounded observable log ${{\tt Jac}\, f \in \mathcal{U}}$ .     

The Essential Norm of a Generalized Composition Operator Between Bloch-Type Spaces and Q K Type Spaces

Let ?? be an analytic self-map of the unit disk ${\rm \mathbb{D},H(\rm \mathbb{D})}$ the space of analytic functions on ${{\rm \mathbb{D}}}$ and ${g \in H(\rm \mathbb{D})}$ . We define a linear operator as follows $$C_\varphi^gf(z)=\int\limits_0^zf'(\varphi(w))g(w)\, {\rm d}w, $$ on ${ H(\rm \mathbb{D})}$ . In this paper, estimates for the essential norm of the generalized composition operator between Bloch-type spaces and Q _K type spaces are obtained.     

On additive involutions and Hamel bases

We provide an example of a discontinuous involutory additive function ${a: \mathbb{R}\to \mathbb{R}}$ such that ${a(H) \setminus H \ne \emptyset}$ for every Hamel basis ${H \subset \mathbb{R}}$ and show that, in fact, the set of all such functions is dense in the topological vector space of all additive functions from ${\mathbb{R}}$ to ${\mathbb{R}}$ with the Tychonoff topology induced by ${\mathbb{R}^{\mathbb{R}}}$ .     

Representation of cyclotomic fields and their subfields

Let $\mathbb{K}$ be a finite extension of a characteristic zero field $\mathbb{F}$ . We say that a pair of n × n matrices (A,B) over $\mathbb{F}$ represents $\mathbb{K}$ if $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle B \right\rangle }}} \right. \kern-0em} {\left\langle B \right\rangle }}$ , where $\mathbb{F}\left[ A \right]$ denotes the subalgebra of $\mathbb{M}_n \left( \mathbb{F} \right)$ containing A and 〈B〉 is an ideal in $\mathbb{F}\left[ A \right]$ , generated by B. In particular, A is said to represent the field $\mathbb{K}$ if there exists an irreducible polynomial $q\left( x \right) \in \mathbb{F}\left[ x \right]$ which divides the minimal polynomial of A and $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle {q\left( A \right)} \right\rangle }}} \right. \kern-0em} {\left\langle {q\left( A \right)} \right\rangle }}$ . In this paper, we identify the smallest order circulant matrix representation for any subfield of a cyclotomic field. Furthermore, if p is a prime and $\mathbb{K}$ is a subfield of the p-th cyclotomic field, then we obtain a zero-one circulant matrix A of size p × p such that (A, J) represents $\mathbb{K}$ , where J is the matrix with all entries 1. In case, the integer n has at most two distinct prime factors, we find the smallest order 0, 1-companion matrix that represents the n-th cyclotomic field. We also find bounds on the size of such companion matrices when n has more than two prime factors.     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

Minoration of the complexity function associated to a translation on the torus

We show that the word complexity function $p_k(n)$ of a piecewise translation map associated to a minimal translation on the torus $\mathbb T ^k = \mathbb R ^k / \mathbb Z ^k$ is at least $kn+1$ for every integer $n$ .