arXiv research

Two reduction schemes for symplectic manifolds are shown equivalent.

Continues work on derived manifolds and symplectic schemes, constructing virtual classes.

We study first-order optimization methods obtained by discretizing ordinary differential equations (ODEs) corresponding to Nesterov's accelerated gradient methods (NAGs) and Polyak's heavy-ball method. We consider three discretization schemes: an explicit Euler scheme, an implicit Euler scheme, and a symplectic scheme.…

Every symplectic Lie algebra with degenerate (including non-abelian nilpotent symplectic Lie algebras) has the structure of a quadratic extension. We give a standard model and describe the equivalence classes on the level of corresponding quadratic cohomology sets. Finally, we give a scheme to classify the isomorphism …

Characterizes Hilbert schemes and their geometric properties.

A strictification result is proved for isotropic distributions on derived schemes equipped with negatively shifted homotopically closed $2$-forms. It is shown that any derived scheme over $\mathbb{C}$ equipped with a $-2$-shifted symplectic structure, and having a Hausdorff space of classical points, admits a globally …

Study of Hilbert schemes and Coulomb branches of hypertoric varieties.

Reduces observables on multisymplectic manifolds using Lie algebra actions.

We verify that the rational blow-down schemes along certain Seifert fibered 3-manifolds found by the second author, Szabo and Wahl are, in fact, symplectic operations.

We introduce a recent symplectic integration scheme derived for solving physically motivated systems with non-separable Hamiltonians. We show its relevance to Riemannian manifold Hamiltonian Monte Carlo (RMHMC) and provide an alternative to the currently used generalised leapfrog symplectic integrator, which relies on …

Every metric symplectic Lie algebra has the structure of a quadratic extension. We give a standard model and describe the equivalence classes on the level of corresponding quadratic cohomology sets. Finally, we give a scheme to classify the isomorphism classes of metric symplectic Lie algebras and give a complete list …

The paper compares numerical schemes for nonholonomic systems using retraction maps.

Via the transverse Hilbert scheme construction, we associate a holomorphic completely integrable system to a surface $S$ endowed with a holomorphic symplectic form $ω$ and a projection onto $\mathbb{C}$. We provide a full characterization of the completely integrable systems that arise in this way.

A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose cohomologies have finitely many generators in each degree. Stacks represented b…

We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology, over fields of characteristic zero. The key ingredient is the construction of a degree one Hochschild cohomology class on a Floer A-infinity algebra associated to the (k,k)-nilpotent slice Y, ob…

Abstract: Generalized reduction methods for symmetries in graded geometry.

We propose Symplectic Recurrent Neural Networks (SRNNs) as learning algorithms that capture the dynamics of physical systems from observed trajectories. An SRNN models the Hamiltonian function of the system by a neural network and furthermore leverages symplectic integration, multiple-step training and initial state op…

The purpose of this article is twofold. First we outline a general construction scheme for producing simply-connected minimal symplectic 4-manifolds with small Euler characteristics. Using this scheme, we illustrate how to obtain irreducible symplectic 4-manifolds homeomorphic but not diffeomorphic to $\CP#(2k+1)\CPb$ …

We prove unobstructed deformations for compact Kaehlerian even-dimensional Poisson manifolds whose Poisson tensor degenerates along a divisor with mild singularities. Examples include Hilbert schemes of del Pezzo surfaces.

This paper presents a geometric-variational approach to continuous and discrete mechanics and field theories. Using multisymplectic geometry, we show that the existence of the fundamental geometric structures as well as their preservation along solutions can be obtained directly from the variational principle. In parti…

This paper introduces a general perturbative quantization scheme for gauge theories on manifolds with boundary, compatible with cutting and gluing, in the cohomological symplectic (BV-BFV) formalism. Explicit examples, like abelian BF theory and its perturbations, including nontopological ones, are presented.

We study two quantization schemes for compact symplectic manifolds with almost complex structures. The first of these is the Spin-c quantization. We prove the analog of Kodaira vanishing for the Spin-c Dirac operator, which shows that the index space of this operator provides an honest (not virtual) vector space semicl…

This paper is motivated by the real symplectic isotopy problem : does there exists a nonsingular real pseudoholomorphic curve not isotopic in the projective plane to any real algebraic curve of the same degree? Here, we focus our study on symmetric real curves on the projective plane. We give a classification of real s…

