Showing 1–42 of 42 results for author: Auroux, D

Holomorphic discs of negative Maslov index and extended deformations in mirror symmetry

Authors: Denis Auroux

Abstract: The SYZ approach to mirror symmetry for log Calabi-Yau manifolds starts from a Lagrangian torus fibration on the complement of an anticanonical divisor. A mirror space is constructed by gluing local charts (moduli spaces of local systems on generic torus fibers) via wall-crossing transformations which account for corrections to the analytic structure of moduli spaces of objects of the Fukaya categ… ▽ More The SYZ approach to mirror symmetry for log Calabi-Yau manifolds starts from a Lagrangian torus fibration on the complement of an anticanonical divisor. A mirror space is constructed by gluing local charts (moduli spaces of local systems on generic torus fibers) via wall-crossing transformations which account for corrections to the analytic structure of moduli spaces of objects of the Fukaya category induced by bubbling of Maslov index 0 holomorphic discs, and made into a Landau-Ginzburg model by equipping it with a regular function (the superpotential) which enumerates Maslov index 2 holomorphic discs. When they occur, holomorphic discs of negative Maslov index deform this picture by introducing inconsistencies in the wall-crossing transformations, so that the mirror is no longer an analytic space; the geometric features of the corrected mirror can be understood in the language of extended deformations of Landau-Ginzburg models. We illustrate this phenomenon (and show that it actually occurs) by working through the construction for an explicit example (a log Calabi-Yau 4-fold obtained by blowing up a toric variety), and discuss a family Floer approach to the geometry of the corrected mirror in this setting. Along the way, we introduce a Morse-theoretic model for family Floer theory which may be of independent interest. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 47 pages

A robust, discrete-gradient descent procedure for optimisation with time-dependent PDE and norm constraints

Authors: Paul M Mannix, Calum S Skene, Didier Auroux, Florence Marcotte

Abstract: Many physical questions in fluid dynamics can be recast in terms of norm constrained optimisation problems; which in-turn, can be further recast as unconstrained problems on spherical manifolds. Due to the nonlinearities of the governing PDEs, and the computational cost of performing optimal control on such systems, improving the numerical convergence of the optimisation procedure is crucial. Borr… ▽ More Many physical questions in fluid dynamics can be recast in terms of norm constrained optimisation problems; which in-turn, can be further recast as unconstrained problems on spherical manifolds. Due to the nonlinearities of the governing PDEs, and the computational cost of performing optimal control on such systems, improving the numerical convergence of the optimisation procedure is crucial. Borrowing tools from the optimisation on manifolds community we outline a numerically consistent, discrete formulation of the direct-adjoint looping method accompanied by gradient descent and line-search algorithms with global convergence guarantees. We numerically demonstrate the robustness of this formulation on three example problems of relevance in fluid dynamics and provide an accompanying library SphereManOpt △ Less

Submitted 15 January, 2024; v1 submitted 31 October, 2022; originally announced October 2022.

Homological mirror symmetry for hypersurfaces in $(\mathbb{C}^*)^n$

Authors: Mohammed Abouzaid, Denis Auroux

Abstract: We prove a homological mirror symmetry result for maximally degenerating families of hypersurfaces in $(\mathbb{C}^*)^n$ (B-model) and their mirror toric Landau-Ginzburg A-models. The main technical ingredient of our construction is a "fiberwise wrapped" version of the Fukaya category of a toric Landau-Ginzburg model. With the definition in hand, we construct a fibered admissible Lagrangian subman… ▽ More We prove a homological mirror symmetry result for maximally degenerating families of hypersurfaces in $(\mathbb{C}^*)^n$ (B-model) and their mirror toric Landau-Ginzburg A-models. The main technical ingredient of our construction is a "fiberwise wrapped" version of the Fukaya category of a toric Landau-Ginzburg model. With the definition in hand, we construct a fibered admissible Lagrangian submanifold whose fiberwise wrapped Floer cohomology is isomorphic to the ring of regular functions of the hypersurface. It follows that the derived category of coherent sheaves of the hypersurface quasi-embeds into the fiberwise wrapped Fukaya category of the mirror. We also discuss an extension to complete intersections. △ Less

Submitted 18 January, 2023; v1 submitted 11 November, 2021; originally announced November 2021.

Comments: 91 pages; v2 minor revision: improved exposition and added examples in response to referee report

Lagrangian Floer theory for trivalent graphs and homological mirror symmetry for curves

Authors: Denis Auroux, Alexander I. Efimov, Ludmil Katzarkov

Abstract: Mirror symmetry for higher genus curves is usually formulated and studied in terms of Landau-Ginzburg models; however the critical locus of the superpotential is arguably of greater intrinsic relevance to mirror symmetry than the whole Landau-Ginzburg model. Accordingly, we propose a new approach to the A-model of the mirror, viewed as a trivalent configuration of rational curves together with som… ▽ More Mirror symmetry for higher genus curves is usually formulated and studied in terms of Landau-Ginzburg models; however the critical locus of the superpotential is arguably of greater intrinsic relevance to mirror symmetry than the whole Landau-Ginzburg model. Accordingly, we propose a new approach to the A-model of the mirror, viewed as a trivalent configuration of rational curves together with some extra data at the nodal points. In this context, we introduce a version of Lagrangian Floer theory and the Fukaya category for trivalent graphs, and show that homological mirror symmetry holds, namely, that the Fukaya category of a trivalent configuration of rational curves is equivalent to the derived category of a non-Archimedean generalized Tate curve. To illustrate the concrete nature of this equivalence, we show how explicit formulas for theta functions and for the canonical map of the curve arise naturally under mirror symmetry. △ Less

