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.

Inspired by the ideas of the minimal model program, Shepherd-Barron, Kollár, and Alexeev have constructed a geometric compactification for the moduli space of surfaces of log general type. In this paper, we discuss one of the simplest examples that fits into this framework: the case of pairs $(X,H)$ consisting of a degree two $K3$ surface $X$ and an ample divisor $H$. Specifically, we construct and describe explicitly a geometric compactification ${\overline{P}}_2$ for the moduli of degree two $K3$ pairs. This compactification...

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

In the homogeneous space Sol${}_3$, a translation surface is parametrized by $r(s,t)={\gamma }_1\left(s\right)*{\gamma }_2\left(t\right)$, where ${\gamma }_1$ and ${\gamma }_2$ are curves contained in coordinate planes. In this article, we study translation invariant surfaces in ${\mathrm{Sol}}_3$, which has finite type immersion.

Let $p$ be an odd prime, and let $a$ be an integer not divisible by $p$. When $m$ is a positive integer with $p\equiv 1(mod2m)$ and $2$ is an $m$th power residue modulo $p$, we determine the value of the product ${\prod }_{k\in R_m\left(p\right)}(1+tan(\pi ak/p))$, where $$R_m\left(p\right)=\{0<k<p:k\in \mathbb{Z}\text{is}\text{an}m\text{th}\text{power}\text{residue}\text{modulo}p\}.$$ In particular, if $p=x^2+64y^2$ with $x,y\in \mathbb{Z}$, then $$\prod _{k\in R_4\left(p\right)}\left(1+tan\pi \frac{ak}{p}\right)={(-1)}^y{(-2)}^{(p-1)/8}.$$

For a smooth complex projective variety, the rank $\rho$ of the Néron-Severi group is bounded by the Hodge number $h^{1,1}$. Varieties with $\rho =h^{1,1}$ have interesting properties, but are rather sparse, particularly in dimension $2$. We discuss in this note a number of examples, in particular those constructed from curves with special Jacobians.

