相关论文: Segre's theorem on ovals in Desarguesian projectiv…
In the town of Saratov where he was prisonner, Poncelet, continuing the work of Euler and Steiner on polygons simultaneously inscribed in a circle and circumscribed around an other circle, proved the following generalization : "Let C and D…
We show the analogue of the Serre-Swan theorem in a context of supergeometry. This theorem gives an equivalence of the category of locally free supersheaves of bounded rank over locally ringed superspace with the category of finitely…
This article provides a new perspective on the geometry of a projective line, which helps clarify and illuminate some classical results about projective plane. As part of the same train of ideas, the article also provides a proof of the…
We study the sheaves of logarithmic vector fields along smooth cubic curves in the projective plane, and prove a Torelli-type theorem in the sense of Dolgachev-Kapranov for those with non-vanishing j-invariants.
A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…
We note that the recent polynomial proofs of the spherical and complex plank covering problems by Zhao and Ortega-Moreno give some general information on zeros of real and complex polynomials restricted to the unit sphere. As a corollary of…
An orthogonal bundle over a curve has an isotropic Segre invariant determined by the maximal degree of a Lagrangian subbundle. This invariant, and the induced stratifications on moduli spaces of orthogonal bundles, were studied for bundles…
We classify the orbits of elements of the tensor product spaces ${\mathbb{F}}^2\otimes {\mathbb{F}}^3 \otimes {\mathbb{F}}^3$ for all finite; real; and algebraically closed fields under the action of two natural groups. The result can also…
We prove descent theorems for semiorthogonal decompositions using techniques from derived algebraic geometry. Our methods allow us to capture more general filtrations of derived categories and even marked filtrations, where one descends not…
We show that every smooth closed curve C immersed in Euclidean 3-space satisfies the sharp inequality 2(P+I)+V >5 which relates the numbers P of pairs of parallel tangent lines, I of inflections (or points of vanishing curvature), and V of…
How was this proof overlooked for 181 years? We give a simple proof of Descartes's circle theorem using Cayley-Menger determinants.
The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the…
Let W -> X be a real smooth projective 3-fold fibred by rational curves. J. Koll\'ar proved that, if W(R) is orientable, then a connected component N of W(R) is essentially either a Seifert fibred manifold or a connected sum of lens spaces.…
Here we present a partial generalization to higher order osculating spaces of the classical Lemma of Terracini on ordinary tangent spaces. As an application, we investigate the secant varieties to the osculating varieties to the Veronese…
Corrado Segre played a leading role in the foundation of line geometry. We survey some recent results on degeneracy loci of morphisms of vector bundles where he still is of profound inspiration.
We consider polynomials expressing the cohomology classes of subvarieties of products of projective spaces, and limits of positive real multiples of such polynomials. We study the relation between these covolume polynomials and Lorentzian…
The contour argument was introduced by Peierls for two dimensional Ising model. Peierls benefited from the particular symmetries of the Ising model. For non-symmetric models the argument was developed by Pirogov and Sinai. It is very…
A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and…
We determine all distant-isomorphisms between projective lines over semilocal rings. In particular, for those semisimple rings that do not have a simple component which is isomorphic to a field, every distant isomorphism arises from a…
The Nagata Conjecture is one of the most intriguing open problems in the area of curves in the plane. It is easily stated. Namely, it predicts that the smallest degree d of a plane curve passing through r $\ge$ 10 general points in the…