New equivariant formality concepts solve the toral rank conjecture.
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Trend · papers per month
A conjecture about rational curves' formal principle and convergence proved for Goursat type families.
The formal principle holds for certain globally generated vector bundles on Fano manifolds and smooth rational curves.
Proves formality conjecture for Hamiltonian actions using equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism.
Proves Juhl formulas for curved Ovsienko--Redou operators, confirming conjectures.
Scalable spaces are simply connected manifolds with nice cohomology properties.
Proves formal self-adjointness of certain differential operators.
The Kashaev conjecture is proven for classical signatures and Alexander polynomials of links.
A Riemannian manifold is called geometrically formal if the wedge product of harmonic forms is again harmonic, which implies in the compact case that the manifold is topologically formal in the sense of rational homotopy theory. A manifold admitting a Riemannian metric of positive sectional curvature is conjectured to …
We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y_1, ..., y_d]] proposed in paper math.QA/0010321 by Shoikhet. This result …
We introduce a method to resolve a symplectic orbifold into a smooth symplectic manifold. Then we study how the formality and the Lefschetz property of the symplectic resolution are compared with that of the symplectic orbifold. We also study the formality of the symplectic blow-up of a symplectic orbifold along symple…
We use Morse theory of the Yang-Mills functional to compute the Betti numbers of the moduli stack of flat U(3)-bundles over a compact nonorientable surface. Our result establishes the antiperfection conjecture of Ho-Liu, and provides evidence for the equivariant formality conjecture of the author.
Using Quillen's superconnection formalism we give a new "twisted" approach to the rational Gromov-Lawson-Rosenberg (GLR) conjecture on topological obstructions to the existence of Riemannian metrics of positive scalar curvature on compact spin manifolds. In particular, we present a short proof of the rational GLR conje…
A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S^4 or diffeomorphic to …
We generalize Witten's conjectured formula relating Donaldson and Seiberg-Witten invariants to manifolds of non-simple type, via equivariant localization techniques. This approach does not use the theory of non-abelian monopoles, but works directly on the Donaldson-Witten and Seiberg-Witten moduli spaces. We give a for…
We describe some recent development on the theory of formal Frobenius manifolds via a construction from differential Gerstenhaber-Batalin-Vilkovisk (DGBV) algebras and formulate a version of mirror symmetry conjecture: the extended deformation problems of the complex structure and the Poisson structure are described by…
The loop invariants of Dimofte-Garoufalidis is a formal power series with arithmetically interesting coefficients that conjecturally appears in the asymptotics of the Kashaev invariant of a knot to all orders in . We develop methods implemented in SnapPy that compute the first 6 coefficients of the formal power se…
Using a cell model for the little discs operad in terms of spineless cacti we give a minimal common topological operadic formalism for three a priori disparate algebraic structures: (1) a solution to Deligne's conjecture on the Hochschild complex, (2) the Hopf algebra of Connes and Kreimer, and (3) the string topology …
In this short note, we compute the Betti numbers of the moduli stack of flat SU(3)-bundles over a Klein bottle. We also handle the general compact group case over RP^2. In all cases the cohomology is found to be equivariantly formal, supporting a conjecture from the author's doctoral thesis. Our results also verify con…
In the present paper we prove a statement closely related to the cyclic formality conjecture. In particular, we prove that for a divergence-free Poisson bivector field on R^d, the Kontsevich star-product with the harmonic angle function is cyclic. We also prove a globalization of this theorem in the case of arbitrary P…
Our aim is to prove that two formal power series of importance to quantum topology are Gevrey. These series are the Kashaev invariant of a knot (reformulated by Huynh and the second author) and the Gromov norm of the LMO of an integral homology 3-sphere. It follows that the power series associated to a simple Lie algeb…
The article confirms Joyce's examples of G2-holonomy are formal spaces.
In 1999, Rozansky conjectured the existence of a rational presentation of the Kontsevich integral of a knot. Roughly speaking, this rational presentation of the Kontsevich integral would sum formal power series into rational functions with prescribed denominators. Rozansky's conjecture was soon proven by the second aut…
Power series invariant of hyperbolic 3-manifolds matches knot invariants.
Study disproves conjecture about low-degree polynomials in hypothesis testing.
Proves stable degeneration preserves symplectic forms and confirms Kaledin's conjecture.
Sharp knots and iterated cables lead to ribbon knots or failure of slice-ribbon conjecture.
We present sufficient conditions for the cohomology of a closed aspherical manifold to be proper Lipschitz in sense of Connes-Gromov-Moscovici [CGM]. The conditions are stated in terms of the Stone-Čech compactification of the universal cover of a manifold. We show that these conditions are formally weaker than the suf…
Self-supervised skip-tree training improves mathematical reasoning in language models.
Researchers found a new 8D Taub-NUT-like metric using harmonic superspace.
The article proves estimates on homotopy and cohomology dimensions in fibrations.
Geometric flow method finds static extensions for axisymmetric data.
It is the aim of this article to determine curvature quantities of an arbitrary Riemannian monotone metric on the space of positive matrices resp. nonsingular density matrices. Special interest is focused on the scalar curvature due to its expected quantum statistical meaning. The scalar curvature is explained in more …
This paper realises the Khovanov homology of a link in the 3-sphere as a Lagrangian Floer cohomology group, establishing a conjecture of Seidel and the second author. The starting point is the previously established formality theorem for the symplectic arc algebra over a field k of characteristic zero. Here we prove th…
The paper proves a quantum modularity conjecture for 3-manifolds.
We define a family of formal Khovanov brackets of a colored link depending on two parameters. The isomorphism classes of these brackets are invariants of framed colored links. The Bar-Natan functors applied to these brackets produce Khovanov and Lee homology theories categorifying the colored Jones polynomial. Further,…
We construct a cut-off version of nonpertubative closed Bosonic string field theory in the light-cone gauge with imaginary string coupling constant. We show that the partition function is a continuous function of the string coupling constant, and conjecture a relation between the formal power series expansion of this p…
The abstract discusses resurgent functions in quantum knot invariants.
This paper reinterprets Khovanov-Sano symmetries using BV formalism.
Geometrically computes sheaves linking HOMFLY-PT homology to Hilbert schemes.
Refines Hurwitz numbers with a two-parameter theory.
The Quantum Modularity Conjecture of Zagier predicts the existence of a formal power series with arithmetically interesting coefficients that appears in the asymptotics of the Kashaev invariant at each root of unity. Our goal is to construct a power series from a Neumann-Zagier datum (i.e., an ideal triangulation of th…
Study homology manifolds using spectral sheaves and spectral six functor formalism.
The standard Black-Scholes theory of option pricing is extended to cope with underlying return fluctuations described by general probability distributions. A Langevin process and its related Fokker-Planck equation are devised to model the market stochastic dynamics, allowing us to write and formally solve the generaliz…
Proves resurgence properties for Habiro elements from radial limits of theta series.
Using the interpretation of certain generalised Donaldson-Thomas invariants, including stable pairs curve counts, as the monodromy of a flat connection on a formal principal bundle, we show that the conjectural Gopakumar-Vafa contributions of all genera to the Gromov-Witten partition function appear in the asymptotics …
A general form for the boundary coupling of a Lie algebroid Poisson sigma model is proposed. The approach involves using the Batalin-Vilkovisky formalism in the AKSZ geometrical version, to write a BRST-invariant coupling for a representation up to homotopy of the target Lie algebroid or its subalgebroids. These consid…
We prove the conjecture by Feigin, Fuchs and Gelfand describing the Lie algebra cohomology of formal vector fields on an -dimensional space with coefficients in symmetric powers of the coadjoint representation. We also compute the cohomology of the Lie algebra of formal vector fields that preserve a given flag at th…