Showing 1–19 of 19 results for author: Spreafico, M

Hodge de Rham theory and analytic torsion for spaces with horn type singularities

Authors: Mauro Spreafico

Abstract: We study the global analytic properties of a space $X$ with a horn type singularity. In particular, we introduce some de Rham complex of square integrable forms and we describe its homology and the spectral properties of the associated Hodge Laplace operator. All this is applied to produce a suitable description of the analytic torsion of $X$ and to prove an extension of the Cheeger Müller theorem… ▽ More We study the global analytic properties of a space $X$ with a horn type singularity. In particular, we introduce some de Rham complex of square integrable forms and we describe its homology and the spectral properties of the associated Hodge Laplace operator. All this is applied to produce a suitable description of the analytic torsion of $X$ and to prove an extension of the Cheeger Müller theorem. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Localised analytic torsion and relative analytic torsion for non compact Lie groups of type I

Authors: A. Della Vedova, M. Spreafico

Abstract: Let $G$ be a (non compact) connected simply connected locally compact second countable Lie group, either abelian or unimodular of type I, and $ρ$ an irreducible unitary representation of $G$. Then, we define the analytic torsion of $G$ localised at the representation $ρ$. Next, let $Γ$ a discrete cocompact subgroup of $G$. We use the localised analytic torsion to define the relative analytic torsi… ▽ More Let $G$ be a (non compact) connected simply connected locally compact second countable Lie group, either abelian or unimodular of type I, and $ρ$ an irreducible unitary representation of $G$. Then, we define the analytic torsion of $G$ localised at the representation $ρ$. Next, let $Γ$ a discrete cocompact subgroup of $G$. We use the localised analytic torsion to define the relative analytic torsion of the pair $(G,Γ)$, and we prove that it coincides with the Lott $L^2$ analytic torsion of a covering space. We illustrate these constructions analysing in some details two examples: the abelian case, and the case $G=H$, the Heisenberg group. △ Less

Submitted 24 April, 2023; originally announced April 2023.

On the anomaly terms in Cheeger-Müller theorem on spaces with conical singularities

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We prove that the anomaly term appearing in the ratio between Reidemeister torsion and analytic torsion for a space with a conical singularity vanishes in the smooth case. Moreover, we show that such anomaly term is non trivial for the cone over a torus. We prove that the anomaly term appearing in the ratio between Reidemeister torsion and analytic torsion for a space with a conical singularity vanishes in the smooth case. Moreover, we show that such anomaly term is non trivial for the cone over a torus. △ Less

Submitted 14 September, 2022; originally announced September 2022.

MSC Class: 58J52; 11M36; 57Q10

Cellularization for exceptional spherical space forms and the flag manifold of $SL_3(\mathbb{R})$

Authors: Rocco Chirivi, Arthur Garnier, Mauro Spreafico

Abstract: We construct an explicit equivariant cellular decomposition of the $(4n-1)$-sphere with respect to binary polyhedral groups, and describe the associated cellular homology chain complex. As a corollary of the binary octahedral case, we deduce an $\mathfrak{S}_3$-equivariant decomposition of the flag manifold of $SL_3(\mathbb{R})$. We construct an explicit equivariant cellular decomposition of the $(4n-1)$-sphere with respect to binary polyhedral groups, and describe the associated cellular homology chain complex. As a corollary of the binary octahedral case, we deduce an $\mathfrak{S}_3$-equivariant decomposition of the flag manifold of $SL_3(\mathbb{R})$. △ Less

Submitted 30 April, 2021; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: submitted to Transformation Groups

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.

Comments: 7 pages, 8 figures

MSC Class: 97U60 ACM Class: A.0

Intersection torsion and analytic torsion of spaces with conical singularities

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We prove an extension of the Cheeger-Müller theorem to spaces with isolated conical singularities: the $L^2$-analytic torsion coincides with the Ray-Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinato… ▽ More We prove an extension of the Cheeger-Müller theorem to spaces with isolated conical singularities: the $L^2$-analytic torsion coincides with the Ray-Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinatorial cellular theory whose homology coincides with the intersection homology of Gregory and Macpherson, and where the Ray-Singer intersection torsion is well defined. On the other side, we elaborate the spectral theory for the Hodge-Laplace operator on the square integrable forms on a space with conical singularities {\it á la} Cheeger, and we extend the classical results of the Hodge theory and the analytic torsion. △ Less

Submitted 23 January, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: Some misprints corrected, in special, we add the Remark 10.33

