A Counterexample to Viterbo's Conjecture

Pazit Haim-Kislev,Yaron Ostrover

2024-05-31

Abstract:We provide a counterexample to Viterbo's volume-capacity conjecture based on Minkowski billiard dynamics. This implies in particular that symplectic capacities differ on the class of convex domains in the classical phase space.

Symplectic Geometry,Metric Geometry

What problem does this paper attempt to address?

Heat Kernel and Moduli Spaces II

KF Liu

DOI: https://doi.org/10.4310/mrl.1997.v4.n4.a12

1996-01-01

Mathematical Research Letters

Abstract:In this paper we describe a proof of the formulas of Witten [W1], [W2] about the symplectic volumes and the intersection numbers of the moduli spaces of principal bundles on a compact Riemann surface. It is known that these formulas give all the information needed for the Verlinde formula. The main idea of the proof is to use the heat kernel on compact Lie groups, in a way very similar to the heat kernel proof of the Atiyah-Singer index formula and the Atiyah-Bott fixed point formula. The Reidemeister torsion comes into the picture, through a beautiful observation of Witten, as the symplectic volume of the moduli space. It plays the role similar to that played by the Ray-Singer torsion in the path-integral computations on the space of connections. The basic idea is as follows. Consider a smooth map between two compact smooth manifolds f : M → N . Let H(t, x, x0) be the heat kernel of the Laplace-Beltrami operator on N with x0 a fixed regular value of f . Because of the basic properties of the heat kernel, we know that for any continuous function a(y) on M , when t goes to zero, ∫
The Extremals of Minkowski's Quadratic Inequality

Yair Shenfeld,Ramon van Handel

DOI: https://doi.org/10.1215/00127094-2021-0033

2021-04-09

Abstract:In a seminal paper "Volumen und Oberfläche" (1903), Minkowski introduced the basic notion of mixed volumes and the corresponding inequalities that lie at the heart of convex geometry. The fundamental importance of characterizing the extremals of these inequalities was already emphasized by Minkowski himself, but has to date only been resolved in special cases. In this paper, we completely settle the extremals of Minkowski's quadratic inequality, confirming a conjecture of R. Schneider. Our proof is based on the representation of mixed volumes of arbitrary convex bodies as Dirichlet forms associated to certain highly degenerate elliptic operators. A key ingredient of the proof is a quantitative rigidity property associated to these operators.

Metric Geometry,Differential Geometry,Functional Analysis,Spectral Theory
Counterexamples of Lefschetz hyperplane type results for movable cones

Zhan Li

DOI: https://doi.org/10.48550/arXiv.1601.05546

2016-01-29

Abstract:The main theorem of the paper provides a way to produce examples such that the movable cone of an ample divisor does not coincide with the movable cone of its ambient variety.

Algebraic Geometry
Counterexamples to Minkowski's Uniqueness Conjecture and Escape of Mass in Positive Characteristic

Noy Soffer Aranov

2024-05-01

Abstract:We show that there are infinitely many counterexamples to Minkowski's conjecture in positive characteristic regarding uniqueness of the upper bound of the multiplicative covering radius, $\mu$, by constructing a sequence of compact $A$ orbits where $\mu$ obtains its conjectured upper bound. In addition, we show that these orbits, as well as a slightly larger sequence of orbits, must exhibit complete escape of mass.

Dynamical Systems,Number Theory
Disk-like surfaces of section and symplectic capacities

Oliver Edtmair

2023-12-13

Abstract:We prove that the cylindrical capacity of a dynamically convex domain in $\mathbb{R}^4$ agrees with the least symplectic area of a disk-like global surface of section of the Reeb flow on the boundary of the domain. Moreover, we prove the strong Viterbo conjecture for all convex domains in $\mathbb{R}^4$ which are sufficiently $C^3$ close to the round ball. This generalizes a result of Abbondandolo-Bramham-Hryniewicz-Salomão establishing a systolic inequality for such domains.

Symplectic Geometry
Proof of the Verjovsky Conjecture

Khadim War

DOI: https://doi.org/10.48550/arXiv.2309.10944

2023-09-20

