Skip to content
Preprint

A proof of the Arnold-Givental conjecture

Aug 2026 · 1 citation
Mathematics

Abstract

We prove the Arnold-Givental conjecture in full generality: given a closed symplectic manifold $(X, \omega)$, an anti-symplectic involution $\tau_X: X \to X$ with fixed point set $L={\rm Fix}(\tau_X)$, and a Hamiltonian diffeomorphism $\phi: X \to X$ such that $\phi(L)$ intersects transversely with $L$, the following inequality holds: \[ \# \big( \phi(L) \cap L \big) \geq {\mathrm dim}_{{\mathbb F}_2} H_*(L; {\mathbb F}_2).\] The proof combines the methods of integral Floer theory of the first and fourth authors, a reduction to Hamiltonian Floer cohomology due to Lu, and a new idea related to localization in a $\mathbb Z/2$-equivariant Floer theory tailored to the problem.

View source

Similar papers

Preprint Aug 2026

A Chow-Type theorem from asymptotic directions

Let $X\subset \mathbb C^n$ be a closed pure $d$-dimensional complex analytic set. We associate to $X$ its set of projective asymptotic directions $$ \Sigma_\infty(X) :=\{\ell \in \mathbb P^{n-1}(\mathbb C):\ell\cap C_\infty(X)\ne\{0\}\}, $$ where $ C_\infty(X)$ is the total tangent cone at infinity. We prove the metric...

Nhan D. V. Nguyen · 1 citation · ⚡1
Preprint Sep 2026

Superconnections, descent, and monodromy on transversely holomorphic foliations

Let $X$ carry a transversely holomorphic foliation, equivalently an elliptic involutive structure $V\subset T_{\mathbb C}X$, and let ${\mathcal O}_V$ be its sheaf of leafwise-constant, transversely holomorphic functions. We construct a finite superconnection model for the derived category of coherent ${\mathcal O}_V$-m...

Qing-Yun Zeng · 0 citations
Preprint Aug 2026

Pointwise convergence of noncommutative ergodic averages along the primes

Let $\mathcal N$ be a von Neumann algebra equipped with a normal faithful semifinite trace, and let $\gamma$ be a trace-preserving automorphism of $\mathcal N$. We consider the ergodic averages along the prime numbers \[ A_N(x) := \frac1{|P_N|} \sum_{q\in P_N}\gamma^q(x), \qquad P_N:=\{q\leq N:q\ \text{is prime}\}. \]...

Guixiang Hong, Liang Wang · 1 citation
Preprint Aug 2026

A Proof of a Conjecture on a P\'olya Functional

Let $\lambda_1(\Omega)$ and $T(\Omega)$ denote the first Dirichlet eigenvalue and torsional rigidity of a bounded convex domain $\Omega\subset\mathbb{R}^2$, and let $M=\max_\Omega u$, where $u$ is the torsion function. We prove the sharp inequalities $\pi^2/24<\lambda_1(\Omega)T(\Omega)/|\Omega|<\pi^2/12$. This proves...

Zi-Kang Deng · 0 citations
2026

Homogenization of one-dimensional hyperbolic equations with corrector

We consider an elliptic differential operator $A_\varepsilon=- \frac{d}{dx} g(\frac x\varepsilon) \frac{d}{dx}$, $\varepsilon > 0$, with a periodic coefficient that acts in $L_2(\mathbb{R})$. We study the behaviour of solutions of the Cauchy problem for the hyperbolic equation $partial_\tau^2 w_\varepsilon (x,\tau)=- (...

M. Dorodnyi · 0 citations
Preprint Sep 2026

Bounded cohomology and optimal separating constant for representations

Let $\Sigma$ be a closed oriented surface of genus $>1$ and $M$ a complete hyperbolic 3-manifold with a marking $i:\Sigma\longrightarrow M$. We consider the case that $M$ has no parabolic cusps and at least one of the two ends is simply degenerate. For $\varGamma=\pi_1(\Sigma)$, let $\rho_M:\varGamma\longrightarrow \ma...

Y. Nakano, Teruhiko Soma · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.