MSC Class: 58J52; 57Q10

Space Forms and Group Resolutions: the tetrahedral family

Authors: Rocco Chirivi', Mauro Spreafico

Abstract: The orbit polytope for a finite group G acting linearly and freely on a sphere S is used to construct a cellularized fundamental domain for the action. A resolution of the integers over G results from the associated G-equivariant cellularization of S. This technique is applied to the generalized binary tetrahedral group family; the homology groups, the cohomology rings and the Reidemeister torsion… ▽ More The orbit polytope for a finite group G acting linearly and freely on a sphere S is used to construct a cellularized fundamental domain for the action. A resolution of the integers over G results from the associated G-equivariant cellularization of S. This technique is applied to the generalized binary tetrahedral group family; the homology groups, the cohomology rings and the Reidemeister torsions of the related spherical space forms are determined. △ Less

Submitted 7 October, 2017; v1 submitted 11 September, 2017; originally announced September 2017.

Comments: 37 pages, 5 figures. A proof of the minimal rank property for the resolution has been added

MSC Class: 20CXX; 52B15; 57N65; 57M07

The analytic torsion of the finite metric cone over a compact manifold

Authors: L. Hartmann, M. Spreafico

Abstract: We give an explicit formula for the $L^2$ analytic torsion of the finite metric cone over an oriented compact connected Riemannian manifold. We provide an interpretation of the different factors appearing in this formula. We prove that the analytic torsion of the cone is the finite part of the limit obtained collapsing one of the boundaries, of the ratio of the analytic torsion of the frustum to a… ▽ More We give an explicit formula for the $L^2$ analytic torsion of the finite metric cone over an oriented compact connected Riemannian manifold. We provide an interpretation of the different factors appearing in this formula. We prove that the analytic torsion of the cone is the finite part of the limit obtained collapsing one of the boundaries, of the ratio of the analytic torsion of the frustum to a regularising factor. We show that the regularising factor comes from the set of the non square integrable eigenfunctions of the Laplace Beltrami operator on the cone. △ Less

Submitted 12 July, 2015; v1 submitted 25 August, 2013; originally announced August 2013.

Comments: To appear in Journal of the Mathematical Society of Japan

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.

MSC Class: 14M05; 14F05

R torsion and analytic torsion for a conical frustum

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We investigate the limit the R torsion of a conical frustum as one of the basis is shrunk to a point. We show that, if we take suitable regularization, such a limit gives the intersection torsion of the resulting cone. We investigate the limit the R torsion of a conical frustum as one of the basis is shrunk to a point. We show that, if we take suitable regularization, such a limit gives the intersection torsion of the resulting cone. △ Less

Submitted 14 May, 2011; v1 submitted 14 March, 2011; originally announced March 2011.

MSC Class: 57Q10; 58J52

Journal ref: J. Gökova Geom. Topol. - ISSN 1935-2565, 6, 28-57, 2012

An extension of the Cheeger-Müller theorem for a cone

Authors: Luiz Hartmann, Mauro Spreafico

Abstract: We prove the equality of the $L^2$-analytic torsion and the intersection R torsion of the even dimensional finite metric cone over an odd dimensional compact manifold. We prove the equality of the $L^2$-analytic torsion and the intersection R torsion of the even dimensional finite metric cone over an odd dimensional compact manifold. △ Less

Submitted 2 October, 2014; v1 submitted 17 August, 2010; originally announced August 2010.

Comments: to appear in St. Petersburg Math. Journal

MSC Class: 58J52; 57Q10

The Analytic Torsion of the cone over an odd dimensional manifold

Authors: L. Hartmann, M. Spreafico

Abstract: We study the analytic torsion of the cone over an orientable odd dimensional compact connected Riemannian manifold W. We prove that the logarithm of the analytic torsion of the cone decomposes as the sum of the logarithm of the root of the analytic torsion of the boundary of the cone, plus a topological term, plus a further term that is a rational linear combination of local Riemannian invariants… ▽ More We study the analytic torsion of the cone over an orientable odd dimensional compact connected Riemannian manifold W. We prove that the logarithm of the analytic torsion of the cone decomposes as the sum of the logarithm of the root of the analytic torsion of the boundary of the cone, plus a topological term, plus a further term that is a rational linear combination of local Riemannian invariants of the boundary. We also prove that this last term coincides with the anomaly boundary term appearing in the Cheeger Muller theorem for a manifold with boundary, according to Bruning and Ma, either in the case that W is an odd sphere or has dimension smaller than six. It follows in particular that the Cheeger Muller theorem holds for the cone over an odd dimensional sphere. We also prove Poincare duality for the analytic torsion of a cone. △ Less

