Showing 1–37 of 37 results for author: Lê, H V

Categorical and geometric methods in statistical, manifold, and machine learning

Authors: Hông Vân Lê, Hà Quang Minh, Frederic Protin, Wilderich Tuschmann

Abstract: We present and discuss applications of the category of probabilistic morphisms, initially developed in \cite{Le2023}, as well as some geometric methods to several classes of problems in statistical, machine and manifold learning which shall be, along with many other topics, considered in depth in the forthcoming book \cite{LMPT2024}. We present and discuss applications of the category of probabilistic morphisms, initially developed in \cite{Le2023}, as well as some geometric methods to several classes of problems in statistical, machine and manifold learning which shall be, along with many other topics, considered in depth in the forthcoming book \cite{LMPT2024}. △ Less

Submitted 6 May, 2025; originally announced May 2025.

Comments: 37 p., will appear as part of a special volume in the Springer Tohoku Series in Mathematics

Probabilistic morphisms and Bayesian supervised learning

Authors: Hông Vân Lê

Abstract: In this paper, we develop category theory of Markov kernels to study categorical aspects of Bayesian inversions. As a result, we present a unified model for Bayesian supervised learning, encompassing Bayesian density estimation. We illustrate this model with Gaussian process regressions. In this paper, we develop category theory of Markov kernels to study categorical aspects of Bayesian inversions. As a result, we present a unified model for Bayesian supervised learning, encompassing Bayesian density estimation. We illustrate this model with Gaussian process regressions. △ Less

Submitted 7 July, 2025; v1 submitted 21 February, 2025; originally announced February 2025.

Comments: v.3: typos corrected, Example 4.11 expanded, 21 p., published in Math. Sbornik, 216 (2025), Nr. 5

MSC Class: 62C10; 62G05; 62G08; 18B40

Unital $C_\infty$-algebras and the real homotopy type of $(r-1)$-connected compact manifolds of dimension $\le \ell(r-1)+2$

Authors: Domenico Fiorenza, Hông Vân Lê

Abstract: We encode the real homotopy type of an $n$-dimensional $(r-1)$-connected compact manifold $M$, $ r\ge 2$ into a minimal unital $C_\infty$-structure on $H^* (M,\mathbb R)$, obtained via homotopy transfer of the unital DGCA structure of the small quotient algebra associated with a Hodge decomposition of the de Rham algebra $\mathcal A^*(M)$, which has been proposed by Fiorenza-Kawai-Lê-Schwachhöfer… ▽ More We encode the real homotopy type of an $n$-dimensional $(r-1)$-connected compact manifold $M$, $ r\ge 2$ into a minimal unital $C_\infty$-structure on $H^* (M,\mathbb R)$, obtained via homotopy transfer of the unital DGCA structure of the small quotient algebra associated with a Hodge decomposition of the de Rham algebra $\mathcal A^*(M)$, which has been proposed by Fiorenza-Kawai-Lê-Schwachhöfer in [Ann. Sc. Norm. Super Pisa (5), vol. XXII (2021), 79-107]. We prove that if $n \le \ell (r-1) +2$, with $\ell \geq 4$, the multiplication $μ_k$ on the minimal unital $C_\infty$-algebra $H^*(M,\mathbb R)$ vanishes for all $k \ge \ell-1$. This extends the results from [loc. cit.], extending the bound on the dimension from $5r-3$ to the general bound $\ell(r-1) +2$. We also prove a variant of this result, conjectured by Zhou, stating that if $n \le \ell(r-1)+4$ and $b_r (M) =1$ then the multiplication $μ_k$ for all $k \ge \ell-1$ vanishes. This implies two formality results by Cavalcanti [Math. Proc. Cambridge Philos. Soc. 141 (2006), 101-112]. We show that in any dimension $n$ the Harrison cohomology class $[μ_3]\in \mathrm {HHarr}^{3,-1}(H^* (M, \mathbb R), H^*(M, \mathbb R)) $ is a homotopy invariant of $M$ and the first obstruction to formality, and provide a detailed proof that if $n\leq 4r-1$ this is the only obstruction. Furthermore, we show that in any dimension $n$ the class $[μ_3]$ and the Bianchi-Massey tensor invented by Crowley-Nordström in [J. Topol. 13(2020), 539-575] define each other uniquely. △ Less

Submitted 30 March, 2025; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: v6, 32 p.; affiliation added, a reference added, few typos corrected. Final version. To appear in Ann. Sc. Norm. Super. Pisa

MSC Class: 55P62; 57R19; 13D03; 58A10

Supervised learning with probabilistic morphisms and kernel mean embeddings

Authors: Hông Vân Lê

Abstract: In this paper I propose a generative model of supervised learning that unifies two approaches to supervised learning, using a concept of a correct loss function. Addressing two measurability problems, which have been ignored in statistical learning theory, I propose to use convergence in outer probability to characterize the consistency of a learning algorithm. Building upon these results, I exten… ▽ More In this paper I propose a generative model of supervised learning that unifies two approaches to supervised learning, using a concept of a correct loss function. Addressing two measurability problems, which have been ignored in statistical learning theory, I propose to use convergence in outer probability to characterize the consistency of a learning algorithm. Building upon these results, I extend a result due to Cucker-Smale, which addresses the learnability of a regression model, to the setting of a conditional probability estimation problem. Additionally, I present a variant of Vapnik-Stefanuyk's regularization method for solving stochastic ill-posed problems, and using it to prove the generalizability of overparameterized supervised learning models. △ Less

Submitted 28 April, 2025; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: V6: 51 p., minor corrections

MSC Class: 46N30; 60B10; 62G05; 18N99

Semisimple elements and the little Weyl group of real semisimple $Z_m$-graded Lie algebras

Authors: Willem de Graaf, Hông Vân Lê

Abstract: We consider the semisimple orbits of a Vinberg $θ$-representation. First we take the complex numbers as base field. By a case by case analysis we show a technical result stating the equality of two sets of hyperplanes, one corresponding to the restricted roots of a Cartan subspace, the other corresponding to the complex reflections in the (little) Weyl group. The semisimple orbits have representat… ▽ More We consider the semisimple orbits of a Vinberg $θ$-representation. First we take the complex numbers as base field. By a case by case analysis we show a technical result stating the equality of two sets of hyperplanes, one corresponding to the restricted roots of a Cartan subspace, the other corresponding to the complex reflections in the (little) Weyl group. The semisimple orbits have representatives in a finite number of sets that correspond to reflection subgroups of the (little) Weyl group. One of the consequences of our technical result is that the elements in a fixed such set all have the same stabilizer in the acting group. Secondly we study what happens when the base field is the real numbers. We look at Cartan subspaces and show that the real Cartan subspaces can be classified by the first Galois cohomology set of the normalizer of a fixed real Cartan subspace. In the real case the orbits can be classified using Galois cohomology. However, in order for that to work we need to know which orbits have a real representative. We show a theorem that characterizes the orbits of homogeneous semisimple elements that do have such a real representative. This closely follows and generalizes a theorem from \cite{bgl}. △ Less

