Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2407.08433

On the Maslov-type index for general paths of symplectic matrices

Hai-Long Her·Qiyu Zhong
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this article, we define an index of Maslov type for general symplectic paths which have two arbitrary end points. This Maslov-type index is a partial generalization of the Conley-Zehnder-Long index in the sense that the degenerate set of symplectic matrices is larger. The method of constructing the index is direct without taking advantage of Maslov index of Lagrangian paths and consistent no matter whether the starting point of the path is identity or not, which is different from the ones for Long's Maslov-type index and Liu's $L_0$-index. Some natural properties for the index are verified. We review other versions of Maslov indices and compare them with our definition. In particular, this Maslov-type index can be regarded as a realization of Cappell-Lee-Miller index for a pair of Lagrangian paths from the point of view of index for symplectic paths.

Explore related subjects

math.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hai-Long Her, Qiyu Zhong. 2025-08-16. On the Maslov-type index for general paths of symplectic matrices. https://arxiv.org/abs/2407.08433

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Non-unital monoidal category of contact manifolds and Legendrian correspondence

There are two purposes of the present paper which are interrelated. The first goal is to construct the structure of a non-unital monoidal category $\mathfrak{Cont}$ of contact manifolds, not necessarily coorientable, by developing the contact topology \emph{without contact forms}. The non-unital monoidal product is the functorial contact product $\star$, called star product, introduced in \cite{oh:shelukhin-conjecture}. We prove that the product $\star$ is associative and there exist a collection $α= \{α_{X,Y,Z}\}$ of the \emph{associator} isomorphisms $α_{X,Y,Z}: X \star (Y\star Z) \cong (X \star Y) \star Z$ for $X, \, Y, \, Z \in \mathfrak{Cont}$, that satisfy the pentagon axiom, i.e., that the triples $(\mathfrak{Cont}, \star, α)$ form a nonunital monoidal category. The second goal is to develop the calculus of Legendrian correspondences, which are by definition embedded Legendrian submanifolds of the contact product $Q \star Q'$. Legendrian correspondences will play the role of 1-morphisms in the $2$-categorical structure to be equipped with $\mathfrak{Cont}$ whose two morphisms are contact instanton cohomologies $HI(R_{ab},R'_{ab})$ associated to a pair of Legendrian correspondences $R_{ab}, \, R'_{ab} \in \mathfrak{Leg}(Q_a,Q_b)$. With this future application in mind, we define the composition of Legendrian correspondences and prove that the composition of a generic pair is again embedded and hence canonically becomes a Legendrian correspondence.

math.SG↗
arXiv2026

Kodaira fibres and wrapped Floer cohomology

Let $F$ be a singular fibre of a relatively minimal complex elliptic fibration with smooth total space, and let $Ω$ be a nonvanishing holomorphic two-form near $F$. We show that a small neighbourhood of $F$ is a Weinstein domain for $\mathrm{Re}\,Ω$ whose completion is a Legendrian surgery, with cocores obtained by completing holomorphic disks transverse to the components of $F$. For every coefficient field and every multiplicative bulk class, we compute the wrapped Floer cohomology of these cocores and prove that it is concentrated in degree zero. The cocores generate, so the bulk-deformed wrapped Fukaya category is equivalent to the category of perfect modules over an explicit algebra: a multiplicative preprojective algebra of affine type for the normal crossing fibres, and a quiver algebra with relations for types $II$, $III$ and $IV$. Applications include formality of the affine plumbing dg algebras, mirror equivalences with resolved affine surfaces at the trivial bulk class, and with quotient stacks of algebraic tori at root-of-unity bulk classes for the four star-shaped fibres.

math.SG↗
arXiv2026

Darboux's Theorem in $p$-adic symplectic geometry

We prove a non Archimedean Darboux's Theorem: any two symplectic forms on a $p$-adic analytic manifold are locally isomorphic. Understanding local problems such as the existence of flows or the normalization of singularities in the theory of integrable systems, is essential to understand the physics behind these systems. Our result tells us that the phase space defined by a $p$-adic manifold is locally standard, allowing us to concentrate on the equations defining the dynamics rather than on the space itself. Our proof uses a non Archimedean version of Moser's Path Method to push one symplectic form onto another one by a flow. A central technical contribution of the paper is the proof that the flow is given by a power series with non zero radius of convergence, which requires geometric analytic estimates and does not follow from algebraic considerations. The main difficulty of the paper is analytic: an ODE will not have a long-time solution even in a neighborhood of a fixed point but we are able to find a condition for a long-time solution to exist, which allows us to tweak the ODE in Moser's Path Method so that it satifies the condition. As a global application, we derive a classification of second-countable $p$-adic analytic symplectic manifolds in terms of $p$-adic volume, which generalizes a classical theorem of J-P. Serre.

math.SG↗