Exotic smooth structures on small 4-manifolds with odd signatures

Let M be (2n-1)\mathbbCP²#2n[`(\mathbbCP)]<sup>2</sup>(2n-1)\mathbb{CP}^{2}\#2n\overline{\mathbb{CP}}{}^{2} for any integer n≥1. We construct an irreducible symplectic 4-manifold homeomorphic to M and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to M. We also construct such exotic smooth structures when M is \mathbbCP<sup>2</sup>#4[`(\mathbbCP)]²\mathbb{CP}{}^{2}\#4\overline {\mathbb{CP}}{}^{2} or 3\mathbbCP²#k[`(\mathbbCP)]²3\mathbb{CP}{}^{2}\#k\overline{\mathbb{CP}}{}^{2} for k=6,8,10.     

Mass equidistribution of Hilbert modular eigenforms

Let \mathbbF\mathbb{F} be a totally real number field, and let f traverse a sequence of non-dihedral holomorphic eigencuspforms on \operatornameGL₂/\mathbbF\operatorname{GL}_{2}/\mathbb{F} of weight (k₁,?,k_{[\mathbbF:\mathbbQ]})(k_{1},\ldots,k_{[\mathbb{F}:\mathbb{Q}]}), trivial central character and full level. We show that the mass of f equidistributes on the Hilbert modular variety as max(k₁,?,k_{[\mathbbF:\mathbbQ]}) ? ￥\max(k_{1},\ldots,k_{[\mathbb{F}:\mathbb{Q}]}) \rightarrow \infty.     

Fields of moduli and definition of hyperelliptic curves of odd genus

Mestre has shown that if a hyperelliptic curve C of even genus is defined over a subfield k ì \mathbbC{k \subset \mathbb{C}} then C can be hyperelliptically defined over the same field k. In this paper, for all genera g > 1, g o 1{g\equiv1} mod 4, hence odd, we construct an explicit hyperelliptic curve defined over \mathbbQ{\mathbb{Q}} which can not be hyperelliptically defined over \mathbbQ{\mathbb{Q}}.     

On the Second Cohomology of K?hler Groups

Carlson and Toledo conjectured that if an infinite group Γ is the fundamental group of a compact K?hler manifold, then virtually H²(G, \mathbb R) 1 0{H^{2}(\Gamma, {\mathbb R}) \ne 0} . We assume that Γ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ( \mathbbC{\mathbb{C}} -VHS) on the K?hler manifold. We prove the conjecture under some assumption on the \mathbbC{\mathbb{C}} -VHS. We also study some related geometric/topological properties of period domains associated to such a \mathbbC{\mathbb{C}} -VHS.     

Relative universality and universality obtained by adding constants

A variety ${\mathbb{V}}${\mathbb{V}} is var-relatively universal if it contains a subvariety \mathbbW{\mathbb{W}} such that the class of all homomorphisms that do not factorize through any algebra in \mathbbW{\mathbb{W}} is algebraically universal. And \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} if adding α nullary operations to all algebras in \mathbbV{\mathbb{V}} gives rise to a class a\mathbbV{\alpha\mathbb{V}} of algebras that is algebraically universal. The first two authors have conjectured that any varrelative universal variety \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} . This note contains a more general result that proves this conjecture.     

Heat flows for a nonconvex Signorini type problem in $$ {\mathbb{R}^{N}} $$

