Related papers: On First Order Congruences of Lines in $\mathbb{P}…

In this article we study congruences of lines in $\mathbb{P}^n$, and in particular of order one. After giving general results, we obtain a complete classification in the case of $\mathbb{P}^4$ in which the fundamental surface $F$ is in fact…

We give a classification and a construction of all smooth $(n-1)$-dimensional varieties of lines in ${\bf P}\sp n$ verifying that all their lines meet a curve. This also gives a complete classification of $(n-1)$-scrolls over a curve…

In this note we present a notion of fundamental scheme for Cohen- Macaulay, order 1, irreducible congruences of lines. We show that such a congruence is formed by the k-secant lines to its fundamental scheme for a number k that we call the…

In this article we obtain the classification of the congruences of lines with one-dimensional focal locus. It turns out that one can restrict to study the case of $\mathbb{P}^3$.

Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of…

We prove that, under mild restrictions, the space of codimension-one foliations of degree one on a smooth projective complete intersection has two irreducible components of logarithmic type. We also prove that the same conclusion holds for…

In this article we classify all the smooth threefolds of P^5 with an apparent quadruple point provided that the family of its 4-secant lines is an irreducible (first order) congruence. This is sufficient to conclude the classification of…

Line congruences are the genesis of important examples of transformations of projective surfaces, such as the Laplace transform. We survey and review results related to this historical subject, then derive original formulae for the Laplace…

A smooth algebraic surface $S$ is said to be \emph{isogenous to a product of unmixed type} if there exist two smooth curves $C, F$ and a finite group $G$, acting faithfully on both $C$ and $F$ and freely on their product, so that $S=(C…

We consider smooth surfaces $S \subset \Pq$ containing a plane curve $P$ and prove some general result concerning the linear system $|H-P|$. We then look at regular surfaces lying on hypersurfaces of degree $s$ having a plane of…

Let $\mathbf{F}=\left\langle F,R\right\rangle $ be a finite Kripke frame. A congruence of $\mathbf{F}$ is a bisimulation of $\mathbf{F}$ that is also an equivalence relation on F. The set of all congruences of $\mathbf{F}$ is a lattice…

For some geometric graph classes, tractability of testing first-order formulas is precisely characterised by the graph parameter twin-width. This was first proved for interval graphs among others in [BCKKLT, IPEC '22], where the equivalence…

The correspondence between 2-parameter families of oriented lines in ${\Bbb{R}}^3$ and surfaces in $T{\Bbb{P}}^1$ is studied, and the geometric properties of the lines are related to the complex geometry of the surface. Congruences…

This note is an appendix to 'Measures of irrationality for hypersurfaces of large degree' by L. Ein, R. Lazarsfeld and B. Ullery. We prove an existence result for families of curves having low gonality, and lying on fundamental loci of…

There is a natural duality between line congruences in $\mathbb{R}^3$ and surfaces in $\mathbb{R}^4$ that sends principal lines into asymptotic lines. The same correspondence takes the discriminant curve of a line congruence into the…

We construct flat metrics in a given conformal class with prescribed singularities of real orders at marked points of a closed real surface. The singularities can be small conical, cylindrical, and large conical with possible translation…

This paper is a first step in order to extend Kummer's theory for line congruences to the case $\lbrace x, \xi \rbrace $, where $x: U \rightarrow \mathbb{R}^3$ is a smooth map and $\xi: U \rightarrow \mathbb{R}^3$ is a proper frontal. We…

Let $\mathcal{F}$ be written as $ f^{*}(\mathcal{G})$, where $\mathcal{G}$ is a $1$-dimensional foliation on $ {\mathbb P^{n-1}}$ and $f:{\mathbb P^n}--->{\mathbb P^{n-1}}$ a non-linear generic rational map. We use local stability results…

Classification of curves in a projective space occupies minds of many mathematicians. First step in doing so is classification of curves on a given surface. This brings us to consideration of the nonsingular Del Pezzo Surface in $P^4_k.$ We…

We study and classify linearly normal surfaces in $\mathbf{P}^n$, of degree $d$ and sectional genus $g$, such that $d\geq 2g-1$.