Abstract:Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational homotopy types with the same cohomology algebra. The models in this case were differential graded algebras and acted similarly to differential forms. These models were then used together with some deformation theory to describe a moduli space for all rational homotopy types with a given cohomology algebra. Indeed, this theory has been very well developed. However, there is another case to consider. That is, the collection of rational homotopy types with the same homotopy Lie algebra (same homotopy groups and Whitehead product structure). This case, arguably, is closer to the heart of homotopy theory, as it fixes the homotopy groups themselves and how they interact with each other. However, the Lie case has received less attention and is less developed than its cohomology counterpart. The main purpose of this paper is to completely develop the theory for rational homotopy types of simply-connected topological spaces with the same homotopy Lie algebra. It will include some foundations of the theory as well as some new work. Often, previously-known results will be streamlined, reworded, or reproven to make them directly relevant to the results of this paper. By the end of the paper, deformation theory will be developed and the moduli space for rational homotopy types with a fixed homotopy Lie algebra will be defined and justified.

Homotopy Obstructions to Rational Points

Existence of rational points as a homotopy limit problem

A Moduli Space for Rational Homotopy Types with the Same Homotopy Lie Algebra

On the Brauer-Manin Obstruction Applied to Ramified Covers

Rational Hodge isometries of hyper-Kähler varieties of type are algebraic

The second descent obstruction and gerbes

Tori and surfaces violating a local-to-global principle for rationality

Some aspects of rational points and rational curves

Rational points and Brauer--Manin obstruction on Shimura varieties of level one classifying abelian varieties with quaternionic multiplication

On rational homology projective planes with quotient singularities of small indices

Obstructions to homotopy invariance of loop coproduct via parametrised fixed-point theory

Equivariant Hodge modules and rational singularities

Descent and étale-Brauer obstructions for 0-cycles

Rational Homotopy Theory

An obstruction to smoothing stable maps

Rational $p$-adic Hodge theory for rigid-analytic varieties

Constructing Rational Homology 3-Spheres That Bound Rational Homology 4-Balls

Hilali conjecture and complex algebraic varieties

The Homotopy Type of the Baily–Borel and Allied Compactifications

Reciprocity obstruction to strong approximation over p-adic function fields

Rational and $p$-local Motivic Homotopy Theory