We prove the existence of a global heat flow u : Ω ×  \mathbbR⁺ ? \mathbbR^N {\mathbb{R}^{+}} \to {\mathbb{R}^{N}}, N > 1, satisfying a Signorini type boundary condition u(∂Ω ×  \mathbbR⁺ {\mathbb{R}^{+}}) ⊂  \mathbbRⁿ {\mathbb{R}^{n}}), n \geqslant 2 n \geqslant 2 , and \mathbbR^N {\mathbb{R}^{N}}) with boundary ∂ [`(W)] \bar{\Omega } such that φ(∂Ω) ⊂ \mathbbR^N {\mathbb{R}^{N}} is given by a smooth noncompact hypersurface S. Bibliography: 30 titles.     

Transcendence of the values of certain series with Hadamard's gaps

Transcendence of the number ?_k=0^￥ a^r_k \sum_{k=0}^\infty \alpha^{r_k} , where a \alpha is an algebraic number with 0 < | a | \mid\alpha\mid > 1 and {r_k}_k\geqq0 \{r_k\}_{k\geqq0} is a sequence of positive integers such that lim_k?￥ r_k+1/r_k = d ? \mathbbN \{1} \lim_{k\to\infty}\, r_{k+1}/r_k = d \in \mathbb{N}\, \backslash \{1\} , is proved by Mahler's method. This result implies the transcendence of the number ?_k=0^￥ a^kdk \sum_{k=0}^\infty \alpha^{kd^k} .     

Complex cycles on algebraic models of smooth manifolds

Every compact smooth manifold M is diffeomorphic to the set X(\mathbbR){X(\mathbb{R})} of real points of a nonsingular projective real algebraic variety X, which is called an algebraic model of M. Each algebraic cycle of codimension k on the complex variety X_\mathbbC=X×_\mathbbR\mathbbC{X_{\mathbb{C}}=X\times_{\mathbb{R}}\mathbb{C}} determines a cohomology class in H^2k(X(\mathbbR);\mathbbD){H^{2k}(X(\mathbb{R});\mathbb{D})} , where \mathbbD{\mathbb{D}} denotes \mathbbZ{\mathbb{Z}} or \mathbbQ{\mathbb{Q}} . We investigate the behavior of such cohomology classes as X runs through the class of algebraic models of M.     

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

Numerical Ranges of Radial Toeplitz Operators on Bergman Space

A Toeplitz operator T_fT_\phi with symbol f\phi in L^￥(\mathbbD)L^{\infty}({\mathbb{D}}) on the Bergman space A²(\mathbbD)A^{2}({\mathbb{D}}), where \mathbbD\mathbb{D} denotes the open unit disc, is radial if f(z) = f(|z|)\phi(z) = \phi(|z|) a.e. on \mathbbD\mathbb{D}. In this paper, we consider the numerical ranges of such operators. It is shown that all finite line segments, convex hulls of analytic images of \mathbbD\mathbb{D} and closed convex polygonal regions in the plane are the numerical ranges of radial Toeplitz operators. On the other hand, Toeplitz operators T_fT_\phi with f\phi harmonic on \mathbbD\mathbb{D} and continuous on [`(\mathbbD)]{\overline{\mathbb{D}}} and radial Toeplitz operators are convexoid, but certain compact quasinilpotent Toeplitz operators are not.     

Solutions to Polynomial Generalized Bers–Vekua Equations in Clifford Analysis

In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)^kw=0,(D-l)^kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}.     

A trade-off between collision probability and key size in universal hashing using polynomials

Let \mathbbF{\mathbb{F}} be a finite field and suppose that a single element of \mathbbF{\mathbb{F}} is used as an authenticator (or tag). Further, suppose that any message consists of at most L elements of \mathbbF{\mathbb{F}}. For this setting, usual polynomial based universal hashing achieves a collision bound of (L-1)/|\mathbbF|{(L-1)/|\mathbb{F}|} using a single element of \mathbbF{\mathbb{F}} as the key. The well-known multi-linear hashing achieves a collision bound of 1/|\mathbbF|{1/|\mathbb{F}|} using L elements of \mathbbF{\mathbb{F}} as the key. In this work, we present a new universal hash function which achieves a collision bound of mélog_m Lù/|\mathbbF|, m 3 2{m\lceil\log_m L\rceil/|\mathbb{F}|, m\geq 2}, using 1+élog_m Lù{1+\lceil\log_m L\rceil} elements of \mathbbF{\mathbb{F}} as the key. This provides a new trade-off between key size and collision probability for universal hash functions.     