Submitted 5 July, 2024; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 59 pages, 6 figures; v3: revision after referee comments, added comparison to toric mirror construction (section 2.2) and clarified proof of A_infty relations (section 3.3)

Ocean-depth measurement using shallow-water wave models

Authors: Vishal Vasan, Manisha, Didier Auroux

Abstract: In this paper, we consider a problem inspired by the real-world need to identify the topographical features of ocean basins. Specifically we consider the problem of estimating the bottom impermeable boundary to an inviscid, incompressible, irrotational fluid from measurements of the free-surface deviation alone, within the context of dispersive shallow-water wave models. The need to consider the s… ▽ More In this paper, we consider a problem inspired by the real-world need to identify the topographical features of ocean basins. Specifically we consider the problem of estimating the bottom impermeable boundary to an inviscid, incompressible, irrotational fluid from measurements of the free-surface deviation alone, within the context of dispersive shallow-water wave models. The need to consider the shallow-water regime arises from the ill-posed nature of the problem and is motivated by prior work. We design an algorithm using which, both fluid velocities and the bottom-boundary profile, may be accurately recovered assuming an a priori relatively inaccurate guess for the bottom boundary. We achieve this by considering two separate inverse problems: one to deduce the bottom-boundary from velocities and the surface deviation, and another to recover the velocities from the surface deviation and an approximate bottom-boundary. The former is a classic inverse problem that requires the inversion of an ill-conditioned matrix while the latter employs the observer framework. Combining the two inverse problems leads to our reconstruction algorithm. We emphasise the role played by model selection and its impact on algorithm design and the accuracy of the reconstruction. △ Less

Submitted 2 June, 2021; originally announced June 2021.

MSC Class: 35R30 (Primary); 35Q35; 76B15 (Secondary)

GPP, the Generic Preprocessor

Authors: Tristan Miller, Denis Auroux

Abstract: In computer science, a preprocessor (or macro processor) is a tool that programatically alters its input, typically on the basis of inline annotations, to produce data that serves as input for another program. Preprocessors are used in software development and document processing workflows to translate or extend programming or markup languages, as well as for conditional or pattern-based generatio… ▽ More In computer science, a preprocessor (or macro processor) is a tool that programatically alters its input, typically on the basis of inline annotations, to produce data that serves as input for another program. Preprocessors are used in software development and document processing workflows to translate or extend programming or markup languages, as well as for conditional or pattern-based generation of source code and text. Early preprocessors were relatively simple string replacement tools that were tied to specific programming languages and application domains, and while these have since given rise to more powerful, general-purpose tools, these often require the user to learn and use complex macro languages with their own syntactic conventions. In this paper, we present GPP, an extensible, general-purpose preprocessor whose principal advantage is that its syntax and behaviour can be customized to suit any given preprocessing task. This makes GPP of particular benefit to research applications, where it can be easily adapted for use with novel markup, programming, and control languages. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: 4 pages, 0 figures

ACM Class: D.3.4; I.7.2

Journal ref: Journal of Open Source Software, 5(51), 2020

Fukaya categories of surfaces, spherical objects, and mapping class groups

Authors: Denis Auroux, Ivan Smith

Abstract: We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank one local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is… ▽ More We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank one local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions, and homological mirror symmetry. An application to high-dimensional symplectic mapping class groups is included. △ Less

Submitted 31 January, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 59 pages, 10 figures. v2: Minor corrections; main theorem strengthened to characterise spherical objects with non-zero (rather than primitive) Chern character

MSC Class: 53D37; 57K20

Speculations on homological mirror symmetry for hypersurfaces in $(\mathbb{C}^*)^n$

Authors: Denis Auroux

Abstract: Given an algebraic hypersurface $H=f^{-1}(0)$ in $(\mathbb{C}^*)^n$, homological mirror symmetry relates the wrapped Fukaya category of $H$ to the derived category of singularities of the mirror Landau-Ginzburg model. We propose an enriched version of this picture which also features the wrapped Fukaya category of the complement $(\mathbb{C}^*)^n\setminus H$ and the Fukaya-Seidel category of the L… ▽ More Given an algebraic hypersurface $H=f^{-1}(0)$ in $(\mathbb{C}^*)^n$, homological mirror symmetry relates the wrapped Fukaya category of $H$ to the derived category of singularities of the mirror Landau-Ginzburg model. We propose an enriched version of this picture which also features the wrapped Fukaya category of the complement $(\mathbb{C}^*)^n\setminus H$ and the Fukaya-Seidel category of the Landau-Ginzburg model $((\mathbb{C}^*)^n,f)$. We illustrate our speculations on simple examples, and sketch a proof of homological mirror symmetry for higher-dimensional pairs of pants. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: 45 pages

Optimal parameters identification and sensitivity study for Abrasive Waterjet Milling model

Authors: Didier Auroux, Vladimir Groza

Abstract: In this paper we present the work related to the parameters identification for Abrasive Waterjet Milling (AWJM) model that appears as an ill-posed inverse problem. The necessity of studying this problem comes from the industrial milling applications where the possibility to predict and model the final surface with high accuracy is one of the primary tasks in the absence of any knowledge of the mod… ▽ More In this paper we present the work related to the parameters identification for Abrasive Waterjet Milling (AWJM) model that appears as an ill-posed inverse problem. The necessity of studying this problem comes from the industrial milling applications where the possibility to predict and model the final surface with high accuracy is one of the primary tasks in the absence of any knowledge of the model parameters that should be used. The adjoint approach based on corresponding Lagrangian gives the opportunity to find out the unknowns of the AWJM model and their optimal values that could be used to reproduce the required trench profile. Due to the complexity of the nonlinear problem and the large number of the model parameters, we use an automatic differentiation (AD) software tool. This approach also gives us the ability to distribute the research on more complex cases and consider different types of model errors and 3D time dependent model with variations of the jet feed speed. This approach gives us a good opportunity to identify the optimal model parameters and predict the surface profile both with self-generated data and measurements obtained from the real production. Considering different types of model errors allows us to receive the results acceptable in manufacturing and to expect the proper identification of unknowns. △ Less

