Related papers: D-modules and finite maps
We will prove the relative homotopy principle for smooth maps with singularities of a given {\cal K}-invariant class with a mild condition. We next study a filtration of the group of homotopy self-equivalences of a given manifold P by…
We complete and precise the results of [B.13] and we prove a strong version of the semi-proper direct image theorem with values in the space C f n (M) of finite type closed n--cycles in a complex space M. We describe the strongly…
We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…
In the representation theory of real reductive Lie groups, many objects have finiteness properties. For example, the lengths of Verma modules and principal series representations are finite, and more precisely, they are bounded. In this…
Beilinson--Bernstein localisation relates representations of a Lie algebra $\mathfrak{g}$ to certain $\mathcal{D}$-modules on the flag variety of $\mathfrak{g}$. In [arXiv:2002.01540], examples of $\mathfrak{sl}_2$-representations which…
Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…
Let $K$ be a Gorenstein noetherian ring of finite Krull dimension, and consider the category of cohomologically noetherian commutative differential graded rings $A$ over $K$, such that $H^0(A)$ is essentially of finite type over $K$, and…
Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. Criteria are given which characterize existence of a fine or coarse moduli space classifying, up to isomorphism, the representations of $\Lambda$ with fixed…
Finite-sheeted covering mappings onto compact connected groups are studied. It is shown that a finite-sheeted covering mapping from a connected Hausdorff topological space onto a compact connected abelian group G must be a homeomorphism…
Given an effective Cartier divisor D with simple normal crossing support on a smooth and proper scheme X over a perfect field of positive characteristic p, there is a natural notion of de Rham-Witt sheaves on X with zeros along D. We show…
Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation…
Let $(X,\omega)$ be a closed symplectic manifold. A loop $\phi: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $\pi: P_{\phi} \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of…
The main goal of this article is to construct some geometric invariants for the topology of the set $\mathcal{F}$ of flat connections on a principal $G$-bundle $P\,\longrightarrow\, M$. Although the characteristic classes of principal…
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 study the Hurewicz map h from the homotopy groups of a spectrum X to the R-homology of its 0th space X(0), where R is a connective commutative S-algebra. We prove that the decreasing filtration of the domain of h associated to an R-based…
We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the…
Let X be an algebraic curve. We study the problem of parametrizing geometric data over X, which is only generically defined. E.g., parametrizing generically defined (aka rational) maps from X to a fixed target scheme Y. There are three…
The moduli space ${\rm M}_{d}$, of complex rational maps of degree $d \geq 2$, is a connected complex orbifold which carries a natural real structure, coming from usual complex conjugation. Its real points are the classes of rational maps…
We introduce the notion of interlaced weak ditalgebras and apply reduction procedures to their module categories to prove a tame-wild dichotomy for the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules for an arbitrary finite…
For a morphism of smooth schemes over a regular affine base we define functors of derived direct image and extraordinary inverse image on coderived categories of DG-modules over de Rham DG-algebras. Positselski proved that for a smooth…