Submitted 22 April, 2024; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: Revised version, 18 p

MSC Class: 11E72; 20G05; 20G20

Journal ref: Linear Algebra and its Applications Volume 703 , 15 December 2024, Pages 423-445

Natural differentiable structures on statistical models and the Fisher metric

Authors: Hông Vân Lê

Abstract: In this paper I discuss the relation between the concept of the Fisher metric and the concept of differentiability of a family of probability measures. I compare the concepts of smooth statistical manifolds, differentiable families of measures, $k$-integrable parameterized measure models, diffeological statistical models, differentiable measures, which arise in Information Geometry, mathematical s… ▽ More In this paper I discuss the relation between the concept of the Fisher metric and the concept of differentiability of a family of probability measures. I compare the concepts of smooth statistical manifolds, differentiable families of measures, $k$-integrable parameterized measure models, diffeological statistical models, differentiable measures, which arise in Information Geometry, mathematical statistics and measure theory, and discuss some related problems. △ Less

Submitted 9 December, 2022; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: 22p. submitted version to Information Geometry

MSC Class: 53B12; 6202; 62B11

CR-twistor spaces over manifolds with $G_2$- and $Spin(7)$-structures

Authors: Domenico Fiorenza, Hông Vân Lê

Abstract: In 1984 LeBrun constructed a CR-twistor space over an arbitrary conformal Riemannian 3-manifold and proved that the CR-structure is formally integrable. This twistor construction has been generalized by Rossi in 1985 for $m$-dimensional Riemannian manifolds endowed with a $(m-1)$-fold vector cross product (VCP). In 2011 Verbitsky generalized LeBrun's construction of twistor-spaces to $7$-manifolds… ▽ More In 1984 LeBrun constructed a CR-twistor space over an arbitrary conformal Riemannian 3-manifold and proved that the CR-structure is formally integrable. This twistor construction has been generalized by Rossi in 1985 for $m$-dimensional Riemannian manifolds endowed with a $(m-1)$-fold vector cross product (VCP). In 2011 Verbitsky generalized LeBrun's construction of twistor-spaces to $7$-manifolds endowed with a $G_2$-structure. In this paper we unify and generalize LeBrun's, Rossi's and Verbitsky's construction of a CR-twistor space to the case where a Riemannian manifold $(M, g)$ has a VCP structure. We show that the formal integrability of the CR-structure is expressed in terms of a torsion tensor on the twistor space, which is a Grassmanian bundle over $(M, g)$. If the VCP structure on $(M,g)$ is generated by a $G_2$- or $Spin(7)$-structure, then the vertical component of the torsion tensor vanishes if and only if $(M, g)$ has constant curvature, and the horizontal component vanishes if and only if $(M,g)$ is a torsion-free $G_2$ or $Spin(7)$-manifold. Finally we discuss some open problems. △ Less

Submitted 12 November, 2022; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: Version 3: 35 p. the main theorem is strengthened, a few straightforward computations are omitted, the exposition is improved

MSC Class: 53C28; 53C10; 22E45

Journal ref: AMPA 2023

Classification of real trivectors in dimension nine

Authors: Mikhail Borovoi, Willem A. de Graaf, Hông Vân Lê

Abstract: We classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was obtained by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Lie algebra… ▽ More We classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was obtained by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Lie algebra of type E_8. This divides the trivectors into three groups: nilpotent, semisimple, and mixed trivectors. Our classification follows the same pattern. We use Galois cohomology, first and second, to obtain the classification over R. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: Shortened version (submitted to a journal) of arXiv:2106.00246 [math.RT]; 38 pages

MSC Class: Primary: 15A21; Secondary: 11E72; 20G05; 20G20

Unified modelling of epidemics by coupled dynamics via Monte-Carlo Markov Chain algorithms

Authors: Frédéric Protin, Martel Jules, Duc Thang Nguyen, Hang T. T. Nguyen, Charles Piffault, Willy Rodríguez, Susely Figueroa Iglesias, Tat Dat Tô, Wilderich Tuschmann, Hông Vân Lê, Tenan Yeo, Tien Zung Nguyen

Abstract: To forecast the time dynamics of an epidemic, we propose a discrete stochastic model that unifies and generalizes previous approaches to the subject. Viewing a given population of individuals or groups of individuals with given health state attributes as living in and moving between the nodes of a graph, we use Monte-Carlo Markov Chain techniques to simulate the movements and health state changes… ▽ More To forecast the time dynamics of an epidemic, we propose a discrete stochastic model that unifies and generalizes previous approaches to the subject. Viewing a given population of individuals or groups of individuals with given health state attributes as living in and moving between the nodes of a graph, we use Monte-Carlo Markov Chain techniques to simulate the movements and health state changes of the individuals according to given probabilities of stay that have been preassigned to each of the nodes. We utilize this model to either capture and predict the future geographic evolution of an epidemic in time, or the evolution of an epidemic inside a heterogeneous population which is divided into homogeneous sub-populations, or, more generally, its evolution in a combination or superposition of the previous two contexts. We also prove that when the size of the population increases and a natural hypothesis is satisfied, the stochastic process associated to our model converges to a deterministic process. Indeed, when the length of the time step used in the discrete model converges to zero, in the limit this deterministic process is driven by a differential equation yielding the evolution of the expectation value of the number of infected as a function of time. In the second part of the paper, we apply our model to study the evolution of the Covid-19 epidemic. We deduce a decomposition of the function yielding the number of infectious individuals into "wavelets", which allows to trace in time the expectation value for the number of infections inside each sub-population. Within this framework, we also discuss possible causes for the occurrence of multiple epidemiological waves. △ Less

Submitted 25 June, 2021; originally announced June 2021.

Real graded Lie algebras, Galois cohomology, and classification of trivectors in R^9

Authors: Mikhail Borovoi, Willem A. de Graaf, Hông Vân Lê

Abstract: In this paper we classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was done by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Li… ▽ More In this paper we classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was done by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Lie algebra of type E8. This divides the trivectors into three groups: nilpotent, semisimple, and mixed trivectors. Our classification follows the same pattern. We use Galois cohomology to obtain the classification over R. For the nilpotent orbits this is in principle rather straightforward and the main problem is to determine the first Galois cohomology sets of a long list of centralizers (we compute the centralizers using computer). For the semisimple and mixed orbits we develop new methods based on Galois cohomology, first and second. We also consider real theta-representations in general, and derive a number of results that are useful for the classification of their orbits. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Comments: 137 pages