A generalisation of the Hopf construction and harmonic morphisms into {\mathbb {S}^2}

In this paper, we construct a new family of harmonic morphisms ${\varphi:V^5\to\mathbb{S}^2}In this paper, we construct a new family of harmonic morphisms j:V⁵?\mathbbS²{\varphi:V^5\to\mathbb{S}^2}, where V ⁵ is a 5-dimensional open manifold contained in an ellipsoidal hypersurface of \mathbbC⁴ = \mathbbR⁸{\mathbb{C}^4\,=\,\mathbb{R}^8}. These harmonic morphisms admit a continuous extension to the completion V^*5{{V^{\ast}}^5}, which turns out to be an explicit real algebraic variety. We work in the context of a generalization of the Hopf construction and equivariant theory.     

Homomorphisms with respect to a function

Let X be a realcompact space and H:C(X)?\mathbbR{H:C(X)\rightarrow\mathbb{R}} be an identity and order preserving group homomorphism. It is shown that H is an evaluation at some point of X if and only if there is j ? C(\mathbbR){\varphi\in C(\mathbb{R})} with ${\varphi(r)>\varphi(0)}${\varphi(r)>\varphi(0)} for all r ? \mathbbR-{0}{r\in\mathbb{R}-\{0\}} for which H°j = j°H{H\circ\varphi=\varphi\circ H} . This extends (and unifies) classical results by Hewitt and Shirota.     

Boxicity of Circular Arc Graphs

A k-dimensional box is a Cartesian product R ₁ × · · · × R _k where each R _i is a closed interval on the real line. The boxicity of a graph G, denoted as box(G), is the minimum integer k such that G can be represented as the intersection graph of a collection of k-dimensional boxes. That is, two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of arcs on a circle. We show that if G is a circular arc graph which admits a circular arc representation in which no arc has length at least p(\fraca-1a){\pi(\frac{\alpha-1}{\alpha})} for some a ? \mathbbN _{3 2}{\alpha\in\mathbb{N}_{\geq 2}}, then box(G) ≤ α (Here the arcs are considered with respect to a unit circle). From this result we show that if G has maximum degree D < ?\fracn(a-1)2a?{\Delta < \lfloor{\frac{n(\alpha-1)}{2\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha \in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. We also demonstrate a graph having box(G) > α but with D = n\frac(a-1)2a+ \fracn2a(a+1)+(a+2){\Delta=n\frac{(\alpha-1)}{2\alpha}+ \frac{n}{2\alpha(\alpha+1)}+(\alpha+2)}. For a proper circular arc graph G, we show that if D < ?\fracn(a-1)a?{\Delta < \lfloor{\frac{n(\alpha-1)}{\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha\in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. Let r be the cardinality of the minimum overlap set, i.e. the minimum number of arcs passing through any point on the circle, with respect to some circular arc representation of G. We show that for any circular arc graph G, box(G) ≤ r + 1 and this bound is tight. We show that if G admits a circular arc representation in which no family of k ≤ 3 arcs covers the circle, then box(G) ≤ 3 and if G admits a circular arc representation in which no family of k ≤ 4 arcs covers the circle, then box(G) ≤ 2. We also show that both these bounds are tight.     

Interior Differentiability Results for Nonlinear Variational Parabolic Systems with Nonlinearity 1 <?q < 2

In this work we prove that the solutions

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

Composition Followed by Differentiation Between H ∞ and Zygmund Spaces

Let j{\varphi} be an analytic self-map of the unit disk \mathbbD{\mathbb{D}}, H(\mathbbD){H(\mathbb{D})} the space of analytic functions on \mathbbD{\mathbb{D}} and g ? H(\mathbbD){g \in H(\mathbb{D})}. The boundedness and compactness of the operator DC_j : H^￥ ? Z{DC_\varphi : H^\infty \rightarrow { \mathcal Z}} are investigated in this paper.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).