Abstract:In this paper we present a proof of the Verjovsky conjecture: Every codimension-one Anosov flow on a manifold of dimension greater than three is topologically equivalent to the suspension of a hyperbolic toral automorphism. In fact, the conjecture is derived from possible more general result that says that for every codimension-one volume-preserving Anosov flow on a manifold of dimension greater than three, a suitable time change guarantees that the stable and unstable sub-bundles are then jointly integrable.

Dynamical Systems
New Counterexamples to Min-Oo's Conjecture via Tunnels

Paul Sweeney Jr

2023-08-07

Abstract:Min-Oo's Conjecture is a positive curvature version of the positive mass theorem. Brendle, Marques, and Neves produced a perturbative counterexample to this conjecture. In 2021, Carlotto asked if it is possible to develop a novel gluing method in the setting of Min-Oo's Conjecture and in doing so produce new counterexamples. Here we answer this question in the affirmative. These new counterexamples are non-perturbative in nature; moreover, we also produce examples with more complicated topology. Our main tool is a quantitative version of Gromov-Lawson Schoen-Yau surgery.

Differential Geometry
Pseudo-Euclidean Billiards within Confocal Curves on the Hyperboloid of One Sheet

Sean Gasiorek,Milena Radnovic

DOI: https://doi.org/10.1016/j.geomphys.2020.104032

2020-10-27

Abstract:We consider a billiard problem for compact domains bounded by confocal conics on a hyperboloid of one sheet in the Minkowski space. We show that there are two types of confocal families in such setting. Using an algebro-geometric integration technique, we prove that the billiard within generalized ellipses of each type is integrable in the sense of Liouville. Further, we prove a generalization of the Poncelet theorem and derive Cayley-type conditions for periodic trajectories and explore geometric consequences.

Dynamical Systems
The Logarithmic Spiral : a Counterexample to the K=2 Conjecture

DBA Epstein,V Markovic

DOI: https://doi.org/10.4007/annals.2005.161.925

IF: 4.795

2005-01-01

Annals of Mathematics

Abstract:Given a nonempty compact connected subset X subset of S-2 with complement a simply-connected open subset Omega subset of S-2, let Dome (Omega) be the boundary of the hyperbolic convex hull in H-3 of X. We show that if X is a certain logarithmic spiral, then we obtain a counterexample to the conjecture of Thurston and Sullivan that there is a 2-quasiconformal homeomorphism Omega -> Dome (Omega) which extends to the identity map on their common boundary in S-2. This leads to related counterexamples when the boundary is real analytic, or a finite union of intervals (straight intervals, if we take S-2 = C boolean OR {infinity}). We also show how this counterexample enables us to construct a related counterexample which is a domain of discontinuity of a torsion-free quasifuchsian group with compact quotient. Another result is that the average long range bending of the convex hull boundary associated to a certain logarithmic spiral is approximately .98 pi/2, which is substantially larger than that of any previously known example.
Magnetic billiards and the Hofer-Zehnder capacity of disk tangent bundles of lens spaces

Johanna Bimmermann,Levin Maier

2024-03-11

Abstract:We compute the Hofer-Zehnder capacity of disk tangent bundles of certain lens spaces with respect to the round metric. Interestingly we find that the Hofer-Zehnder capacity does not see the covering, i.e. the capacity of the disk tangent bundle of the lens space coincides with the capacity of the disk tangent bundle of the 3-sphere covering it. In particular, this gives a first example, where Gromov width and Hofer-Zehnder capacity of a disk tangent bundle disagree. Techniques we use include for the lower bound magnetic billiards and for the upper bound Gromov-Witten invariants.

Symplectic Geometry,Dynamical Systems
A Counterexample to Parabolic Dichotomies in Holomorphic Iteration

Leandro Arosio,Filippo Bracci,Hervé Gaussier

DOI: https://doi.org/10.1007/s12220-024-01606-9

2024-04-05

Journal of Geometric Analysis

Abstract:We give an example of a parabolic holomorphic self-map f of the unit ball whose canonical Kobayashi hyperbolic semi-model is given by an elliptic automorphism of the disc , which can be chosen to be different from the identity. As a consequence, in contrast to the one dimensional case, this provides a first example of a holomorphic self-map of the unit ball which has points with zero hyperbolic step and points with nonzero hyperbolic step, solving an open question and showing that parabolic dynamics in the ball is radically different from parabolic dynamics in the disc. The example is obtained via a geometric method, embedding the ball as a domain in the bidisc that is forward invariant and absorbing for the map , where denotes the right half-plane. We also show that a complete Kobayashi hyperbolic domain with such properties cannot be Gromov hyperbolic w.r.t. the Kobayashi distance (hence, it cannot be biholomorphic to ) if an additional quantitative geometric condition is satisfied.