MSC Class: 15A21 (Primary) 11E72; 20G05; 20G20 (Secondary)

Nonparametric estimations and the diffeological Fisher metric

Authors: Hông Vân Lê, Alexey A. Tuzhilin

Abstract: In this paper, first, we survey the concept of diffeological Fisher metric and its naturality, using functorial language of probability morphisms, and slightly extending Lê's theory in \cite{Le2020} to include weakly $C^k$-diffeological statistical models. Then we introduce the resulting notions of the diffeological Fisher distance, the diffeological Hausdorff--Jeffrey measure and explain their ro… ▽ More In this paper, first, we survey the concept of diffeological Fisher metric and its naturality, using functorial language of probability morphisms, and slightly extending Lê's theory in \cite{Le2020} to include weakly $C^k$-diffeological statistical models. Then we introduce the resulting notions of the diffeological Fisher distance, the diffeological Hausdorff--Jeffrey measure and explain their role in classical and Bayesian nonparametric estimation problems in statistics. △ Less

Submitted 30 March, 2021; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: final version, 20 p.. version 1: 17 p. comments are welcome!

MSC Class: 62G05; 28A75

Journal ref: In: Barbaresco F., Nielsen F. (eds) Geometric Structures of Statistical Physics, Information Geometry, and Learning, p. 120-138, SPIGL 2020. Springer Proceedings in Mathematics & Statistics, vol 361. Springer, Cham

Epidemic Dynamics via Wavelet Theory and Machine Learning, with Applications to Covid-19

Authors: Tô Tat Dat, Protin Frédéric, Nguyen T. T. Hang, Martel Jules, Nguyen Duc Thang, Charles Piffault, Rodríguez Willy, Figueroa Susely, Hông Vân Lê, Wilderich Tuschmann, Nguyen Tien Zung

Abstract: We introduce the concept of epidemic-fitted wavelets which comprise, in particular, as special cases the number $I(t)$ of infectious individuals at time $t$ in classical SIR models and their derivatives. We present a novel method for modelling epidemic dynamics by a model selection method using wavelet theory and, for its applications, machine learning based curve fitting techniques. Our universal… ▽ More We introduce the concept of epidemic-fitted wavelets which comprise, in particular, as special cases the number $I(t)$ of infectious individuals at time $t$ in classical SIR models and their derivatives. We present a novel method for modelling epidemic dynamics by a model selection method using wavelet theory and, for its applications, machine learning based curve fitting techniques. Our universal models are functions that are finite linear combinations of epidemic-fitted wavelets. We apply our method by modelling and forecasting, based on the John Hopkins University dataset, the spread of the current Covid-19 (SARS-CoV-2) epidemic in France, Germany, Italy and the Czech Republic, as well as in the US federal states New York and Florida. △ Less

Submitted 13 November, 2020; v1 submitted 26 October, 2020; originally announced October 2020.

Comments: References added, typos fixed, projections updated, minor mistakes corrected

Journal ref: Biology 2020, 9(12), 477

Differentiation of measures on complete Riemannian manifolds

Authors: Jürgen Jost, Hông Vân Lê, Tat Dat Tran

Abstract: In this note we give a new proof of a version of the Besicovitch covering theorem, given in \cite{EG1992}, \cite{Bogachev2007} and extended in \cite{Federer1969}, for locally finite Borel measures on finite dimensional complete Riemannian manifolds $(M,g)$. As a consequence, we prove a differentiation theorem for Borel measures on $(M,g)$, which gives a formula for the Radon-Nikodym density of two… ▽ More In this note we give a new proof of a version of the Besicovitch covering theorem, given in \cite{EG1992}, \cite{Bogachev2007} and extended in \cite{Federer1969}, for locally finite Borel measures on finite dimensional complete Riemannian manifolds $(M,g)$. As a consequence, we prove a differentiation theorem for Borel measures on $(M,g)$, which gives a formula for the Radon-Nikodym density of two nonnegative locally finite Borel measures $ν_1, ν_2$ on $(M, g)$ such that $ν_1 \ll ν_2$, extending the known case when $(M, g)$ is a standard Euclidean space. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Comments: 13 p., This is a revised version of the Appendix in our earlier e-print arXiv:1905.11448

Formally integrable complex structures on higher dimensional knot spaces

Authors: Domenico Fiorenza, Hông Vân Lê

Abstract: Let $S$ be a compact oriented finite dimensional manifold and $M$ a finite dimensional Riemannian manifold, let ${\rm Imm}_f(S,M)$ the space of all free immersions $\varphi:S \to M$ and let $B^+_{i,f}(S,M)$ the quotient space ${\rm Imm}_f(S,M)/{\rm Diff}^+(S)$, where ${\rm Diff}^+(S)$ denotes the group of orientation preserving diffeomorphisms of $S$. In this paper we prove that if $M$ admits a pa… ▽ More Let $S$ be a compact oriented finite dimensional manifold and $M$ a finite dimensional Riemannian manifold, let ${\rm Imm}_f(S,M)$ the space of all free immersions $\varphi:S \to M$ and let $B^+_{i,f}(S,M)$ the quotient space ${\rm Imm}_f(S,M)/{\rm Diff}^+(S)$, where ${\rm Diff}^+(S)$ denotes the group of orientation preserving diffeomorphisms of $S$. In this paper we prove that if $M$ admits a parallel $r$-fold vector cross product $\varphi \in Ω^r(M, TM)$ and $\dim S = r-1$ then $B^+_{i,f}(S,M)$ is a formally Kähler manifold. This generalizes Brylinski's, LeBrun's and Verbitsky's results for the case that $S$ is a codimension 2 submanifold in $M$, and $S = S^1$ or $M$ is a torsion-free $G_2$-manifold respectively. △ Less

Submitted 17 October, 2020; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 18p version 2: 18p. final version, accepted for Journal of Symplectic Geometry

MSC Class: 58D10; 53D15; 46T10

Classification of $k$-forms on ${\bf R}^n$ and the existence of associated geometry on manifolds

Authors: Hông Vân Lê, Jiří Vanžura

Abstract: In this paper we survey methods and results of classification of $k$-forms (resp. $k$-vectors on ${\bf R}^n$), understood as description of the orbit space of the standard ${\bf GL}(n, {\bf R})$-action on $Λ^k {\bf R}^{n*}$ (resp. on $Λ^k {\bf R}^n$). We discuss the existence of related geometry defined by differential forms on smooth manifolds. This paper also contains an Appendix by Mikhail Boro… ▽ More In this paper we survey methods and results of classification of $k$-forms (resp. $k$-vectors on ${\bf R}^n$), understood as description of the orbit space of the standard ${\bf GL}(n, {\bf R})$-action on $Λ^k {\bf R}^{n*}$ (resp. on $Λ^k {\bf R}^n$). We discuss the existence of related geometry defined by differential forms on smooth manifolds. This paper also contains an Appendix by Mikhail Borovoi on Galois cohomology methods for finding real forms of complex orbits. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Comments: 21. p

