Related papers: Formality of cyclic cochains
Kontsevich's formula for a deformation quantization of Poisson structures involves a Feynman series of graphs, with the weights given by some complicated integrals (using certain pullbacks of the standard angle form on a circe). We explain…
We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more…
We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent polynomials.
We construct a natural chain map from the Kontsevich graph complex to the rational singular chain complex of $B\mathrm{Diff}_\partial(D^{2k})$ when the dimension $2k$ is sufficiently large, generalizing Goussarov and Habiro's theories of…
Using factorization homology techniques, we give a simple proof of the action of Kontsevich and Soibelman operad on the pair consisting of Hochschild cohomology and Hochschild homology. The proof obviously extends to higher Hochschild…
In this paper we prove the conjecture of D\'{e}fago & Konagaya. Furthermore, we describe a deterministic protocol for forming a regular n-gon in finite time.
A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the…
Let G be a virtually cyclic of the form (Z_a x Z_b) x Z or [Z_a x (Z b x Q_{2^i})] x Z. We compute the integral cohomology ring of G, and then obtain the periodicity of the Farell cohomology of these groups.
Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we…
We prove a conjecture of Kontsevich, which asserts that the iterations of the noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by noncommutative Laurent polynomials with nonnegative integer coefficients.
A proof of Sendov's conjecture is given.
We generalize certain arguments in Zariski's irregularity theorem on cyclic multiple planes.
In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the…
In this article we describe the formalisation of the Bruhat-Tits tree - an important tool in modern number theory - in the Lean Theorem Prover. Motivated by the goal of connecting to ongoing research, we apply our formalisation to verify a…
We give a new, elementary proof of the fact that metric 1-currents in the Euclidean space correspond to Federer-Fleming flat chains.
V.Berkovich, K.Fujiwara and R.Huber have proved independently by different methods that the fiber of the vanishing cycles at a point of the special fiber depends only on the formal completion at this point. We refine this result and prove…
It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…
We assign real numbers to finite sheeted coverings of compact CW complexes designed as finite counterparts to the Novikov-Shubin numbers. We prove an approximation theorem in the case of virtually cyclic fundamental groups employing methods…
In \cite{KOT:MORITA}, Kotschick and Morita showed that the Gel'fand-Kalinin-Fuks class in $\ds \HGF{7}{2}{}{8}$ is decomposed as a product $\eta\wedge \omega $ of some leaf cohomology class $\eta$ and a transverse symplectic class $\omega$.…
We provide a proof and a counterexample to two conjectures made by N. Kuznetsov.