This paper classifies surfaces $S$ of general type with $p_g=q=1$ having an involution $i$ such that $S/i$ has non-negative Kodaira dimension and that the bicanonical map of $S$ factors through the double cover induced by $i.$ It is shown that $S/i$ is regular and either: a) the Albanese fibration of $S$ is of genus 2 or b) $S$ has no genus 2 fibration and $S/i$ is birational to a $K3$ surface. For case a) a list of possibilities and examples are given. An example for case b) with $K^2=6$ is also constructed.

Let us consider two closed surfaces $ℳ$, $𝒩$ of class $C^1$ and two functions $\varphi :ℳ\to ℝ$, $\psi :𝒩\to ℝ$ of class $C^1$, called measuring functions. The natural pseudodistance $d$ between the pairs $(ℳ,)$, $(𝒩,\psi )$ is defined as the infimum of $\Theta \left(f\right):={max}_{P\in ℳ}\left|\varphi \left(P\right)-\psi \left(f\left(P\right)\right)\right|$ as $f$ varies in the set of all homeomorphisms from $ℳ$ onto $𝒩$. In this paper we prove that the natural pseudodistance equals either $|c_1-c_2|$, $\frac{1}{2}\left|c_1-c_2\right|$, or $\frac{1}{3}\left|c_1-c_2\right|$, where $c_1$ and $c_2$ are two suitable critical values of the measuring functions. This shows that a previous relation between the natural pseudodistance and...

In his seminal paper on arithmetic surfaces Faltings introduced a new invariant associated to compact Riemann surfaces $X$, nowadays called Faltings’s delta function and here denoted by ${\delta }_{\mathrm{Fal}}\left(X\right)$. For a given compact Riemann surface $X$ of genus $g_X=g$, the invariant ${\delta }_{\mathrm{Fal}}\left(X\right)$ is roughly given as minus the logarithm of the distance with respect to the Weil-Petersson metric of the point in the moduli space ${ℳ}_g$ of genus $g$ curves determined by $X$ to its boundary $\partial {ℳ}_g$. In this paper we begin by revisiting a formula derived...

Let $Y$ be a hyperbolic surface and let $\phi$ be a Laplacian eigenfunction having eigenvalue $-1/4-{\tau }^2$ with $\tau >0$. Let $N\left(\phi \right)$ be the set of nodal lines of $\phi$. For a fixed analytic curve $\gamma$ of finite length, we study the number of intersections between $N\left(\phi \right)$ and $\gamma$ in terms of $\tau$. When $Y$ is compact and $\gamma$ a geodesic circle, or when $Y$ has finite volume and $\gamma$ is a closed horocycle, we prove that $\gamma$ is “good” in the sense of [TZ]. As a result, we obtain that the number of intersections between $N\left(\phi \right)$ and $\gamma$ is $O\left(\tau \right)$. This bound is...

This paper deals with surfaces with many lines. It is well-known that a cubic contains $27$ of them and that the maximal number for a quartic is $64$. In higher degree the question remains open. Here we study classical and new constructions of surfaces with high number of lines. We obtain a symmetric octic with $352$ lines, and give examples of surfaces of degree $d$ containing a sequence of $d(d-2)+4$ skew lines.

Let $X$ be a complex Fano manifold of arbitrary dimension, and $D$ a prime divisor in $X$. We consider the image ${𝒩}_1(D,X)$ of ${𝒩}_1\left(D\right)$ in ${𝒩}_1\left(X\right)$ under the natural push-forward of $1$-cycles. We show that ${\rho }_X-{\rho }_D\le codim{𝒩}_1(D,X)\le 8$. Moreover if $codim{𝒩}_1(D,X)\ge 3$, then either $X\cong S\times T$ where $S$ is a Del Pezzo surface, or $codim{𝒩}_1(D,X)=3$ and $X$ has a fibration in Del Pezzo surfaces onto a Fano manifold $T$ such that ${\rho }_X-{\rho }_T=4$.

