Related papers: Formal Derived Algebraic Geometry
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…
Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in…
In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory. This geometrization, in addition of giving a nice insight on this result, offers us the occasion to investigate several points of…
We develop a notion of formal groups in the filtered setting and describe a duality relating these to a specified class of filtered Hopf algebras. We then study a deformation to the normal cone construction in the setting of derived…
A differential graded algebra can be viewed as an A-infinity algebra. By a theorem of Kadeishvili, a dga over a field admits a quasi-isomorphism from a minimal A-infinity algebra. We introduce the notion of a derived A-infinity algebra and…
The ``geometry'', in the sense of the classical differential geometry of smooth manifolds (CDG), is put under scrutiny from the point of view of Abstract Differential Geometry (ADG), along with resulting, thereby, potential physical…
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…
Differential forms is a highly geometric formalism for physics used from field theories to General Relativity (GR) which has been a great upgrade over vector calculus with the advantages of being coordinate-free and carrying a high degree…
Derived geometry provides powerful tools to handle non-transverse intersections and singular moduli problems arising in geometry and theoretical physics. While derived algebraic geometry has been extensively developed, classical field…
The notion of a generalized Lie bialgebroid (a generalization of the notion of a Lie bialgebroid) is introduced in such a way that a Jacobi manifold has associated a canonical generalized Lie bialgebroid. As a kind of converse, we prove…
We discuss certain aspects of the combinatorial approach to the differential geometry of non-abelian gerbes, due to W. Messing and the author (arXiv:math.AG/0106083), and give a more direct derivation of the associated cocycle equations.…
The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
Using log-geometry, we construct a model for the configuration category of a smooth algebraic variety. As an application, we prove the formality of certain configuration spaces.
Conformal algebra is an axiomatic description of the operator product expansion (or rather its Fourier transform) of chiral fields in a conformal field theory. This is a review of recent developments in the subject.
We introduce several definitions within the framework of vertex and conformal algebras which are analogous to some important concepts of the classical Lie theory. Most importantly, we define formal vertex laws, which correspond to the…
We study free dg-Lie algebroids over arbitrary derived schemes, and compute their universal enveloping and jet algebras. We also introduce derived twisted connections, and relate them with lifts on twisted square zero extensions. This…
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…
Universal algebraic geometry is generalised from solutions of equations in a single algebra to the study of $\varphi$- or $K$-spectra, akin to the prime spectrum of a ring. We explore their basic properties and constructions, give a…