Journal ref: Chebyshevskii Sbornik, v. 21 (2020), 352-372

Diffeological statistical models, the Fisher metric and probabilistic mappings

Authors: Hông Vân Lê

Abstract: In this note we introduce the notion of a $C^k$-diffeological statistical model, which allows us to apply the theory of diffeological spaces to (possibly singular) statistical models. In particular, we introduce a class of almost 2-integrable $C^k$-diffeological statistical models that encompasses all known statistical models for which the Fisher metric is defined. This class contains a statistica… ▽ More In this note we introduce the notion of a $C^k$-diffeological statistical model, which allows us to apply the theory of diffeological spaces to (possibly singular) statistical models. In particular, we introduce a class of almost 2-integrable $C^k$-diffeological statistical models that encompasses all known statistical models for which the Fisher metric is defined. This class contains a statistical model which does not appear in the Ay-Jost-Lê-Schwachhöfer theory of parametrized measure models. Then we show that for any positive integer $k$ the class of almost 2-integrable $C^k$-diffeological statistical models is preserved under probabilistic mappings. Furthermore, the monotonicity theorem for the Fisher metric also holds for this class. As a consequence, the Fisher metric on an almost 2-integrable $C^k$-diffeological statistical model $P \subset {\cal P}({\cal X})$ is preserved under any probabilistic mapping $T: {\cal X}\leadsto {\cal Y}$ that is sufficient w.r.t. $P$. Finally we extend the Cramér-Rao inequality to the class of 2-integrable $C^k$-diffeological statistical models. △ Less

Submitted 21 January, 2020; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: 16 p., final version, accepted to Journal Mathematics/MDPI

MSC Class: 62B-05; 62F-10

Journal ref: Mathematics 2020, 8(2), 167

Probabilistic morphisms and Bayesian nonparametrics

Authors: Jürgen Jost, Hông Vân Lê, Tat Dat Tran

Abstract: In this paper we develop a functorial language of probabilistic morphisms and apply it to some basic problems in Bayesian nonparametrics. First we extend and unify the Kleisli category of probabilistic morphisms proposed by Lawvere and Giry with the category of statistical models proposed by Chentsov and Morse-Sacksteder. Then we introduce the notion of a Bayesian statistical model that formalizes… ▽ More In this paper we develop a functorial language of probabilistic morphisms and apply it to some basic problems in Bayesian nonparametrics. First we extend and unify the Kleisli category of probabilistic morphisms proposed by Lawvere and Giry with the category of statistical models proposed by Chentsov and Morse-Sacksteder. Then we introduce the notion of a Bayesian statistical model that formalizes the notion of a parameter space with a given prior distribution in Bayesian statistics. {We revisit the existence of a posterior distribution, using probabilistic morphisms}. In particular, we give an explicit formula for posterior distributions of the Bayesian statistical model, assuming that the underlying parameter space is a Souslin space and the sample space is a subset in a complete connected finite dimensional Riemannian manifold. Then we give a new proof of the existence of Dirichlet measures over any measurable space using a functorial property of the Dirichlet map constructed by Sethuraman. △ Less

Submitted 21 March, 2021; v1 submitted 27 May, 2019; originally announced May 2019.

Comments: Final version: 22 p. Version 2: minor corrections, Proposition 2.10 added, improved presentation, 39 p., version 1: 38 p. comments welcome!

MSC Class: 62G99; 18C20; 28C20

Journal ref: Eur. Phys. J. Plus (2021) 136:441

Almost formality of manifolds of low dimension

Authors: Domenico Fiorenza, Kotaro Kawai, Hông Vân Lê, Lorenz Schwachhöfer

