Formalized proof, computation, and the construction problem in algebraic geometry

An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC-like environment

All genus correlation functions for the hermitian 1-matrix model

We rewrite the loop equations of the hermitian matrix model, in a way which allows to compute all the correlation functions, to all orders in the topological $1/N^2$ expansion, as residues on an hyperelliptical curve. Those residues, can be represented diagrammaticaly as Feynmann graphs of a cubic interaction field theory on the curve.Comment: latex, 19 figure

Numerical Hermitian Yang-Mills Connections and Kahler Cone Substructure

We further develop the numerical algorithm for computing the gauge connection of slope-stable holomorphic vector bundles on Calabi-Yau manifolds. In particular, recent work on the generalized Donaldson algorithm is extended to bundles with Kahler cone substructure on manifolds with h^{1,1}>1. Since the computation depends only on a one-dimensional ray in the Kahler moduli space, it can probe slope-stability regardless of the size of h^{1,1}. Suitably normalized error measures are introduced to quantitatively compare results for different directions in Kahler moduli space. A significantly improved numerical integration procedure based on adaptive refinements is described and implemented. Finally, an efficient numerical check is proposed for determining whether or not a vector bundle is slope-stable without computing its full connection.Comment: 38 pages, 10 figure

Curvature Matrix Models for Dynamical Triangulations and the Itzykson-DiFrancesco Formula

We study the large-N limit of a class of matrix models for dually weighted triangulated random surfaces using character expansion techniques. We show that for various choices of the weights of vertices of the dynamical triangulation the model can be solved by resumming the Itzykson-Di Francesco formula over congruence classes of Young tableau weights modulo three. From this we show that the large-N limit implies a non-trivial correspondence with models of random surfaces weighted with only even coordination number vertices. We examine the critical behaviour and evaluation of observables and discuss their interrelationships in all models. We obtain explicit solutions of the model for simple choices of vertex weightings and use them to show how the matrix model reproduces features of the random surface sum. We also discuss some general properties of the large-N character expansion approach as well as potential physical applications of our results.Comment: 37 pages LaTeX; Some clarifying comments added, last Section rewritte

Fermionic Matrix Models

We review a class of matrix models whose degrees of freedom are matrices with anticommuting elements. We discuss the properties of the adjoint fermion one-, two- and gauge invariant D-dimensional matrix models at large-N and compare them with their bosonic counterparts which are the more familiar Hermitian matrix models. We derive and solve the complete sets of loop equations for the correlators of these models and use these equations to examine critical behaviour. The topological large-N expansions are also constructed and their relation to other aspects of modern string theory such as integrable hierarchies is discussed. We use these connections to discuss the applications of these matrix models to string theory and induced gauge theories. We argue that as such the fermionic matrix models may provide a novel generalization of the discretized random surface representation of quantum gravity in which the genus sum alternates and the sums over genera for correlators have better convergence properties than their Hermitian counterparts. We discuss the use of adjoint fermions instead of adjoint scalars to study induced gauge theories. We also discuss two classes of dimensionally reduced models, a fermionic vector model and a supersymmetric matrix model, and discuss their applications to the branched polymer phase of string theories in target space dimensions D>1 and also to the meander problem.Comment: 139 pages Latex (99 pages in landscape, two-column option); Section on Supersymmetric Matrix Models expanded, additional references include

Non-homogenous disks in the chain of matrices

We investigate the generating functions of multi-colored discrete disks with non-homogenous boundary conditions in the context of the Hermitian multi-matrix model where the matrices are coupled in an open chain. We show that the study of the spectral curve of the matrix model allows one to solve a set of loop equations to get a recursive formula computing mixed trace correlation functions to leading order in the large matrix limit.Comment: 25 pages, 4 figure

Critical Behaviour of a Fermionic Random Matrix Model at Large-N

We study the large-$N$ limit of adjoint fermion one-matrix models. We find one-cut solutions of the loop equations for the correlators of these models and show that they exhibit third order phase transitions associated with $m$-th order multi-critical points with string susceptibility exponents $\gamma_{\rm str}=-1/m$. We also find critical points which can be interpreted as points of first order phase transitions, and we discuss the implications of this critical behaviour for the topological expansion of these matrix models.Comment: 14 pages LaTeX; UBC/S-94/

Higher rank Wilson loops from a matrix model

We compute the circular Wilson loop of N=4 SYM theory at large N in the rank k symmetric and antisymmetric tensor representations. Using a quadratic Hermitian matrix model we obtain expressions for all values of the 't Hooft coupling. At large and small couplings we give explicit formulae and reproduce supergravity results from both D3 and D5 branes within a systematic framework.Comment: 1+18 pages. 1 figure. Typos correcte