-
Jets of foliations and $b^k$-algebroids
Authors:
Francis Bischoff,
Álvaro del Pino,
Aldo Witte
Abstract:
In this article, we introduce and study singular foliations of $b^k$-type. These singular foliations formalize the properties of vector fields that are tangent to order $k$ along a submanifold $W \subset M$. Our first result is a classification of these foliations, relating them to geometric structures defined in a formal neighborhood of the submanifold, such as jets of distributions that are invo…
▽ More
In this article, we introduce and study singular foliations of $b^k$-type. These singular foliations formalize the properties of vector fields that are tangent to order $k$ along a submanifold $W \subset M$. Our first result is a classification of these foliations, relating them to geometric structures defined in a formal neighborhood of the submanifold, such as jets of distributions that are involutive up to order $k-1$.
When $W$ is a hypersurface, singular foliations of $b^k$-type are Lie algebroids. In this particular case, they are generalizations of the $b^k$-tangent bundles introduced by Scott. Indeed, they are always locally isomorphic to $b^k$-tangent bundles, but globally such an isomorphism is obstructed by a holonomy invariant. Our second main result is a Riemann-Hilbert-style classification of singular foliations of $b^k$-type in terms of holonomy representations.
In this paper, we study singular foliations of $b^k$-type from several different perspectives. In particular: (1) We study the problem of extending a $k$-th-order foliation to a $(k+1)$-th order foliation and prove that this is obstructed by a characteristic class. (2) When $W$ is a hypersurface, we give a detailed study of algebroid differential forms and extend Scott's calculation of the cohomology. (3) We study algebroid symplectic forms in terms of the geometric structures induced on $W$. In particular, we find that there is a close relationship between the above obstruction class for extensions and the symplectic variation of the symplectic foliation induced on $W$.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Castling equivalence for logarithmic flat connections
Authors:
Francis Bischoff
Abstract:
Let $X$ be a complex manifold containing a hypersurface $D$ and let $D^s$ denote the singular locus. We study the problem of extending a flat connection with logarithmic poles along $D$ from the complement $X \setminus D^s$ to all of $X$. In the setting where $D$ is a weighted homogeneous plane curve, we give a new proof of Mebkhout's theorem that extensions always exist. Our proof makes use of a…
▽ More
Let $X$ be a complex manifold containing a hypersurface $D$ and let $D^s$ denote the singular locus. We study the problem of extending a flat connection with logarithmic poles along $D$ from the complement $X \setminus D^s$ to all of $X$. In the setting where $D$ is a weighted homogeneous plane curve, we give a new proof of Mebkhout's theorem that extensions always exist. Our proof makes use of a Jordan decomposition for logarithmic connections as well as a version of Grothendieck's decomposition theorem for vector bundles over the `football' orbifold which is due to Martens and Thaddeus. In higher dimensions, we point out a close relationship between the extension problem and castling equivalence of prehomogeneous vector spaces. In particular, we show that the twisted fundamental groupoids of castling equivalent linear free divisors are `birationally' Morita equivalent and we use this to generate examples of non-extendable flat connections.
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
The derived moduli stack of logarithmic flat connections
Authors:
Francis Bischoff
Abstract:
We give an explicit finite-dimensional model for the derived moduli stack of flat connections on $\mathbb{C}^k$ with logarithmic singularities along a weighted homogeneous Saito free divisor. We investigate in detail the case of plane curves of the form $x^p = y^q$ and relate the moduli spaces to the Grothendieck-Springer resolution. We also discuss the shifted Poisson geometry of these moduli spa…
▽ More
We give an explicit finite-dimensional model for the derived moduli stack of flat connections on $\mathbb{C}^k$ with logarithmic singularities along a weighted homogeneous Saito free divisor. We investigate in detail the case of plane curves of the form $x^p = y^q$ and relate the moduli spaces to the Grothendieck-Springer resolution. We also discuss the shifted Poisson geometry of these moduli spaces. Namely, we conjecture that the map restricting a logarithmic connection to the complement of the divisor admits a shifted coisotropic structure and we construct a shifted Poisson structure on the formal neighborhood of a canonical connection in the case of plane curves $x^p = y^q$.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Normal forms and moduli stacks for logarithmic flat connections
Authors:
Francis Bischoff
Abstract:
We establish normal form theorems for a large class of singular flat connections on complex manifolds, including connections with logarithmic poles along weighted homogeneous Saito free divisors. As a result, we show that the moduli spaces of such connections admit the structure of algebraic quotient stacks. In order to prove these results, we introduce homogeneous Lie groupoids and study their re…
▽ More
We establish normal form theorems for a large class of singular flat connections on complex manifolds, including connections with logarithmic poles along weighted homogeneous Saito free divisors. As a result, we show that the moduli spaces of such connections admit the structure of algebraic quotient stacks. In order to prove these results, we introduce homogeneous Lie groupoids and study their representation theory. In this direction, we prove two main results: a Jordan-Chevalley decomposition theorem, and a linearization theorem. We give explicit normal forms for several examples of free divisors, such as homogeneous plane curves, reductive free divisors, and one of Sekiguchi's free divisors.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
Brane quantization of toric Poisson varieties
Authors:
Francis Bischoff,
Marco Gualtieri
Abstract:
In this paper we propose a noncommutative generalization of the relationship between compact Kähler manifolds and complex projective algebraic varieties. Beginning with a prequantized Kähler structure, we use a holomorphic Poisson tensor to deform the underlying complex structure into a generalized complex structure, such that the prequantum line bundle and its tensor powers deform to a sequence o…
▽ More
In this paper we propose a noncommutative generalization of the relationship between compact Kähler manifolds and complex projective algebraic varieties. Beginning with a prequantized Kähler structure, we use a holomorphic Poisson tensor to deform the underlying complex structure into a generalized complex structure, such that the prequantum line bundle and its tensor powers deform to a sequence of generalized complex branes. Taking homomorphisms between the resulting branes, we obtain a noncommutative deformation of the homogeneous coordinate ring. As a proof of concept, this is implemented for all compact toric Kähler manifolds equipped with an R-matrix holomorphic Poisson structure, resulting in what could be called noncommutative toric varieties. To define the homomorphisms between generalized complex branes, we propose a method which involves lifting each pair of generalized complex branes to a single coisotropic A-brane in the real symplectic groupoid of the underlying Poisson structure, and compute morphisms in the A-model between the Lagrangian identity bisection and the lifted coisotropic brane. This is done with the use of a multiplicative holomorphic Lagrangian polarization of the groupoid.
△ Less
Submitted 3 August, 2021;
originally announced August 2021.
-
Lie groupoids and logarithmic connections
Authors:
Francis Bischoff
Abstract:
Using tools from the theory of Lie groupoids, we study the category of logarithmic flat connections on principal $G$-bundles, where $G$ is a complex reductive structure group. Flat connections on the affine line with a logarithmic singularity at the origin are equivalent to representations of a groupoid associated to the exponentiated action of $\mathbb{C}$. We show that such representations admit…
▽ More
Using tools from the theory of Lie groupoids, we study the category of logarithmic flat connections on principal $G$-bundles, where $G$ is a complex reductive structure group. Flat connections on the affine line with a logarithmic singularity at the origin are equivalent to representations of a groupoid associated to the exponentiated action of $\mathbb{C}$. We show that such representations admit a canonical Jordan-Chevalley decomposition and use this to give a functorial classification. Flat connections on a complex manifold with logarithmic singularities along a hypersurface are equivalent to representations of a twisted fundamental groupoid. Using a Morita equivalence, whose construction is inspired by Deligne's notion of paths with tangential basepoints, we prove a van Kampen type theorem for this groupoid. This allows us to show that the category of representations of the twisted fundamental groupoid can be localized to the normal bundle of the hypersurface. As a result, we obtain a functorial Riemann-Hilbert correspondence for logarithmic connections in terms of generalized monodromy data.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
tsmp: An R Package for Time Series with Matrix Profile
Authors:
Francisco Bischoff,
Pedro Pereira Rodrigues
Abstract:
This article describes tsmp, an R package that implements the matrix profile concept for time series. The tsmp package is a toolkit that allows all-pairs similarity joins, motif, discords and chains discovery, semantic segmentation, etc. Here we describe how the tsmp package may be used by showing some of the use-cases from the original articles and evaluate the algorithm speed in the R environmen…
▽ More
This article describes tsmp, an R package that implements the matrix profile concept for time series. The tsmp package is a toolkit that allows all-pairs similarity joins, motif, discords and chains discovery, semantic segmentation, etc. Here we describe how the tsmp package may be used by showing some of the use-cases from the original articles and evaluate the algorithm speed in the R environment. This package can be downloaded at https://CRAN.R-project.org/package=tsmp.
△ Less
Submitted 18 April, 2019;
originally announced April 2019.
-
Deformation spaces and normal forms around transversals
Authors:
Francis Bischoff,
Henrique Bursztyn,
Hudson Lima,
Eckhard Meinrenken
Abstract:
Given a manifold M with a submanifold N, the deformation space D(M,N) is a manifold with a submersion to R whose zero fiber is the normal bundle, and all other fibers are equal to M. This article uses deformation spaces to study the local behavior of various geometric structures associated with singular foliations, with N a submanifold transverse to the foliation. New examples include L_\infty-alg…
▽ More
Given a manifold M with a submanifold N, the deformation space D(M,N) is a manifold with a submersion to R whose zero fiber is the normal bundle, and all other fibers are equal to M. This article uses deformation spaces to study the local behavior of various geometric structures associated with singular foliations, with N a submanifold transverse to the foliation. New examples include L_\infty-algebroids, Courant algebroids, and Lie bialgebroids. In each case, we obtain a normal form theorem around N, in terms of a model structure over the normal bundle.
△ Less
Submitted 13 August, 2018; v1 submitted 29 July, 2018;
originally announced July 2018.
-
Morita equivalence and the generalized Kähler potential
Authors:
Francis Bischoff,
Marco Gualtieri,
Maxim Zabzine
Abstract:
We solve the problem of determining the fundamental degrees of freedom underlying a generalized Kähler structure of symplectic type. For a usual Kähler structure, it is well-known that the geometry is determined by a complex structure, a Kähler class, and the choice of a positive $(1,1)$-form in this class, which depends locally on only a single real-valued function: the Kähler potential. Such a d…
▽ More
We solve the problem of determining the fundamental degrees of freedom underlying a generalized Kähler structure of symplectic type. For a usual Kähler structure, it is well-known that the geometry is determined by a complex structure, a Kähler class, and the choice of a positive $(1,1)$-form in this class, which depends locally on only a single real-valued function: the Kähler potential. Such a description for generalized Kähler geometry has been sought since it was discovered in 1984. We show that a generalized Kähler structure of symplectic type is determined by a pair of holomorphic Poisson manifolds, a holomorphic symplectic Morita equivalence between them, and the choice of a positive Lagrangian brane bisection, which depends locally on only a single real-valued function, which we call the generalized Kähler potential. Our solution draws upon, and specializes to, the many results in the physics literature which solve the problem under the assumption (which we do not make) that the Poisson structures involved have constant rank. To solve the problem we make use of, and generalize, two main tools: the first is the notion of symplectic Morita equivalence, developed by Weinstein and Xu to study Poisson manifolds; the second is Donaldson's interpretation of a Kähler metric as a real Lagrangian submanifold in a deformation of the holomorphic cotangent bundle.
△ Less
Submitted 15 April, 2018;
originally announced April 2018.
-
MADNESS: A Multiresolution, Adaptive Numerical Environment for Scientific Simulation
Authors:
Robert J. Harrison,
Gregory Beylkin,
Florian A. Bischoff,
Justus A. Calvin,
George I. Fann,
Jacob Fosso-Tande,
Diego Galindo,
Jeff R. Hammond,
Rebecca Hartman-Baker,
Judith C. Hill,
Jun Jia,
Jakob S. Kottmann,
M-J. Yvonne Ou,
Laura E. Ratcliff,
Matthew G. Reuter,
Adam C. Richie-Halford,
Nichols A. Romero,
Hideo Sekino,
William A. Shelton,
Bryan E. Sundahl,
W. Scott Thornton,
Edward F. Valeev,
Álvaro Vázquez-Mayagoitia,
Nicholas Vence,
Yukina Yokoi
Abstract:
MADNESS (multiresolution adaptive numerical environment for scientific simulation) is a high-level software environment for solving integral and differential equations in many dimensions that uses adaptive and fast harmonic analysis methods with guaranteed precision based on multiresolution analysis and separated representations. Underpinning the numerical capabilities is a powerful petascale para…
▽ More
MADNESS (multiresolution adaptive numerical environment for scientific simulation) is a high-level software environment for solving integral and differential equations in many dimensions that uses adaptive and fast harmonic analysis methods with guaranteed precision based on multiresolution analysis and separated representations. Underpinning the numerical capabilities is a powerful petascale parallel programming environment that aims to increase both programmer productivity and code scalability. This paper describes the features and capabilities of MADNESS and briefly discusses some current applications in chemistry and several areas of physics.
△ Less
Submitted 5 July, 2015;
originally announced July 2015.