Submitted 27 May, 2016; originally announced May 2016.

MSC Class: 35B30; 35Q93; 35R30; 49Kxx; 65K10

Observers for compressible Navier-Stokes equation

Authors: Amit Apte, Didier Auroux, Mythily Ramaswamy

Abstract: We consider a multi-dimensional model of a compressible fluid in a bounded domain. We want to estimate the density and velocity of the fluid, based on the observations for only velocity. We build an observer exploiting the symmetries of the fluid dynamics laws. Our main result is that for the linearised system with full observations of the velocity field, we can find an observer which converges to… ▽ More We consider a multi-dimensional model of a compressible fluid in a bounded domain. We want to estimate the density and velocity of the fluid, based on the observations for only velocity. We build an observer exploiting the symmetries of the fluid dynamics laws. Our main result is that for the linearised system with full observations of the velocity field, we can find an observer which converges to the true state of the system at any desired convergence rate for finitely many but arbitrarily large number of Fourier modes. Our one-dimensional numerical results corroborate the results for the linearised, fully observed system, and also show similar convergence for the full nonlinear system and also for the case when the velocity field is observed only over a subdomain. △ Less

Submitted 23 November, 2016; v1 submitted 17 March, 2015; originally announced March 2015.

MSC Class: 93C20; 93C95; 93B40

Infinitely many monotone Lagrangian tori in $\mathbb{R}^6$

Authors: Denis Auroux

Abstract: We construct infinitely many families of monotone Lagrangian tori in $\mathbb{R}^6$, no two of which are related by Hamiltonian isotopies (or symplectomorphisms). These families are distinguished by the (arbitrarily large) numbers of families of Maslov index 2 pseudo-holomorphic discs that they bound. We construct infinitely many families of monotone Lagrangian tori in $\mathbb{R}^6$, no two of which are related by Hamiltonian isotopies (or symplectomorphisms). These families are distinguished by the (arbitrarily large) numbers of families of Maslov index 2 pseudo-holomorphic discs that they bound. △ Less

Submitted 28 October, 2014; v1 submitted 14 July, 2014; originally announced July 2014.

Comments: 14 pages; v2: added some references and comments to motivate the construction

Journal ref: Inventiones Math. 201 (2015), 909-924

Factorizations in SL(2,Z) and simple examples of inequivalent Stein fillings

Authors: Denis Auroux

Abstract: We give simple examples of elements of SL(2,Z) admitting inequivalent factorizations into products of Dehn twists. This can be interpreted in terms of inequivalent Stein fillings of a same contact 3-manifold by genus 1 Lefschetz fibrations over the disk. We give simple examples of elements of SL(2,Z) admitting inequivalent factorizations into products of Dehn twists. This can be interpreted in terms of inequivalent Stein fillings of a same contact 3-manifold by genus 1 Lefschetz fibrations over the disk. △ Less

Submitted 1 January, 2014; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: 13 pages; v2: clarifications and additional references; to appear in J. Symplectic Geometry

Journal ref: J. Symplectic Geom. 13 (2015), 261-277

Sutured Khovanov homology, Hochschild homology, and the Ozsvath-Szabo spectral sequence

Authors: Denis Auroux, J. Elisenda Grigsby, Stephan M. Wehrli

Abstract: In 2001, Khovanov and Seidel constructed a faithful action of the (m+1)-strand braid group on the derived category of left modules over a quiver algebra, A_m. We interpret the Hochschild homology of the Khovanov-Seidel braid invariant as a direct summand of the sutured Khovanov homology of the annular braid closure. In 2001, Khovanov and Seidel constructed a faithful action of the (m+1)-strand braid group on the derived category of left modules over a quiver algebra, A_m. We interpret the Hochschild homology of the Khovanov-Seidel braid invariant as a direct summand of the sutured Khovanov homology of the annular braid closure. △ Less

Submitted 8 March, 2013; originally announced March 2013.

Comments: 27 pages, 11 figures

MSC Class: 57M27; 20F36 (Primary); 57R58; 81R50

Journal ref: Trans. Amer. Math. Soc. 367 (2015), 7103-7131

A beginner's introduction to Fukaya categories

Authors: Denis Auroux

Abstract: The goal of these notes is to give a short introduction to Fukaya categories and some of their applications. The first half of the text is devoted to a brief review of Lagrangian Floer (co)homology and product structures. Then we introduce the Fukaya category (informally and without a lot of the necessary technical detail), and briefly discuss algebraic concepts such as exact triangles and generat… ▽ More The goal of these notes is to give a short introduction to Fukaya categories and some of their applications. The first half of the text is devoted to a brief review of Lagrangian Floer (co)homology and product structures. Then we introduce the Fukaya category (informally and without a lot of the necessary technical detail), and briefly discuss algebraic concepts such as exact triangles and generators. Finally, we mention wrapped Fukaya categories and outline a few applications to symplectic topology, mirror symmetry and low-dimensional topology. This text is based on a series of lectures given at a Summer School on Contact and Symplectic Topology at Université de Nantes in June 2011. △ Less

Submitted 29 January, 2013; originally announced January 2013.

Comments: 42 pages, 13 figures