mathematics
Symplectic polarity and Mahler's conjecture

Mark Berezovik,Roman Karasev

2024-07-29

Abstract:We state a conjecture about the volume of symplectically self-polar convex bodies and show that it is equivalent to Mahler's conjecture concerning the volume of a convex body and its Euclidean polar. We also establish lower and upper bounds for symplectic capacities of symplectically self-polar bodies.

Metric Geometry,Symplectic Geometry
A Counter-Example to Hausmann’s Conjecture

Žiga Virk

DOI: https://doi.org/10.1007/s10208-021-09510-2

IF: 3.4388

2021-05-04

Foundations of Computational Mathematics

Abstract:In 1995 Jean-Claude Hausmann proved that a compact Riemannian manifold X is homotopy equivalent to its Rips complex ${\text {Rips}}(X,r)$ for small values of parameter r. He then conjectured that the connectivity of Rips complexes is a monotone function in r, a statement which has been supported by all known examples up to present. In this paper, we prove that $S^3$ equipped with a certain Riemannian metric is a counter-example to Hausmann's conjecture. Our proof combines the Stability Theorem of persistent homology, a persistent version of Hausmann's Theorem, and an approximation theorem of Ferry and Okun.

mathematics, applied,computer science, theory & methods
A counterexample to the Karvatskyi--Pratsiovytyi conjecture concerning the achievement set of an intermediate series

Mykola Moroz

2024-11-23

Abstract:We found a counterexample to the conjecture of Karvatskyi and Pratsiovytyi concerning the topological type of the achievement set of an intermediate series (Proceedings of the International Geometry Center, 2023. <a class="link-external link-https" href="https://doi.org/10.15673/pigc.v16i3.2519" rel="external noopener nofollow">this https URL</a>). This conjecture is based on an analogy with the squeeze theorem from calculus. We also proposed an improved version of the conjecture, which this counterexample does not refute.

General Mathematics
Symplectic capacities from positive S^1-equivariant symplectic homology

Jean Gutt,Michael Hutchings

DOI: https://doi.org/10.48550/arXiv.1707.06514

2017-07-20

Symplectic Geometry

Abstract:We use positive S^1-equivariant symplectic homology to define a sequence of symplectic capacities c_k for star-shaped domains in R^{2n}. These capacities are conjecturally equal to the Ekeland-Hofer capacities, but they satisfy axioms which allow them to be computed in many more examples. In particular, we give combinatorial formulas for the capacities c_k of any "convex toric domain" or "concave toric domain". As an application, we determine optimal symplectic embeddings of a cube into any convex or concave toric domain. We also extend the capacities c_k to functions of Liouville domains which are almost but not quite symplectic capacities.
The volume of a divisor and cusp excursions of geodesics in hyperbolic manifolds

Simion Filip,John Lesieutre,Valentino Tosatti

2023-12-02

Abstract:We give a complete description of the behavior of the volume function at the boundary of the pseudoeffective cone of certain Calabi-Yau complete intersections known as Wehler N-folds. We find that the volume function exhibits a pathological behavior when N>=3, we obtain examples of a pseudoeffective R-divisor D for which the volume of D+sA, with s small and A ample, oscillates between two powers of s, and we deduce the sharp regularity of this function answering a question of Lazarsfeld. We also show that h^0(X,[mD]+A) displays a similar oscillatory behavior as m increases, showing that several notions of numerical dimensions of D do not agree and disproving a conjecture of Fujino. We accomplish this by relating the behavior of the volume function along a segment to the visits of a corresponding hyperbolic geodesics to the cusps of a hyperbolic manifold.

Algebraic Geometry,Dynamical Systems
Outer symplectic billiards

Peter Albers,Ana Chavez Caliz,Serge Tabachnikov

2024-09-12

