-
Quartic monoid surfaces with maximum number of lines
Authors:
Mauro Carlo Beltrametti,
Alessandro Logar,
Maria Laura Torrente
Abstract:
In 1884 the German mathematician Karl Rohn published a substantial paper on \cite{ROH} on the properties of quartic surfaces with triple points, proving (among many other things) that the maximum number of lines contained in a quartic monoid surface is $31$. In this paper we study in details this class of surfaces. We prove that there exists an open subset $A \subseteq \mathbb{P}^1_K$ ($K$ is a ch…
▽ More
In 1884 the German mathematician Karl Rohn published a substantial paper on \cite{ROH} on the properties of quartic surfaces with triple points, proving (among many other things) that the maximum number of lines contained in a quartic monoid surface is $31$. In this paper we study in details this class of surfaces. We prove that there exists an open subset $A \subseteq \mathbb{P}^1_K$ ($K$ is a characteristic zero field) that parametrizes (up to a projectivity) all the quartic monoid surfaces with $31$ lines; then we study the action of $\mathrm{PGL}(4,K)$ on these surfaces, we show that the stabiliser of each of them is a group isomorphic to $S_3$ except for one surface of the family, whose stabiliser is a group isomorphic to $S_3 \times C_3$. Finally we show that the $j$-invariant allows one to decide, also in this situation, when two elements of $A$ give the same surface up to a projectivity. To get our results, several computational tools, available in computer algebra systems, are used.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Corrigendum for "Almost vanishing polynomials and an application to the Hough transform"
Authors:
Maria-Laura Torrente,
Mauro C. Beltrametti
Abstract:
In this note we correct a technical error occurred in [M. Torrente and M.C. Beltrametti, "Almost vanishing polynomials and an application to the Hough transform", J. Algebra Appl. 13(8), (2014)]. This affects the bounds given in that paper, even though the structure and the logic of all proofs remain fully unchanged.
In this note we correct a technical error occurred in [M. Torrente and M.C. Beltrametti, "Almost vanishing polynomials and an application to the Hough transform", J. Algebra Appl. 13(8), (2014)]. This affects the bounds given in that paper, even though the structure and the logic of all proofs remain fully unchanged.
△ Less
Submitted 29 April, 2017;
originally announced May 2017.
-
The Radon transform and the Hough transform: a unifying perspective
Authors:
Riccardo Aramini,
Fabrice Delbary,
Mauro C. Beltrametti,
Michele Piana,
Anna Maria Massone
Abstract:
The Radon transform is a linear integral transform that mimics the data formation process in medical imaging modalities like X-ray Computerized Tomography and Positron Emission Tomography. The Hough transform is a pattern recognition technique, which is mainly used to detect straight lines in digital images and which has been recently extended to the automatic recognition of algebraic plane curves…
▽ More
The Radon transform is a linear integral transform that mimics the data formation process in medical imaging modalities like X-ray Computerized Tomography and Positron Emission Tomography. The Hough transform is a pattern recognition technique, which is mainly used to detect straight lines in digital images and which has been recently extended to the automatic recognition of algebraic plane curves. Although defined in very different ways, in numerical applications both transforms ultimately take an image as an input and provide, as an output, a function defined on a parameter space. The parameters in this space describe a family of curves, which represent either the integration domains considered in the (generalized) Radon transform, or the curves to be detected by means of the Hough transform. In both cases, the 2D plot of the intensity values of the output function is the so-called (Radon or Hough) sinogram. While the Hough sinogram is produced by an algorithm whose implementation requires that the parameter space be discretized in cells, the Radon sinogram is mathematically defined on a continuous parameter space, which in turn may need to be discretized just for physical or numerical reasons. In this paper, by considering a more general and n-dimensional setting, we prove that, whether the input image is described as a set of points (possibly with different intensity values) or as a piecewise constant function, its (rescaled) Hough sinogram converges to the corresponding Radon sinogram as the discretization step in the parameter space tends to zero. We also show that this result may have a notable impact on the image reconstruction problem of inverting the Radon sinogram recorded by a medical imaging scanner, and that the description of the Hough transform problem within the framework of regularization theory for inverse problems is worth investigating.
△ Less
Submitted 30 May, 2016;
originally announced May 2016.
-
Fano varieties with small non-klt locus
Authors:
Mauro C. Beltrametti,
Andreas Höring,
Carla Novelli
Abstract:
Let X be a Fano variety of index k such that the non-klt locus Nklt(X) is not empty. We prove that Nklt(X) has dimension at least k-1 and equality holds if and only if Nklt(X) is a linear projective space P^{k-1}. In this case X has lc singularities and is a generalised cone with Nklt(X) as vertex. If X has lc singularities and Nklt(X) has dimension k we describe the non-klt locus and the global g…
▽ More
Let X be a Fano variety of index k such that the non-klt locus Nklt(X) is not empty. We prove that Nklt(X) has dimension at least k-1 and equality holds if and only if Nklt(X) is a linear projective space P^{k-1}. In this case X has lc singularities and is a generalised cone with Nklt(X) as vertex. If X has lc singularities and Nklt(X) has dimension k we describe the non-klt locus and the global geometry of X. Moreover, we construct examples to show that all the classification results are effective.
△ Less
Submitted 23 October, 2017; v1 submitted 20 September, 2013;
originally announced September 2013.
-
An Algebraic Approach to Hough Transforms
Authors:
Mauro C. Beltrametti,
Lorenzo Robbiano
Abstract:
The main purpose of this paper is to lay the foundations of a general theory which encompasses the features of the classical Hough transform and extend them to general algebraic objects such as affine schemes. The main motivation comes from problems of detection of special shapes in medical and astronomical images. The classical Hough transform has been used mainly to detect simple curves such as…
▽ More
The main purpose of this paper is to lay the foundations of a general theory which encompasses the features of the classical Hough transform and extend them to general algebraic objects such as affine schemes. The main motivation comes from problems of detection of special shapes in medical and astronomical images. The classical Hough transform has been used mainly to detect simple curves such as lines and circles. We generalize this notion using reduced Groebner bases of flat families of affine schemes. To this end we introduce and develop the theory of Hough regularity. The theory is highly effective and we give some examples computed with CoCoA.
△ Less
Submitted 8 February, 2012;
originally announced February 2012.
-
Seshadri positive submanifolds of polarized manifolds
Authors:
Lucian Badescu,
Mauro C. Beltrametti
Abstract:
Let $Y$ be a submanifold of dimension $y$ of a polarized complex manifold $(X,A)$ of dimension $k\geq 3$, with $1\leq y\leq k-1$. We define and study two positivity conditions on $Y$ in $(X,A)$, called Seshadri $A$-bigness and (a stronger one) Seshadri $A$-ampleness. In this way we get the natural generalization of the theory initiated by Paoletti in \cite{Pao} (which corresponds to the case…
▽ More
Let $Y$ be a submanifold of dimension $y$ of a polarized complex manifold $(X,A)$ of dimension $k\geq 3$, with $1\leq y\leq k-1$. We define and study two positivity conditions on $Y$ in $(X,A)$, called Seshadri $A$-bigness and (a stronger one) Seshadri $A$-ampleness. In this way we get the natural generalization of the theory initiated by Paoletti in \cite{Pao} (which corresponds to the case $(k,y)=(3,1)$) and subsequently generalized and completed in
\cite{BBF} (regarding curves in a polarized manifold of arbitrary dimension). The theory presented here, which is new even if $y=k-1$, is motivated by a reasonably large area of examples.
△ Less
Submitted 22 September, 2011;
originally announced September 2011.
-
Geometry of rays-positive manifolds
Authors:
Mauro C. Beltrametti,
Andreas Leopold Knutsen,
Antonio Lanteri,
Carla Novelli
Abstract:
Let M be a smooth complex projective variety and let L be a line bundle on it. Rays-positive manifolds, namely pairs (M,L) such that L is numerically effective and L\cdotR > 0 for all extremal rays R on M, are studied. Several illustrative examples and some applications are provided. In particular, projective varieties with crepant singularities and of small degree with respect to the codimension…
▽ More
Let M be a smooth complex projective variety and let L be a line bundle on it. Rays-positive manifolds, namely pairs (M,L) such that L is numerically effective and L\cdotR > 0 for all extremal rays R on M, are studied. Several illustrative examples and some applications are provided. In particular, projective varieties with crepant singularities and of small degree with respect to the codimension are classified, and the non-negativity of the sectional genus g(M,L) is proven, describing as well the pairs with g(M,L) = 0,1.
△ Less
Submitted 3 August, 2011;
originally announced August 2011.
-
A view on extending morphisms from ample divisors
Authors:
Mauro C. Beltrametti,
Paltin Ionescu
Abstract:
The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the typically used techniques. We shall survey most of the problems, results and conjectures in this area, using the modern setting of ample divisors, and (some aspects…
▽ More
The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the typically used techniques. We shall survey most of the problems, results and conjectures in this area, using the modern setting of ample divisors, and (some aspects of) Mori theory.
△ Less
Submitted 14 July, 2009;
originally announced July 2009.
-
Ample subvarieties and rationally connected fibrations
Authors:
Mauro C. Beltrametti,
Tommaso de Fernex,
Antonio Lanteri
Abstract:
Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering family on a submanifold Y with ample normal bundle in X, the main results relate, under suitable conditions, the associated rational connected fiber structures on…
▽ More
Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering family on a submanifold Y with ample normal bundle in X, the main results relate, under suitable conditions, the associated rational connected fiber structures on X and on Y. Applications of these results include an extension theorem for Mori contractions of fiber type and a classification theorem in the case Y has a structure of projective bundle or quadric fibration.
△ Less
Submitted 5 March, 2008; v1 submitted 4 April, 2007;
originally announced April 2007.
-
Projective manifolds containing special curves
Authors:
Lucian Badescu,
Mauro C. Beltrametti
Abstract:
Let $Y$ be a smooth curve embedded in a complex projective manifold $X$ of dimension $n\geq 2$ with ample normal bundle $N_{Y|X}$. For every $p\geq 0$ let $α_p$ denote the natural restriction maps $\Pic(X)\to\Pic(Y(p))$, where $Y(p)$ is the $p$-th infinitesimal neighbourhood of $Y$ in $X$. First one proves that for every $p\geq 1$ there is an isomorphism of abelian groups…
▽ More
Let $Y$ be a smooth curve embedded in a complex projective manifold $X$ of dimension $n\geq 2$ with ample normal bundle $N_{Y|X}$. For every $p\geq 0$ let $α_p$ denote the natural restriction maps $\Pic(X)\to\Pic(Y(p))$, where $Y(p)$ is the $p$-th infinitesimal neighbourhood of $Y$ in $X$. First one proves that for every $p\geq 1$ there is an isomorphism of abelian groups $\Coker(\gra_p)\cong\Coker(\gra_0)\oplus K_p(Y,X)$, where $K_p(Y,X)$ is a quotient of the $\mathbb C$-vector space $L_p(Y,X):=\bigoplus\limits_{i=1}^p H^1(Y, {\bf S}^i(N_{Y|X})^*)$ by a free subgroup of $L_p(Y,X)$ of rank strictly less than the Picard number of $X$. Then one shows that $L_1(Y,X)=0$ if and only if $Y\cong\mathbb P^1$ and $N_{Y|X}\cong\mathcal O_{\mathbb P^1}(1)^{\oplus n-1}$. The special curves in question are by definition those for which $\dim_{\mathbb C}L_1(Y,X)=1$. This equality is closely related with a beautiful classical result of B. Segre. It turns out that $Y$ is special if and only if either $Y\cong\mathbb P^1$ and $N_{Y|X}\cong\sO_{\pn 1}(2)\oplus\sO_{\pn 1}(1)^{\oplus n-2}$, or $Y$ is elliptic and $°(N_{Y|X})=1$. After proving some general results on manifolds of dimension $n\geq 2$ carrying special rational curves (e.g. they form a subclass of the class of rationally connected manifolds which is stable under small projective deformations), a complete birational classification of pairs $(X,Y)$ with $X$ surface and $Y$ special is given. Finally, one gives several examples of special rational curves in dimension $n\geq 3$.
△ Less
Submitted 6 February, 2007;
originally announced February 2007.
-
Projections from Subvarieties
Authors:
Mauro C. Beltrametti,
Alan Howard,
Michael Schneider,
Andrew J. Sommese
Abstract:
Let $X\subset P^N$ be an n-dimensional connected projective submanifold of projective space. Let $p : P^N\to P^{N-q-1}$ denote the projection from a linear $P^q\subset P^N$. Assuming that $X\not\subset P^q$ we have the induced rational mapping $ψ:=p_X: X\to P^{N-q-1}$. This article started as an attempt to understand the structure of this mapping when $ψ$ has a lower dimensional image. In this c…
▽ More
Let $X\subset P^N$ be an n-dimensional connected projective submanifold of projective space. Let $p : P^N\to P^{N-q-1}$ denote the projection from a linear $P^q\subset P^N$. Assuming that $X\not\subset P^q$ we have the induced rational mapping $ψ:=p_X: X\to P^{N-q-1}$. This article started as an attempt to understand the structure of this mapping when $ψ$ has a lower dimensional image. In this case of necessity we have $Y := X\cap P^q$ is nonempty. We have in this article studied a closely related question, which includes many special cases including the case when the center of the projection $\pn q$ is contained in $X$.
PROBLEM. Let $Y$ be a proper connected k-dimensional projective submanifold of an $n$-dimensional projective manifold $X$. Assume that $k>0$. Let $L$ be a very ample line bundle on $X$ such that $ L\otimes I_Y$ is spanned by global sections, where $I_Y$ denotes the ideal sheaf of $Y$ in $X$. Describe the structure of $(X,Y,L)$ under the additional assumption that the image of $X$ under the mapping $ψ$ associated to $| L\otimes I_Y|$ is lower dimensional.
△ Less
Submitted 8 April, 1998;
originally announced April 1998.
-
On higher order embeddings of Fano threefolds by the anticanonical linear system
Authors:
M. C. Beltrametti,
S. Di Rocco,
A. J. Sommese
Abstract:
The map given by the anticanonical bundle of a Fano manifold is investigated with respect to a number of natural notions of higher order embeddings of projective manifolds. This is of importance in the understanding of higher order embeddings of the special varieties of adjunction theory, which are usually fibered by special Fano manifolds. An analysis is carried out of the higher order embeddin…
▽ More
The map given by the anticanonical bundle of a Fano manifold is investigated with respect to a number of natural notions of higher order embeddings of projective manifolds. This is of importance in the understanding of higher order embeddings of the special varieties of adjunction theory, which are usually fibered by special Fano manifolds. An analysis is carried out of the higher order embeddings of the special varieties of adjunction theory that arise in the study of the first and second reductions. Special attention is given to determining the order of the anticanonical embeddings of the three dimensional Fano manifolds which have been classified by Iskovskih, Mori, and Mukai and also of the Fano complete intersections in $\pn N$.
△ Less
Submitted 5 November, 1997; v1 submitted 2 November, 1997;
originally announced November 1997.