Lagrangian fibrations on blowups of toric varieties and mirror symmetry for hypersurfaces

Authors: Mohammed Abouzaid, Denis Auroux, Ludmil Katzarkov

Abstract: We consider mirror symmetry for (essentially arbitrary) hypersurfaces in (possibly noncompact) toric varieties from the perspective of the Strominger-Yau-Zaslow (SYZ) conjecture. Given a hypersurface $H$ in a toric variety $V$ we construct a Landau-Ginzburg model which is SYZ mirror to the blowup of $V\times\mathbb{C}$ along $H\times 0$, under a positivity assumption. This construction also yields… ▽ More We consider mirror symmetry for (essentially arbitrary) hypersurfaces in (possibly noncompact) toric varieties from the perspective of the Strominger-Yau-Zaslow (SYZ) conjecture. Given a hypersurface $H$ in a toric variety $V$ we construct a Landau-Ginzburg model which is SYZ mirror to the blowup of $V\times\mathbb{C}$ along $H\times 0$, under a positivity assumption. This construction also yields SYZ mirrors to affine conic bundles, as well as a Landau-Ginzburg model which can be naturally viewed as a mirror to $H$. The main applications concern affine hypersurfaces of general type, for which our results provide a geometric basis for various mirror symmetry statements that appear in the recent literature. We also obtain analogous results for complete intersections. △ Less

Submitted 29 July, 2015; v1 submitted 30 April, 2012; originally announced May 2012.

Comments: 83 pages; v2: added appendix discussing the analytic structure on moduli of objects in the Fukaya category; v3: further clarifications in response to referee report; v4: further clarifications throughout, especially sections 4 and 7 and appendix A; added appendix B on the geometry of reduced spaces

On Khovanov-Seidel quiver algebras and bordered Floer homology

Authors: Denis Auroux, J. Elisenda Grigsby, Stephan M. Wehrli

Abstract: We discuss a relationship between Khovanov- and Heegaard Floer-type homology theories for braids. Explicitly, we define a filtration on the bordered Heegaard-Floer homology bimodule associated to the double-branched cover of a braid and show that its associated graded bimodule is equivalent to a similar bimodule defined by Khovanov and Seidel. We discuss a relationship between Khovanov- and Heegaard Floer-type homology theories for braids. Explicitly, we define a filtration on the bordered Heegaard-Floer homology bimodule associated to the double-branched cover of a braid and show that its associated graded bimodule is equivalent to a similar bimodule defined by Khovanov and Seidel. △ Less

Submitted 18 July, 2013; v1 submitted 14 July, 2011; originally announced July 2011.

Comments: 56 pages, 12 figures; This is the version published by Selecta Mathematica. Incorporated referee's suggestions, trimming background material on A_\infty algebras/modules. Added Section 7, providing an example of a braid for which the A_\infty structures of its associated Khovanov-Seidel and bordered Floer bimodules differ

MSC Class: 57M27; 57R58; 81R50; 57M12

Homological mirror symmetry for punctured spheres

Authors: Mohammed Abouzaid, Denis Auroux, Alexander I. Efimov, Ludmil Katzarkov, Dmitri Orlov

