CyberSec Research

Weil's theorem gives the most standard bound on the number of points of a curve over a finite field. This bound was improved by Ihara and Oesterl\'e for larger genus. Recently, Hallouin and Perret gave a new point of view on these bounds, that can be obtained by solving a sequence of semi-definite programs, and the two first steps of this hierarchy recover Weil's and Ihara's bounds. On the other hand, by taking into account arithmetic constraints, Serre obtained a refinement on Weil's bound. In this article, we combine these two approaches and propose a strengthening of Ihara's bound, based on an argument similar to Serre's refinement. We show that this generically improves upon Ihara's bound, even in the range where it was the best bound so far. Finally we discuss possible extensions to higher order Weil-Oesterl\'e bounds.

This paper develops the sketching (i.e., randomized dimension reduction) theory for real algebraic varieties and images of polynomial maps, including, e.g., the set of low rank tensors and tensor networks. Through the lens of norming sets, we provide a framework for controlling the sketching dimension for \textit{any} sketch operator used to embed said sets, including sub-Gaussian, fast Johnson-Lindenstrauss, and tensor structured sketch operators. Leveraging norming set theory, we propose a new sketching method called the median sketch. It embeds such a set $V$ using only $\widetilde{\mathcal{O}}(\dim V)$ tensor structured or sparse linear measurements.

The cotangent bundle $T^*X$ of a smooth intersection $X$ of two quadrics admits a Lagrangian fibration determined by the intrinsic geometry of $X$. We show that this fibration is actually the Hitchin morphism if we endow $X$ with a structure of moduli space of twisted Spin-bundles. This generalises the classical result for threefolds, in which case it recovers the Hitchin fibration for the moduli space of rank two bundles with fixed determinant of odd degree on a curve of genus two.

In this paper, we revisit the classical problem of determining osculating conics and sextactic points for a given algebraic curve. Our focus is on a particular family of plane cubic curves known as the Hesse pencil. By employing classical tools from projective differential geometry, we derive explicit coordinates for these special points. The resulting formulas not only clarify previous approaches but also lead to the construction of new families of free and nearly free curves, extending recent findings the freeness of curves.

We introduce beyond-worst-case analysis into symbolic computation. This is an extensive field which almost entirely relies on worst-case bit complexity, and we start from a basic problem in the field: isolating the real roots of univariate polynomials. This is a fundamental problem in symbolic computation and it is arguably one of the most basic problems in computational mathematics. The problem has a long history decorated with numerous ingenious algorithms and furnishes an active area of research. However, most available results in literature either focus on worst-case analysis in the bit complexity model or simply provide experimental benchmarking without any theoretical justifications of the observed results. We aim to address the discrepancy between practical performance of root isolation algorithms and prescriptions of worst-case complexity theory: We develop a smoothed analysis framework for polynomials with integer coefficients to bridge this gap. We demonstrate (quasi-)linear (expected and smoothed) complexity bounds for Descartes algorithm, that is one most well know symbolic algorithms for isolating the real roots of univariate polynomials with integer coefficients. Our results explain the surprising efficiency of Descartes solver in comparison to sophisticated algorithms that have superior worst-case complexity. We also analyse the Sturm solver, ANewDsc a symbolic-numeric algorithm that combines Descartes with Newton operator, and a symbolic algorithm for sparse polynomials.

We study various constraints on the Beauville quadratic form and the Huybrechts-Riemann-Roch polynomial for hyper-K\"ahler manifolds, mostly in dimension 6 and in the presence of an isotropic class. In an appendix, Chen Jiang proves that in general, the Huybrechts-Riemann-Roch polynomial can always be written as a linear combination with nonnegative coefficients of certain explicit polynomials with positive coefficients. This implies that the Huybrechts-Riemann-Roch polynomial satisfies a curious symmetry property

Given a hypersurface $i \colon X \hookrightarrow \widetilde{P}^n$ in a weighted projective space, we compute the intersection form on the second cohomology $H^2(X, \mathbb{Z})^{\otimes n-1} \to \mathbb{Z}$ for the purpose of identifying Fano manifolds obtained from smoothing singular Fanos. In the process, we describe the integer cohomology groups $H^k(X, \mathbb{Z})$ for $k<n$ and give an explicit formula for the pullback map $i^*$.

It is shown that if a finite generically smooth morphism $f\,:\,Y\,\longrightarrow\, X$ of smooth projective varieties induces an isomorphism of the \'etale fundamental groups, then the induced map of the stratified fundamental groups $\pi_1^{str}(f)\, :\, \pi_1^{str}(Y,\, y)\,\longrightarrow\, \pi_1^{str}(X,\, f(y))$ is also an isomorphism.