Let $S$ be a Riemann surface. Let ${ℍ}^3$ be the $3$-dimensional hyperbolic space and let ${\partial }_{\infty }{ℍ}^3$ be its ideal boundary. In our context, a Plateau problem is a locally holomorphic mapping $\varphi :S\to {\partial }_{\infty }{ℍ}^3=\widehat{ℂ}$. If $i:S\to {ℍ}^3$ is a convex immersion, and if $N$ is its exterior normal vector field, we define the Gauss lifting, $\widehat{ı}$, of $i$ by $\widehat{ı}=N$. Let $\overrightarrow{n}:U{ℍ}^3\to {\partial }_{\infty }{ℍ}^3$ be the Gauss-Minkowski mapping. A solution to the Plateau problem $(S,\varphi )$ is a convex immersion $i$ of constant Gaussian curvature equal to $k\in (0,1)$ such that the Gauss lifting $(S,\widehat{ı})$ is complete and $\overrightarrow{n}\circ \widehat{ı}=\varphi$. In this...

We determine the possible even sets of nodes on sextic surfaces in ${\mathbb{P}}^3$, showing in particular that their cardinalities are exactly the numbers in the set $\{24,32,40,56\}$. We also show that all the possible cases admit an explicit description. The methods that we use are an interplay of coding theory and projective geometry on one hand, and of homological and computer algebra on the other. We give a detailed geometric construction for the new case of an even set of 56 nodes, but the ultimate verification...

For a smooth curve $\Gamma$ and a set $\Lambda$ in the plane ${ℝ}^2$, let $AC(\Gamma ;\Lambda )$ be the space of finite Borel measures in the plane supported on $\Gamma$, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on $\Lambda$. Following [12], we say that $(\Gamma ,\Lambda )$ is a Heisenberg uniqueness pair if $AC(\Gamma ;\Lambda )=\left\{0\right\}$. In the context of a hyperbola $\Gamma$, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets $\Lambda$ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly...

The hypersurface in ${ℂ}^3$ with an isolated quasi-homogeneous elliptic singularity of type ${\tilde{E}}_r,r=6,7,8$, has a natural Poisson structure. We show that the family of del Pezzo surfaces of the corresponding type $E_r$ provides a semiuniversal Poisson deformation of that Poisson structure. We also construct a deformation-quantization of the coordinate ring of such a del Pezzo surface. To this end, we first deform the polynomial algebra $ℂ[x_1,x_2,x_3]$ to a noncommutative algebra with generators $x_1,x_2,x_3$ and the following 3 relations...

It is shown that there exists a $\sigma$-compact topological group which cannot be represented as a continuous image of a Lindelöf $p$-group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$-groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$-group, then there exists a covering $\gamma$ of $Y$ by dyadic compacta such that $\left|\gamma \right|\le 2^{\omega }$. We also show that if a homogeneous compact space $Y$ is...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

We prove that for a normed linear space $X$, if $f_1:X\to ℝ$ is continuous and semiconvex with modulus $\omega$, $f_2:X\to ℝ$ is continuous and semiconcave with modulus $\omega$ and $f_1\le f_2$, then there exists $f\in C^{1,\omega }\left(X\right)$ such that $f_1\le f\le f_2$. Using this result we prove a generalization of Ilmanen lemma (which deals with the case $\omega \left(t\right)=t$) to the case of an arbitrary nontrivial modulus $\omega$. This generalization (where a $C_{loc}^{1,\omega }$ function is inserted) gives a positive answer to a problem formulated by A. Fathi and M. Zavidovique in 2010.

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

Let ${\mu }_A$ be the singular measure on the Heisenberg group ${ℍ}^n$ supported on the graph of the quadratic function $\varphi \left(y\right)=y^{t}Ay$, where $A$ is a $2n\times 2n$ real symmetric matrix. If $det(2A\pm J)\ne 0$, we prove that the operator of convolution by ${\mu }_A$ on the right is bounded from $L^{\frac{(2n+2)}{(2n+1)}}\left({ℍ}^n\right)$ to $L^{2n+2}\left({ℍ}^n\right)$. We also study the type set of the measures $\mathrm{d}{\nu }_{\gamma }(y,s)=\eta \left(y\right){\left|y\right|}^{-\gamma }\mathrm{d}{\mu }_A(y,s)$, for $0\le \gamma <2n$, where $\eta$ is a cut-off function around the origin on ${ℝ}^{2n}$. Moreover, for $\gamma =0$ we characterize the type set of ${\nu }_0$.