Related papers: Proof of a Conjecture of Segre and Bartocci on Mon…

Let $E$ be a vector bundle over a smooth curve $C$, and $S = \mathbb{P} E$ the associated projective bundle. We describe the inflectional loci of certain projective models $\psi \colon S \dashrightarrow \mathbb{P}^n$ in terms of Quot…

It is known that for a curve defined over $\mathbb{Q}$ of genus $g \leq 4$, there exists a point on the curve defined over a solvable extension of $\mathbb{Q}$. We relate points on curves of genus $g \geq 5$ over solvable extensions to the…

We show the existence of toric resolution tower for an irreducible curve singularity which is explicitly described by Tschirnhausen polynomials. We deduce for a smooth affine plane curve from its topology restrictions for its singularity at…

Let $C_k$ be a smooth projective curve over a global field $k$, which is neither rational nor elliptic. Harris-Silverman, when $p=0$, and Schweizer, when $p>0$ together with an extra condition on the Jacobian variety…

We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. The mixed characteristic case of the conjecture is widely open. We consider the…

In this paper we prove the equivalence of two conjectures on linear systems through fat points on a generic K3 surface. The first conjecture is exactly as Segre conjecture on the projective plane. Whereas the second characterizes such…

The study of finite projective planes involves planar functions, namely, functions f : F_q --> F_q such that, for each nonzero a in F_q, the function c --> f(c+a) - f(c) is a bijection on F_q. Planar functions are also used in the…

The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which…

Consider a smooth, geometrically irreducible, projective curve of genus $g \ge 2$ defined over a number field of degree $d \ge 1$. It has at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show that…

We survey some recent progress on generalizations of conjectures of Serre concerning the cohomology of arithmetic groups, focusing primarily on the "weight" aspect. This is intimately related to (generalizations of) a conjecture of Breuil…

Let q be a power of a prime integer p, and let X be a Hermitian variety of degree q+1 in the n-dimensional projective space. We count the number of rational normal curves that are tangent to X at distinct q+1 points with intersection…

Let $K$ be a number field and $O_K$ the ring of integers of $K$. In the spirit of Siegel's theorem on integral points on affine algebraic curves, the plane Jacobian conjecture over $K$ is equivalent to the following statement: if $P,Q\in…

It is known for a long time that a nonsingular real algebraic curve of degree 2k in the projective plane cannot have more than 7/2*k^2-9/4*k+3/2$ even ovals. We show here that this upper bound is asymptotically sharp, that is to say we…

We prove an identity of Segre classes for zero-schemes of compatible sections of two vector bundles. Applications include bounds on the number of equations needed to cut out a scheme with the same Segre class as a given subscheme of (for…

We initiate the study of a class of real plane algebraic curves which we call expressive. These are the curves whose defining polynomial has the smallest number of critical points allowed by the topology of the set of real points of a…

As another application of the degeneration methods of [V3], we count the number of irreducible degree $d$ geometric genus $g$ plane curves, with fixed multiple points on a conic $E$, not containing $E$, through an appropriate number of…

Let $K$ be a field, $a, b\in K$ and $ab\neq 0$. Let us consider the polynomials $g_{1}(x)=x^n+ax+b, g_{2}(x)=x^n+ax^2+bx$, where $n$ is a fixed positive integer. In this paper we show that for each $k\geq 2$ the hypersurface given by the…

In this paper we examine different problems regarding complete intersection varieties of high degree in a complex projective space. First we show how one can deduce hyperbolicity for generic complete intersection of high multidegree and…

We describe a computational proof that the fifth secant variety of the Segre product of five copies of the projective line is a codimension 2 complete intersection of equations of degree 6 and 16. Our computations rely on pseudo-randomness,…