Lecture notes for graduates or researchers wishing to enter this modern field of research.

The main goal of the CIME Summer School on "Algebraic Cycles and Hodge Theory" has been to gather the most active mathematicians in this area to make the point on the present state of the art. Thus the papers included in the proceedings are surveys and notes on the most important topics of this area of research. They include infinitesimal methods in Hodge theory; algebraic cycles and algebraic aspects of cohomology and k-theory, transcendental methods in the study of algebraic cycles.

A unified treatment of the Riemann-Hilbert correspondence for (not necessarily regular) holonomic D-modules using indsheaves.

In its simplest form, Hodge theory is the study of periods – integrals of algebraic differential forms which arise in the study of complex geometry and moduli, number theory and physics. Organized around the basic concepts of variations of Hodge structure and period maps, this volume draws together new developments in deformation theory, mirror symmetry, Galois representations, iterated integrals, algebraic cycles and the Hodge conjecture. Its mixture of high-quality expository and research articles make it a useful resource for graduate students and seasoned researchers alike.

This is the first detailed elementary introduction to Galois cohomology and its applications. The introductory section is self-contained and provides the basic results of the theory. Assuming only a minimal background in algebra, the main purpose of this book is to prepare graduate students and researchers for more advanced study.

This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithmetics are closely related. In particular, proving lower bounds on the lengths of proofs in propositional proof systems is equivalent to constructing certain extensions of models of bounded arithmetic. This offers a clean and coherent framework for thinking about lower bounds for proof lengths, and it has proved quite successful in the past. This book outlines a brand new method for constructing models of bounded arithmetic, thus for proving independence results and establishing lower bounds for proof lengths. The models are built from random variables defined on a sample space which is a non-standard finite set and sampled by functions of some restricted computational complexity. It will appeal to anyone interested in logical approaches to fundamental problems in complexity theory.

This book provides a comprehensive and up-to-date introduction to Hodge theory—one of the central and most vibrant areas of contemporary mathematics—from leading specialists on the subject. The topics range from the basic topology of algebraic varieties to the study of variations of mixed Hodge structure and the Hodge theory of maps. Of particular interest is the study of algebraic cycles, including the Hodge and Bloch-Beilinson Conjectures. Based on lectures delivered at the 2010 Summer School on Hodge Theory at the ICTP in Trieste, Italy, the book is intended for a broad group of students and researchers. The exposition is as accessible as possible and doesn't require a deep background. At the same time, the book presents some topics at the forefront of current research. The book is divided between introductory and advanced lectures. The introductory lectures address Kähler manifolds, variations of Hodge structure, mixed Hodge structures, the Hodge theory of maps, period domains and period mappings, algebraic cycles (up to and including the Bloch-Beilinson conjecture) and Chow groups, sheaf cohomology, and a new treatment of Grothendieck’s algebraic de Rham theorem. The advanced lectures address a Hodge-theoretic perspective on Shimura varieties, the spread philosophy in the study of algebraic cycles, absolute Hodge classes (including a new, self-contained proof of Deligne’s theorem on absolute Hodge cycles), and variation of mixed Hodge structures. The contributors include Patrick Brosnan, James Carlson, Eduardo Cattani, François Charles, Mark Andrea de Cataldo, Fouad El Zein, Mark L. Green, Phillip A. Griffiths, Matt Kerr, Lê Dũng Tráng, Luca Migliorini, Jacob P. Murre, Christian Schnell, and Loring W. Tu.