arXiv subjects
Publications and source records attributed to Mattia Galeotti.
We prove a local weak Harnack inequality for nonnegative weak super-solutions to the anisotropic Trudinger equation. As an application, we show a proof of the Harnack inequality that bypasses any sort of Krylov-Safonov covering argument. We further develop an analysis of global sub-potential lower bounds which ultimately leads to the identification of a Barenblatt-type profile.
We consider a model Dirichlet problem with concave-convex and critical nonlinearity settled in Carnot groups. Our aim is to prove the existence of two positve solutions in the spirit of a famous result by Ambrosetti, Brezis and Cerami. To this aim we use a variational Perron method combined with proper estimates of a family of functions which are minimizers of the relevant Sobolev inequality. Due to the lack of boundary regularity, we also have to be careful while proving that the first solution found is a local minimizer in the proper topology.
We prove that the Benamou-Brenier formulation of the Optimal Transport problem and the Kantorovich formulation are equivalent on a sub-Riemannian connected and complete manifold $M$ without boundary and with no non-trivial abnormal geodesics, when the problems are considered between two measures with finite $2$-momentum. Furthermore, we prove the existence of a minimizer for the Benamou-Brenier formulation and link it to the optimal transport plan.
We consider a power-type mild singular perturbation of a Dirichlet semilinear critical problem settled in an open and bounded set in a Carnot group. Here, the term critical has to be understood in the sense of the Sobolev embedding. We aim to prove the existence of two positive weak solutions: the first one is obtained by means of the variational Perron's method, while for the second one we adapt a classical argument relying on proper estimates of a family of functions which mimic the role of the classical Aubin-Talenti functions in the Euclidean setting. Our results fall in the framework of semilinear PDEs in Carnot group but, as far as we know, are the first ones dealing with singular perturbations of power-type.
In their celebrated paper of 1976, Rothschild and Stein prove a lifting procedure that locally reduces to a free nilpotent Lie algebra any family of smooth vector fields $X_1,\dots,X_q$, over a manifold $M$. Then, a large class of differential operators can be lifted, and fundamental solutions on the lifted space can be re-projected to fundamental solutions of the given operators on $M$. In case that the Lie algebra $\mathfrak g=\mbox{Lie}(X_1,\dots,X_q)$ is finite dimensional but not nilpotent, this procedure could introduce a strong tilting of the space. In this paper we represent a global construction of a Lie group $G$ associated to $\mathfrak g$ that avoid this tilting problem. In particular $\mbox{Lie}(G)\cong\mathfrak g$ and a right $G$-action exists over $M$, faithful and transitive, inducing a natural projection $E\colon G\to M$. We represent the group $G$ as a direct product $M\times G^z$ where the model fiber $G^z$ has a group structure. We prove that for any simply connected manifold $M$ -- and a vast class of non-simply connected manifolds -- a fundamental solution for a differential operator $L=\sum_{α\in\mathbb N^q} r_α\cdot X^α$ of finite degree over $M$ can be obtained, via a saturation method, from a fundamental solution for the associated lifted operator over the group $G$. This is a generalization of Biagi and Bonfiglioli analogous result for homogeneous vector fields over $M=\mathbb R^n$.
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.
In a recent paper Chiodo and Farkas described the singular locus and the locus of non-canonical singularities of the moduli space of level curves. In this work we generalize their results to the moduli space $\overline{\mathcal R}_{g,G}$ of curves with a $G$-cover for any finite group $G$. We show that non-canonical singularities are of two types: $T$-curves, that is singularities lifted from the moduli space $\overline{\mathcal M}_g$ of stable curves, and $J$-curves, that is new singularities entirely characterized by the dual graph of the cover. Finally, we prove that in the case $G=S_3$, the $J$-locus is empty, which is the first fundamental step in evaluating the Kodaira dimension of $\overline{\mathcal R}_{g,S_3}$.
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.
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.
We consider the space $\mathcal R_{g,S_3}^{S_3}$ of curves with a connected $S_3$-cover, proving that for any odd genus $g\geq 13$ this moduli is of general type. Furthermore we develop a set of tools that are essential in approaching the case of $G$-covers for any finite group $G$.
In this paper, we investigate the construction of two moduli stacks of Kummer varieties. The first one is the stack $\mathcal K^{\text{abs}}_g$ of abstract Kummer varieties and the second one is the stack $\mathcal K^{\text{em}}_g$ of embedded Kummer varieties. We will prove that $\mathcal K^{\text{abs}}_g$ is a Deligne-Mumford stack and its coarse moduli space is isomorphic to $\boldsymbol A_g$, the coarse moduli space of principally polarized abelian varieties of dimension $g$. On the other hand we give a modular family $\mathcal W_g\to U$ of embedded Kummer varieties embedded in $\mathbb P^{2^g-1}\times\mathbb P^{2^g-1}$, meaning that every geometric fiber of this family is an embedded Kummer variety and every isomorphic class of such varieties appears at least once as the class of a fiber. As a consequence, we construct the coarse moduli space $\boldsymbol{\mathsf K}^{\text{em}}_2$ of embedded Kummer surfaces and prove that it is obtained from $\boldsymbol A_2$ by contracting a particular curve inside this space. We conjecture that this is a general fact: $\boldsymbol{\mathsf K}^{\text{em}}_g$ could be obtained from $\boldsymbol A_g$ via a contraction for all $g>1$.
In a series of recent papers, Chiodo, Farkas and Ludwig carry out a deep analysis of the singular locus of the moduli space of stable (twisted) curves with an $\ell$-torsion line bundle. They show that for $\ell\leq 6$ and $\ell\neq 5$ pluricanonical forms extend over any desingularization. This allows to compute the Kodaira dimension without desingularizing, as done by Farkas and Ludwig for $\ell=2$, and by Chiodo, Eisenbud, Farkas and Schreyer for $\ell=3$. Here we treat roots of line bundles on the universal curve systematically: we consider the moduli space of curves $C$ with a line bundle $L$ such that $L^{\otimes\ell}\congω_C^{\otimes k}$. New loci of canonical and non-canonical singularities appear for any $k\not\in\ell\mathbb{Z}$ and $\ell>2$, we provide a set of combinatorial tools allowing us to completely describe the singular locus in terms of dual graph. We characterize the locus of non-canonical singularities, and for small values of $\ell$ we give an explicit description.