Related papers: Semiregularity and obstructions of complete inters…
For $n\geq 3$, let $M$ be an $(n+r)$-dimensional irreducible Hermitian symmetric space of compact type and let $\mathcal{O}_M(1)$ be the ample generator of $Pic(M)$. Let $Y=H_1\cap\dots\cap H_r$ be a smooth complete intersection of…
Given a singular projective variety in some projective space, we characterize the smooth curves contracted by the Gauss map in terms of normal bundles. As a consequence, we show that if the variety is normal, then a contracted line always…
We prove a semisimplicity result for the boundary, in the corresponding Deligne-Mumford compactification, of a totally geodesic subvariety of a moduli space of Riemann surfaces. At the level of Teichm\"uller space, this semisimplicity…
Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…
The cosection lemma proved by J. Li and Y.H. Kiem said the intrinsic normal cone lies inside the kernel of any cosection of the obstruction sheaf when the moduli has a perfect obstruction theory. With a definition of higher tangent vectors…
We identify dglas that control infinitesimal deformations of the pairs (manifold, Higgs bundle) and of Hitchin pairs. As a consequence, we recover known descriptions of first order deformations and we refine known results on obstructions.…
Motivated by some questions in the path integral approach to (topological) gauge theories, we are led to address the following question: given a smooth map from a manifold $M$ to a compact group $G$, is it possible to smoothly `diagonalize'…
We study obstructions to a direct limit preserving right exact functor $F$ between categories of quasi-coherent sheaves on schemes being isomorphic to tensoring with a bimodule. When the domain scheme is affine, or if $F$ is exact, all…
It is known that families of graphs with a semialgebraic edge relation of bounded complexity satisfy much stronger regularity properties than arbitrary graphs, and that they can be decomposed into very homogeneous semialgebraic pieces up to…
Recently, E.Martinengo obtained results on obstructions to deformations of Higgs pairs by describing an L-infinity morphism inducing the Hitchin map. In this note we show that analogous results hold for principal G-Higgs bundles, where G is…
Let $k$ be an algebraically closed field of characteristic zero, and let $X/k$ be a projective variety. The conjectures of Demailly--Green--Griffiths--Lang posit that every integral subvariety of $X$ is of general type if and only if $X$ is…
Let $E$ be a vector bundle on a smooth complex projective variety $X$. We study the family of sections $s_t\in H^0(E\otimes L_t)$ where $L_t\in Pic^0(X)$ is a family of topologically trivial line bundle and $L_0=\mathcal O_X,$ that is, we…
The obstruction to construct a Lagrangian bundle over a fixed integral affine manifold was constructed by Dazord and Delzant in \cite{daz_delz} and shown to be given by `twisted' cup products in \cite{sepe_lag}. This paper uses the topology…
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$,…
Extending the work of the first author, we introduce a notion of semisimple topological field theory in arbitrary even dimension and show that such field theories necessarily lead to stable diffeomorphism invariants. The main result of this…
For zero-dimensional complete intersections with homogeneous ideal generators of equal degrees over an algebraically closed field of characteristic zero, we give a combinatorial proof of the smoothness of the corresponding catalecticant…
For $G$ a split semi-simple group scheme and $P$ a principal $G$-bundle on a relative curve $X\to S$, we study a natural obstruction for the triviality of $P$ on the complement of a relatively ample Cartier divisor $D \subset X$. We show,…
We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…
We give a Belyi-type characterisation of smooth complete intersections of general type over $\mathbb{C}$ which can be defined over $\bar{\mathbb{Q}}$. Our proof uses the higher-dimensional analogue of the Shafarevich boundedness conjecture…
The Kodaira principle asserts that suitable cohomological contraction maps annihilate obstructions to deforming complex structures. In this paper, we revisit these phenomena from a purely analytic point of view, developing a refined power…