Research
On-device research index

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.

169,051 papers · 148 categories

Trend · papers per month

3467101134 · May 202619922001200920182026
48 results for formality conjecture

The formal principle holds for certain globally generated vector bundles on Fano manifolds and smooth rational curves.

problem Proving the formal principle for globally generated vector bundles on compact complex manifolds.
method Applying Cartan's equivalence method to a differential system on the universal family of the Douady space.
result The formal principle is true for Fano manifolds and smooth rational curves under specific conditions.

Proves formality conjecture for Hamiltonian actions using equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism.

problem Formality conjecture for Hamiltonian actions.
method Constructs an LL_\infty-quasi-isomorphism using the GG-invariant formality.
result Equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism extends to an LL_\infty-quasi-isomorphism.

Proves Juhl formulas for curved Ovsienko--Redou operators, confirming conjectures.

problem Formal self-adjointness of curved Ovsienko--Redou operators and their linear analogues.
method Proves Juhl type formulas for curved Ovsienko--Redou operators and their linear analogues.
result Confirms two conjectures of Case, Lin, and Yuan on formal self-adjointness.

The Kashaev conjecture is proven for classical signatures and Alexander polynomials of links.

problem Proving the Kashaev conjecture for signatures and Alexander polynomials.
method Relating Kashaev's matrix to Gordon-Litherland's work and Kauffman's model.
result Proven Alexander polynomial and classical signature parts of the conjecture for arbitrary links, and full conjecture for definite knots.

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 …

2014-07-23abs ↗pdf ↗

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 …

2004-02-16abs ↗pdf ↗

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…

2007-10-03abs ↗pdf ↗

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…

1999-06-21abs ↗pdf ↗

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 …

2012-12-06abs ↗pdf ↗

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…

2000-06-17abs ↗pdf ↗

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 1/N1/N. We develop methods implemented in SnapPy that compute the first 6 coefficients of the formal power se…

2015-03-09abs ↗pdf ↗

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…

2009-01-12abs ↗pdf ↗

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…

2000-02-08abs ↗pdf ↗

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…

2006-09-21abs ↗pdf ↗

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…

2001-05-03abs ↗pdf ↗

Power series invariant of hyperbolic 3-manifolds matches knot invariants.

problem Understanding topological invariants of hyperbolic 3-manifolds.
method Perturbative power series associated with ideally triangulated cusped hyperbolic 3-manifolds.
result The power series agrees with Kashaev and Andersen-Kashaev invariants to all orders.

Study disproves conjecture about low-degree polynomials in hypothesis testing.

problem Conjecture about limitations of polynomial-time algorithms in hypothesis testing.
method Used counterexamples to refute the conjecture and modified the conjecture to rule out the counterexample.
result Disproved conjecture about limitations of low-degree polynomials in hypothesis testing.

Sharp knots and iterated cables lead to ribbon knots or failure of slice-ribbon conjecture.

problem Understanding the concordance properties of knots and their cables.
method Using Seifert genus and concordance invariant γ0 from bordered Heegaard Floer homology.
result Connected sums of γ0-sharp fibered knots are ribbon only if they are of a specific form, or the slice-ribbon conjecture fails.

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…

2002-05-15abs ↗pdf ↗

Self-supervised skip-tree training improves mathematical reasoning in language models.

problem Improving logical reasoning in language models for formal mathematics.
method Self-supervised language modeling on mathematical formulas, skip-tree task.
result Models trained on skip-tree task outperform standard models in mathematical reasoning tasks.

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…

2015-04-06abs ↗pdf ↗

This paper reinterprets Khovanov-Sano symmetries using BV formalism.

problem Understanding symmetries in equivariant Khovanov homology.
method Identifying Shumakovitch operator as a BV Laplacian and proving LL_{\infty}-algebra structure.
result Construction of an intrinsic LL_{\infty}-algebra on the Khovanov-Sano complex.

Geometrically computes sheaves linking HOMFLY-PT homology to Hilbert schemes.

problem Linking HOMFLY-PT homology to geometric structures on Hilbert schemes.
method Geometric sheaf theory, Hochschild homology formality, Hilbert schemes of points.
result Established formalism connecting HOMFLY-PT homology to coherent sheaves on Hilbert schemes.

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…

2015-11-18abs ↗pdf ↗

Study homology manifolds using spectral sheaves and spectral six functor formalism.

problem Characterize and understand homology manifolds through spectral sheaves.
method Adapt six functor formalism to spectral sheaves on locally compact Hausdorff spaces.
result Prove that compact ANR homology manifolds are Poincaré duality complexes.

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…

2006-02-08abs ↗pdf ↗

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 …

2017-12-04abs ↗pdf ↗