We determine in ${ℝ}^n$ the form of curves $C$ corresponding to strictly monotone functions as well as the components of affine connections $\nabla$ for which any image of $C$ under a compact-free group $\Omega$ of affinities containing the translation group is a geodesic with respect to $\nabla$. Special attention is paid to the case that $\Omega$ contains many dilatations or that $C$ is a curve in ${ℝ}^3$. If $C$ is a curve in ${ℝ}^3$ and $\Omega$ is the translation group then we calculate not only the components of the curvature and the Weyl...

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

Let $C$ be a hyperelliptic curve of genus $g\ge 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\ge 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the birational $r$-gonality $s_r\left(C\right)$ of $C$ is the minimal integer $t$ such that there is $L\in {\text{Pic}}^t\left(C\right)$ with $h^0(C,L)=r+1$. Fix an integer $r\ge 3$. In this paper we prove the existence of an integer $g_r$ such that for every integer $g\ge g_r$ there is a smooth curve $C$ of genus $g$ with $s_{r+1}\left(C\right)/(r+1)>s_r\left(C\right)/r$, i.e. in the sequence of all birational gonalities of $C$ at least one of the slope inequalities fails.

Let $k$ be an algebraically closed field of characteristic $p\>0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...

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

Let $M$ be an $n$-dimensional ($n\ge 2$) simply connected Hadamard manifold. If the radial Ricci curvature of $M$ is bounded from below by $(n-1)k\left(t\right)$ with respect to some point $p\in M$, where $t=d(·,p)$ is the Riemannian distance on $M$ to $p$, $k\left(t\right)$ is a nonpositive continuous function on $(0,\infty )$, then the first $n$ nonzero Neumann eigenvalues of the Laplacian on the geodesic ball $B(p,l)$, with center $p$ and radius $0<l<\infty$, satisfy $$\frac{1}{{\mu }_1}+\frac{1}{{\mu }_2}+\cdots +\frac{1}{{\mu }_n}\ge \frac{l^{n+2}}{(n+2){\int }_0^l{f}^{n-1}\left(t\right)\mathrm{d}t},$$ where $f\left(t\right)$ is the solution to $$\left\{\begin{array}{c}{f}^{\text{'}\text{'}}\left(t\right)+k\left(t\right)f\left(t\right)=0\text{on}(0,\infty ),\hfill \\ f\left(0\right)=0,f^{\text{'}}\left(0\right)=1.\hfill \end{array}\right.$$

We consider the linear system $|2{\Theta }_0|$ of second order theta functions over the Jacobian $JC$ of a non-hyperelliptic curve $C$. A result by J.Fay says that a divisor $D\in |2{\Theta }_0|$ contains the origin $𝒪\in JC$ with multiplicity $4$ if and only if $D$ contains the surface $C-C=\left\{𝒪\right(p-q)\mid p,q\in C\}\subset JC$. In this paper we generalize Fay’s result and some previous work by R.C.Gunning. More precisely, we describe the relationship between divisors containing $𝒪$ with multiplicity $6$, divisors containing the fourfold $C_2-C_2=\{𝒪(p+q-r-s)\mid p,q,r,s\in C\}$, and divisors singular along $C-C$, using...

The notion of $\beta$-normality was introduced and studied by Arhangel’skii, Ludwig in 2001. Recently, almost $\beta$-normal spaces, which is a simultaneous generalization of $\beta$-normal and almost normal spaces, were introduced by Das, Bhat and Tartir. We introduce a new generalization of normality, namely weak $\beta$-normality, in terms of $\theta$-closed sets, which turns out to be a simultaneous generalization of $\beta$-normality and $\theta$-normality. A space $X$ is said to be weakly $\beta$-normal (w$\beta$-normal$)$ if for every...

Let $(M,\theta )$ be a compact CR manifold of dimension $2n+1$ with a contact form $\theta$, and $L=(2+2/n){\Delta }_b+R$ its associated CR conformal laplacien. The CR Yamabe conjecture states that there is a contact form $\tilde{\theta }$ on $M$ conformal to $\theta$ which has a constant Webster curvature. This problem is equivalent to the existence of a function $u$ such that $Lu=u^{1+2/n}$, $u>0$ on $M$. D. Jerison and J. M. Lee solved the CR Yamabe problem in the case where $n\ge 2$ and $(M,\theta )$ is not locally CR equivalent to the sphere $S^{2n+1}$ of ${𝐂}^n$. In a join work with R. Yacoub, the CR Yamabe...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

If $(M,g)$ is a Riemannian manifold, we have the well-known base preserving   vector bundle isomorphism $TM\widetilde{=}{T}^{*}M$ given by $v\to g(v,-)$ between the tangent $TM$ and the cotangent $T^{*}M$ bundles of $M$. In the present note, we generalize this isomorphism to the one $T^{\left(r\right)}M\widetilde{=}{T}^{r*}M$ between the $r$-th order vector tangent $T^{\left(r\right)}M={\left(J^r{(M,R)}_0\right)}^{*}$ and the $r$-th order cotangent $T^{r*}M=J^r{(M,R)}_0$ bundles of $M$. Next, we describe all base preserving  vector bundle maps $C_M\left(g\right):T^{\left(r\right)}M\to T^{r*}M$ depending on a Riemannian metric $g$ in terms of natural (in $g$) tensor fields on $M$.

We consider the Massera-Schäffer problem for the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y\left(x\right)=f\left(x\right),x\in ℝ,$$ where $f\in L_p^{\mathrm{loc}}\left(ℝ\right),$ $p\in [1,\infty )$ and $0\le q\in L_1^{\mathrm{loc}}\left(ℝ\right).$ By a solution of the problem we mean any function $y,$ absolutely continuous and satisfying the above equation almost everywhere in $ℝ.$ Let positive and continuous functions $\mu \left(x\right)$ and $\theta \left(x\right)$ for $x\in ℝ$ be given. Let us introduce the spaces $$\begin{array}{cc}\hfill L_p(ℝ,\mu )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\mu )}^p={\int }_{-\infty }^{\infty }{\left|\mu \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\},\\ \hfill L_p(ℝ,\theta )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\theta )}^p={\int }_{-\infty }^{\infty }{\left|\theta \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\}.\end{array}$$ We obtain requirements to the functions $\mu$, $\theta$ and $q$ under which (1) for every function $f\in L_p(ℝ,\theta )$ there exists a unique solution $y\in L_p(ℝ,\mu )$ of the above equation; (2) there is an absolute constant...