Searcharxiv⌕ Search

arXiv subjects

A. B. Goncharov

Publications and source records attributed to A. B. Goncharov.

At least 19 recordsLinked to original sources

Hodge correlators

Hodge correlators are complex numbers given by certain integrals assigned to a smooth complex curve. We show that they are correlators of a Feynman integral, and describe the real mixed Hodge structure on the pronilpotent completion of the fundamental group of the curve. We introduce motivic correlators, which are elements of the motivic Lie algebra and whose periods are the Hodge correlators. They describe the motivic fundamental group of the curve. We describe variations of real mixed Hodge structures on a variety by certain connections on the product of the variety by an afine line. We call them twistor connections. Generalising this, we suggest a DG enhancement of the subcategory of Saito's Hodge complexes with smooth cohomology. We show that when the curve varies, the Hodge correlators are the coefficients of the twistor connection describing the corresponding variation of real MHS. Examples of the Hodge correlators include classical and elliptic polylogarithms, and their generalizations. The simplest Hodge correlators on the modular curves are the Rankin-Selberg integrals. Examples of the motivic correlators include Beilinson's elements in the motivic cohomology, e.g. the ones delivering the Beilinson - Kato Euler system on modular curves.

math.AG↗

Cluster X-varieties at infinity

A positive space is a space with a positive atlas, i.e. a collection of rational coordinate systems with subtraction free transition functions. The set of positive real points of a positive space is well defined. We define a tropical compactification of the latter. We show that it generalizes the Thurston compactification of a Teichmuller space. The tropical boundary of a positive space is a sphere with a piecewise linear structure. Cluster X-varieties are positive spaces of rather special type. We define special completions of cluster X-varieties. They have a stratification whose strata are (affine closures of) cluster X-varieties. The original coordinate tori extend to coordinate affine spaces in the completion. We define completions of Teichmuller spaces for surfaces with marked points at the boundary. The set of positive points of the special completion of the corresponding cluster X-variety is a part of the completion of the Teichmuller space.

math.AG↗

A simple construction of Grassmannian polylogarithms

We give a simple explicit construction of the Grassmannian n-logarithm, which is a multivalued analytic function on the quotient of the Grassmannian of generic n-dimensional subspaces in 2n-dimensional coordinate complex vector space by the action of the 2n-dimensional coordinate torus. We study Tate iterated integrals, which are homotopy invariant integrals of 1-forms dlog(rational functions). We introduce the Hopf algebra of integrable symbols related to an algebraic variety, which controls the Tate iterated integrals We give a simple explicit formula for the Tate iterated integrals related to the Grassmannian polylogarithms.

math.AG↗

Dimers and cluster integrable systems

We show that the dimer model on a bipartite graph on a torus gives rise to a quantum integrable system of special type - a cluster integrable system. The phase space of the classical system contains, as an open dense subset, the moduli space of line bundles with connections on the graph. The sum of Hamiltonians is essentially the partition function of the dimer model. Any graph on a torus gives rise to a bipartite graph on the torus. We show that the phase space of the latter has a Lagrangian subvariety. We identify it with the space parametrizing resistor networks on the original graph.We construct several discrete quantum integrable systems.

math.AG↗

Hidden Hodge symmetries and Hodge correlators

The Hodge Galois group is the Tannakian Galois group of the category of real mixed Hodge structures. It has a subgroup, called the twistor Galois group, which is the Galois group of the category of mixed twistor structures, defined by C. Simpson. It is isomorphic to a semidirect product of C* and the unipotent radical of the Hodge Galois group. We define a natural action of the twistor Galois group by A-infinity autoequivalences of the derived category of complexes of sheaves with smooth cohomology on a compact smooth Kahler manifold X. The action of C* is provided by Simpson's action on irreducible local systems, and the action of the unipotent radical is given explicitly by the Hodge correlators for irreducible local systems on X. The Hodge correlators can be interpreted as correlators of cetrtain Feynman integrals. One should have a similar construction for the whole derived category of all holonomic D-modules.

math.AG↗

Hodge Correlators II

We define Hodge correlators for a compact Kahler manifold X. They are complex numbers which can be obtained by perturbative series expansion of a certain Feynman integral which we assign to X. We show that they define a functorial real mixed Hodge structure on the rational homotopy type of X. The Hodge correlators provide a canonical linear map from the cyclic homomogy of the cohomology algebra of X to the complex numbers. If X is a regular projective algebraic variety over a field k, we define, assuming the motivic formalism, motivic correlators of X. Given an embedding of k into complex numbers, their periods are the Hodge correlators of the obtained complex manifold. Motivic correlators lie in the motivic coalgebra of the field k. They come togerther with an explicit formula for their coproduct in the motivic Lie coalgebra.

math.AG↗

Cluster ensembles, quantization and the dilogarithm

Cluster ensemble is a pair of positive spaces (X, A) related by a map p: A -> X. It generalizes cluster algebras of Fomin and Zelevinsky, which are related to the A-space. We develope general properties of cluster ensembles, including its group of symmetries - the cluster modular group, and a relation with the motivic dilogarithm. We define a q-deformation of the X-space. Formulate general duality conjectures regarding canonical bases in the cluster ensemble context. We support them by constructing the canonical pairing in the finite type case. Interesting examples of cluster ensembles are provided the higher Teichmuller theory, that is by the pair of moduli spaces corresponding to a split reductive group G and a surface S defined in math.AG/0311149. We suggest that cluster ensembles provide a natural framework for higher quantum Teichmuller theory.

math.AG↗

The quantum dilogarithm and representations quantum cluster varieties

