Related papers: Generalizing the GAGA Principle

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…

A generalized pseudo effect algebra (GPEA) is a partially ordered partial algebraic structure with a smallest element 0, but not necessarily with a unit (i.e, a largest element). If a GPEA admits a so-called unitizing automorphism, then it…

Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how…

We prove a relative GAGA theorem for perfect and pseudo-coherent complexes in non-archimedean analytic geometry, allowing bases given by Fredholm analytic rings, including those associated from affinoid perfectoid spaces. This answers a…

A notion of generalized $n$-semimodularity is introduced, which extends that of (sub/super)mod\-ularity in four ways at once. The main result of this paper, stating that every generalized $(n\colon\!2)$-semimodular function on the $n$th…

In this survey paper we present recent results obtained by Khare, Wintenberger and the author that have led to a proof of Serre's conjecture, such as existence of compatible families, modular upper bounds for universal deformation rings and…

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli stack parametrizing Deligne-Mumford stable $n$-pointed genus $g$ curves and let $\overline{M}_{g,n}$ be its coarse moduli space: the Deligne-Mumford compactification of the moduli space of…

Let G be a reductive complex algebraic group and V a finite-dimensional G-module. From elements of the invariant algebra C[V]^G we obtain by polarization elements of C[kV]^G, where k\geq 1 and kV denotes the direct sum of k copies of V. For…

We construct a factorization of the Giry monad through the category of convex spaces, and show that, provided that no measurable cardinals exist, probability measures can be viewed as natural transformations. Using the adjunction of this…

In this paper we give a construction of algebraic (Artin) stacks endowed with a modular map onto the moduli stack of n-pointed stable curves of genus g, for g greater than 2. These stacks are smooth, irreducible and have dimension 4g-3+n,…

The well-known conditions for a simplicial set to be the nerve of a small category generalize with respect to two parameters: the dimension n of the things which compose, and the position i of the thing which is the result of the…

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…

In the context of almost complex quantization, a natural generalization of algebro-geometric linear series on a compact symplectic manifold has been proposed. Here we suppose given a compatible action of a finite group and consider the…

Let $\Gamma$ be a finitely generated group and $G$ be a noncompact semisimple connected real Lie group with finite center. We consider the space $\mathcal X$ of conjugacy classes of reductive representations of $\Gamma$ into $G$. We define…

We discuss two operations on nodal curves with (logarithmic) vector fields, which resemble the `stabilization' construction in Knudsen's proof that $\bar{\mathcal M}_{g,n+1}$ is the universal curve over $\bar{\mathcal M}_{g,n}$. We prove…

In this paper, we study generalized line bundles over $C_n$, a primitive multiple curve of arbitrary multiplicity $n$, where $n$ is a positive integer. In particular, we give a structure theorem for them and we characterize their…

We show that certain quotients of the compactified moduli space of $n-$ pointed genus $g$ curves, $\overline{\mathcal{M}}^G:= \overline{\mathcal{M}}_{g,n} / G$, are of general type, for a fairly broad class of subgroups $G$ of the symmetric…

This work generalizes the additively partitioned Runge-Kutta methods by allowing for different stage values as arguments of different components of the right hand side. An order conditions theory is developed for the new family of…

The exactly integrable systems connected with semisimple series $A$ for arbitrary grading are presented in explicit form. Their general solutions are expressed in terms of the matrix elements of various fundamental representations of $A_n$…

Assuming $\mathfrak b = \mathfrak c$ (or some weaker statement), we construct a compactification $\gamma\omega$ of $\omega$ such that its remainder $\gamma\omega\setminus\omega$ is nonseparable and carries a strictly positive measure.