Let $\mathbb{N}$ be the set of positive integers and let $s\in \mathbb{N}$. We denote by $d^s$ the arithmetic function given by $d^s\left(n\right)={\left(d\left(n\right)\right)}^s$, where $d\left(n\right)$ is the number of positive divisors of $n$. Moreover, for every $\ell ,m\in \mathbb{N}$ we denote by ${\delta }^{s,\ell ,m}\left(n\right)$ the sequence $$\underset{m\text{-times}}{\underbrace{d^s(d^s(...d^s(d^s\left(n\right)+\ell )+\ell ...)+\ell )}}=\left\{\begin{array}{cc}{d}^s\left(n\right)\hfill & \text{for}m=1,\hfill \\ d^s(d^s\left(n\right)+\ell )\hfill & \text{for}m=2,\hfill \\ d^s(d^s(d^s\left(n\right)+\ell )+\ell )\hfill & \text{for}m=3,\hfill \\ ⋮\hfill \end{array}\right.$$ We present classical and nonclassical notes on the sequence ${\left({\delta }^{s,\ell ,m}\left(n\right)\right)}_{m\ge 1}$, where $\ell$, $n$, $s$ are understood as parameters.

We study the ramification of the Gauss map of complete minimal surfaces in ${ℝ}^m$ on annular ends. This is a continuation of previous work of Dethloff-Ha (2014), which we extend here to targets of higher dimension.

The paper deals with the existence of a Kneser solution of the $n$-th order nonlinear differential inclusion $$\begin{array}{cc}\hfill x^{\left(n\right)}\left(t\right)\in -A_1(t,x\left(t\right),...,x^{(n-1)}\left(t\right))x^{(n-1)}\left(t\right)-...-A_n(t,x\left(t\right),...,& x^{(n-1)}\left(t\right))x\left(t\right)\\ & \text{for}\text{a.a.}t\in [a,\infty ),\end{array}$$ where $a\in (0,\infty )$, and $A_i:[a,\infty )\times {ℝ}^n\to ℝ$, $i=1,...,n,$ are upper-Carathéodory mappings. The derived result is finally illustrated by the third order Kneser problem.

Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X$, $Y$ be irreducible smooth complex projective varieties and $f:X\to Y$ an algebraic morphism, such that ${\pi }_1\left(Y\right)$ is virtually nilpotent and the homomorphism $f_{*}:{\pi }_1\left(X\right)\to {\pi }_1\left(Y\right)$ is surjective. Define $$\begin{array}{cc}\hfill {ℛ}^f({\pi }_1\left(X\right),G)& =\{\rho \in Hom({\pi }_1\left(X\right),G)\mid A\circ \rho \text{factors}\text{through}{f}_{*}\},\hfill \\ \hfill {ℛ}^f({\pi }_1\left(X\right),K)& =\{\rho \in Hom({\pi }_1\left(X\right),K)\mid A\circ \rho \text{factors}\text{through}{f}_{*}\},\hfill \end{array}$$ where $A:G\to GL(Lie(G\left)\right)$ is the adjoint action. We prove that the geometric invariant theoretic quotient ${ℛ}^f({\pi }_1(X,x_0),G)//G$ admits a deformation retraction to ${ℛ}^f({\pi }_1(X,x_0),K)/K$. We also show that the space of conjugacy classes of $n$ almost commuting...

A graph $G$ is called $\{H_1,H_2,\cdots ,H_k\}$-free if $G$ contains no induced subgraph isomorphic to any graph $H_i$, $1\le i\le k$. We define $${\sigma }_k=min\left\{\sum _{i=1}^{k}d\left(v_i\right):\{v_1,\cdots ,v_k\}\text{is}\text{an}\text{independent}\text{set}\text{of}\text{vertices}\text{in}G\right\}.$$ In this paper, we prove that (1) if $G$ is a connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and ${\sigma }_3\left(G\right)\ge n-1$, then $G$ is traceable, (2) if $G$ is a 2-connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and $|N\left(x_1\right)\cup N\left(x_2\right)|+|N\left(y_1\right)\cup N\left(y_2\right)|\ge n-1$ for any two distinct pairs of non-adjacent vertices $\{x_1,x_2\}$, $\{y_1,y_2\}$ of $G$, then $G$ is traceable, i.e., $G$ has a Hamilton path, where $K_{1,4}+e$ is a graph obtained by joining a pair of non-adjacent vertices in a $K_{1,4}$.

We consider the problem $$\left\{\begin{array}{cc}-\Delta u=u^{\frac{N+2}{N-2}+\lambda }\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u\&gt;0\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u=0\hfill & \text{on}\partial \left(\Omega \setminus \epsilon \omega \right),\hfill \end{array}\right.$$ where $\Omega$ and $\omega$ are smooth bounded domains in ${ℝ}^N$, $N\ge 3$, $\epsilon \&gt;0$ and $\lambda \in ℝ.$ We prove that if the size of the hole $\epsilon$ goes to zero and if, simultaneously, the parameter $\lambda$ goes to zero at the appropriate rate, then the problem has a solution which blows up at the origin.

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

We investigate the following quasilinear and singular problem, $$\text{t}o2.7cm\left\{\begin{array}{cc}-{\Delta }_{p}u=\frac{\lambda }{u^{\delta }}+u^q\hfill & \text{in}\Omega ;\hfill \\ {u|}_{\partial \Omega }=0,u\&gt;0\hfill & \text{in}\Omega ,\hfill \end{array}\right.\text{t}o2.7cm\text{(P)}$$ where $\Omega$ is an open bounded domain with smooth boundary, $1\&lt;p\&lt;\infty$, $p-1\&lt;q\le p^{*}-1$, $\lambda \&gt;0$, and $0\&lt;\delta \&lt;1$. As usual, $p^{*}=\frac{Np}{N-p}$ if $1\&lt;p\&lt;N$, $p^{*}\in (p,\infty )$ is arbitrarily large if $p=N$, and $p^{*}=\infty$ if $p\&gt;N$. We employ variational methods in order to show the existence of at least two distinct (positive) solutions of problem (P) in $W_0^{1,p}\left(\Omega \right)$. While following an approach due to Ambrosetti-Brezis-Cerami, we need to prove two new results of separate interest: a strong comparison principle...

We explicitly determine the elliptic $K3$ surfaces with section and maximal singular fibre. If the characteristic of the ground field is different from $2$, for each of the two possible maximal fibre types, $I_{19}$ and $I_{14}^{*}$, the surface is unique. In characteristic $2$ the maximal fibre types are $I_{18}$ and $I_{13}^{*}$, and there exist two (resp. one) one-parameter families of such surfaces.