BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Yuri I. Manin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This article generalizes the operad of moduli spaces of curves to SUSY curves. SUSY curves are algebraic curves with additional supersymmetric or supergeometric structure. Here, we focus on the description of the relevant category of graphs and its combinatorics as well as the construction of dual graphs of SUSY curves and the SUSY operad taking values in a category of moduli spaces of SUSY curves with Neveu-Schwarz and Ramond punctures.
Technology of data collection and information transmission is based on various mathematical models of encoding. The words "Geometry of information" refer to such models, whereas the words "Moufang patterns" refer to various sophisticated symmetries appearing naturally in such models. In this paper we show that the symmetries of spaces of probability distributions, endowed with their canonical Riemannian metric of information geometry, have the structure of a commutative Moufang loop. We also show that the F-manifold structure on the space of probability distribution can be described in terms of differential 3-webs and Malcev algebras. We then present a new construction of (noncommutative) Moufang loops associated to almost-symplectic structures over finite fields, and use then to construct a new class of code loops with associated quantum error-correcting codes and networks of perfect tensors.
A part of Grothendieck's program for studying the Galois group $G_{\mathbb Q}$ of the field of all algebraic numbers $\overline{\mathbb Q}$ emerged from his insight that one should lift its action upon $\overline{\mathbb Q}$ to the action of $G_{\mathbb Q}$ upon the (appropriately defined) profinite completion of $π_1({\mathbb P}^1 \setminus \{0,1, \infty\})$. The latter admits a good combinatorial encoding via finite graphs "dessins d'enfant". This part was actively developing during the last decades, starting with foundational works of A. Belyi, V. Drinfeld and Y. Ihara. Our brief note concerns another part of Grothendieck program, in which its geometric environment is extended to moduli spaces of algebraic curves, more specifically, stable curves of genus zero with marked/labelled points. Our main goal is to show that dual graphs of such curves may play the role of "modular dessins" in an appropriate operadic context.
We present possible extensions of the quantum statistical mechanical formulation of class field theory to the non-abelian case, based on the action of the absolute Galois group on Grothendieck's dessins d'enfant, the embedding in the Grothendieck-Teichmüller group, and the Drinfeld-Ihara involution.
In a previous paper, I have defined non--commutative generalized Dedekind symbols for classical $PSL(2,Z)$--cusp forms using iterated period polynomials. Here I generalize this construction to forms of real weights using their iterated period functions introduced and studied in a recent article by R.~Bruggeman and Y.~Choie.
This note is a brief survey of some results of the recent collaboration of neurobiologists and mathematicians dedicated to stimulus reconstruction from neuronal spiking activity. This collaboration, in particular, led to the consideration of binary codes used by brain for encoding a stimuli domain such as a rodent's territory through the combinatorics of its covering by local neighborhoods. The survey is addressed to mathematicians (cf. [DeSch01]) and focuses on the idea that stimuli spaces are represented by the relevant neural codes as simplicial sets and thus encode say, the homotopy type of space if local neighborhoods are convex (see [CuIt08], [CuItVCYo13], [Yo14], [SiGh07]).}
We introduce some algebraic geometric models in cosmology related to the "boundaries" of space-time: Big Bang, Mixmaster Universe, Penrose's crossovers between aeons. We suggest to model the kinematics of Big Bang using the algebraic geometric (or analytic) blow up of a point $x$. This creates a boundary which consists of the projective space of tangent directions to $x$ and possibly of the light cone of $x$. We argue that time on the boundary undergoes the Wick rotation and becomes purely imaginary. The Mixmaster (Bianchi IX) model of the early history of the universe is neatly explained in this picture by postulating that the reverse Wick rotation follows a hyperbolic geodesic connecting imaginary time axis to the real one. Penrose's idea to see the Big Bang as a sign of crossover from "the end of previous aeon" of the expanding and cooling Universe to the "beginning of the next aeon" is interpreted as an identification of a natural boundary of Minkowski space at infinity with the Big Bang boundary.
Personal recollections about Alexandre Grothendieck and early days of his theory of motives
The first part of this note shows that the odd period polynomial of each Hecke cusp eigenform for full modular group produces via Rodriguez--Villegas transform ([Ro--V]) a polynomial satisfying the functional equation of zeta type and having nontrivial zeros only on the middle line of its critical strip. The second part discusses Chebyshev lambda--structure of the polynomial ring as Borger's descent data to $\bold{F}_1$ and suggests its role in possible relation of $Γ_{\bold{R}}$--factor to "real geometry over $\bold{F}_1$" (cf. also [CoCons2]).
Using the description of Paileve' VI family of differential equations in terms of a universal elliptic curve, going back to R. Fuchs (cf. [Ma96]), we translate it into the realm of Arithmetic Differential Equations (cf. [Bu05]), where the role of derivative "in the $p$--adic direction" is played by a version of Fermat quotient
This paper is a survey dedicated to the analogy between the notions of {\it complexity} in theoretical computer science and {\it energy} in physics. This analogy is not metaphorical: I describe three precise mathematical contexts, suggested recently, in which mathematics related to (un)computability is inspired by and to a degree reproduces formalisms of statistical physics and quantum field theory.
The word "complexity" is most often used as a meta--linguistic expression referring to certain intuitive characteristics of a natural system and/or its scientific description. These characteristics may include: sheer amount of data that must be taken into account; visible "chaotic" character of these data and/or space distribution/time evolution of a system etc. This talk is centered around the precise mathematical notion of "Kolmogorov complexity", originated in the early theoretical computer science and measuring the degree to which an available information can be compressed. In the first part, I will argue that a characteristic feature of basic scientific theories, from Ptolemy's epicycles to the Standard Model of elementary particles, is their splitting into two very distinct parts: the part of relatively small Kolmogorov complexity ("laws", "basic equations", "periodic table", "natural selection, genotypes, mutations") and another part, of indefinitely large Kolmogorov complexity ("initial and boundary conditions", "phenotypes", "populations"). The data constituting this latter part are obtained by planned observations, focussed experiments, and afterwards collected in growing databases (formerly known as "books", "tables", "encyclopaedias" etc). In this discussion Kolomogorov complexity plays a role of the central metaphor. The second part and Appendix 1 are dedicated to more precise definitions and examples of complexity.
In this paper we answer a question raised in [25], Sec. 4, by showing that the genus zero moduli operad $\{\bar{M}_{0,n+1}\}$ can be endowed with natural descent data that allow it to be considered as the lift to ${\rm Spec}\,\Z$ of an operad over $\F_1$. The relevant descent data are based on a notion of constructible sets and constructible functions over $\F_1$, which describes suitable differences of torifications with a positivity condition on the class in the Grothendieck ring. More generally, we do the same for the operads $\{T_{d,n+1}\}$ (whose components were) introduced in [5]. Finally, we describe a blueprint structure on $\{\bar{M}_{0,n}\}$ and we discuss from this perspective the genus zero boundary modular operad $\{\bar{M}_{g,n+1}^0\}$.
We define and study generalized Dedekind symbols with values in non--necessarily commutative groups, generalizing constructions of Sh. Fukuhara in [Fu1], [Fu2]. Basic examples of such symbols are obtained by replacing period integrals of modular forms (cf. [Ma1], [Ma2], [Kn1], [Kn2], [ChZ]) by iterated period integrals introduced and studied in [Ma3], [Ma4].
In this survey I discuss A. Buium's theory of ``differential equations in the p-adic direction'' ([Bu05]) and its interrelations with ``geometry over fields with one element'', on the background of various approaches to p-adic models in theoretical physics.
Zipf's law in its basic incarnation is an empirical probability distribution governing the frequency of usage of words in a language. As Terence Tao recently remarked, it still lacks a convincing and satisfactory mathematical explanation. In this paper I suggest that at least in certain situations, Zipf's law can be explained as a special case of the a priori distribution introduced and studied by L. Levin. The Zipf ranking corresponding to diminishing probability appears then as the ordering determined by the growing Kolmogorov complexity. One argument justifying this assertion is the appeal to a recent interpretation by Yu. Manin and M. Marcolli of asymptotic bounds for error--correcting codes in terms of phase transition. In the respective partition function, Kolmogorov complexity of a code plays the role of its energy. This version contains minor corrections and additions.
This talk presents foundations of mathematics as a historically variable set of principles appealing to various modes of human intuition and devoid of any prescriptive/prohibitive power. At each turn of history, foundations crystallize the accepted norms of interpersonal and intergenerational transfer and justification of mathematical knowledge.
The set of all error--correcting block codes over a fixed alphabet with $q$ letters determines a recursively enumerable set of rational points in the unit square with coordinates $(R,δ)$:= (relative transmission rate, relative minimal distance). Limit points of this set form a closed subset, defined by $R\le α_q(δ)$, where $α_q(δ)$ is a continuous decreasing function called asymptotic bound. Its existence was proved by the first--named author in 1981 ([Man1]), but no approaches to the computation of this function are known, and in [Man5] it was even suggested that this function might be uncomputable in the sense of constructive analysis. In this note we show that the asymptotic bound becomes computable with the assistance of an oracle producing codes in the order of their growing Kolmogorov complexity. Moreover, a natural partition function involving complexity allows us to interpret the asymptotic bound as a curve dividing two different thermodynamic phases of codes.
We explicitly calculate some Gromov--Witten correspondences determined by maps of labeled curves of genus zero to the moduli spaces of labeled curves of genus zero. We consider these calculations as the first step towards studying the self--referential nature of motivic quantum cohomology.
Consider the set of all error--correcting block codes over a fixed alphabet with $q$ letters. It determines a recursively enumerable set of points in the unit square with coordinates $(R,δ)$:= {\it (relative transmission rate, relative minimal distance).} Limit points of this set form a closed subset, defined by $R\le α_q(δ)$, where $α_q(δ)$ is a continuous decreasing function called {\it asymptotic bound.} Its existence was proved by the author in 1981, but all attempts to find an explicit formula for it so far failed. In this note I consider the question whether this function is computable in the sense of constructive mathematics, and discuss some arguments suggesting that the answer might be negative.
We extend B. Hassett's theory of weighted stable pointed curves ([Has03]) to weighted stable maps. The space of stability conditions is described explicitly, and the wall-crossing phenomenon studied. This can be considered as a non-linear analog of the theory of stability conditions in abelian and triangulated categories. We introduce virtual fundamental classes and thus obtain weighted Gromov-Witten invariants. We show that by including gravitational descendants, one obtains an $\LL$-algebra as introduced in [LM04] as a generalization of a cohomological field theory.