Related papers: On the homotopy exact sequence for log algebraic f…

Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…

Fix a smooth projective curve over a field of characteristic zero and a finite set of punctures. Let G be a connected linear algebraic group. We prove that the moduli of G-bundles with logarithmic connections having fixed residue classes at…

The present paper studies the structure of characteristic varieties of fundamental groups of graph manifolds. As a consequence, a simple proof of Papadima's question is provided on the characterization of algebraic links that have…

We study the relative pro-$\ell$ and continuous relative completions of the algebraic fundamental groups of universal curves over the moduli stack of curves with unordered marked points in positive characteristic. Using specialization and…

In this paper we describe the fundamental group-scheme of a proper variety fibered over an abelian variety with rationally connected fibers over an algebraically closed field. We use old and recent results for the Nori fundamental…

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…

Over any field of characteristic $0$, we prove that the homotopy exact sequence of algebraic fundamental groups for the universal curve with unordered marked points does not split. The same nonsplitting holds for the universal hyperelliptic…

The pro-\'etale fundamental group of a scheme, introduced by Bhatt and Scholze, generalizes the usual \'etale fundamental group $\pi_1^{\mathrm{et}}$ defined in SGA1 and leads to an interesting class of "geometric coverings" of schemes,…

We classify the finite quasisimple groups whose commuting graph is perfect and we give a general structure theorem for finite groups whose commuting graph is perfect.

Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in…

We compute the set of naive pointed homotopy classes of endomorphisms of the projective line P^1 over the spectrum of a field. Our computation compares well with Fabien Morel's one of the motivic pointed homotopy classes of endomorphisms of…

We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…

We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…

We study contact structures on smooth complex projective varieties with a simple normal crossing divisor, generalizing some well-known results concerning the non-logarithmic case. In particular, we describe the structure of elementary log…

In this paper we study abstract group homomorphisms between the groups of rational points of linear algebraic groups which are not necessarily reductive. One of our main goal is to obtain results on homomorphisms from the groups of rational…

We show that any adjoint absolutely simple linear algebraic group over a field of characteristic zero is the automorphism group of some projector on a central simple algebra. Projective homogeneous varieties can be described in these terms;…

We study fundamental groups of projective varieties with normal crossing singularities and of germs of complex singularities. We prove that for every finitely-presented group G there is a complex projective surface S with simple normal…

We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.

In this paper we will define notion homotopy of morphisms of crossed modules of Lie algebras. Then we construct a groupoid structure of Lie crossed module morphisms and their homotopies.