相关论文: Segre's theorem on ovals in Desarguesian projectiv…
Segre-Veronese manifolds are smooth submanifolds of tensors comprising the partially symmetric rank-1 tensors. We investigate a one-parameter family of warped geometries of Segre-Veronese manifolds, which includes the standard Euclidean…
We build an elementary analytico-geometric theory of Segre chains and their jets.
This paper states and proves a generalization of the well-known Desargues involution theorem from plane projective geometry.
We prove a set-theoretic version of the Landsberg--Weyman Conjecture on the defining equations of the tangential variety of a Segre product of projective spaces. We introduce and study the concept of exclusive rank. For the proof of this…
Three propositions about Jordan matrices are proved and applied to algebraically classify the Ricci tensor in n-dimensional Kaluza-Klein-type spacetimes. We show that the possible Segre types are [1,1...1], [21...1], [31\ldots 1],…
This paper provides a new simple proof of Hesse's theorem in projective geometry for any dimension.
We describe the stratification by tensor rank of the points belonging to the tangent developable of any Segre variety. We give algorithms to compute the rank and a decomposition of a tensor belonging to the secant variety of lines of any…
It is well-known that Lagrange's four-square theorem, stating that every natural number may be written as the sum of four squares, may be proved using methods from the classical theory of modular forms and theta functions. We revisit this…
We provide an alternative unified approach for proving the Pythagorean theorem (in dimension $2$ and higher), the law of sines and the law of cosines, based on the concept of shape derivative. The idea behind the proofs is very simple: we…
Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such…
In this paper we prove two general results related to Marstrand's projection theorem in a quite general formulation over separable metric spaces under a suitable transversality hypothesis (the "projections" are in principle only measurable)…
We extend some classical theorems in the theory of orthogonal polynomials on the unit circle to the matrix case. In particular, we prove a matrix analogue of Szeg\H{o}'s theorem. As a by-product, we also obtain an elementary proof of the…
We study virtual invariants of Quot schemes parametrizing quotients of dimension at most 1 of the trivial sheaf of rank N on nonsingular projective surfaces. We conjecture that the generating series of virtual K-theoretic invariants are…
Inspired by a didactic experience in an academic environment, and following the idea given by M. Villa in \cite{Villa}, we illustrate two different proofs of an important result in Euclidean geometry studied in the first two years of…
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,…
In this note we consider a question related to the high-dimensional generalization of the classical Severi's finiteness theorem for curves. We will introduce some background and then state the main result. The proof of the main result is…
A formula for the radii and positions of four circles in the plane for an arbitrary linearly independent circle configuration is found. Among special cases is the recent extended Descartes Theorem on the Descartes configuration and an…
The study of the projective coordinate ring of the (geometric invariant theory) moduli space of n ordered points on P^1 up to automorphisms began with Kempe in 1894, who proved that the ring is generated in degree one in the main (n even,…
We define the Segre numbers of an ideal as a generalization of the multiplicity of an ideal of finite colength. We prove generalizations of various theorems involving the multiplicity of an ideal such as a principle of specialization of…
We construct families of circles in the plane such that their tangency graphs have arbitrarily large girth and chromatic number. This provides a strong negative answer to Ringel's circle problem (1959). The proof relies on a…