-
Fold-and-cut theorem: a vertical maths project around origami
Authors:
M. L. Spreafico,
E. Tramuns
Abstract:
Fold-and-cut theorem claims the possibility to cut out from a sheet a set of straight-line drawing using only one cut of scissors, without producing any other cut in the sheet and separating all the figures at the same time, just by folding flat the paper before the last cut. This fascinating and magic result, proved by E.Demaine and alii, allows a wide exploration of mathematical issues. We prese…
▽ More
Fold-and-cut theorem claims the possibility to cut out from a sheet a set of straight-line drawing using only one cut of scissors, without producing any other cut in the sheet and separating all the figures at the same time, just by folding flat the paper before the last cut. This fascinating and magic result, proved by E.Demaine and alii, allows a wide exploration of mathematical issues. We present in this paper several different approaches about the use of this result, as problem based learning, direct investigation, manipulative exploration and use of ICT, most of them based on learning by doing strategy. Most of the lessons we present have been tested on a group fo 170 students of primary and middle school and around 30 adults, who showed to be mostly satisfied with the experience.
△ Less
Submitted 18 April, 2020;
originally announced April 2020.
-
Torsion-free Sheaves and ACM Schemes
Authors:
S. Greco,
R. Notari,
M. L. Spreafico
Abstract:
In this paper we study short exact sequences $ 0 \to \mathcal P \to \mathcal N \to \ii_D(k) \to 0 $ with $ \mathcal P, \mathcal N $ torsion--free sheaves and $ D $ closed projective scheme. This is a classical way to construct and study projective schemes (e.g. see \cite{hart-1974}, \cite{hart-2}, \cite{mdp}, \cite{serre-1960}). In particular, we give homological conditions on $ \mathcal P $ and…
▽ More
In this paper we study short exact sequences $ 0 \to \mathcal P \to \mathcal N \to \ii_D(k) \to 0 $ with $ \mathcal P, \mathcal N $ torsion--free sheaves and $ D $ closed projective scheme. This is a classical way to construct and study projective schemes (e.g. see \cite{hart-1974}, \cite{hart-2}, \cite{mdp}, \cite{serre-1960}). In particular, we give homological conditions on $ \mathcal P $ and $ \mathcal N $ that force $ D $ to be ACM, without constrains on its codimension. As last result, we prove that if $ \mathcal N $ is a higher syzygy sheaf of an ACM scheme $ X,$ the scheme $ D $ we get contains $ X.$
△ Less
Submitted 16 February, 2012;
originally announced February 2012.
-
Doubling rational normal curves
Authors:
Roberto Notari,
Ignacio Ojeda,
Maria Luisa Spreafico
Abstract:
In this paper, we study double structures supported on rational normal curves. After recalling the general construction of double structures supported on a smooth curve described in \cite{fer}, we specialize it to double structures on rational normal curves. To every double structure we associate a triple of integers $ (2r,g,n) $ where $ r $ is the degree of the support, $ n \geq r $ is the dime…
▽ More
In this paper, we study double structures supported on rational normal curves. After recalling the general construction of double structures supported on a smooth curve described in \cite{fer}, we specialize it to double structures on rational normal curves. To every double structure we associate a triple of integers $ (2r,g,n) $ where $ r $ is the degree of the support, $ n \geq r $ is the dimension of the projective space containing the double curve, and $ g $ is the arithmetic genus of the double curve. We compute also some numerical invariants of the constructed curves, and we show that the family of double structures with a given triple $ (2r,g,n) $ is irreducible. Furthermore, we prove that the general double curve in the families associated to $ (2r,r+1,r) $ and $ (2r,1,2r-1) $ is arithmetically Gorenstein. Finally, we prove that the closure of the locus containing double conics of genus $ g \leq -2 $ form an irreducible component of the corresponding Hilbert scheme, and that the general double conic is a smooth point of that component. Moreover, we prove that the general double conic in $ \mathbb{P}^3 $ of arbitrary genus is a smooth point of the corresponding Hilbert scheme.
△ Less
Submitted 17 December, 2008; v1 submitted 15 December, 2008;
originally announced December 2008.
-
The Hilbert scheme of degree two curves and certain ropes
Authors:
Uwe Nagel,
Roberto Notari,
Maria Luisa Spreafico
Abstract:
We study families of ropes of any codimension that are supported on lines. In particular, this includes all non-reduced curves of degree two. We construct suitable smooth parameter spaces and conclude that all ropes of fixed degree and genus lie in the same component of the corresponding Hilbert scheme. We show that this component is generically smooth if the genus is small enough unless the cha…
▽ More
We study families of ropes of any codimension that are supported on lines. In particular, this includes all non-reduced curves of degree two. We construct suitable smooth parameter spaces and conclude that all ropes of fixed degree and genus lie in the same component of the corresponding Hilbert scheme. We show that this component is generically smooth if the genus is small enough unless the characteristic of the ground field is two and the curves under consideration have degree two. In this case the component is non-reduced.
△ Less
Submitted 28 November, 2003;
originally announced November 2003.