Abstract: We prove that the wrapped Fukaya category of a punctured sphere ($S^2$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that cyclic covers on the symplectic side a… ▽ More We prove that the wrapped Fukaya category of a punctured sphere ($S^2$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that cyclic covers on the symplectic side are mirror to orbifold quotients of the Landau-Ginzburg model. △ Less

Submitted 12 May, 2014; v1 submitted 22 March, 2011; originally announced March 2011.

Comments: 38 pages, 5 figures; v2: minor revisions (similar to published version)

MSC Class: 53D37; 14J33 (Primary); 53D40; 53D12; 18E30; 14F05 (Secondary)

Journal ref: J. Amer. Math. Soc. 26 (2013), 1051-1083

Fukaya categories and bordered Heegaard-Floer homology

Authors: Denis Auroux

Abstract: We outline an interpretation of Heegaard-Floer homology of 3-manifolds (closed or with boundary) in terms of the symplectic topology of symmetric products of Riemann surfaces, as suggested by recent work of Tim Perutz and Yanki Lekili. In particular we discuss the connection between the Fukaya category of the symmetric product and the bordered algebra introduced by Robert Lipshitz, Peter Ozsvath a… ▽ More We outline an interpretation of Heegaard-Floer homology of 3-manifolds (closed or with boundary) in terms of the symplectic topology of symmetric products of Riemann surfaces, as suggested by recent work of Tim Perutz and Yanki Lekili. In particular we discuss the connection between the Fukaya category of the symmetric product and the bordered algebra introduced by Robert Lipshitz, Peter Ozsvath and Dylan Thurston, and recast bordered Heegaard-Floer homology in this language. △ Less

Submitted 15 March, 2010; originally announced March 2010.

Comments: 23 pages; to appear in proceedings of ICM 2010

Fukaya categories of symmetric products and bordered Heegaard-Floer homology

Authors: Denis Auroux

Abstract: The main goal of this paper is to discuss a symplectic interpretation of Lipshitz, Ozsvath and Thurston's bordered Heegaard-Floer homology in terms of Fukaya categories of symmetric products and Lagrangian correspondences. More specifically, we give a description of the algebra A(F) which appears in the work of Lipshitz, Ozsvath and Thurston in terms of (partially wrapped) Floer homology for produ… ▽ More The main goal of this paper is to discuss a symplectic interpretation of Lipshitz, Ozsvath and Thurston's bordered Heegaard-Floer homology in terms of Fukaya categories of symmetric products and Lagrangian correspondences. More specifically, we give a description of the algebra A(F) which appears in the work of Lipshitz, Ozsvath and Thurston in terms of (partially wrapped) Floer homology for product Lagrangians in the symmetric product, and outline how bordered Heegaard-Floer homology itself can conjecturally be understood in this language. △ Less

Submitted 28 July, 2010; v1 submitted 25 January, 2010; originally announced January 2010.

Comments: 54 pages, 11 figures; v3: minor revisions, to appear in J Gokova Geometry Topology

Special Lagrangian fibrations, wall-crossing, and mirror symmetry

Authors: Denis Auroux

Abstract: In this survey paper, we briefly review various aspects of the SYZ approach to mirror symmetry for non-Calabi-Yau varieties, focusing in particular on Lagrangian fibrations and wall-crossing phenomena in Floer homology. Various examples are presented, some of them new. In this survey paper, we briefly review various aspects of the SYZ approach to mirror symmetry for non-Calabi-Yau varieties, focusing in particular on Lagrangian fibrations and wall-crossing phenomena in Floer homology. Various examples are presented, some of them new. △ Less

Submitted 10 February, 2009; originally announced February 2009.

Comments: 45 pages; to appear in Surveys in Differential Geometry

The Back and Forth Nudging algorithm for data assimilation problems: theoretical results on transport equations

Authors: Didier Auroux, Maëlle Nodet

Abstract: In this paper, we consider the back and forth nudging algorithm that has been introduced for data assimilation purposes. It consists of iteratively and alternately solving forward and backward in time the model equation, with a feedback term to the observations. We consider the case of 1-dimensional transport equations, either viscous or inviscid, linear or not (Bürgers' equation). Our aim is to… ▽ More In this paper, we consider the back and forth nudging algorithm that has been introduced for data assimilation purposes. It consists of iteratively and alternately solving forward and backward in time the model equation, with a feedback term to the observations. We consider the case of 1-dimensional transport equations, either viscous or inviscid, linear or not (Bürgers' equation). Our aim is to prove some theoretical results on the convergence, and convergence properties, of this algorithm. We show that for non viscous equations (both linear transport and Burgers), the convergence of the algorithm holds under observability conditions. Convergence can also be proven for viscous linear transport equations under some strong hypothesis, but not for viscous Burgers' equation. Moreover, the convergence rate is always exponential in time. We also notice that the forward and backward system of equations is well posed when no nudging term is considered. △ Less

Submitted 28 September, 2008; originally announced September 2008.

Journal ref: Control Optimisation and Calculus of Variations (2011)

Symmetry-preserving observers for some water tank problems: theory and application to a shallow water model

Authors: Didier Auroux, S. Bonnabel

Abstract: In this paper we consider a tank containing fluid and we want to estimate the horizontal currents when the fluid surface height is measured. The fluid motion is described by shallow water equations in two horizontal dimensions. We build a simple non-linear observer which takes advantage of the symmetries of fluid dynamics laws. As a result its structure is based on convolutions with smooth isotrop… ▽ More In this paper we consider a tank containing fluid and we want to estimate the horizontal currents when the fluid surface height is measured. The fluid motion is described by shallow water equations in two horizontal dimensions. We build a simple non-linear observer which takes advantage of the symmetries of fluid dynamics laws. As a result its structure is based on convolutions with smooth isotropic kernels, and the observer is remarkably robust to noise. We prove the convergence of the observer around a steady-state. In numerical applications local exponential convergence is expected. The observer is also applied to the problem of predicting the ocean circulation. Realistic simulations illustrate the relevance of the approach compared with some standard oceanography techniques. △ Less

Submitted 19 September, 2013; v1 submitted 8 September, 2008; originally announced September 2008.

Journal ref: In IEEE Trans. on Automatic Control. Vol 56(5) pp:1046 - 1058, 2011

Special Lagrangian fibrations, mirror symmetry and Calabi-Yau double covers

Authors: Denis Auroux

Abstract: The first part of this paper is a review of the Strominger-Yau-Zaslow conjecture in various settings. In particular, we summarize how, given a pair (X,D) consisting of a Kahler manifold and an anticanonical divisor, families of special Lagrangian tori in X-D and weighted counts of holomorphic discs in X can be used to build a Landau-Ginzburg model mirror to X. In the second part we turn to more… ▽ More The first part of this paper is a review of the Strominger-Yau-Zaslow conjecture in various settings. In particular, we summarize how, given a pair (X,D) consisting of a Kahler manifold and an anticanonical divisor, families of special Lagrangian tori in X-D and weighted counts of holomorphic discs in X can be used to build a Landau-Ginzburg model mirror to X. In the second part we turn to more speculative considerations about Calabi-Yau manifolds with holomorphic involutions and their quotients. Namely, given a hypersurface H representing twice the anticanonical class in a Kahler manifold X, we attempt to relate special Lagrangian fibrations on X-H and on the (Calabi-Yau) double cover of X branched along H; unfortunately, the implications for mirror symmetry are far from clear. △ Less

Submitted 18 March, 2008; originally announced March 2008.

Comments: 27 pages, 1 figure

Mirror symmetry and T-duality in the complement of an anticanonical divisor

Authors: Denis Auroux

Abstract: We study the geometry of complexified moduli spaces of special Lagrangian submanifolds in the complement of an anticanonical divisor in a compact Kahler manifold. In particular, we explore the connections between T-duality and mirror symmetry in concrete examples, and show how quantum corrections arise in this context. We study the geometry of complexified moduli spaces of special Lagrangian submanifolds in the complement of an anticanonical divisor in a compact Kahler manifold. In particular, we explore the connections between T-duality and mirror symmetry in concrete examples, and show how quantum corrections arise in this context. △ Less

Submitted 10 July, 2007; v1 submitted 21 June, 2007; originally announced June 2007.

Comments: 42 pages, 2 figures; v2: some bibliographical references added

The canonical pencils on Horikawa surfaces

Authors: Denis Auroux

Abstract: We calculate the monodromies of the canonical Lefschetz pencils on a pair of homeomorphic Horikawa surfaces. We show in particular that the (pluri)canonical pencils on these surfaces have the same monodromy groups, and are related by a "partial twisting" operation. We calculate the monodromies of the canonical Lefschetz pencils on a pair of homeomorphic Horikawa surfaces. We show in particular that the (pluri)canonical pencils on these surfaces have the same monodromy groups, and are related by a "partial twisting" operation. △ Less

Submitted 2 March, 2009; v1 submitted 26 May, 2006; originally announced May 2006.

Comments: This is the version published by Geometry & Topology on 29 November 2006

MSC Class: 57R17; 14D05; 53D35

Journal ref: Geom. Topol. 10 (2006) 2173-2217

A degree doubling formula for braid monodromies and Lefschetz pencils

Authors: Denis Auroux, Ludmil Katzarkov

Abstract: Every compact symplectic 4-manifold can be realized as a branched cover of the complex projective plane branched along a symplectic curve with cusp and node singularities; the covering map is induced by a triple of sections of a "very ample" line bundle. In this paper, we give an explicit formula describing the behavior of the braid monodromy invariants of the branch curve upon degree doubling o… ▽ More Every compact symplectic 4-manifold can be realized as a branched cover of the complex projective plane branched along a symplectic curve with cusp and node singularities; the covering map is induced by a triple of sections of a "very ample" line bundle. In this paper, we give an explicit formula describing the behavior of the braid monodromy invariants of the branch curve upon degree doubling of the linear system (from a very ample bundle $L^k$ to $L^{2k}$). As a consequence, we derive a similar degree doubling formula for the mapping class group monodromy of Donaldson's symplectic Lefschetz pencils. △ Less

Submitted 28 April, 2006; originally announced May 2006.

Comments: 65 pages; revised version of a preprint that has been in limited circulation since 2000, with improved exposition

Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves

Authors: Denis Auroux, Ludmil Katzarkov, Dmitri Orlov

Abstract: We study homological mirror symmetry for Del Pezzo surfaces and their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves on a Del Pezzo surface X_k obtained by blowing up CP^2 at k points is equivalent to the derived category of vanishing cycles of a certain elliptic fibration W_k:M_k\to\C with k+3 singular fibers, equipped with a suitable symplec… ▽ More We study homological mirror symmetry for Del Pezzo surfaces and their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves on a Del Pezzo surface X_k obtained by blowing up CP^2 at k points is equivalent to the derived category of vanishing cycles of a certain elliptic fibration W_k:M_k\to\C with k+3 singular fibers, equipped with a suitable symplectic form. Moreover, we also show that this mirror correspondence between derived categories can be extended to noncommutative deformations of X_k, and give an explicit correspondence between the deformation parameters for X_k and the cohomology class [B+iω]\in H^2(M_k,C). △ Less

Submitted 9 June, 2005; originally announced June 2005.

Comments: 40 pages, 9 figures

Journal ref: Invent. Math. 166 (2006), no. 3, 537--582

A stable classification of Lefschetz fibrations

Authors: Denis Auroux

Abstract: We study the classification of Lefschetz fibrations up to stabilization by fiber sum operations. We show that for each genus there is a `universal' fibration f^0_g with the property that, if two Lefschetz fibrations over S^2 have the same Euler-Poincare characteristic and signature, the same numbers of reducible singular fibers of each type, and admit sections with the same self-intersection, th… ▽ More We study the classification of Lefschetz fibrations up to stabilization by fiber sum operations. We show that for each genus there is a `universal' fibration f^0_g with the property that, if two Lefschetz fibrations over S^2 have the same Euler-Poincare characteristic and signature, the same numbers of reducible singular fibers of each type, and admit sections with the same self-intersection, then after repeatedly fiber summing with f^0_g they become isomorphic. As a consequence, any two compact integral symplectic 4-manifolds with the same values of (c_1^2, c_2, c_1.[w], [w]^2) become symplectomorphic after blowups and symplectic sums with f^0_g. △ Less

Submitted 21 January, 2005; v1 submitted 6 December, 2004; originally announced December 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper6.abs.html

MSC Class: 57R17; 53D35

Journal ref: Geom. Topol. 9 (2005) 203-217

Symplectic 4-manifolds, singular plane curves, and isotopy problems

Authors: Denis Auroux

Abstract: We give an overview of various recent results concerning the topology of symplectic 4-manifolds and singular plane curves, using branched covers and isotopy problems as a unifying theme. While this paper does not contain any new results, we hope that it can serve as an introduction to the subject, and will stimulate interest in some of the open questions mentioned in the final section. We give an overview of various recent results concerning the topology of symplectic 4-manifolds and singular plane curves, using branched covers and isotopy problems as a unifying theme. While this paper does not contain any new results, we hope that it can serve as an introduction to the subject, and will stimulate interest in some of the open questions mentioned in the final section. △ Less

Submitted 10 November, 2004; originally announced November 2004.

Comments: 15 pages, 2 figures; to appear in Proceedings of the CMI Summer School on Floer Homology, Gauge Theory, and Low Dimensional Topology (Budapest, 2004)

Singular Lefschetz pencils

Authors: Denis Auroux, Simon K Donaldson, Ludmil Katzarkov

Abstract: We consider structures analogous to symplectic Lefschetz pencils in the context of a closed 4-manifold equipped with a `near-symplectic' structure (ie, a closed 2-form which is symplectic outside a union of circles where it vanishes transversely). Our main result asserts that, up to blowups, every near-symplectic 4-manifold (X,omega) can be decomposed into (a) two symplectic Lefschetz fibrations… ▽ More We consider structures analogous to symplectic Lefschetz pencils in the context of a closed 4-manifold equipped with a `near-symplectic' structure (ie, a closed 2-form which is symplectic outside a union of circles where it vanishes transversely). Our main result asserts that, up to blowups, every near-symplectic 4-manifold (X,omega) can be decomposed into (a) two symplectic Lefschetz fibrations over discs, and (b) a fibre bundle over S^1 which relates the boundaries of the Lefschetz fibrations to each other via a sequence of fibrewise handle additions taking place in a neighbourhood of the zero set of the 2-form. Conversely, from such a decomposition one can recover a near-symplectic structure. △ Less

Submitted 1 June, 2005; v1 submitted 14 October, 2004; originally announced October 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper24.abs.html

MSC Class: 53D35; 57M50; 57R17

Journal ref: Geom. Topol. 9 (2005) 1043-1114

Some open questions about symplectic 4-manifolds, singular plane curves, and braid group factorizations

Authors: Denis Auroux

Abstract: The topology of symplectic 4-manifolds is related to that of singular plane curves via the concept of branched covers. Thus, various classification problems concerning symplectic 4-manifolds can be reformulated as questions about singular plane curves. Moreover, using braid monodromy, these can in turn be reformulated in the language of braid group factorizations. While the results mentioned in… ▽ More The topology of symplectic 4-manifolds is related to that of singular plane curves via the concept of branched covers. Thus, various classification problems concerning symplectic 4-manifolds can be reformulated as questions about singular plane curves. Moreover, using braid monodromy, these can in turn be reformulated in the language of braid group factorizations. While the results mentioned in this paper are not new, we hope that they will stimulate interest in these questions, which remain essentially wide open. △ Less

Submitted 5 May, 2005; v1 submitted 5 October, 2004; originally announced October 2004.

Comments: 18 pages, to appear in Proceedings of the 4th European Congress of Mathematics; v2: corrections to the statements of Theorem 3.8 and Lemma 4.5

Lagrangian submanifolds and Lefschetz pencils

Authors: Denis Auroux, Vicente Muñoz, Francisco Presas

Abstract: Given a Lagrangian submanifold in a symplectic manifold and a Morse function on the submanifold, we show that there is an isotopic Morse function and a symplectic Lefschetz pencil on the manifold extending the Morse function to the whole manifold. From this construction we define a sequence of symplectic invariants classifying the isotopy classes of Lagrangian spheres in a symplectic 4-manifold. Given a Lagrangian submanifold in a symplectic manifold and a Morse function on the submanifold, we show that there is an isotopic Morse function and a symplectic Lefschetz pencil on the manifold extending the Morse function to the whole manifold. From this construction we define a sequence of symplectic invariants classifying the isotopy classes of Lagrangian spheres in a symplectic 4-manifold. △ Less

Submitted 8 July, 2004; v1 submitted 8 July, 2004; originally announced July 2004.

Comments: 40 pages, 1 figure

MSC Class: 53D12; 53D35

Mirror symmetry for weighted projective planes and their noncommutative deformations

Authors: Denis Auroux, Ludmil Katzarkov, Dmitri Orlov

Abstract: We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing… ▽ More We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjecture holds for weighted projective planes. Moreover, we also show that this mirror correspondence between derived categories can be extended to toric noncommutative deformations of $\CP^2(a,b,c)$ where B-branes are concerned, and their mirror counterparts, non-exact deformations of the symplectic structure of $X$ where A-branes are concerned. We also obtain similar results for other examples such as weighted projective lines or Hirzebruch surfaces. △ Less

Submitted 15 April, 2004; originally announced April 2004.

Comments: 55 pages, 15 figures

Journal ref: Ann. of Math. (2) 167 (2008), no. 3, 867--943

Regular homotopy of Hurwitz curves

Authors: Denis Auroux, Viktor S. Kulikov, Vsevolod V. Shevchishin

Abstract: We prove that any two irreducible cuspidal Hurwitz curves $C_0$ and $C_1$ (or more generally, curves with A-type singularities) in the Hirzebruch surface $F_N$ with coinciding homology classes and sets of singularities are regular homotopic; and symplectically regular homotopic if $C_0$ and $C_1$ are symplectic with respect to a compatible symplectic form. We prove that any two irreducible cuspidal Hurwitz curves $C_0$ and $C_1$ (or more generally, curves with A-type singularities) in the Hirzebruch surface $F_N$ with coinciding homology classes and sets of singularities are regular homotopic; and symplectically regular homotopic if $C_0$ and $C_1$ are symplectic with respect to a compatible symplectic form. △ Less

Submitted 14 January, 2004; originally announced January 2004.

Comments: 26 pages

Lefschetz pencils, branched covers and symplectic invariants

Authors: Denis Auroux, Ivan Smith

Abstract: This set of lectures aims to give an overview of Donaldson's theory of linear systems on symplectic manifolds and the algebraic and geometric invariants to which they give rise. After collecting some of the relevant background, we discuss topological, algebraic and symplectic viewpoints on Lefschetz pencils and branched covers of the projective plane. The later lectures discuss invariants obtain… ▽ More This set of lectures aims to give an overview of Donaldson's theory of linear systems on symplectic manifolds and the algebraic and geometric invariants to which they give rise. After collecting some of the relevant background, we discuss topological, algebraic and symplectic viewpoints on Lefschetz pencils and branched covers of the projective plane. The later lectures discuss invariants obtained by combining this theory with pseudo-holomorphic curve methods. △ Less

Submitted 4 January, 2004; originally announced January 2004.

Comments: 44 pages; lectures given at the CIME summer school "Symplectic 4-manifolds and algebraic surfaces", Cetraro (Italy), September 2-10, 2003

Monodromy invariants in symplectic topology

Authors: Denis Auroux

Abstract: This text is a set of lecture notes for a series of four talks given at I.P.A.M., Los Angeles, on March 18-20, 2003. The first lecture provides a quick overview of symplectic topology and its main tools: symplectic manifolds, almost-complex structures, pseudo-holomorphic curves, Gromov-Witten invariants and Floer homology. The second and third lectures focus on symplectic Lefschetz pencils: exis… ▽ More This text is a set of lecture notes for a series of four talks given at I.P.A.M., Los Angeles, on March 18-20, 2003. The first lecture provides a quick overview of symplectic topology and its main tools: symplectic manifolds, almost-complex structures, pseudo-holomorphic curves, Gromov-Witten invariants and Floer homology. The second and third lectures focus on symplectic Lefschetz pencils: existence (following Donaldson), monodromy, and applications to symplectic topology, in particular the connection to Gromov-Witten invariants of symplectic 4-manifolds (following Smith) and to Fukaya categories (following Seidel). In the last lecture, we offer an alternative description of symplectic 4-manifolds by viewing them as branched covers of the complex projective plane; the corresponding monodromy invariants and their potential applications are discussed. △ Less

Submitted 8 April, 2003; originally announced April 2003.

Comments: 42 pages, notes of lectures given at IPAM, Los Angeles

Luttinger surgery along Lagrangian tori and non-isotopy for singular symplectic plane curves

Authors: D. Auroux, S. K. Donaldson, L. Katzarkov

Abstract: We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon. We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon. △ Less

Submitted 2 June, 2002; originally announced June 2002.

Comments: 15 pages

A remark about Donaldson's construction of symplectic submanifolds

Authors: Denis Auroux

Abstract: We describe a simplification of Donaldson's arguments for the construction of symplectic hypersurfaces or Lefschetz pencils that makes it possible to avoid any reference to Yomdin's work on the complexity of real algebraic sets. We describe a simplification of Donaldson's arguments for the construction of symplectic hypersurfaces or Lefschetz pencils that makes it possible to avoid any reference to Yomdin's work on the complexity of real algebraic sets. △ Less

Submitted 23 April, 2002; originally announced April 2002.

Comments: 8 pages

Fiber sums of genus 2 Lefschetz fibrations

Authors: Denis Auroux

Abstract: Using the recent results of Siebert and Tian about the holomorphicity of genus 2 Lefschetz fibrations with irreducible singular fibers, we show that any genus 2 Lefschetz fibration becomes holomorphic after fiber sum with a holomorphic fibration. Using the recent results of Siebert and Tian about the holomorphicity of genus 2 Lefschetz fibrations with irreducible singular fibers, we show that any genus 2 Lefschetz fibration becomes holomorphic after fiber sum with a holomorphic fibration. △ Less

Submitted 23 April, 2002; originally announced April 2002.

Comments: 9 pages

Fundamental groups of complements of plane curves and symplectic invariants

Authors: D. Auroux, S. K. Donaldson, L. Katzarkov, M. Yotov

Abstract: Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and Teicher for complex projective surfaces. Moreover, we study the structure of these invariants and formulate conjectures supported by calculations on new examples. Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and Teicher for complex projective surfaces. Moreover, we study the structure of these invariants and formulate conjectures supported by calculations on new examples. △ Less

Submitted 18 March, 2002; originally announced March 2002.

Comments: 34 pages, 9 figures

Estimated transversality in symplectic geometry and projective maps

Authors: Denis Auroux

Abstract: The main theorem of this paper is a result of estimated transversality with respect to stratifications of jet spaces in the approximately holomorphic category over an almost-complex manifold. The notion of asymptotic ampleness of complex vector bundles over an almost-complex manifold is also discussed, as well as applications to the construction of maps with generic singularities from compact sy… ▽ More The main theorem of this paper is a result of estimated transversality with respect to stratifications of jet spaces in the approximately holomorphic category over an almost-complex manifold. The notion of asymptotic ampleness of complex vector bundles over an almost-complex manifold is also discussed, as well as applications to the construction of maps with generic singularities from compact symplectic manifolds to projective spaces. △ Less

Submitted 5 October, 2000; originally announced October 2000.

Comments: 25 pages; to appear in Proc. International KIAS Conference (Seoul, 2000)

Symplectic maps to projective spaces and symplectic invariants

Authors: Denis Auroux

Abstract: After reviewing recent results on symplectic Lefschetz pencils and symplectic branched covers of CP^2, we describe a new construction of maps from symplectic manifolds of any dimension to CP^2 and the associated monodromy invariants. We also show that a dimensional induction process makes it possible to describe any compact symplectic manifold by a series of words in braid groups and a word in a… ▽ More After reviewing recent results on symplectic Lefschetz pencils and symplectic branched covers of CP^2, we describe a new construction of maps from symplectic manifolds of any dimension to CP^2 and the associated monodromy invariants. We also show that a dimensional induction process makes it possible to describe any compact symplectic manifold by a series of words in braid groups and a word in a symmetric group. △ Less

Submitted 21 July, 2000; originally announced July 2000.

Comments: 39 pages; to appear in Proc. 7th Gokova Geometry-Topology Conference