Related papers: A pencil of Enriques surfaces of index one with no…

We give an explicit construction and clasification of some very special sort of Enriques surfaces in characteristic two. This proves the existence of some of the surfaces that were called ``extra-special'' by Cossec and Dolgachev in their…

We construct a family of elliptic surfaces with $p_g=q=1$ that arise from base change of the Hesse pencil. We identify explicitly a component of the higher Noether-Lefschetz locus with positive Mordell-Weil rank, and a particular surface…

We construct an Enriques surface X over Q with empty \'etale-Brauer set (and hence no rational points) for which there is no algebraic Brauer-Manin obstruction to the Hasse principle. In addition, if there is a transcendental obstruction on…

Given d in IN, we prove that any polarized Enriques surface (over any field of characteristic different from 2 or with a smooth K3 cover) of degree greater than 12d^2 contains at most 12 rational curves of degree at most d. For d>2 we…

Exploring selected reductio ad absurdum proofs in Book 1 of the Elements, we show they include figures that are not constructed. It is squarely at odds with Hartshorne's claim that "in Euclid's geometry, only those geometrical figures exist…

In this paper, we proved two results regarding the arithmetics of separably $\mathbb{A}^1$-connected varieties of rank one. First we proved over a large field, there is an $\mathbb{A}^1$-curve through any rational point of the boundary, if…

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…

We prove the existence of (non compact) complex surfaces with a smooth rational curve embedded such that there does not exist any formal singular foliation along the curve. In particular, at arbitray small neighborhood of the curve, any…

We prove that the Fermi surface of a connected doubly periodic self-adjoint discrete graph operator is irreducible at all but finitely many energies provided that the graph (1) can be drawn in the plane without crossing edges (2) has…

We prove an extended Lefschetz principle for a large class of pencils of hypersurfaces having isolated singularities, possibly in the axis, and show that the module of vanishing cycles is generated by the images of certain variation maps.

We study the relations between pin structures on a non-orientable even-dimensional manifold, with or without boundary, and pin structures on its orientable double cover, requiring the latter to be invariant under sheet-exchange. We show…

In this note we make progress toward a conjecture of Durham--Fanoni--Vlamis, showing that every infinite-type surface with finite-invariance index 1 and no nondisplaceable compact subsurfaces fails to have a good curve graph, that is, a…

We construct the geometric Langlands functor in one direction (from the automorphic to the spectral side) in characteristic zero settings (i.e., de Rham and Betti). We prove that various forms of the conjecture (de Rham vs Betti, restricted…

We provide an alternative, simpler proof of the existence of thick triangulations for noncompact $\mathcal{C}^1$ manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary…

We prove that after an arbitrarily small adjustment of edge lengths, the spectrum of a compact quantum graph with $\delta$-type vertex conditions can be simple. We also show that the eigenfunctions, with the exception of those living…

Let $X$ be an 1-convex surface and $p:\tilde X\to X$ an (unbranched) covering map. We prove that if $\tilde X$ does not contain an infinite Nori string of rational curves then $\tilde X$ satisfies the discrete disk property.

We show that the class of multigraphs with at most $p$ connected components and bonds of size at most $k$ is well-quasi-ordered by edge contraction for all positive integers $p,k$. (A bond is a minimal non-empty edge cut.) We also…

Let G/Q be an homogeneous variety embedded in a projective space P thanks to an ample line bundle L. Take a projective space containing P and form the cone X over G/Q, we call this a cone over an homogeneous variety. Let $\alpha$ a class of…

Via multilinear algebra, we formulate a criterion for connectedness in the parametric geometry of numbers in terms of pencils, which are certain algebraic varieties in the space of matrices. As a consequence, we obtain a connectedness…

We prove that for compact, non-contractible, one dimensional geodesic spaces, a version of the marked length spectrum conjecture holds. For a compact one dimensional geodesic space X, we define a subspace Conv(X). When X is…