Related papers: Objectivity and Rigor in Classical Italian Algebra…
Classical Castelnuovo's Lemma shows that the number of linearly independent quadratic equations of a nondegenerate irreducible projective variety of codimension $c$ is at most ${{c+1} \choose {2}}$ and the equality is attained if and only…
Motivated by recent work of Florian Pop, we study the connections between three notions of equivalence of function fields: isomorphism, elementary equivalence, and the condition that each of a pair of fields can be embedded in the other,…
Enumerative Geometry is concerned with the number of solutions to a structured system of polynomial equations, when the structure comes from geometry. Enumerative real algebraic geometry studies real solutions to such systems, particularly…
We survey both old and new developments in the theory of algorithms in real algebraic geometry -- starting from effective quantifier elimination in the first order theory of reals due to Tarski and Seidenberg, to more recent algorithms for…
In this short note we develop new methods toward the ultimate goal of classifying geproci sets in $\mathbb P^3$. We apply these methods to show that among sets of $16$ points distributed evenly on $4$ skew lines, up to projective…
This is a survey describing recents developments in enumerative geometry of curves on projective varieties. Various methods to arrive at results such as Kontsevich's formula for plane rational curves, or Caporaso-Harris's formula for plane…
We introduce the notion of domain of finite type $\mathscr{D}\subset\mathbb{R}^n$ generalizing an earlier work of Bodin, Popescu-Pampu and Sorea. Then, we prove that every finite graph admitting a good orientation whose vertices have degree…
Francesco Severi showed that equisingular families of plane nodal curves are T-smooth, i.e. smooth of the expected dimension, whenever they are non-empty. For families with more complicated singularities this is no longer true. Given a…
In this paper we investigate the evolution of the concept of area in Peano's works, taking into account the main role played by Grassmann's geometric-vector calculus and Peano's theory on derivative of measures. Geometric (1887) and…
While Italian is a high-resource language, there are few Italian-native benchmarks to evaluate generative Large Language Models (LLMs) in this language. This work presents three new benchmarks: Invalsi MATE to evaluate models performance on…
Among geometrically rational surfaces, del Pezzo surfaces of degree two over a field k containing at least one point are arguably the simplest that are not known to be unirational over k. Looking for k-rational curves on these surfaces, we…
A pedagogical but concise overview of Riemannian geometry is provided, in the context of usage in physics. The emphasis is on defining and visualizing concepts and relationships between them, as well as listing common confusions,…
We study parameter spaces of linear series on projective curves in the presence of unibranch singularities, i.e. {\it cusps}; and to do so, we stratify cusps according to value semigroup. We show that {\it generalized Severi varieties} of…
The Severi degree is the degree of the Severi variety parametrizing plane curves of degree d with delta nodes. Recently, G\"ottsche and Shende gave two refinements of Severi degrees, polynomials in a variable y, which are conjecturally…
In this thesis, written in Italian, some original results are presented: two new optical invariants, similar to that of Lagrange, the generalization of the third order Luneburg's aberrations formulae and the detailed proof of the way they…
We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its unfortunate effect on US high school education. We review a…
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii.)…
The purpose of this paper is to propose the implementation of some methods from algebraic geometry in the theory of gravitation, and more especially in the variational formalism. It has been assumed that the metric tensor depends on two…
Sweeping is a powerful and versatile method of designing objects. Boundary of volumes (henceforth envelope) obtained by sweeping solids have been extensively investigated in the past, though, obtaining an accurate parametrization of the…
We give necessary and sufficient criteria for a smooth Enriques surface S in P^r to be scheme-theoretically an intersection of quadrics. Moreover we prove in many cases that, when S contains plane cubic curves, the intersection of the…