Submitted 14 July, 2010; v1 submitted 26 January, 2010; originally announced January 2010.

MSC Class: 58J52

Reidemeister torsion and analytic torsion of spheres

Authors: T. de Melo, M. Spreafico

Abstract: We provide a simple topological derivation of a formula for the Reidemeister and the analityc torsion of spheres. We provide a simple topological derivation of a formula for the Reidemeister and the analityc torsion of spheres. △ Less

Submitted 14 June, 2009; originally announced June 2009.

MSC Class: 57Q10

The analytic torsion of a cone over a sphere

Authors: L. Hartmann, M. Spreafico

Abstract: We compute the analytic torsion of a cone over a sphere of dimension 1, 2, and 3, and we conjecture a general formula for the cone over an odd dimensional sphere. We compute the analytic torsion of a cone over a sphere of dimension 1, 2, and 3, and we conjecture a general formula for the cone over an odd dimensional sphere. △ Less

Submitted 23 February, 2009; originally announced February 2009.

MSC Class: 58J52

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.

Comments: 36 pages

MSC Class: 14H45; 14C05; 14M05

Journal ref: Liaison, Schottky Problem and Invariant Theory, 149-187. Progress in Mathematics, 280. Birkhauser, 2010. ISBN: 978-3-0346-0200-6

Reidemeister torsion and analytic torsion of discs

Authors: L. Hartmann, T. de Melo, M. Spreafico

Abstract: We study the Reidemeister torsion and the analytic torsion of the $m$ dimensional disc in the Euclidean $m$ dimensional space, using the base for the homology defined by Ray and Singer in \cite{RS}. We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of th… ▽ More We study the Reidemeister torsion and the analytic torsion of the $m$ dimensional disc in the Euclidean $m$ dimensional space, using the base for the homology defined by Ray and Singer in \cite{RS}. We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of the Cheeger-Müller theorem. We use a formula proved by Brüning and Ma \cite{BM}, that predicts a new anomaly boundary term beside the known term proportional to the Euler characteristic of the boundary \cite{Luc}. Some of our results extend to the case of the cone over a sphere, in particular we evaluate directly the analytic torsion for a cone over the circle and over the two sphere. We compare the results obtained in the low dimensional cases. We also consider a different formula for the boundary term given by Dai and Fang \cite{DF}, and we show that the result obtained using this formula is inconsistent with the direct calculation of the analytic torsion. △ Less

Submitted 19 November, 2008; originally announced November 2008.

MSC Class: 57Q10 58J52

Zeta determinant for double sequences of spectral type

Authors: Mauro Spreafico

Abstract: We study the spectral functions, and in particular the zeta function, associated to a class of sequences of complex numbers, called of spectral type. We investigate the decomposability of the zeta function associated to a double sequence with respect to some simple sequence, and we provide a technique for obtaining the first terms in the Laurent expansion at zero of the zeta function associated… ▽ More We study the spectral functions, and in particular the zeta function, associated to a class of sequences of complex numbers, called of spectral type. We investigate the decomposability of the zeta function associated to a double sequence with respect to some simple sequence, and we provide a technique for obtaining the first terms in the Laurent expansion at zero of the zeta function associated to a double sequence. We particularize this technique to the case of sums of sequences of spectral type, and we give two applications: the first concerning some special functions appearing in number theory, and the second the functional determinant of the Laplace operator on a product space. △ Less

Submitted 16 May, 2009; v1 submitted 31 July, 2006; originally announced July 2006.

MSC Class: 11M41; 11M36: 58J99

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.

Zeta functions and regularized determinants on projective spaces

Authors: Mauro Spreafico

Abstract: A Hermite type formula is introduced and used to study the zeta function over the real and complex n-projective space. This approach allows to compute the residua at the poles and the value at the origin as well as the value of the derivative at the origin, that gives the regularized determinant of the associated Laplacian operator. A Hermite type formula is introduced and used to study the zeta function over the real and complex n-projective space. This approach allows to compute the residua at the poles and the value at the origin as well as the value of the derivative at the origin, that gives the regularized determinant of the associated Laplacian operator. △ Less

Submitted 17 October, 2001; originally announced October 2001.

Comments: 11 pages, 2 figures

MSC Class: 11M41