-
Intersection cohomology and Severi varieties of quartic surfaces
Authors:
Davide Franco,
Alessandra Sarti
Abstract:
We give two explicit versions of the decomposition theorem of Beilinson, Bernstein and Deligne applied to the universal family of quartic surfaces of $\mathbb{P}^3$. The starting point of our investigation is the remark that the nodes of a quartic surface impose independent conditions to the linear system $\mid \mathcal{O}_{\mathbb P^3}(4)\mid$. Although this property is known in literature, we pr…
▽ More
We give two explicit versions of the decomposition theorem of Beilinson, Bernstein and Deligne applied to the universal family of quartic surfaces of $\mathbb{P}^3$. The starting point of our investigation is the remark that the nodes of a quartic surface impose independent conditions to the linear system $\mid \mathcal{O}_{\mathbb P^3}(4)\mid$. Although this property is known in literature, we provide a different argument more suited to our purposes. By a result of \cite{DGF}, the independence of the nodes implies in turn that each component of Severi's variety is smooth of the expected dimension and that the dual variety is a divisor with normal crossings around Severi's variety. This allows us to study the complex $Rπ{_*}\mathbb{Q}_{\mathcal{X}}$, the derived direct image of the constant sheaf over the universal family of quartic surfaces $ \mathcal{X} \stackrelπ{\longrightarrow} \mathbb P^{34}$, both in the open set parametrizing smooth and nodal quartics and in a tubular neighborhood of the variety of Kummer surfaces. We obtain in both cases an explicit decomposition and a formality result for the complex $Rπ{_*}\mathbb{Q}_{\mathcal{X}}$.
△ Less
Submitted 16 June, 2025; v1 submitted 26 March, 2025;
originally announced March 2025.
-
Individuation of 3D perceptual units from neurogeometry of binocular cells
Authors:
Maria Virginia Bolelli,
Giovanna Citti,
Alessandro Sarti,
Steven W. Zucker
Abstract:
We model the functional architecture of the early stages of three-dimensional vision by extending the neurogeometric sub-Riemannian model for stereo-vision introduced in \cite{BCSZ23}. A new framework for correspondence is introduced that integrates a neural-based algorithm to achieve stereo correspondence locally while, simultaneously, organizing the corresponding points into global perceptual un…
▽ More
We model the functional architecture of the early stages of three-dimensional vision by extending the neurogeometric sub-Riemannian model for stereo-vision introduced in \cite{BCSZ23}. A new framework for correspondence is introduced that integrates a neural-based algorithm to achieve stereo correspondence locally while, simultaneously, organizing the corresponding points into global perceptual units. The result is an effective scene segmentation. We achieve this using harmonic analysis on the sub-Riemannian structure and show, in a comparison against Riemannian distance, that the sub-Riemannian metric is central to the solution.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Logarithmic Enriques varieties
Authors:
Samuel Boissiere,
Chiara Camere,
Alessandra Sarti
Abstract:
We introduce logarithmic Enriques varieties as a singular analogue of Enriques manifolds, generalizing the notion of log-Enriques surfaces introduced by Zhang. We focus then on the properties of the subfamily of log-Enriques varieties that admit a quasi-étale cover by a singular symplectic variety and we give many examples.
We introduce logarithmic Enriques varieties as a singular analogue of Enriques manifolds, generalizing the notion of log-Enriques surfaces introduced by Zhang. We focus then on the properties of the subfamily of log-Enriques varieties that admit a quasi-étale cover by a singular symplectic variety and we give many examples.
△ Less
Submitted 5 January, 2025; v1 submitted 13 September, 2024;
originally announced September 2024.
-
Signed projective cubes, a homomorphism point of view
Authors:
Meirun Chen,
Reza Naserasr,
Alessandra Sarti
Abstract:
The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to specia…
▽ More
The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
Cortical Functional architectures as contact and sub-Riemannian geometry
Authors:
Giovanna Citti,
Alessandro Sarti
Abstract:
In a joint paper, Jean Petitot together with the authors of the present paper described the functional geometry of the visual cortex as the symplectization of a contact form to describe the family of cells sensitive to position, orientation and scale. In the present paper, as a "homage" to the enormous contribution of Jean Petitot to neurogeometry, we will extend this approach to more complex func…
▽ More
In a joint paper, Jean Petitot together with the authors of the present paper described the functional geometry of the visual cortex as the symplectization of a contact form to describe the family of cells sensitive to position, orientation and scale. In the present paper, as a "homage" to the enormous contribution of Jean Petitot to neurogeometry, we will extend this approach to more complex functional architectures built as a sequence of contactization or a symplectization process, able to extend the dimension of the space. We will also outline a few examples where a sub-Riemannian lifting is needed.
△ Less
Submitted 15 October, 2023;
originally announced October 2023.
-
On the cone conjecture for Enriques manifolds
Authors:
Gianluca Pacienza,
Alessandra Sarti
Abstract:
Enriques manifolds are non simply connected manifolds whose universal cover is irreducible holomorphic symplectic, and as such they are natural generalizations of Enriques surfaces. The goal of this note is to prove the Morrison-Kawamata cone conjecture for such manifolds when the degree of the cover is prime using the analogous result (established by Amerik-Verbitsky) for their universal cover. W…
▽ More
Enriques manifolds are non simply connected manifolds whose universal cover is irreducible holomorphic symplectic, and as such they are natural generalizations of Enriques surfaces. The goal of this note is to prove the Morrison-Kawamata cone conjecture for such manifolds when the degree of the cover is prime using the analogous result (established by Amerik-Verbitsky) for their universal cover. We also verify the conjecture for the known examples having non-prime degree.
△ Less
Submitted 19 March, 2023; v1 submitted 13 March, 2023;
originally announced March 2023.
-
A model of reaching via subriemannian geodesics in Engel-type group
Authors:
Caterina Mazzetti,
Alessandro Sarti,
Giovanna Citti
Abstract:
In this paper, we propose a model of arm reaching movements expressed in terms of geodesics in a sub-Riemannian space. We will choose a set of kinematic variables to which motor cortical cells are selective with the purpose of modelling the specific task of reaching. Minimizing trajectories will be recovered as suitable geodesics of the geometric spaces arising from the selective behaviour of M1 n…
▽ More
In this paper, we propose a model of arm reaching movements expressed in terms of geodesics in a sub-Riemannian space. We will choose a set of kinematic variables to which motor cortical cells are selective with the purpose of modelling the specific task of reaching. Minimizing trajectories will be recovered as suitable geodesics of the geometric spaces arising from the selective behaviour of M1 neurons. We will then extend this model by including the direction of arm movement. On this set, we will define a suitable sub-Riemannian metric able to provide a geometric interpretation of two-dimensional task-dependent arm reaching movements.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
Good continuation in 3D: the neurogeometry of stereo vision
Authors:
Maria Virginia Bolelli,
Giovanna Citti,
Alessandro Sarti,
Steven W. Zucker
Abstract:
Classical good continuation for image curves is based on $2D$ position and orientation. It is supported by the columnar organization of cortex, by psychophysical experiments, and by rich models of (differential) geometry. Here we extend good continuation to stereo. We introduce a neurogeometric model, in which the parametrizations involve both spatial and orientation disparities. Our model provide…
▽ More
Classical good continuation for image curves is based on $2D$ position and orientation. It is supported by the columnar organization of cortex, by psychophysical experiments, and by rich models of (differential) geometry. Here we extend good continuation to stereo. We introduce a neurogeometric model, in which the parametrizations involve both spatial and orientation disparities. Our model provides insight into the neurobiology, suggesting an implicit organization for neural interactions and a well-defined $3D$ association field. Our model sheds light on the computations underlying the correspondence problem, and illustrates how good continuation in the world generalizes good continuation in the plane.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
Fourier--Mukai partners and generalized Kummer structures on generalized Kummer surfaces of order $3$
Authors:
Xavier Roulleau,
Alessandra Sarti
Abstract:
A generalized Kummer surface $X$ of order $3$ is the minimal resolution of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism. We study a generalization of a problem of Shioda for classical Kummer surfaces, which is to understand how much $X$ is determined by $A$ and conversely. The surface $X$ posses a big and nef divisor $L_{X}$ such that $L_{X}^{2}=0$ or $2$ mod $6$.…
▽ More
A generalized Kummer surface $X$ of order $3$ is the minimal resolution of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism. We study a generalization of a problem of Shioda for classical Kummer surfaces, which is to understand how much $X$ is determined by $A$ and conversely. The surface $X$ posses a big and nef divisor $L_{X}$ such that $L_{X}^{2}=0$ or $2$ mod $6$. We show that for surfaces with $L_{X}^{2}=6k$ with $k\neq0,6\,mod\,9$, the surface $X$ determines the transcendental lattice $T(A)$ of $A$ and the Hodge structure on $T(A)$. Conversely if $A$ and $B$ are Fourier-Mukai partners (i.e. if the Hodge structures of their transcendental lattices are isomorphic) and $Y$ is the generalized Kummer surface which is the minimal resolution of the quotient of $B$ by an order $3$ symplectic automorphism, we obtain that $X$ and $Y$ are isomorphic. These results are also know to hold for surfaces with $L_{X}^{2}=2\,mod\,6$ from a previous work. When $k=0\text{ or }6\,mod\,9,$ we show that $X$ determines $T(A)$ and its Hodge structure, but the converse does not hold in general.
△ Less
Submitted 3 December, 2024; v1 submitted 21 November, 2022;
originally announced November 2022.
-
The Fano variety of lines of a cuspidal cyclic cubic fourfold
Authors:
Samuel Boissiere,
Tobias Heckel,
Alessandra Sarti
Abstract:
We prove that the Fano variety of lines of a cuspidal cyclic cubic fourfold is a symplectic variety with transversal A2-singularities and we study the properties of the nonsymplectic order three automorphism induced by the covering automorphism on the irreducible holomorphic symplectic manifold obtained by blowing up the singular locus.
We prove that the Fano variety of lines of a cuspidal cyclic cubic fourfold is a symplectic variety with transversal A2-singularities and we study the properties of the nonsymplectic order three automorphism induced by the covering automorphism on the irreducible holomorphic symplectic manifold obtained by blowing up the singular locus.
△ Less
Submitted 26 March, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
A framework for stereo vision via optimal transport
Authors:
Mattia Galeotti,
Alessandro Sarti,
Giovanna Citti
Abstract:
We present a theoretical framework for a stereo vision method via optimal transport tools. We consider two aligned optical systems and we develop the matching between the two pictures line by line. By considering a regularized version of the optimal transport, we can speed up the computation and obtain a very accurate disparity function evaluation. Moreover, via this same method we can approach su…
▽ More
We present a theoretical framework for a stereo vision method via optimal transport tools. We consider two aligned optical systems and we develop the matching between the two pictures line by line. By considering a regularized version of the optimal transport, we can speed up the computation and obtain a very accurate disparity function evaluation. Moreover, via this same method we can approach successfully the case of images with occluded regions.
△ Less
Submitted 1 July, 2022;
originally announced July 2022.
-
The cortical V1 transform as a heterogeneous Poisson problem
Authors:
Alessandro Sarti,
Mattia Galeotti,
Giovanna Citti
Abstract:
Receptive profiles of V1 cortical cells are very heterogeneous and act by differentiating the stimulus image as operators changing from point to point. A lightness and color constancy image can be reconstructed as the solution of the associated inverse problem, that is a Poisson equation with heterogeneous differential operators. At the neural level the weights of short range connectivity constitu…
▽ More
Receptive profiles of V1 cortical cells are very heterogeneous and act by differentiating the stimulus image as operators changing from point to point. A lightness and color constancy image can be reconstructed as the solution of the associated inverse problem, that is a Poisson equation with heterogeneous differential operators. At the neural level the weights of short range connectivity constitute the fundamental solution of the Poisson problem adapted point by point. A first demonstration of convergence of the result towards homogeneous reconstructions is proposed by means of homogenisation techniques.
△ Less
Submitted 29 July, 2023; v1 submitted 14 June, 2022;
originally announced June 2022.
-
Non-symplectic automorphisms of order multiple of seven on K3 surfaces
Authors:
Renee Bell,
Paola Comparin,
Jennifer Li,
Alejandra Rincón-Hidalgo,
Alessandra Sarti,
Aline Zanardini
Abstract:
In this paper we present a classification of non-symplectic automorphisms of K3 surfaces whose order is a multiple of seven by describing the topological type of their fixed locus. In the case of purely non-symplectic automorphisms, we provide new results for order 14 and alternative proofs for orders 21, 28 and 42, so that we can unify in the same paper the results on these automorphisms. For eac…
▽ More
In this paper we present a classification of non-symplectic automorphisms of K3 surfaces whose order is a multiple of seven by describing the topological type of their fixed locus. In the case of purely non-symplectic automorphisms, we provide new results for order 14 and alternative proofs for orders 21, 28 and 42, so that we can unify in the same paper the results on these automorphisms. For each of these orders we also consider not purely non-symplectic automorphisms and obtain a complete characterization of their fixed loci. Several results of our paper were obtained independently in a recent paper by Brandhorst and Hofmann, but the methods used in the two papers are completely different.
△ Less
Submitted 3 December, 2022; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Complex reflection groups and K3 surfaces II. The groups $G_{29}$, $G_{30}$ and $G_{31}$
Authors:
Cédric Bonnafé,
Alessandra Sarti
Abstract:
We study some K3 surfaces obtained as minimal resolutions of quotients of subgroups of special reflection groups. Some of these were already studied in a previous paper by W. Barth and the second author. We give here an easy proof that these are K3 surfaces, give equations in weighted projective space and describe their geometry.
We study some K3 surfaces obtained as minimal resolutions of quotients of subgroups of special reflection groups. Some of these were already studied in a previous paper by W. Barth and the second author. We give here an easy proof that these are K3 surfaces, give equations in weighted projective space and describe their geometry.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Constructions of Kummer structures on generalized Kummer surfaces
Authors:
Xavier Roulleau,
Alessandra Sarti
Abstract:
We study generalized Kummer surfaces Km$_{3}(A)$, by which we mean the K3 surfaces obtained by desingularization of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism group. Such a surface carries $9$ disjoint configurations of two smooth rational curves $C,C'$ with $CC'=1$. This $9{\bf A}_{2}$-configuration plays a role similar to the Nikulin configuration of $16$ disj…
▽ More
We study generalized Kummer surfaces Km$_{3}(A)$, by which we mean the K3 surfaces obtained by desingularization of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism group. Such a surface carries $9$ disjoint configurations of two smooth rational curves $C,C'$ with $CC'=1$. This $9{\bf A}_{2}$-configuration plays a role similar to the Nikulin configuration of $16$ disjoint smooth rational curves on (classical) Kummer surfaces. We study the (generalized) question of T. Shioda: suppose that Km$_{3}(A)$ is isomorphic to Km$_{3}(B)$, does that imply that $A$ and $B$ are isomorphic? We answer by the negative in general, by two methods: by a link between that problem and Fourier-Mukai partners of $A$, and by construction of $9{\bf A}_{2}$-configurations on Km$_{3}(A)$ which cannot be exchanged under the automorphism group.
△ Less
Submitted 14 March, 2023; v1 submitted 5 September, 2021;
originally announced September 2021.
-
Cortically based optimal transport
Authors:
Mattia Galeotti,
Giovanna Citti,
Alessandro Sarti
Abstract:
We introduce a model for image morphing in the primary visual cortex V1 to perform completion of missing images in time. We model the output of simple cells through a family of Gabor filters and the propagation of the neural signal accordingly to the functional geometry induced by horizontal connectivity. Then we model the deformation between two images as a path relying two different outputs. Thi…
▽ More
We introduce a model for image morphing in the primary visual cortex V1 to perform completion of missing images in time. We model the output of simple cells through a family of Gabor filters and the propagation of the neural signal accordingly to the functional geometry induced by horizontal connectivity. Then we model the deformation between two images as a path relying two different outputs. This path is obtained by optimal transport considering the Wasserstein distance geodesics associated to some probability measures naturally induced by the outputs on V1. The frame of Gabor filters allows to project back the output path, therefore obtaining an associated image stimulus deformation. We perform a numerical implementation of our cortical model, assessing its ability in reconstructing rigidi motions of simple shapes.
△ Less
Submitted 15 August, 2022; v1 submitted 20 July, 2020;
originally announced July 2020.
-
Complex reflection groups and K3 surfaces I
Authors:
Cédric Bonnafé,
Alessandra Sarti
Abstract:
We construct here many families of K3 surfaces that one can obtain as quotients of algebraic surfaces by some subgroups of the rank four complex reflection groups. We find in total 15 families with at worst $ADE$--singularities. In particular we classify all the K3 surfaces that can be obtained as quotients by the derived subgroup of the previous complex reflection groups. We prove our results by…
▽ More
We construct here many families of K3 surfaces that one can obtain as quotients of algebraic surfaces by some subgroups of the rank four complex reflection groups. We find in total 15 families with at worst $ADE$--singularities. In particular we classify all the K3 surfaces that can be obtained as quotients by the derived subgroup of the previous complex reflection groups. We prove our results by using the geometry of the weighted projective spaces where these surfaces are embedded and the theory of Springer and Lehrer-Springer on properties of complex reflection groups. This construction generalizes a previous construction by W. Barth and the second author.
△ Less
Submitted 23 February, 2021; v1 submitted 9 May, 2020;
originally announced May 2020.
-
A special configuration of $12$ conics and generalized Kummer surfaces
Authors:
David Kohel,
Xavier Roulleau,
Alessandra Sarti
Abstract:
A generalized Kummer surface $X$ obtained as the quotient of an abelian surface by a symplectic automorphism of order 3 contains a $9\mathbf{A}_{2}$-configuration of $(-2)$-curves. Such a configuration plays the role of the $16\mathbf{A}_{1}$-configurations for usual Kummer surfaces. In this paper we construct $9$ other such $9\mathbf{A}_{2}$-configurations on the generalized Kummer surface associ…
▽ More
A generalized Kummer surface $X$ obtained as the quotient of an abelian surface by a symplectic automorphism of order 3 contains a $9\mathbf{A}_{2}$-configuration of $(-2)$-curves. Such a configuration plays the role of the $16\mathbf{A}_{1}$-configurations for usual Kummer surfaces. In this paper we construct $9$ other such $9\mathbf{A}_{2}$-configurations on the generalized Kummer surface associated to the double cover of the plane branched over the sextic dual curve of a cubic curve. The new $9\mathbf{A}_{2}$-configurations are obtained by taking the pullback of a certain configuration of $12$ conics which are in special position with respect to the branch curve, plus some singular quartic curves. We then construct some automorphisms of the K3 surface sending one configuration to another. We also give various models of $X$ and of the generic fiber of its natural elliptic pencil.
△ Less
Submitted 17 May, 2021; v1 submitted 23 April, 2020;
originally announced April 2020.
-
Geometrical Optical Illusion via Sub-Riemannian Geodesics in the Roto-Translation Group
Authors:
Benedetta Franceschiello,
Alexey Mashtakov,
Giovanna Citti,
Alessandro Sarti
Abstract:
We present a neuro-mathematical model for geometrical optical illusions (GOIs), a class of illusory phenomena that consists in a mismatch of geometrical properties of the visual stimulus and its associated percept. They take place in the visual areas V1/V2 whose functional architecture have been modelled in previous works by Citti and Sarti as a Lie group equipped with a sub-Riemannian (SR) metric…
▽ More
We present a neuro-mathematical model for geometrical optical illusions (GOIs), a class of illusory phenomena that consists in a mismatch of geometrical properties of the visual stimulus and its associated percept. They take place in the visual areas V1/V2 whose functional architecture have been modelled in previous works by Citti and Sarti as a Lie group equipped with a sub-Riemannian (SR) metric. Here we extend their model proposing that the metric responsible for the cortical connectivity is modulated by the modelled neuro-physiological response of simple cells to the visual stimulus, hence providing a more biologically plausible model that takes into account a presence of visual stimulus. Illusory contours in our model are described as geodesics in the new metric. The model is confirmed by numerical simulations, where we compute the geodesics via SR-Fast Marching.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
On some K3 surfaces with order sixteen automorphism
Authors:
Paola Comparin,
Nathan Priddis,
Alessandra Sarti
Abstract:
We consider K3 surfaces of Picard rank 14 which admit a purely nonsymplectic automorphism of order 16. The automorphism acts on the second cohomology group with integer coefficients and we compute the invariant sublattice for the action. We show that all of these K3 surfaces admit an elliptic fibration and we compute the invariant lattices in a geometric way by using special curves of the elliptic…
▽ More
We consider K3 surfaces of Picard rank 14 which admit a purely nonsymplectic automorphism of order 16. The automorphism acts on the second cohomology group with integer coefficients and we compute the invariant sublattice for the action. We show that all of these K3 surfaces admit an elliptic fibration and we compute the invariant lattices in a geometric way by using special curves of the elliptic fibration. The computation of these lattices plays an important role when one wants to study moduli spaces and mirror symmetry for lattice polarized K3 surfaces.
△ Less
Submitted 3 March, 2021; v1 submitted 20 December, 2019;
originally announced December 2019.
-
K3 surfaces with maximal finite automorphism groups containing $M\_{20}$
Authors:
Cédric Bonnafé,
Alessandra Sarti
Abstract:
It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is $960$ and that the group is isomorphic to the group $M\_{20}$. Then Kondo showed that the maximum order of a finite group acting faithfully on a K3 surface is $3\,840$ and this group contains the Mathieu group $M\_{20}$ with index four. Kondo also showed that there is a unique K3…
▽ More
It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is $960$ and that the group is isomorphic to the group $M\_{20}$. Then Kondo showed that the maximum order of a finite group acting faithfully on a K3 surface is $3\,840$ and this group contains the Mathieu group $M\_{20}$ with index four. Kondo also showed that there is a unique K3 surface on which this group acts faithfully, which is the Kummer surface $\Km(E\_i\times E\_i)$. In this paper we describe two more K3 surfaces admitting a big finite automorphism group of order $1\,920$, both groups contains $M\_{20}$ as a subgroup of index 2. We show moreover that these two groups and the two K3 surfaces are unique. This result was shown independently by S. Brandhorst and K. Hashimoto in a forthcoming paper, with the aim of classifying all the finite groups acting faithfully on K3 surfaces with maximal symplectic part.
△ Less
Submitted 28 May, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
A sub-Riemannian model of the visual cortex with frequency and phase
Authors:
E. Baspinar,
A. Sarti,
G. Citti
Abstract:
In this paper we present a novel model of the primary visual cortex (V1) based on orientation, frequency and phase selective behavior of the V1 simple cells. We start from the first level mechanisms of visual perception: receptive profiles. The model interprets V1 as a fiber bundle over the 2-dimensional retinal plane by introducing orientation, frequency and phase as intrinsic variables. Each rec…
▽ More
In this paper we present a novel model of the primary visual cortex (V1) based on orientation, frequency and phase selective behavior of the V1 simple cells. We start from the first level mechanisms of visual perception: receptive profiles. The model interprets V1 as a fiber bundle over the 2-dimensional retinal plane by introducing orientation, frequency and phase as intrinsic variables. Each receptive profile on the fiber is mathematically interpreted as a rotated, frequency modulated and phase shifted Gabor function. We start from the Gabor function and show that it induces in a natural way the model geometry and the associated horizontal connectivity modeling the neural connectivity patterns in V1. We provide an image enhancement algorithm employing the model framework. The algorithm is capable of exploiting not only orientation but also frequency and phase information existing intrinsically in a 2-dimensional input image. We provide the experimental results corresponding to the enhancement algorithm.
△ Less
Submitted 11 October, 2019;
originally announced October 2019.
-
Explicit Nikulin configurations on Kummer surfaces
Authors:
Xavier Roulleau,
Alessandra Sarti
Abstract:
A Nikulin configuration is the data of $16$ disjoint smooth rational curves on a K3 surface. According to results of Nikulin, the existence of a Nikulin configuration means that the K3 surface is a Kummer surface, moreover the abelian surface from the Kummer structure is determined by the $16$ curves. A classical question of Shioda is about the existence of non isomorphic Kummer structures on the…
▽ More
A Nikulin configuration is the data of $16$ disjoint smooth rational curves on a K3 surface. According to results of Nikulin, the existence of a Nikulin configuration means that the K3 surface is a Kummer surface, moreover the abelian surface from the Kummer structure is determined by the $16$ curves. A classical question of Shioda is about the existence of non isomorphic Kummer structures on the same Kummer K3 surface. The question was studied by several authors, and it was shown that the number of non-isomorphic Kummer structures is finite, but no explicit geometric construction of such structures was given. In a previous paper, we constructed explicitly non isomorphic Kummer structures on some Kummer surfaces. In this paper we generalise the construction to Kummer surfaces with a weaker restriction on the degree of the polarization and we describe some cases where the previous construction does not work.
△ Less
Submitted 26 February, 2021; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Neurogeometry of perception: isotropic and anisotropic aspects
Authors:
Giovanna Citti,
Alessandro Sarti
Abstract:
In this paper we first recall the definition of geometical model of the visual cortex, focusing in particular on the geometrical properties of horizontal cortical connectivity. Then we recognize that histograms of edges - co-occurrences are not isotropic distributed, and are strongly biased in horizontal and vertical directions of the stimulus. Finally we introduce a new model of non isotropic cor…
▽ More
In this paper we first recall the definition of geometical model of the visual cortex, focusing in particular on the geometrical properties of horizontal cortical connectivity. Then we recognize that histograms of edges - co-occurrences are not isotropic distributed, and are strongly biased in horizontal and vertical directions of the stimulus. Finally we introduce a new model of non isotropic cortical connectivity modeled on the histogram of edges - co-occurrences. Using this kernel we are able to justify oblique phenomena comparable with experimental findings.
△ Less
Submitted 8 June, 2019;
originally announced June 2019.
-
Symmetries of order eight on K3 surfaces without high genus curves in the fixed locus
Authors:
Dima Al Tabbaa,
Annalisa Grossi,
Alessandra Sarti
Abstract:
In this paper we classify non-symplectic automorphisms of order 8 on complex K3 surfaces in case that the fourth power of the automorphism has only rational curves in its fixed locus. We show that the fixed locus is the disjoint union of a rational curve and 10 isolated points or it consists in 4 isolated fixed points. We give examples corresponding to the case with a rational curve in the fixed l…
▽ More
In this paper we classify non-symplectic automorphisms of order 8 on complex K3 surfaces in case that the fourth power of the automorphism has only rational curves in its fixed locus. We show that the fixed locus is the disjoint union of a rational curve and 10 isolated points or it consists in 4 isolated fixed points. We give examples corresponding to the case with a rational curve in the fixed locus and to the case with only isolated points in the fixed locus.
△ Less
Submitted 2 January, 2020; v1 submitted 6 June, 2019;
originally announced June 2019.
-
A metric model for the functional architecture of the visual cortex
Authors:
Noemi Montobbio,
Alessandro Sarti,
Giovanna Citti
Abstract:
The purpose of this work is to construct a model for the functional architecture of the primary visual cortex (V1), based on a structure of metric measure space induced by the underlying organization of receptive profiles (RPs) of visual cells. In order to account for the horizontal connectivity of V1 in such a context, a diffusion process compatible with the geometry of the space is defined follo…
▽ More
The purpose of this work is to construct a model for the functional architecture of the primary visual cortex (V1), based on a structure of metric measure space induced by the underlying organization of receptive profiles (RPs) of visual cells. In order to account for the horizontal connectivity of V1 in such a context, a diffusion process compatible with the geometry of the space is defined following the classical approach of K.-T. Sturm. The construction of our distance function does neither require any group parameterization of the family of RPs, nor involve any differential structure. As such, it adapts to non-parameterized sets of RPs, possibly obtained through numerical procedures; it also allows to model the lateral connectivity arising from non-differential metrics such as the one induced on a pinwheel surface by a family of filters of vanishing scale. On the other hand, when applied to the classical framework of Gabor filters, this construction yields a distance approximating the sub-Riemannian structure proposed as a model for V1 by G. Citti and A. Sarti [J Math Imaging Vis 24: 307 (2006)], thus showing itself to be consistent with existing cortex models.
△ Less
Submitted 11 October, 2019; v1 submitted 6 July, 2018;
originally announced July 2018.
-
On the nonsymplectic involutions of the Hilbert square of a K3 surface
Authors:
Samuel Boissiere,
Andrea Cattaneo,
Dimitri Markushevich,
Alessandra Sarti
Abstract:
We investigate the interplay between the moduli spaces of ample <2>-polarized IHS manifolds of type K3^[2] and of IHS manifolds of type K3^[2] with a nonsymplectic involution with invariant lattice of rank one. In particular we geometrically describe some new involutions of the Hilbert square of a K3 surface, whose existence was proven in a previous work of Boissiere, Cattaneo, Nieper-Wisskirchen…
▽ More
We investigate the interplay between the moduli spaces of ample <2>-polarized IHS manifolds of type K3^[2] and of IHS manifolds of type K3^[2] with a nonsymplectic involution with invariant lattice of rank one. In particular we geometrically describe some new involutions of the Hilbert square of a K3 surface, whose existence was proven in a previous work of Boissiere, Cattaneo, Nieper-Wisskirchen and Sarti.
△ Less
Submitted 26 May, 2018;
originally announced May 2018.
-
From receptive profiles to a metric model of V1
Authors:
Noemi Montobbio,
Giovanna Citti,
Alessandro Sarti
Abstract:
In this work we show how to construct connectivity kernels induced by the receptive profiles of simple cells of the primary visual cortex (V1). These kernels are directly defined by the shape of such profiles: this provides a metric model for the functional architecture of V1, whose global geometry is determined by the reciprocal interactions between local elements. Our construction adapts to any…
▽ More
In this work we show how to construct connectivity kernels induced by the receptive profiles of simple cells of the primary visual cortex (V1). These kernels are directly defined by the shape of such profiles: this provides a metric model for the functional architecture of V1, whose global geometry is determined by the reciprocal interactions between local elements. Our construction adapts to any bank of filters chosen to represent a set of receptive profiles, since it does not require any structure on the parameterization of the family. The connectivity kernel that we define carries a geometrical structure consistent with the well-known properties of long-range horizontal connections in V1, and it is compatible with the perceptual rules synthesized by the concept of association field. These characteristics are still present when the kernel is constructed from a bank of filters arising from an unsupervised learning algorithm.
△ Less
Submitted 11 October, 2019; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Cubic threefolds and hyperkähler manifolds uniformized by the 10-dimensional complex ball
Authors:
Samuel Boissière,
Chiara Camere,
Alessandra Sarti
Abstract:
We first prove an isomorphism between the moduli space of smooth cubic threefolds and the moduli space of hyperkaehler fourfolds of K3^{[2]}-type with a non-symplectic automorphism of order three, whose invariant lattice has rank one and is generated by a class of square 6, both these spaces are uniformized by the same 10-dimensional arithmetic complex ball quotient. We then study the degeneration…
▽ More
We first prove an isomorphism between the moduli space of smooth cubic threefolds and the moduli space of hyperkaehler fourfolds of K3^{[2]}-type with a non-symplectic automorphism of order three, whose invariant lattice has rank one and is generated by a class of square 6, both these spaces are uniformized by the same 10-dimensional arithmetic complex ball quotient. We then study the degeneration of the automorphism along the loci of nodal or chordal degenerations of the cubic threefold, showing the birationality of these loci with some moduli spaces of hyperkaehler fourfolds of K3^{[2]}-type with non-symplectic automorphism of order three belonging to different families. Finally, we construct a cyclic Pfaffian cubic fourfold to give an explicit construction of a non-natural automorphism of order three on the Hilbert square of a K3 surface.
△ Less
Submitted 29 January, 2018; v1 submitted 31 December, 2017;
originally announced January 2018.
-
Construction of Nikulin configurations on some Kummer surfaces and applications
Authors:
Xavier Roulleau,
Alessandra Sarti
Abstract:
A Nikulin configuration is the data of $16$ disjoint smooth rational curves on a K3 surface. According to a well known result of Nikulin, if a K3 surface contains a Nikulin configuration $\mathcal{C}$, then $X$ is a Kummer surface $X=Km(B)$ where $B$ is an Abelian surface determined by $\mathcal{C}$. Let $B$ be a generic Abelian surface having a polarization $M$ with $M^{2}=k(k+1)$ (for $k>0$ an i…
▽ More
A Nikulin configuration is the data of $16$ disjoint smooth rational curves on a K3 surface. According to a well known result of Nikulin, if a K3 surface contains a Nikulin configuration $\mathcal{C}$, then $X$ is a Kummer surface $X=Km(B)$ where $B$ is an Abelian surface determined by $\mathcal{C}$. Let $B$ be a generic Abelian surface having a polarization $M$ with $M^{2}=k(k+1)$ (for $k>0$ an integer) and let $X=Km(B)$ be the associated Kummer surface. To the natural Nikulin configuration $\mathcal{C}$ on $X=Km(B)$, we associate another Nikulin configuration $\mathcal{C}'$; we denote by $B'$ the Abelian surface associated to $\mathcal{C}'$, so that we have also $X=Km(B')$. For $k\geq2$ we prove that $B$ and $B'$ are not isomorphic. We then construct an infinite order automorphism of the Kummer surface $X$ that occurs naturally from our situation. Associated to the two Nikulin configurations $\mathcal{C},$ $\mathcal{C}'$, there exists a natural bi-double cover $S\to X$, which is a surface of general type. We study this surface which is a Lagrangian surface in the sense of Bogomolov-Tschinkel, and for $k=2$ is a Schoen surface.
△ Less
Submitted 18 June, 2018; v1 submitted 16 November, 2017;
originally announced November 2017.
-
Non-geometric Calabi-Yau Backgrounds and K3 automorphisms
Authors:
Chris Hull,
Dan Israel,
Alessandra Sarti
Abstract:
We consider compactifications of type IIA superstring theory on mirror-folds obtained as K3 fibrations over two-tori with non-geometric monodromies involving mirror symmetries. At special points in the moduli space these are asymmetric Gepner models. The compactifications are constructed from non-geometric automorphisms that arise from the diagonal action of an automorphism of the K3 surface and o…
▽ More
We consider compactifications of type IIA superstring theory on mirror-folds obtained as K3 fibrations over two-tori with non-geometric monodromies involving mirror symmetries. At special points in the moduli space these are asymmetric Gepner models. The compactifications are constructed from non-geometric automorphisms that arise from the diagonal action of an automorphism of the K3 surface and of an automorphism of the mirror surface. We identify the corresponding gaugings of N=4 supergravity in four dimensions, and show that the minima of the potential describe the same four-dimensional low-energy physics as the worldsheet formulation in terms of asymmetric Gepner models. In this way, we obtain a class of Minkowski vacua of type II string theory which preserve N=2 supersymmetry. The massless sector consists of N=2 supergravity coupled to 3 vector multiplets, giving the STU model. In some cases there are additional massless hypermultiplets.
△ Less
Submitted 15 October, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Wolf Barth (1942--2016)
Authors:
Thomas Bauer,
Klaus Hulek,
Slawomir Rams,
Alessandra Sarti,
Tomasz Szemberg
Abstract:
In this article we describe the life and work of Wolf Barth who died on 30th December 2016. Wolf Barth's contributions to algebraic variety span a wide range of subjects. His achievements range from what is now called the Barth-Lefschetz theorems to his fundamental contributions to the theory of algebraic surfaces and moduli of vector bundles, and include his later work on algebraic surfaces with…
▽ More
In this article we describe the life and work of Wolf Barth who died on 30th December 2016. Wolf Barth's contributions to algebraic variety span a wide range of subjects. His achievements range from what is now called the Barth-Lefschetz theorems to his fundamental contributions to the theory of algebraic surfaces and moduli of vector bundles, and include his later work on algebraic surfaces with many singularities, culminating in the famous Barth sextic.
△ Less
Submitted 24 April, 2017;
originally announced April 2017.
-
Order eight non-symplectic automorphisms on elliptic K3 surfaces
Authors:
Dima Al Tabbaa,
Alessandra Sarti
Abstract:
In this paper we classify complex K3 surfaces with non-symplectic automorphism of order 8 that leaves invariant a smooth elliptic curve. We show that the rank of the Picard group is either 10, 14 or 18 and the fixed locus is the disjoint union of elliptic curves, rational curves and points, whose number does not exceed 1, 2, respectively 14. We give examples corresponding to several types of fixed…
▽ More
In this paper we classify complex K3 surfaces with non-symplectic automorphism of order 8 that leaves invariant a smooth elliptic curve. We show that the rank of the Picard group is either 10, 14 or 18 and the fixed locus is the disjoint union of elliptic curves, rational curves and points, whose number does not exceed 1, 2, respectively 14. We give examples corresponding to several types of fixed locus in the classification.
△ Less
Submitted 4 December, 2016;
originally announced December 2016.
-
Explicit Schoen surfaces
Authors:
Carlos Rito,
Xavier Roulleau,
Alessandra Sarti
Abstract:
We give an explicit construction for the $4$-dimensional family of Schoen surfaces by computing equations for their canonical images, which are $40$-nodal complete intersections of a quadric and the Igusa quartic in $\mathbb P^4$. We then study a particularly interesting example, with $240$ automorphisms and maximal Picard number.
We give an explicit construction for the $4$-dimensional family of Schoen surfaces by computing equations for their canonical images, which are $40$-nodal complete intersections of a quadric and the Igusa quartic in $\mathbb P^4$. We then study a particularly interesting example, with $240$ automorphisms and maximal Picard number.
△ Less
Submitted 6 March, 2018; v1 submitted 7 September, 2016;
originally announced September 2016.
-
The algebro-geometric study of range maps
Authors:
Marco Compagnoni,
Roberto Notari,
Andrea Alessandro Ruggiu,
Fabio Antonacci,
Augusto Sarti
Abstract:
Localizing a radiant source is a widespread problem to many scientific and technological research areas. E.g. localization based on range measurements stays at the core of technologies like radar, sonar and wireless sensors networks. In this manuscript we study in depth the model for source localization based on range measurements obtained from the source signal, from the point of view of algebrai…
▽ More
Localizing a radiant source is a widespread problem to many scientific and technological research areas. E.g. localization based on range measurements stays at the core of technologies like radar, sonar and wireless sensors networks. In this manuscript we study in depth the model for source localization based on range measurements obtained from the source signal, from the point of view of algebraic geometry. In the case of three receivers, we find unexpected connections between this problem and the geometry of Kummer's and Cayley's surfaces. Our work gives new insights also on the localization based on range differences.
△ Less
Submitted 28 April, 2016; v1 submitted 27 April, 2016;
originally announced April 2016.
-
Complex ball quotients from manifolds of $K3^{[n]}$-type
Authors:
Samuel Boissière,
Chiara Camere,
Alessandra Sarti
Abstract:
We describe periods of irreducible holomorphic manifolds of $K3^{[n]}$-type with a non-symplectic automorphism of prime order $p\geq 3$. These turn out to lie on complex ball quotients and we are able to give a precise characterization of when the period map is bijective, by introducing the notion of $K(T)$-generality.
We describe periods of irreducible holomorphic manifolds of $K3^{[n]}$-type with a non-symplectic automorphism of prime order $p\geq 3$. These turn out to lie on complex ball quotients and we are able to give a precise characterization of when the period map is bijective, by introducing the notion of $K(T)$-generality.
△ Less
Submitted 7 December, 2015;
originally announced December 2015.
-
On prime degree isogenies between K3 surfaces
Authors:
Samuel Boissière,
Alessandra Sarti,
Davide Cesare Veniani
Abstract:
We classify prime order isogenies between algebraic K3 surfaces whose rational transcendental Hodges structures are not isometric. The morphisms of Hodge structures induced by these isogenies are correspondences by algebraic classes on the product fourfolds; however, they do not satisfy the hypothesis of the well-known Mukai--Nikulin theorem. As an application we describe isogenies obtained from K…
▽ More
We classify prime order isogenies between algebraic K3 surfaces whose rational transcendental Hodges structures are not isometric. The morphisms of Hodge structures induced by these isogenies are correspondences by algebraic classes on the product fourfolds; however, they do not satisfy the hypothesis of the well-known Mukai--Nikulin theorem. As an application we describe isogenies obtained from K3 surfaces with an action of a symplectic automorphism of prime order.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
Sub-Riemannian mean curvature flow for image processing
Authors:
Giovanna Citti,
Benedetta Franceschiello,
Gonzalo Sanguinetti,
Alessandro Sarti
Abstract:
In this paper we reconsider the sub-Riemannian cortical model of image completion introduced by Sarti and Citti in 2003. This model combines two mechanisms, the sub-Riemannian diffusion and the concentration, giving rise to a diffusion driven motion by curvature. In this paper we give a formal proof of the existence of viscosity solutions of the sub-Riemannian motion by curvature. Results of compl…
▽ More
In this paper we reconsider the sub-Riemannian cortical model of image completion introduced by Sarti and Citti in 2003. This model combines two mechanisms, the sub-Riemannian diffusion and the concentration, giving rise to a diffusion driven motion by curvature. In this paper we give a formal proof of the existence of viscosity solutions of the sub-Riemannian motion by curvature. Results of completion and enhancement on a number of natural images are shown and compared with other models.
△ Less
Submitted 14 April, 2015;
originally announced April 2015.
-
Borcea-Voisin Calabi-Yau threefolds and invertible potentials
Authors:
Michela Artebani,
Samuel Boissière,
Alessandra Sarti
Abstract:
We prove that the Borcea-Voisin mirror pairs of Calabi-Yau threefolds admit projective birational models that satisfy the Berglund-Hübsch-Chiodo-Ruan transposition rule. This shows that the two mirror constructions provide the same mirror pairs, as soon as both can be defined.
We prove that the Borcea-Voisin mirror pairs of Calabi-Yau threefolds admit projective birational models that satisfy the Berglund-Hübsch-Chiodo-Ruan transposition rule. This shows that the two mirror constructions provide the same mirror pairs, as soon as both can be defined.
△ Less
Submitted 30 January, 2015;
originally announced January 2015.
-
The automorphism group of the Hilbert scheme of two points on a generic projective K3 surface
Authors:
Samuel Boissière,
Andrea Cattaneo,
Marc Nieper-Wisskirchen,
Alessandra Sarti
Abstract:
We determine the automorphism group of the Hilbert scheme of two points on a generic projective K3 surface of any polarization. We obtain in particular new examples of Hilbert schemes of points having non-natural non-symplectic automorphisms. The existence of these automorphisms depends on solutions of Pell's equation.
We determine the automorphism group of the Hilbert scheme of two points on a generic projective K3 surface of any polarization. We obtain in particular new examples of Hilbert schemes of points having non-natural non-symplectic automorphisms. The existence of these automorphisms depends on solutions of Pell's equation.
△ Less
Submitted 17 November, 2014; v1 submitted 30 October, 2014;
originally announced October 2014.
-
Classification of order sixteen non-symplectic automorphisms on K3 surfaces
Authors:
Dima Al Tabbaa,
Alessandra Sarti,
Shingo Taki
Abstract:
We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the Néron-Severi group has rank 6, there are two possibilities and if its rank is 14, there are five possibilities. In particular if the action of the automorphism is trivial o…
▽ More
We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the Néron-Severi group has rank 6, there are two possibilities and if its rank is 14, there are five possibilities. In particular if the action of the automorphism is trivial on the Néron-Severi group, then we show that its rank is six.
△ Less
Submitted 19 September, 2014;
originally announced September 2014.
-
Isometries of ideal lattices and hyperkähler manifolds
Authors:
Samuel Boissière,
Chiara Camere,
Giovanni Mongardi,
Alessandra Sarti
Abstract:
We prove that there exists a holomorphic symplectic manifold deformation equivalent to the Hilbert scheme of two points on a K3 surface that admits a non-symplectic automorphism of order 23, that is the maximal possible prime order in this deformation family. The proof uses the theory of ideal lattices in cyclomotic fields.
We prove that there exists a holomorphic symplectic manifold deformation equivalent to the Hilbert scheme of two points on a K3 surface that admits a non-symplectic automorphism of order 23, that is the maximal possible prime order in this deformation family. The proof uses the theory of ideal lattices in cyclomotic fields.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
Classification of automorphisms on a deformation family of hyperkähler fourfolds by p-elementary lattices
Authors:
Samuel Boissière,
Chiara Camere,
Alessandra Sarti
Abstract:
We give a classification of all non-symplectic automorphisms of prime order p acting on irreducible holomorphic symplectic fourfolds deformation equivalent to the Hilbert scheme of two points on a K3 surface, for p=2,3 and 7\leq p \leq 19. Our classification relates the isometry classes of two natural lattices associated to the action of the automorphism on the second cohomology group with integer…
▽ More
We give a classification of all non-symplectic automorphisms of prime order p acting on irreducible holomorphic symplectic fourfolds deformation equivalent to the Hilbert scheme of two points on a K3 surface, for p=2,3 and 7\leq p \leq 19. Our classification relates the isometry classes of two natural lattices associated to the action of the automorphism on the second cohomology group with integer coefficients with some invariants of the fixed locus and we provide explicit examples. As an application, we find new examples of non-natural non-symplectic automorphisms.
△ Less
Submitted 20 February, 2014;
originally announced February 2014.
-
A comprehensive analysis of the geometry of TDOA maps in localisation problems
Authors:
Marco Compagnoni,
Roberto Notari,
Fabio Antonacci,
Augusto Sarti
Abstract:
In this manuscript we consider the well-established problem of TDOA-based source localization and propose a comprehensive analysis of its solutions for arbitrary sensor measurements and placements. More specifically, we define the TDOA map from the physical space of source locations to the space of range measurements (TDOAs), in the specific case of three receivers in 2D space. We then study the i…
▽ More
In this manuscript we consider the well-established problem of TDOA-based source localization and propose a comprehensive analysis of its solutions for arbitrary sensor measurements and placements. More specifically, we define the TDOA map from the physical space of source locations to the space of range measurements (TDOAs), in the specific case of three receivers in 2D space. We then study the identifiability of the model, giving a complete analytical characterization of the image of this map and its invertibility. This analysis has been conducted in a completely mathematical fashion, using many different tools which make it valid for every sensor configuration. These results are the first step towards the solution of more general problems involving, for example, a larger number of sensors, uncertainty in their placement, or lack of synchronization.
△ Less
Submitted 10 February, 2014;
originally announced February 2014.
-
Kummer surfaces and K3 surfaces with (Z/2Z)^4 symplectic action
Authors:
Alice Garbagnati,
Alessandra Sarti
Abstract:
In the first part of this paper we give a survey of classical results on Kummer surfaces with Picard number 17 from the point of view of lattice theory. We prove ampleness properties for certain divisors on Kummer surfaces and we use them to describe projective models of Kummer surfaces of (1,d)-polarized Abelian surfaces for d=1,2,3. As a consequence we prove that in these cases the Néron--Severi…
▽ More
In the first part of this paper we give a survey of classical results on Kummer surfaces with Picard number 17 from the point of view of lattice theory. We prove ampleness properties for certain divisors on Kummer surfaces and we use them to describe projective models of Kummer surfaces of (1,d)-polarized Abelian surfaces for d=1,2,3. As a consequence we prove that in these cases the Néron--Severi group can be generated by lines. In the second part of the paper we use Kummer surfaces to obtain results on K3 surfaces with a symplectic action of the group (\Z/2\Z)^4. In particular we describe the possible Néron--Severi groups of the latter in the case that the Picard number is 16, which is the minimal possible. We describe also the Néron--Severi groups of the minimal resolution of the quotient surfaces which have 15 nodes. We extend certain classical results on Kummer surfaces to these families.
△ Less
Submitted 15 May, 2013;
originally announced May 2013.
-
How Uncertainty bounds the shape index of simple cells
Authors:
Davide Barbieri,
Giovanna Citti,
Alessandro Sarti
Abstract:
We propose a theoretical motivation to quantify actual physiological features, such as the shape index distributions measured by Jones and Palmer in cats and by Ringach in macaque monkeys. We will adopt the Uncertainty Principle associated to the task of detection of position and orientation as the main tool to provide quantitative bounds on the family of simple cells concretely implemented in pri…
▽ More
We propose a theoretical motivation to quantify actual physiological features, such as the shape index distributions measured by Jones and Palmer in cats and by Ringach in macaque monkeys. We will adopt the Uncertainty Principle associated to the task of detection of position and orientation as the main tool to provide quantitative bounds on the family of simple cells concretely implemented in primary visual cortex.
△ Less
Submitted 4 March, 2013;
originally announced March 2013.
-
A cortical-inspired geometry for contour perception and motion integration
Authors:
Davide Barbieri,
Giovanna Citti,
Giacomo Cocci,
Alessandro Sarti
Abstract:
In this paper we develop a geometrical model of functional architecture for the processing of spatio-temporal visual stimuli. The model arises from the properties of the receptive field linear dynamics of orientation and speed-selective cells in the visual cortex, that can be embedded in the definition of a geometry where the connectivity between points is driven by the contact structure of a 5D m…
▽ More
In this paper we develop a geometrical model of functional architecture for the processing of spatio-temporal visual stimuli. The model arises from the properties of the receptive field linear dynamics of orientation and speed-selective cells in the visual cortex, that can be embedded in the definition of a geometry where the connectivity between points is driven by the contact structure of a 5D manifold. Then, we compute the stochastic kernels that are the approximations of two Fokker Planck operators associated to the geometry, and implement them as facilitation patterns within a neural population activity model, in order to reproduce some psychophysiological findings about the perception of contours in motion and trajectories of points found in the literature.
△ Less
Submitted 3 May, 2013; v1 submitted 15 January, 2013;
originally announced January 2013.
-
Smith theory and irreducible holomorphic symplectic manifolds
Authors:
Samuel Boissiere,
Marc Nieper-Wisskirchen,
Alessandra Sarti
Abstract:
We study the cohomological properties of the fixed locus $X^G$ of an automorphism group $G$ of prime order $p$ acting on a variety $X$ whose integral cohomology is torsion-free. We obtain an precise relation between the mod $p$ cohomology of $X^G$ and natural invariants for the action of $G$ on the integral cohomology of $X$. We apply these results to irreducible holomorphic symplectic manifolds o…
▽ More
We study the cohomological properties of the fixed locus $X^G$ of an automorphism group $G$ of prime order $p$ acting on a variety $X$ whose integral cohomology is torsion-free. We obtain an precise relation between the mod $p$ cohomology of $X^G$ and natural invariants for the action of $G$ on the integral cohomology of $X$. We apply these results to irreducible holomorphic symplectic manifolds of deformation type of the Hilbert scheme of two points on a K3 surface: the main result of this paper is a formula relating the dimension of the mod $p$ cohomology of $X^G$ with the rank and the discriminant of the invariant lattice in the second cohomology space with integer coefficients of $X$.
△ Less
Submitted 6 July, 2012; v1 submitted 18 April, 2012;
originally announced April 2012.
-
Coherent states of the Euclidean group and activation regions of primary visual cortex
Authors:
Davide Barbieri,
Giovanna Citti,
Gonzalo Sanguinetti,
Alessandro Sarti
Abstract:
The uncertainty principle of SE(2) allows to construct a coherent states transform that is strictly related to the Bargmann transform for the second Heisenberg group H2. The corresponding target space is characterized constructively and related to the almost complex structure of SE(2) as a contact manifold. Such a coherent state transform provides a model for neural activity maps in the primary vi…
▽ More
The uncertainty principle of SE(2) allows to construct a coherent states transform that is strictly related to the Bargmann transform for the second Heisenberg group H2. The corresponding target space is characterized constructively and related to the almost complex structure of SE(2) as a contact manifold. Such a coherent state transform provides a model for neural activity maps in the primary visual cortex, that are then described in terms of minimal uncertainty states. The results of the model are compared with the experimental measurements.
△ Less
Submitted 2 November, 2011;
originally announced November 2011.
-
The Berglund-Hübsch-Chiodo-Ruan mirror symmetry for K3 surfaces
Authors:
Michela Artebani,
Samuel Boissière,
Alessandra Sarti
Abstract:
We prove that the mirror symmetry of Berglund-Hübsch-Chiodo-Ruan, applied to K3 surfaces with a non-symplectic involution, coincides with the mirror symmetry described by Dolgachev and Voisin.
We prove that the mirror symmetry of Berglund-Hübsch-Chiodo-Ruan, applied to K3 surfaces with a non-symplectic involution, coincides with the mirror symmetry described by Dolgachev and Voisin.
△ Less
Submitted 15 July, 2012; v1 submitted 13 August, 2011;
originally announced August 2011.
