Related papers: Formality of cyclic cochains
We verify a conjecture of Voevodsky, concerning the slices of co-operations in motivic $K$-theory.
We prove two correlation inequalities .
Kontsevich and Soibelman has proved a relation between a non-degenerate cyclic homology element of an A-infinity algebra A and its cyclic inner products on the minimal model of A. We find an explicit formula of this correspondence, in terms…
We prove that rigid representations of the fundamental group of a surface into the group of oreintation-preserving homeomorphisms of the circle are geometric, thereby establishing a converse statement of a theorem by the first author.
We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…
In this paper, we prove a conjecture of Schnell in the surface case.
We compute the Kontsevich graph cohomology in loop order 11, and for some degrees in higher loop order. We apply our results to discuss a conjecture of F. Brown, providing a counterexample to a strong version of the conjecture.
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
We give a proof of the cyclicity conjecture of Akasaka-Kashiwara, for simply laced types, via quiver varieties. We get also an algebraic characterization of the standard modules.
The Shafarevich conjecture for K3 surfaces asserts the finiteness of isomorphism classes of K3 surfaces over a fixed number field admitting good reduction away from a fixed finite set of finite places. Andr\'{e} proved this conjecture for…
We prove that the mod 2-cohomology algebras of real projective groups are formal. As a consequence we derive the Hopkins-Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.
We formulate a conjecture (already proven by A. Kricker) about the structure of Kontsevich integral of a knot. We describe its value in terms of the generating functions for the numbers of external edges attached to closed 3-valent…
In "The {G}el'fand-{K}alinin-{F}uks class and characteristic classes of transversely symplectic foliations" arXiv:0910.3414, Kotschick and Morita showed that the Gel'fand-Kalinin-Fuks class in $\ds\HGF{7}{2}{}{8}$ is decomposed as a product…
We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…
We prove that the d\'evissage property holds for periodic cyclic homology for a local complete intersection embedding into a smooth scheme. As a consequence, we show that the complexified topological Chern character maps for the bounded…
We relate analytically defined deformations of modular curves and modular forms from the literature to motivic periods via cohomological descriptions of deformation theory. Leveraging cohomological vanishing results, we prove the existence…
We prove Union-Closed sets conjecture.
We introduce the notion of refined unramified cohomology of algebraic schemes and prove comparison theorems that identify some of these groups with cycle groups. This recovers for cycles of low codimensions on smooth projective varieties…
The purpose of the paper is twofold. First, we give a short proof using the Kontsevich integral for the fact that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the…
The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a…