Abstract: In this paper we introduce the notion of Poincaré DGCAs of Hodge type, which is a subclass of Poincaré DGCAs encompassing the de Rham algebras of closed orientable manifolds. Then we introduce the notion of the small algebra and the small quotient algebra of a Poincaré DGCA of Hodge type. Using these concepts, we investigate the equivalence class of $(r-1)$ connected $(r>1)$ Poincaré DGCAs of Hodg… ▽ More In this paper we introduce the notion of Poincaré DGCAs of Hodge type, which is a subclass of Poincaré DGCAs encompassing the de Rham algebras of closed orientable manifolds. Then we introduce the notion of the small algebra and the small quotient algebra of a Poincaré DGCA of Hodge type. Using these concepts, we investigate the equivalence class of $(r-1)$ connected $(r>1)$ Poincaré DGCAs of Hodge type. In particular, we show that a $(r-1)$ connected Poincaré DGCA of Hodge type ${\mathcal A}^\ast$ of dimension $n \le 5r-3$ is $A_\infty$-quasi-isomorphic to an $A_3$-algebra and prove that the only obstruction to the formality of ${\mathcal A}^\ast$ is a distinguished Harrison cohomology class $[μ_3] \in {\mathsf{Harr}}^{3,-1} (H^*({\mathcal A}^\ast), H^*({\mathcal A}^\ast))$. Moreover, the cohomology class $[μ_3]$ and the DGCA isomorphism class of $H^*({\mathcal A}^\ast)$ determine the $A_\infty$-quasi-isomorphism class of ${\mathcal A}^\ast$. This can be seen as a Harrison cohomology version of the Crowley-Nordström results [D. Crowley, J. Nordström, The rational homotopy type of $(n-1)$-connected manifolds of dimension up to $5n-3$, arXiv:1505.04184v2] on rational homotopy type of $(r-1)$-connected $(r>1)$ closed manifolds of dimension up to $5r-3$. We also derive the almost formality of closed $G_2$-manifolds, which have been discovered recently by Chan-Karigiannis-Tsang in [K.F. Chan, S. Karigiannis and C.C. Tsang, The ${\mathcal L}_B$-cohomology on compact torsion-free ${\rm G}_2$ manifolds and an application to `almost' formality, arXiv:1801.06410, to appear in Ann. Global Anal. Geom.], from our results and the Cheeger-Gromoll splitting theorem. △ Less

Submitted 29 May, 2023; v1 submitted 22 February, 2019; originally announced February 2019.

Comments: A couple of possibly confusing typos have been corrected: in the Introduction an occurrence of $A_\infty$ should have been $C_\infty$ (or $Comm_\infty$); immediately after equation (4.1) an index $k$ should have been $r$ instead

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XXII (2021), 79-107

Frölicher-Nijenhuis bracket on manifolds with special holonomy

Authors: Kotaro Kawai, Hông Vân Lê, Lorenz Schwachhöfer

Abstract: In this article, we summarize our recent results on the study of manifolds with special holonomy via the Frölicher-Nijenhuis bracket. This bracket enables us to define the Frölicher-Nijenhuis cohomologies which are analogues of the $d^c$ and the Dolbeault cohomologies in Kähler geometry, and assigns an $L_\infty$-algebra to each associative submanifold. We provide several concrete computations of… ▽ More In this article, we summarize our recent results on the study of manifolds with special holonomy via the Frölicher-Nijenhuis bracket. This bracket enables us to define the Frölicher-Nijenhuis cohomologies which are analogues of the $d^c$ and the Dolbeault cohomologies in Kähler geometry, and assigns an $L_\infty$-algebra to each associative submanifold. We provide several concrete computations of the Frölicher-Nijenhuis cohomology. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Comments: 14 pages, To appear in a forthcoming volume of the Fields Institute Communications, entitled "Lectures and Surveys on G2 manifolds and related topics". arXiv admin note: text overlap with arXiv:1703.05133

Strongly homotopy Lie algebras and deformations of calibrated submanifolds

Authors: Domenico Fiorenza, Hông Vân Lê, Lorenz Schwachhöfer, Luca Vitagliano

Abstract: For an element $Ψ$ in the graded vector space $Ω^*(M, TM)$ of tangent bundle valued forms on a smooth manifold $M$, a $Ψ$-submanifold is defined as a submanifold $N$ of $M$ such that $Ψ_{|N} \in Ω^*(N, TN)$. The class of $Ψ$-submanifolds encompasses calibrated submanifolds, complex submanifolds and all Lie subgroups in compact Lie groups. The graded vector space $Ω^*(M, TM)$ carries a natural grad… ▽ More For an element $Ψ$ in the graded vector space $Ω^*(M, TM)$ of tangent bundle valued forms on a smooth manifold $M$, a $Ψ$-submanifold is defined as a submanifold $N$ of $M$ such that $Ψ_{|N} \in Ω^*(N, TN)$. The class of $Ψ$-submanifolds encompasses calibrated submanifolds, complex submanifolds and all Lie subgroups in compact Lie groups. The graded vector space $Ω^*(M, TM)$ carries a natural graded Lie algebra structure, given by the Frölicher-Nijenhuis bracket $[-,- ]^{FN}$. When $Ψ$ is an odd degree element with $[ Ψ, Ψ]^{FN} =0$, we associate to a $Ψ$-submanifold $N$ a strongly homotopy Lie algebra, which governs the formal and (under certain assumptions) smooth deformations of $N$ as a $Ψ$-submanifold, and we show that under certain assumptions these deformations form an analytic variety. As an application we revisit formal and smooth deformation theory of complex closed submanifolds and of $\varphi$-calibrated closed submanifolds, where $\varphi$ is a parallel form in a real analytic Riemannian manifold. △ Less

Submitted 7 September, 2020; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: Ver3: 32 p, final version, accepted to Asian Journal of Math. Version 2: 31 p, the multisymplecticity assumption in Theorem 6.4 is replaced by the analyticity assumption, comments welcome. Version 1: 30 pages, comments are welcome!

MSC Class: 32G10; 53C38; 17B55; 53C29; 58D27

A Novikov fundamental group

Authors: Jean-François Barraud, Agnès Gadbled, Hông Vân Lê, Roman Golovko

Abstract: Given a $1$-cohomology class $u$ on a closed manifold $M$, we define a Novikov fundamental group associated to $u$, generalizing the usual fundamental group in the same spirit as Novikov homology generalizes Morse homology to the case of non exact $1$-forms. As an application, lower bounds for the minimal number of index $1$ and $2$ critical points of Morse closed $1$-forms are obtained, that ar… ▽ More Given a $1$-cohomology class $u$ on a closed manifold $M$, we define a Novikov fundamental group associated to $u$, generalizing the usual fundamental group in the same spirit as Novikov homology generalizes Morse homology to the case of non exact $1$-forms. As an application, lower bounds for the minimal number of index $1$ and $2$ critical points of Morse closed $1$-forms are obtained, that are different in nature from those derived from the Novikov homology. △ Less

Submitted 22 June, 2018; v1 submitted 27 October, 2017; originally announced October 2017.

Comments: 39 pages, 4 drawings (inkscape) Added a discussion of an Hurewicz morphism and examples

MSC Class: 57R19 (Primary) 57R70; 57R17 (Secondary)

Congruent families and invariant tensors

Authors: Lorenz Schwachhöfer, Nihat Ay, Jürgen Jost, Hông Vân Lê

Abstract: Classical results of Chentsov and Campbell state that -- up to constant multiples -- the only $2$-tensor field of a statistical model which is invariant under congruent Markov morphisms is the Fisher metric and the only invariant $3$-tensor field is the Amari-Chentsov tensor. We generalize this result for arbitrary degree $n$, showing that any family of $n$-tensors which is invariant under congrue… ▽ More Classical results of Chentsov and Campbell state that -- up to constant multiples -- the only $2$-tensor field of a statistical model which is invariant under congruent Markov morphisms is the Fisher metric and the only invariant $3$-tensor field is the Amari-Chentsov tensor. We generalize this result for arbitrary degree $n$, showing that any family of $n$-tensors which is invariant under congruent Markov morphisms is algebraically generated by the canonical tensor fields defined in an earlier paper. △ Less

Submitted 31 May, 2017; originally announced May 2017.

The Cramér-Rao inequality on singular statistical models I

Authors: Jürgen Jost, Hông Vân Lê, Lorenz Schwachhöfer

Abstract: We introduce the notion of the essential tangent bundle of a parametrized measure model and the notion of reduced Fisher metric on a (possibly singular) 2-integrable measure model. Using these notions and a new characterization of $k$-integrable parametrized measure models, we extend the Cramér-Rao inequality to $2$-integrable (possibly singular) statistical models for general $\varphi$-estimation… ▽ More We introduce the notion of the essential tangent bundle of a parametrized measure model and the notion of reduced Fisher metric on a (possibly singular) 2-integrable measure model. Using these notions and a new characterization of $k$-integrable parametrized measure models, we extend the Cramér-Rao inequality to $2$-integrable (possibly singular) statistical models for general $\varphi$-estimations, where $\varphi$ is a $V$-valued feature function and $V$ is a topological vector space. Thus we derive an intrinsic Cramér-Rao inequality in the most general terms of parametric statistics. △ Less

Submitted 20 July, 2017; v1 submitted 28 March, 2017; originally announced March 2017.

Comments: v.2: 28 p, New subsections: 4.4, 4.5, 4.6

MSC Class: 62G07; 62H12

Frölicher-Nijenhuis cohomology on $G_2$- and ${\rm Spin}(7)$-manifolds

Authors: Kotaro Kawai, Hông Vân Lê, Lorenz Schwachhöfer

Abstract: In this paper we show that a parallel differential form $Ψ$ of even degree on a Riemannian manifold allows to define a natural differential both on $Ω^\ast(M)$ and $Ω^\ast(M, TM)$, defined via the Frölicher-Nijenhuis bracket. For instance, on a Kähler manifold, these operators are the complex differential and the Dolbeault differential, respectively. We investigate this construction when taking th… ▽ More In this paper we show that a parallel differential form $Ψ$ of even degree on a Riemannian manifold allows to define a natural differential both on $Ω^\ast(M)$ and $Ω^\ast(M, TM)$, defined via the Frölicher-Nijenhuis bracket. For instance, on a Kähler manifold, these operators are the complex differential and the Dolbeault differential, respectively. We investigate this construction when taking the differential w.r.t. the canonical parallel $4$-form on a $G_2$- and ${\rm Spin}(7)$-manifold, respectively. We calculate the cohomology groups of $Ω^\ast(M)$ and give a partial description of the cohomology of $Ω^\ast(M, TM)$. △ Less

Submitted 22 February, 2019; v1 submitted 15 March, 2017; originally announced March 2017.

Comments: Revised version published in Internat. J. Math. 29 (2018), no. 12

MSC Class: Primary: 53C25; 53C29; Secondary: 17B56; 17B66

Frölicher-Nijenhuis bracket and geometry of $G_2$-and ${\rm Spin}(7)$-manifolds

Authors: Kotaro Kawai, Hông Vân Lê, Lorenz Schwachhöfer

Abstract: We extend the characterization of the integrability of an almost complex structure $J$ on differentiable manifolds via the vanishing of the Frölicher-Nijenhuis bracket $[J, J] ^{FN}$ to an analogous characterization of torsion-free $G_2$-structures and torsion-free Spin(7)-structures. We also explain the Fernández-Gray classification of $G_2$-structures and the Fernández classification of Spin(7)-… ▽ More We extend the characterization of the integrability of an almost complex structure $J$ on differentiable manifolds via the vanishing of the Frölicher-Nijenhuis bracket $[J, J] ^{FN}$ to an analogous characterization of torsion-free $G_2$-structures and torsion-free Spin(7)-structures. We also explain the Fernández-Gray classification of $G_2$-structures and the Fernández classification of Spin(7)-structures in terms of the Frölicher-Nijenhuis bracket. △ Less

Submitted 2 August, 2017; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: v3: 25 p. final version with improved and shortened presentation, accepted for Annali di Matematica Pura ed Applicata. v2: 36 p. Completely revised and shortened version. The part on new cohomology invariants is removed and will be extended in a forthcoming paper. v 1: 55 p. Comments are welcome!

McLean's second variation formula revisited

Authors: Hông Vân Lê, Jirí Vanzura

Abstract: We revisit McLean's second variation formulas for calibrated submanifolds in exceptional geometries, and correct his formulas concerning associative submanifolds and Cayley submanifolds, using a unified treatment based on the (relative) calibration method and Harvey-Lawson's identities. We revisit McLean's second variation formulas for calibrated submanifolds in exceptional geometries, and correct his formulas concerning associative submanifolds and Cayley submanifolds, using a unified treatment based on the (relative) calibration method and Harvey-Lawson's identities. △ Less

Submitted 1 August, 2016; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 14 p final version. Remark 4.6 on McLean's formula added

MSC Class: 53C40; 53C38

Journal ref: JGP, 113 (2017), p.188-196

Jacobi bundles and the BFV-complex

Authors: Hông Vân Lê, Alfonso G. Tortorella, Luca Vitagliano

Abstract: We extend the construction of the BFV-complex of a coisotropic submanifold from the Poisson setting to the Jacobi setting. In particular, our construction applies in the contact and l.c.s. settings. The BFV-complex of a coisotropic submanifold $S$ controls the coisotropic deformation problem of $S$ under both Hamiltonian and Jacobi equivalence. We extend the construction of the BFV-complex of a coisotropic submanifold from the Poisson setting to the Jacobi setting. In particular, our construction applies in the contact and l.c.s. settings. The BFV-complex of a coisotropic submanifold $S$ controls the coisotropic deformation problem of $S$ under both Hamiltonian and Jacobi equivalence. △ Less

Submitted 19 August, 2017; v1 submitted 18 January, 2016; originally announced January 2016.

Comments: v2: 51 pages, added a new section on an obstructed example in the contact setting, final version to appear in J. Geom. Phys., comments still welcome!

MSC Class: 53D35; 53D17; 16E45

Journal ref: J. Geom. Phys. 121C (2017) 347-377

Parametrized measure models

Authors: Nihat Ay, Jürgen Jost, Hông Vân Lê, Lorenz Schwachhöfer

Abstract: We develope a new and general notion of parametric measure models and statistical models on an arbitrary sample space $Ω$ which does not assume that all measures of the model have the same null sets. This is given by a diffferentiable map from the parameter manifold $M$ into the set of finite measures or probability measures on $Ω$, respectively, which is differentiable when regarded as a map into… ▽ More We develope a new and general notion of parametric measure models and statistical models on an arbitrary sample space $Ω$ which does not assume that all measures of the model have the same null sets. This is given by a diffferentiable map from the parameter manifold $M$ into the set of finite measures or probability measures on $Ω$, respectively, which is differentiable when regarded as a map into the Banach space of all signed measures on $Ω$. Furthermore, we also give a rigorous definition of roots of measures and give a natural definition of the Fisher metric and the Amari-Chentsov tensor as the pullback of tensors defined on the space of roots of measures. We show that many features such as the preservation of this tensor under sufficient statistics and the monotonicity formula hold even in this very general set-up. △ Less

Submitted 14 July, 2017; v1 submitted 25 October, 2015; originally announced October 2015.

Comments: 29 pages, final version to appear in Bernoulli Journal

MSC Class: 53C99; 62B05

Compact symplectic manifolds of low cohomogeneity (corrected version)

Authors: Hông Vân Lê

Abstract: This is a corrected version of my paper published in Journal of Geometry and Physics 25(1998), 205-226. I added missing cases to the classification theorem 1.1, namely the $SO(n+1)$-manifold $SO(n +2)/ (SO (n) \times SO(2))$, the $SO(3)$-manifold $C P^2$ and the $SU(3)$-manifold $C P^1 \times C P^1$. This is a corrected version of my paper published in Journal of Geometry and Physics 25(1998), 205-226. I added missing cases to the classification theorem 1.1, namely the $SO(n+1)$-manifold $SO(n +2)/ (SO (n) \times SO(2))$, the $SO(3)$-manifold $C P^2$ and the $SU(3)$-manifold $C P^1 \times C P^1$. △ Less

Submitted 24 April, 2015; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: 25 p. v2: Corollary 1 is simplified, two footnotes on p.2 and 6 are added. Comments are welcome!

Journal ref: Journal of Geometry and Physics 96 (2015) 212-215

Deformations of Coisotropic Submanifolds in Jacobi Manifolds

Authors: Hông Vân Lê, Yong-Geun Oh, Alfonso G. Tortorella, Luca Vitagliano

Abstract: In this paper, we attach an $L_\infty$-algebra to any coisotropic submanifold in a Jacobi manifold. Our construction generalizes and unifies analogous constructions by Oh-Park (symplectic case), Cattaneo-Felder (Poisson case), Lê-Oh (locally conformal symplectic case). As a new special case, we attach an $L_\infty$-algebra to any coisotropic submanifold in a contact manifold. The $L_\infty$-algebr… ▽ More In this paper, we attach an $L_\infty$-algebra to any coisotropic submanifold in a Jacobi manifold. Our construction generalizes and unifies analogous constructions by Oh-Park (symplectic case), Cattaneo-Felder (Poisson case), Lê-Oh (locally conformal symplectic case). As a new special case, we attach an $L_\infty$-algebra to any coisotropic submanifold in a contact manifold. The $L_\infty$-algebra of a coisotropic submanifold $S$ governs the (formal) deformation problem of $S$. △ Less

Submitted 24 January, 2019; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: 41 pages, v2: several revisions, title and abstract slightly changed, mathematics unchanged; final version, to appear in J. Sympl. Geom. 16 (2018)

MSC Class: 53D35; 53D17

Lagrangian submanifolds in strictly nearly Kähler 6-manifolds

Authors: Hông Vân Lê, Lorenz Schwachhöfer

Abstract: Lagrangian submanifolds in strict nearly Kähler 6-manifolds are related to special Lagrangian submanifolds in Calabi-Yau 6-manifolds and coassociative cones in $G_2$-manifolds. We prove that the mean curvature of a Lagrangian submanifold $L$ in a nearly Kähler manifold $(M^{2n}, J, g)$ is symplectically dual to the Maslov 1-form on $L$. Using relative calibrations, we derive a formula for the seco… ▽ More Lagrangian submanifolds in strict nearly Kähler 6-manifolds are related to special Lagrangian submanifolds in Calabi-Yau 6-manifolds and coassociative cones in $G_2$-manifolds. We prove that the mean curvature of a Lagrangian submanifold $L$ in a nearly Kähler manifold $(M^{2n}, J, g)$ is symplectically dual to the Maslov 1-form on $L$. Using relative calibrations, we derive a formula for the second variation of the volume of a Lagrangian submanifold $L^3$ in a strict nearly Kähler manifold $(M^6, J, g)$. This formula implies, in particular, that any formal infinitesimal Lagrangian deformation of $L^3$ is a Jacobi field on $L^3$. We describe a finite dimensional local model of the moduli space of compact Lagrangian submanifolds in a strict nearly Kähler 6-manifold. We show that there is a real analytic atlas on $(M^6, J, g)$ in which the strict nearly Kähler structure $(J, g)$ is real analytic. Furthermore, w.r.t. an analytic strict nearly Kähler structure the moduli space of Lagrangian submanifolds of $M^6$ is a real analytic variety, whence infinitesimal Lagrangian deformations are smoothly obstructed if and only if they are formally obstructed. As an application, we relate our results to the description of Lagrangian submanifolds in the sphere $S^6$ with the standard nearly Kähler structure described in \cite{Lotay2012}. △ Less

Submitted 9 December, 2015; v1 submitted 27 August, 2014; originally announced August 2014.

Comments: version3: 32 pages. Proposition 4.8 corrected

MSC Class: 53C40; 53C38; 53D12; 58D99

Application of integral geometry to minimal surfaces

Authors: Hông Vân Lê

Abstract: This is a corrected version of my paper "Application of integral geometry to minimal surfaces" appeared in International J. Math. vol. 4 Nr. 1 (1993), 89-111. The correction concerns Proposition 3.5. We discuss this correction in Appendix to the original version of my published paper by reproducing our correspondence with Professor Tasaki. This is a corrected version of my paper "Application of integral geometry to minimal surfaces" appeared in International J. Math. vol. 4 Nr. 1 (1993), 89-111. The correction concerns Proposition 3.5. We discuss this correction in Appendix to the original version of my published paper by reproducing our correspondence with Professor Tasaki. △ Less

Submitted 21 January, 2014; originally announced January 2014.

Comments: 26 p

The uniqueness of the Fisher metric as information metric

Authors: Hông Vân Lê

Abstract: We define a mixed topology on the fiber space $\cup_μ\oplus^n L^n(μ)$ over the space $\mathcal{M}(Ω)$ of all finite non-negative measures $μ$ on a separable metric space $Ω$ provided with Borel $σ$-algebra. We define a notion of strong continuity of a covariant $n$-tensor field on $\mathcal{M}(Ω)$. Under the assumption of strong continuity of an information metric we prove the uniqueness of the Fi… ▽ More We define a mixed topology on the fiber space $\cup_μ\oplus^n L^n(μ)$ over the space $\mathcal{M}(Ω)$ of all finite non-negative measures $μ$ on a separable metric space $Ω$ provided with Borel $σ$-algebra. We define a notion of strong continuity of a covariant $n$-tensor field on $\mathcal{M}(Ω)$. Under the assumption of strong continuity of an information metric we prove the uniqueness of the Fisher metric as information metric on statistical models associated with $Ω$. Our proof realizes a suggestion due to Amari and Nagaoka to derive the uniqueness of the Fisher metric from the special case proved by Chentsov by using a special kind of limiting procedure. The obtained result extends the monotonicity characterization of the Fisher metric on statistical models associated with finite sample spaces and complement the uniqueness theorem by Ay-Jost-Lê-Schwachhöfer that characterizes the Fisher metric by its invariance under sufficient statistics. △ Less

Submitted 24 January, 2016; v1 submitted 6 June, 2013; originally announced June 2013.

Comments: v.4. 18 p. Minor changes in exposition. Reference N 14 and Remark 6.3.3 are added

MSC Class: 62B10; 60B05

Lower bounds for the circuit size of partially homogeneous polynomials

Authors: Hông Vân Lê

Abstract: In this paper we associate to each multivariate polynomial $f$ that is homogeneous relative to a subset of its variables a series of polynomial families $P_λ(f)$ of $m$-tuples of homogeneous polynomials of equal degree such that the circuit size of any member in $P_λ(f)$ is bounded from above by the circuit size of $f$. This provides a method for obtaining lower bounds for the circuit size of $f$… ▽ More In this paper we associate to each multivariate polynomial $f$ that is homogeneous relative to a subset of its variables a series of polynomial families $P_λ(f)$ of $m$-tuples of homogeneous polynomials of equal degree such that the circuit size of any member in $P_λ(f)$ is bounded from above by the circuit size of $f$. This provides a method for obtaining lower bounds for the circuit size of $f$ by proving $(s,r)$-(weak) elusiveness of the polynomial mapping associated with $P_λ(f)$. We discuss some algebraic methods for proving the $(s,r)$-(weak) elusiveness. We also improve estimates in the normal homogeneous-form of an arithmetic circuit obtained by Raz in \cite{Raz2009} which results in better lower bounds for circuit size (Lemma \ref{lem:cor38}, Remark \ref{rem:cor38}). Our methods yield non-trivial lower bound for the circuit size of several classes of multivariate homogeneous polynomials (Corollary \ref{cor:412}, Example \ref{ex:bi}). △ Less

Submitted 16 March, 2015; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: 25 pages, final version, accepted to Journal of Fundamental and Applied Mathematics. Some missing definitions and coefficients in the last version have been added and corrected now

MSC Class: 03D15; 68Q17; 13P25

Journal ref: Journal of Mathematical Sciences, 225(2017), 639-647 (translated from Journal of Fundamental and Applied Mathematics 20 (2015), 153-179)

Deformations of coisotropic submanifolds in locally conformal symplectic manifolds

Authors: Hông Vân Lê, Yong-Geun Oh

Abstract: In this paper, we study deformations of coisotropic submanifolds in a locally conformal symplectic manifold. Firstly, we derive the equation that governs $C^\infty$ deformations of coisotropic submanifolds and define the corresponding $C^\infty$-moduli space of coisotropic submanifolds modulo the Hamiltonian isotopies. Secondly, we prove that the formal deformation problem is governed by an… ▽ More In this paper, we study deformations of coisotropic submanifolds in a locally conformal symplectic manifold. Firstly, we derive the equation that governs $C^\infty$ deformations of coisotropic submanifolds and define the corresponding $C^\infty$-moduli space of coisotropic submanifolds modulo the Hamiltonian isotopies. Secondly, we prove that the formal deformation problem is governed by an $L_\infty$-structure which is a $\frak b$-deformation of strong homotopy Lie algebroids introduced in Oh and Park (2005) in the symplectic context. Then we study deformations of locally conformal symplectic structures and their moduli space, and the corresponding bulk deformations of coisotropic submanifolds. Finally we revisit Zambon's obstructed infinitesimal deformation (Zambon, 2002) in this enlarged context and prove that it is still obstructed. △ Less

Submitted 28 August, 2012; v1 submitted 17 August, 2012; originally announced August 2012.

Comments: 41 pages, some simplification and improvement in presentation, typos corrected. arXiv admin note: substantial text overlap with arXiv:math/0305292

MSC Class: 53D35

Journal ref: ASIAN J. MATH. Vol. 20, No. 3, pp. 555-598, July 2016

Information geometry and sufficient statistics

Authors: Nihat Ay, Jürgen Jost, Hông Vân Lê, Lorenz Schwachhöfer

Abstract: Information geometry provides a geometric approach to families of statistical models. The key geometric structures are the Fisher quadratic form and the Amari-Chentsov tensor. In statistics, the notion of sufficient statistic expresses the criterion for passing from one model to another without loss of information. This leads to the question how the geometric structures behave under such sufficien… ▽ More Information geometry provides a geometric approach to families of statistical models. The key geometric structures are the Fisher quadratic form and the Amari-Chentsov tensor. In statistics, the notion of sufficient statistic expresses the criterion for passing from one model to another without loss of information. This leads to the question how the geometric structures behave under such sufficient statistics. While this is well studied in the finite sample size case, in the infinite case, we encounter technical problems concerning the appropriate topologies. Here, we introduce notions of parametrized measure models and tensor fields on them that exhibit the right behavior under statistical transformations. Within this framework, we can then handle the topological issues and show that the Fisher metric and the Amari-Chentsov tensor on statistical models in the class of symmetric 2-tensor fields and 3-tensor fields can be uniquely (up to a constant) characterized by their invariance under sufficient statistics, thereby achieving a full generalization of the original result of Chentsov to infinite sample sizes. More generally, we decompose Markov morphisms between statistical models in terms of statistics. In particular, a monotonicity result for the Fisher information naturally follows. △ Less

Submitted 4 December, 2013; v1 submitted 28 July, 2012; originally announced July 2012.

Comments: 37 p, final version, minor corrections, improved presentation

MSC Class: 53C99; 62B05

Journal ref: Probability Theory and Related Fields: Volume 162, Issue 1 (2015), Page 327-364

Cohomology theories on locally conformal symplectic manifolds

Authors: Hông Vân Lê, Jiři Vanžura

Abstract: In this note we introduce primitive cohomology groups of locally conformal symplectic manifolds $(M^{2n}, ω, θ)$. We study the relation between the primitive cohomology groups and the Lichnerowicz-Novikov cohomology groups of $(M^{2n}, ω, θ)$, using and extending the technique of spectral sequences developed by Di Pietro and Vinogradov for symplectic manifolds. We discuss related results by many p… ▽ More In this note we introduce primitive cohomology groups of locally conformal symplectic manifolds $(M^{2n}, ω, θ)$. We study the relation between the primitive cohomology groups and the Lichnerowicz-Novikov cohomology groups of $(M^{2n}, ω, θ)$, using and extending the technique of spectral sequences developed by Di Pietro and Vinogradov for symplectic manifolds. We discuss related results by many peoples, e.g. Bouche, Lychagin, Rumin, Tseng-Yau, in light of our spectral sequences. We calculate the primitive cohomology groups of a $(2n+2)$-dimensional locally conformal symplectic nilmanifold as well as those of a l.c.s. solvmanifold. We show that the l.c.s. solvmanifold is a mapping torus of a contactomorphism, which is not isotopic to the identity. △ Less

Submitted 15 October, 2013; v1 submitted 16 November, 2011; originally announced November 2011.

Comments: 43 pages, improved presentation, final version

MSC Class: 53D35; 57R17; 55T99

Journal ref: Asian Journal of Mathematics Volume 19 (2015) Number 1, p. 45-82