Related papers: Lectures on complements on log surfaces
These lecture notes survey the emerging area of Universal Proof Theory, which investigates general questions about the existence, equivalence, and characterization of good proof systems for broad classes of logics. In particular, the notes…
We study the notion of geometric structures for toposes: This generalizes the notion of (X,G) manifolds. We give some applications to algebraic geometry
We discuss the log minimal model theory for log surfaces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the…
These lecture notes attempt to invite the reader towards the theory of singular foliations, both smooth and holomorphic. In addition to a systematic review of the foundations, and an attempt to put in order examples and several elementary…
This is a collection of articles, written as sections, on arithmetic properties of differential equations, holomorphic foliations, Gauss-Manin connections and Hodge loci. Each section is independent from the others and it has its own…
These are general notes on tensor calculus which can be used as a reference for an introductory course on tensor algebra and calculus. A basic knowledge of calculus and linear algebra with some commonly used mathematical terminology is…
A series of lecture notes on the elementary theory of algebraic numbers, using only knowledge of a first-semester graduate course in algebra (primarily groups and rings). No prerequisite knowledge of fields is required. Based primarily on…
The goal of these lectures is to give an introduction to the study of the fundamental group of a Klein surface. We start by reviewing the topological classification of Klein surfaces and by explaining the relation with real algebraic…
These lecture notes give an introduction to the theory of interacting particle systems. The main subjects are the construction using generators and graphical representations, the mean field limit, stochastic order, duality, and the relation…
This supplementary part of the paper gr-qc 9312038 contains the necessary proofs of the claims stated in the main part.
Mostly aimed at an audience with backgrounds in geometry and homological algebra, these notes offer an introduction to derived geometry based on a lecture course given by the second author. The focus is on derived algebraic geometry, mainly…
These expanded lecture notes are based on a tutorial on categorical proof theory presented at the summer school associated with the conference "Topology, Algebra, and Categories in Logic 2021-2022." The chapter delves into various…
The first part of these notes is a self-contained introduction to generalized complex geometry. It is intended as a `user manual' for tools used in the study of supersymmetric backgrounds of supergravity. In the second part we review some…
In this course we introduce the main notions relative to the classical theory of modular forms. A complete treatise in a similar style can be found in the author's book joint with F. Str{\"o}mberg [1].
These Lecture notes give an introduction to Regge calculus as a discrete model of General Relativity.
The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…
This is a collection of my lecture notes on the higher-spin theory course given for students at the Institute for Theoretical and Mathematical Physics, Lomonosov Moscow State University. The goal of these lectures is to give an introduction…
These are notes for a graduate-level introductory course on singularity categories.
This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins. It is intended to be accessible to…
In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.