Related papers: A note on smooth forms on analytic spaces
It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real…
We provide a natural smooth projective compactification of the space of algebraic maps from the projective line to the projective space of dimension n by adding a divisor with simple normal crossings.
Local normal form theorems for smooth equivariant maps between infinite-dimensional manifolds are established. These normal form results are new even in finite dimensions. The proof is inspired by the Lyapunov-Schmidt reduction for…
We characterize boundedness and compactness of pullback operators under holomorphic maps between Bargmann spaces of entire holomorphic functions with quadratic strictly plurisubharmonic exponential weights, extending a result of…
We consider circle patterns on surfaces with complex projective structures. We investigate two symplectic forms pulled back to the deformation space of circle patterns. The first one is Goldman's symplectic form on the space of complex…
The aim of this paper is to explain how to get a complex of smooth representations out of the dual vector space to a smooth representation of a p-adic Lie group, in natural characteristic. The construction does not depend on any…
We give an algebraic construction of the moduli space of irregular singular connections of generic ramified type on a smooth projective curve. We prove that the moduli space is smooth and give its dimension. Under the assumption that the…
The moduli space of projective structures on a compact oriented surface $\Sigma$ has a holomorphic symplectic structure, which is constructed by pulling back, using the monodromy map, the Atiyah--Bott--Goldman symplectic form on the…
We introduce framed formal curves, which are formal algebraic curves with boundary components parametrized by the punctured formal disk. We study the moduli space of nodal framed formal curves, which we endow with a logarithmic structure.…
We already saw in [A1] that the space of dynamically marked rational maps can be identified to a subspace of the space of covers between trees of spheres on which there is a notion of convergence that makes it sequentially compact. In the…
It is a fundamental property of the Chow groups of algebraic schemes that they are contra-functorial with respect to flat morphisms between schemes. While the pullback homomorphism is easy to define at the level of algebraic cycles, the…
We study birational morphisms between smooth projective surfaces that respect a given Poisson structure, with particular attention to induced birational maps between the (Poisson) moduli spaces of sheaves on those surfaces. In particular,…
We study configuration spaces of framed points on oriented closed smooth manifolds. Such configuration spaces admit natural actions of the framed little discs operads, that play an important role in the study of embedding spaces of…
In this paper we construct a coarse moduli scheme of stable unramified irregular singular parabolic connections on a smooth projective curve and prove that the constructed moduli space is smooth and has a symplectic structure. Moreover we…
We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.
We study the local geometry of the pullback of a variety via a finite holomorphic map. In particular, we are looking for properties of $V = F^{-1}(W)$ such that if $V$ has the property $A$, then $W$ must have the property $A$. We show that…
We use intuitive results from algebraic topology and intersection theory to clarify the pullback action on cohomology by compositions of rational maps. We use these techniques to prove a simple sufficient criterion for functoriality of a…
If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains…
We use function field analytic number theory to establish the irreducibility and dimension of the moduli space that parameterises morphisms of fixed degree from $\mathbb{P}^2$ to an arbitrary smooth hypersurface of sufficiently small…
Let $X$ be a possibly non-reduced space of pure dimension. We introduce an essentially intrinsic pointwise Hermitian norm on smooth $(0,*)$-forms, in particular on holomorphic functions, on $X$. We prove that the space of holomorphic…