Related papers: Formal Integration of Derived Foliations

We analyse infinitesimal deformations of pairs $(X,\mathcal{F})$ with $\mathcal{F}$ a coherent sheaf on a smooth projective manifold $X$ over an algebraic closed field of characteristic $0$. We describe a differential graded Lie algebra…

Let $\varphi_t : M \to M$ be a flow on a smooth closed connected manifold $M$ that preserves and expands a foliation $F$. We establish a theorem of propagation of regularity along the leaves of $F$ for sections of vector bundles satisfying…

This paper presents a simplified geometric proof of the Molino-Alexandrino-Radeschi (MAR) Theorem, which states that the closure of a singular Riemannian foliation on a complete Riemannian manifold is itself a smooth singular Riemannian…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

According to Laumon, an affine Springer fiber is homeomorphic to the universal abelian covering of the compactified Jacobian of a spectral curve. We construct equivariant deformations $f_{n}:\overline{\mathcal{P}}_{n}\to \mathcal{B}_{n}$ of…

We show that a Lie algebroid on a stratified manifold is integrable if, and only if, its restriction to each strata is integrable. These results allow us to construct a large class of algebras of pseudodifferential operators.

We extend the formality theorem of Maxim Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes on smooth and complex manifolds.

We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give…

A singular real analytic foliation $\mathcal{F}$ of real codimension one on an $n$-dimensional complex manifold $M$ is Levi-flat if each of its leaves is foliated by immersed complex manifolds of dimension $n-1$. These complex manifolds are…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

We show that any finite affinely independent set can be isometrically embedded into a regular polygonal torus, that is, a finite product of regular polygons. As a consequence, with a straightforward application of K\v{r}\'{i}\v{z}'s…

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold…

We prove that the associativity equations of two-dimensional topological quantum field theories are very natural reductions of the fundamental nonlinear equations of the theory of submanifolds in pseudo-Euclidean spaces and give a natural…

Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$ and $F_{X/k}:X\rightarrow X^{(1)}$ be the relative Frobenius morphism. Let $\mathfrak{M}^{s(ss)}_X(r,d)$ (resp.…

For any subgroup of $\mathrm{SL}(3,\mathbb{R})\ltimes\mathbb{R}^3$ obtained by adding a translation part to a subgroup of $\mathrm{SL}(3,\mathbb{R})$ which is the fundamental group of a finite-volume convex projective surface, we first show…

We give necessary and sufficient conditions for a semi-Riemannian manifold of arbitrary signature to be locally isometrically immersed into certain warped products. Then, we describe a way to use the structure equations of such immersions…

Associated to every complete affine 3-manifold M with nonsolvable fundamental group is a noncompact hyperbolic surface S. We classify such complete affine structures when Sigma is homeomorphic to a three-holed sphere. In particular, for…

In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent…

Let X be an abelian scheme over a scheme B. The Fourier--Mukai transform gives an equivalence between the derived category of X and the derived category of the dual abelian scheme. We partially extend this to certain schemes X over B (which…

In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…