Related papers: Transverse lines to surfaces over finite fields
We prove that for each sufficiently complicated orientable surface $S$, there exists an infinite image linear representation $\rho$ of $\pi_1(S)$ such that if $\gamma\in\pi_1(S)$ is freely homotopic to a simple closed curve on $S$, then…
The spanning surface defect uses spanning surfaces of a knot in the $3$-sphere to measure how far a knot is from being alternating. We refine the spanning surface defect and extend the definition to take into account surfaces in the…
We prove that a surface in real 3-space containing a line and a circle through each point is a quadric. We also give some particular results on the classification of surfaces containing several circles through each point.
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
A famous configuration of 27 lines on a non-singular cubic surface in $\mathbb P^3$ contains remarkable subconfigurations, and in particular the ones formed by six pairwise disjoint lines. We study such six-line configurations in the case…
We construct and study the properties of the precise boundary trace of positive solutions of $-\Delta u+u^q=0$ in a smooth bounded domain of $\mathbb R^N$, in the supercritical case $q\geq q_c=(N+1)/(N-1)$
This note is about an old conjecture of Voisin, which concerns zero--cycles on the self-product of surfaces of geometric genus one. We prove this conjecture for surfaces with $p_g=1$ and $q=2$.
We prove the sharp upper bound of at most $52$ lines on a complex K3-surface of degree four with a non-empty singular locus. We also classify the configurations of more than $48$ lines on smooth complex quartics.
We study lines on smooth cubic surfaces over the field of $p$-adic numbers, from a theoretical and computational point of view. Segre showed that the possible counts of such lines are $0,1,2,3,5,7,9,15$ or $27$. We show that each of these…
We say that a line in $\mathbb P^{n+1}_k$ is osculating to a hypersurface $Y$ if they meet with contact order $n+1$. When $k=\mathbb C$, it is known that through a fixed point of $Y$, there are exactly $n!$ of such lines. Under some parity…
In this work we prove that if for a pair of convex bodies $K_1, K_2 \subset \mathbb{R}^n$, $n \geq 3$, there exists a hyperplane $H$ and two distinct points $p_1$ and $p_2$ in $\mathbb{R}^n \setminus H$ such that for every $(n-2)$-plane $M…
An infinite $(p,q)$-theorem, or an $(\aleph_0,q)$-theorem, involving two families $\mathcal{F}$ and $\mathcal{G}$ of sets, states that if in every infinite subset of $\mathcal{F}$, there are $q$ sets that are intersected by some set in…
We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then…
We find all the possible torsion groups of $\Q$-curves over quadratic fields and determine which groups appear finitely and which appear infinitely often.
We report on our project to construct non-singular cubic surfaces over $\bbQ$ with a rational line. Our method is to start with degree 4 Del Pezzo surfaces in diagonal form. For these, we develop an explicit version of Galois descent.
Finite topology self translating surfaces to mean curvature flow of surfaces constitute a key element for the analysis of Type II singularities from a compact surface, since they arise in a limit after suitable blow-up scalings around the…
Let S be a minimal complex surface of general type and of maximal Albanese dimension; by the Severi inequality one has $K^2_S\geq 4\chi(\mathcal O_S)$. We prove that the equality $K^2_S=4\chi(\mathcal O_S)$ holds if and only if $q(S):=…
We prove the existence of a hyperbolic surface spread over the sphere for which the projection map has all its singular values on the extended real line, and such that the preimage of the extended real line under the projection map is…
We show that, as in de Rham cohomology over the complex numbers, the value of the entropy of an automorphism of the surface over a finite field $\F_q $ is taken on the span of the N\'eron-Severi group inside of $\ell$-adic cohomology. v2:…
Let $M$ be a closed orientable Riemannian surface. Consider an SO(3)-connection $A$ and a Higgs field $\Phi:M\to so(3)$. The pair $(A,\Phi)$ naturally induces a cocycle over the geodesic flow of $M$. We classify (up to gauge…