We construct, using the quantum dilogarithm, a series of *-representations of quantized cluster varieties. This includes a construction of infinite dimensional unitary projective representations of their discrete symmetry groups - the cluster modular groups. The examples of the latter include the classical mapping class groups of punctured surfaces. One of applications is quantization of higher Teichmuller spaces. The constructed unitary representations can be viewed as analogs of the Weil representation. In both cases representations are given by integral operators. Their kernels in our case are the quantum dilogarithms. We introduce the symplectic/quantum double of cluster varieties and related them to the representations.

math.QA↗

The pentagon relation for the quantum dilogarithm and quantized M_{0,5}

We introduce and study a Schwarz space S in the space of functions on the real line. It is a module over the algebra L of regular functions on the (modular double of the) non-commutative q-deformation of the moduli space of configurations of 5 cyclically ordered points on the projective line. The algebra L has an order five automorphism corresponding to the cyclic shift of the points. The quantum dilogarithm gives rise to an automorphism of the space Schwarz S intertwining the automorphism of L. This easily implies the pentagon relation for the quantum dilogarithm function. The triple (L, S, the automorphism) is the quantized moduli space of configurations of 5 points on the projective line. It is the simplest example of a quantized cluster X-variety.

math.QA↗

Euler complexes and geometry of modular varieties

There is a mysterious connection between the multiple polylogarithms at N-th roots of unity and modular varieties. In this paper we "explain" it in the simplest case of the double logarithm. We introduce an Euler complex data on modular curves. It includes a length two complex on every modular curve. Their second cohomology groups recover the Beilinson-Kato Euler system in K_2 of modular curves. We show that the above connection in the double logarithm case is provided by the specialization at a cusp of the Euler complex data on the modular curve Y_1(N). Furthermore, specializing the Euler complexes at CM points we find new examples of the connection with geometry of modular varieties, this time hyperbolic 3-folds.

math.NT↗

Moduli spaces of local systems and higher Teichmuller theory

Let G be a split semisimple algebraic group with trivial center. Let S be a compact oriented surface, with or without boundary. We define {\it positive} representations of the fundamental group of S to G(R), construct explicitly all positive representations, and prove that they are faithful, discrete, and positive hyperbolic; the moduli space of positive representations is a topologically trivial open domain in the space of all representations. When S have holes, we defined two moduli spaces closely related to the moduli spaces of G-local systems on S. We show that they carry a lot of interesting structures. In particular we define a distinguished collection of coordinate systems, equivariant under the action of the mapping class group of S. We prove that their transition functions are subtraction free. Thus we have positive structures on these moduli spaces. Therefore we can take their points with values in any positive semifield. Their positive real points provide the two higher Teichmuller spaces related to G and S, while the points with values in the tropical semifields provide the lamination spaces. We define the motivic avatar of the Weil-Petersson form for one of these spaces. It is related to the motivic dilogarithm.

math.AG↗

Moduli spaces of convex projective structures on surfaces

We define convex projective structures on 2D surfaces with holes and investigate their moduli space. We prove that this moduli space is canonically identified with the higher Teichmuller space for the group PSL_3 defined in our paper math/0311149. We define the quantum version of the moduli space of convex projective structures on surfaces with holes. The present paper can serve as an introduction to math/0311149. In the Appendix we show that the space of configurations of 5 flags in the projective plane is of cluster type E_7.

math.DG↗

Cluster X-varieties, amalgamation and Poisson-Lie groups

Starting from a split semisimple real Lie group G with trivial center, we define a family of varieties with additional structures. We describe them as the cluster X-varieties, as defined in math.AG/0311245. In particular they are Poisson varieties. We define Poisson maps of them to the group G with the standard Poisson-Lie structure. We introduce an operation of amalgamation of cluster varieties. Our varieties are amalgamations of elementary ones, assigned to positive simple roots of the root system of G. Some of them are very closely related to the double Bruhat cells. This paper is a building block in a description of the cluster structure of the moduli spaces of local systems on surfaces studied in math.AG/0311149.

math.RT↗

Dual Teichmuller and lamination spaces

We survey explicit coordinate descriptions for two (A and X) versions of Teichmuller and lamination spaces for open 2D surfaces, and extend them to the more general set-up of surfaces with distinguished collections of points on the boundary. Main features, such as mapping class group action, Poisson and symplectic structures and others, are described in these terms. The lamination spaces are interpreted as the tropical limits of the Teichmuller ones. Canonical pairings between lamination and Teichmuller spaces are constructed. The paper could serve as an introduction to higher Teichmuller theory developed by the authors in math.AG/0311149, math.AG/0311245.

math.DG↗

Regulators

We discuss several approaches to motivic complexes and explicit constructions of the regulator maps from the motivic complexes to Deligne complexes.

math.NT↗

Polylogarithms, regulators and Arakelov motivic complexes

We construct an explicit regulator map from the weigh n Bloch Higher Chow group complexto the weight n Deligne complex of a regular complex projective algebraic variety X. We define the Arakelovweight n motivic complex as the cone of this map shifted by one. Its last cohomology group is (a version of) the Arakelov Chow group defined by H. Gillet. and C.Soule. We relate the Grassmannian n-logarithms (defined as in [G5]) to geometry of the symmetric space for GL_n(C). For n=2 we recover Lobachevsky's formula for the volume of an ideal geodesic tetrahedron via the dilogarithm. Using the relationship with symmetric spaces we construct the Borel regulator on K_{2n-1}(C) via the Grassmannian n-logarithms. We study the Chow dilogarithm and prove a reciprocity law which strengthens Suslin's reciprocity law for Milnor's K_3 on curves.

math.NT↗