In the present article, we investigate the topology of real toric varieties, especially those whose torus is not split over the field of real numbers. We describe some canonical fibrations associated to their real loci. Then, we establish various properties of their cohomology provided that their real loci are compact and smooth. For instance, we compute their Betti numbers, show that their cohomology is totally algebraic, and extend a criterion of orientability. In addition, we provide the topological classification of equivariant embeddings of non-split tridimensional tori.

This article describes an example of a real projective K3 surface admitting a real automorphism $f$ satisfying $h_{top}(f, X(\mathbb{C})) < 2 h_{top}(f, X(\mathbb{R}))$. The example presented is a $(2,2,2)$-surface in $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ given by the vanishing set of $(1 + x^2)(1 + y^2)(1 + z^2) + 10xyz - 2$, first considered by McMullen. Along the way, we develop an ad hoc shadowing lemma for $C^2$ (real) surface diffeomorphisms, and apply it to estimate the location of a periodic point in $X(\mathbb{R})$. This result uses the GNU MPFR arbitrary precision arithmetic library in C and the Flipper computer program.

Given a proper toric variety and a line bundle on it, we describe the morphism on singular cohomology given by the cup product with the Chern class of that line bundle in terms of the data of the associated fan. Using that, we relate the local cohomological dimension of an affine toric variety with the Lefschetz morphism on the singular cohomology of a projective toric variety of one dimension lower. As a corollary, we show that the local cohomological defect is not a combinatorial invariant. We also produce numerous examples of toric varieties in every dimension with any possible local cohomological defect, by showing that the local cohomological defect remains unchanged under taking a pyramid.

We give a geometric description of the positivity of the Frobenius-trace kernel on a $\mathbb{Q}$-factorial projective toric variety. To do so, we define its Frobenius support as well as the notions of $F$-effectiveness for divisors and $1$-cycles. As it turns out, the interaction of the corresponding cone of $F$-effective curves with the Mori cone of curves reflects the type of extremal Mori contractions that the variety can undergo. As a corollary, we obtain that the Frobenius-trace kernel is ample if and only if the Picard rank is $1$.

We approximately compute the correspondence degree (as defined by Lazarsfeld and Martin) between two unbalanced complete intersections. This is accomplished by showing that the procedure of taking a subvariety of a product $Y \times Y'$ and intersecting it with $X \times Y'$ (for $X$ a sufficiently ample smooth divisor in $Y$) induces a bijection between two sets of varieties. This may be of independent interest.

The aim of this note is to provide a concise introduction to so-called problems of unlikely intersections for (pure) Shimura varieties and to review the current state-of-the-art. In the process, we will touch upon more general settings and some of the results in those contexts.

Given an \'etale double covering $\pi\, :\, \widetilde{C}\, \longrightarrow\, C$ of compact Riemannsurfaces with $C$ of genus at least two, we use the Prym variety of the cover to construct canonical projective structures on both $\widetilde C$ and $C$. This construction can be interpreted as a section of an affine bundle over the moduli space of \'etale double covers. The $\overline{\partial}$--derivative of this section is a (1,1)--form on the moduli space. We compute this derivative in terms of Thetanullwert maps. Using the Schottky--Jung identities we show that, in general, the projective structure on $C$ depends on the cover.

We generalize Block-G\"ottsche polynomials, originally defined for toric del Pezzo surfaces, to arbitrary surfaces. To do this, we show that these polynomials arise as special cases of BPS polynomials, defined for any surface $S$ as Laurent polynomials in a formal variable $q$ encoding the BPS invariants of the $3$-fold $S \times \mathbb{P}^1$. We conjecture that for surfaces $S_n$ obtained by blowing up $\mathbb{P}^2$ at $n$ general points, the evaluation of BPS polynomials at $q=-1$ yields Welschinger invariants, given by signed counts of real rational curves. We prove this conjecture for all surfaces $S_n$ with $n \leq 6$.

For a subfield $\K$ of the field $\C$ of complex numbers, we consider curve and divisorial valuations on the algebra $\K[[x,y]]$ of formal power series in two variables with the coeficients in $\K$. We compute the semigroup Poincar\'e series and the classical Poincar\'e series of a valuation.

We construct explicit Eichler-Shimura morphisms for families of overconvergent Siegel modular forms of genus two. These can be viewed as $p$-adic interpolations of the Eichler-Shimura decomposition of Faltings-Chai for classical Siegel modular forms. In particular, we are able to $p$-adically interpolate the entire decomposition, extending our previous work on the $H^0$-part. The key new inputs are the higher Coleman theory of Boxer-Pilloni and a theory of pro-Kummer \'etale cohomology with supports.