Let $({\bf X},ω_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb Z$, and $X_{\rm an}$ the underlying complex analytic topological space. We prove that …

We address the problem of classification of hyper-Kähler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-Kähler $4$-folds numerically equivalent to the Hilbert scheme of two points on a $K3$ surface.

Despite spectacular advances in defining invariants for simply connected smooth and symplectic 4-dimensional manifolds and the discovery of effective surgical techniques, we still have been unable to classify simply connected smooth manifolds up to diffeomorphism. In these notes, adapted from six lectures given at the …

New integrators preserve geometric structure in Hamiltonian systems.

The study analyzes momentum-based optimization algorithms from dynamical systems perspective.

The reduced norm-one group G of a central simple algebra is an inner form of the special linear group, and an involution on the algebra induces an automorphism of G. We study the action of such automorphisms in the cohomology of arithmetic subgroups of G. The main result is a precise formula for Lefschetz numbers of au…

In 1995, Dan Guan constructed examples of non-Kahler, simply-connected holomorphically symplectic manifolds. An alternative construction, using the Hilbert scheme of Kodaira-Thurston surface, was given by F. Bogomolov. We investigate topology and deformation theory of Bogomolov-Guan manifolds and show that it is simila…

Study symplectic fillings of lens spaces, focusing on virtually overtwisted contact structures.

A Calabi-Yau orbifold is locally modeled on C^n/G where G is a finite subgroup of SL(n, C). In dimension n=3 a crepant resolution is given by Nakamura's G-Hilbert scheme. This crepant resolution has a description as a GIT/symplectic quotient. We use tools from global analysis to give a geometrical generalization of the…

We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelf…

We construct infinitely many non-diffeomorphic examples of $5$-dimensional contact manifolds which are tight, admit no strong fillings, and do not have Giroux torsion. We obtain obstruction results for symplectic cobordisms, for which we give a proof not relying on the polyfold abstract perturbation scheme for SFT. The…

We consider the problem of sampling from posterior distributions for Bayesian models where some parameters are restricted to be orthogonal matrices. Such matrices are sometimes used in neural networks models for reasons of regularization and stabilization of training procedures, and also can parameterize matrices of bo…

The formulation of Geometric Quantization contains several axioms and assumptions. We show that for real polarizations we can generalize the standard geometric quantization procedure by introducing an arbitrary connection on the polarization bundle. The existence of reducible quantum structures leads to considering the…

We construct embeddings $\mathcal{Y}_{n,τ} \to {Hilb}^n (Σ_τ)$ for each of the classical Lie algebras $\ger{sp}_{2m}(\Cc)$, $\ger{so}_{2m}(\Cc)$, and $\ger{so}_{2m+1}(\Cc)$. The space $\mathcal{Y}_{n,τ}$ is the fiber over a point $τ\in \ger h / W$ of the restriction of the adjoint quotient map $χ: \ger g \to \ger h /W$…

This is the second part of a series of two papers dedicated to a systematic study of holomorphic Jacobi structures. In the first part, we introduced and study the concept of a holomorphic Jacobi manifold in a very natural way as well as various tools. In the present paper, we solve the integration problem for holomorph…

These notes are adapted from two talks given at the 2004 Clay Institute Summer School on Floer homology, gauge theory, and low dimensional topology at the Alfred Renyi Institute. We will quickly review what we do and do not know about the existence and uniqueness of smooth and symplectic structures on closed, simply-co…

In a pair of papers, we construct invariants for smooth four-manifolds equipped with `broken fibrations' - the singular Lefschetz fibrations of Auroux, Donaldson and Katzarkov - generalising the Donaldson-Smith invariants for Lefschetz fibrations. The `Lagrangian matching invariants' are designed to be comparable with …

We describe the integral cohomology of $X/G$ where $X$ is a compact complex manifold and $G$ a cyclic group of prime order with only isolated fixed points. As a preliminary step, we investigate the integral cohomology of toric blow-ups of quotients of $\mathbb{C}^n$. We also provide necessary and sufficient conditions …

We consider free and proper cotangent-lifted symmetries of Hamiltonian systems. For the special case of G = SO(3), we construct symplectic slice coordinates around an arbitrary point. We thus obtain a parametrisation of the phase space suitable for the study of dynamics near relative equilibria, in particular for the B…

A local normal form theorem for smooth equivariant maps between Fréchet manifolds is established. Moreover, an elliptic version of this theorem is obtained. The proof these normal form results is inspired by the Lyapunov-Schmidt reduction for dynamical systems and by the Kuranishi method for moduli spaces, and uses a s…

Study on curvatures of surfaces in specific Lie groups.

Given a Lie algebra with a scalar product, one may consider the latter as a symplectic structure on a $dg$-scheme, which is the spectrum of the Chevalley--Eilenberg algebra. In the first section we explicitly calculate the first order deformation of the differential on the Hochschild complex of the Chevalley--Eilenberg…

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation Φ_f : C^\infty(X)^n --> C^\i…

A symplectic manifold $(M,ω)$ is called {\em (symplectically) uniruled} if there is a nonzero genus zero GW invariant involving a point constraint. We prove that symplectic uniruledness is invariant under symplectic blow-up and blow-down. This theorem follows from a general Relative/Absolute correspondence for a symple…

Study on symplectic Dirac operators on foliations, estimating eigenvalues.