Abstract:A submanifold of the standard symplectic space determines a partially defined, multi-valued symplectic map, the outer symplectic billiard correspondence. Two points are in this correspondence if the midpoint of the segment connecting them is on the submanifold, and this segment is symplectically orthogonal to the tangent space of the submanifold at its midpoint. This is a far-reaching generalization of the outer billiard map in the plane; the particular cases, when the submanifold is a closed convex hypersurface or a Lagrangian submanifold, were considered earlier. Using a variational approach, we establish the existence of odd-periodic orbits of the outer symplectic billiard correspondence. On the other hand, we give examples of curves in 4-space which do not admit 4-periodic orbits at all. If the submanifold satisfies 49 pages, certain conditions (which are always satisfied if its dimension is at least half of the ambient dimension) we prove the existence of two $n$-reflection orbits connecting two transverse affine Lagrangian subspaces for every $n\geq1$. In addition, for every immersed closed submanifold, the number of single outer symplectic billiard ``shots" from one affine Lagrangian subspace to another is no less than the number of critical points of a smooth function on this submanifold. We study, in detail, the behavior of this correspondence when the submanifold is a curve or a Lagrangian submanifold. For Lagrangian submanifolds in 4-dimensional space we present a criterion for the outer symplectic billiard correspondence to be an actual map. We show, in every dimension, that if a Lagrangian submanifold has a cubic generating function, then the outer symplectic billiard correspondence is completely integrable in the Liouville sense.

Symplectic Geometry
Weakly bounded cohomology classes and a counterexample to a conjecture of Gromov

Dario Ascari,Francesco Milizia

DOI: https://doi.org/10.1007/s00039-024-00676-9

2024-07-04

Abstract:We exhibit a finitely presented group whose second cohomology contains a weakly bounded, but not bounded, class. As an application, we disprove a long-standing conjecture of Gromov about bounded primitives of differential forms on universal covers of closed manifolds.

Group Theory
A Counter Example To the Hodge Conjecture

Renyi Ma

DOI: https://doi.org/10.48550/arXiv.0808.1402

2008-08-10

General Mathematics

Abstract:In this paper, we give a simple counter example to the famous Hodge conjecture.
Deformational spectral rigidity of axially-symmetric symplectic billiards

Corentin Fierobe,Alfonso Sorrentino,Amir Vig

2024-10-18

Abstract:Symplectic billiards were introduced by Albers and Tabachnikov as billiards in strictly convex bounded domains of the plane with smooth boundary having a specific law of reflection. This paper proves a rigidity result for symplectic billiards which is similar to a previous result on classical billiards formulated by De Simoi, Kaloshin and Wei. Namely, it states that close to an ellipse, a sufficiently smooth one-parameter family of axially symmetric domains either contains domains with different area-spectra or is trivial, in a sense that the domains differ by area-preserving affine transformations of the plane. The paper also prove that in the general setting - that is even if the domains are not close to an ellipse - any sufficiently smooth one-parameter family of axially symmetric domains which preserves the area-spectrum is tangent to a finite dimensionnal space.

Dynamical Systems

A Counterexample to Viterbo's Conjecture

Heat Kernel and Moduli Spaces II

The Extremals of Minkowski's Quadratic Inequality

Counterexamples of Lefschetz hyperplane type results for movable cones

Counterexamples to Minkowski's Uniqueness Conjecture and Escape of Mass in Positive Characteristic

Disk-like surfaces of section and symplectic capacities

Proof of the Verjovsky Conjecture

New Counterexamples to Min-Oo's Conjecture via Tunnels

Pseudo-Euclidean Billiards within Confocal Curves on the Hyperboloid of One Sheet

The Logarithmic Spiral : a Counterexample to the K=2 Conjecture

Magnetic billiards and the Hofer-Zehnder capacity of disk tangent bundles of lens spaces

A Counterexample to Parabolic Dichotomies in Holomorphic Iteration

Symplectic polarity and Mahler's conjecture

A Counter-Example to Hausmann’s Conjecture

A counterexample to the Karvatskyi--Pratsiovytyi conjecture concerning the achievement set of an intermediate series

Symplectic capacities from positive S^1-equivariant symplectic homology

The volume of a divisor and cusp excursions of geodesics in hyperbolic manifolds

Outer symplectic billiards

Weakly bounded cohomology classes and a counterexample to a conjecture of Gromov

A Counter Example To the Hodge Conjecture

Deformational spectral rigidity of axially-symmetric symplectic billiards