Related papers: Simple D-module components of local cohomology mod…
Let $\xx= x_1,\ldots,x_r$ denote a system of elements of a commutative ring $R$. For an $R$-module $M$ we investigate when $\xx$ is $M$-pro-regular resp. $M$-weakly pro-regular as generalizations of $M$-regular sequences. This is done in…
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper…
Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm…
We study the structure of $D$-modules over a ring $R$ which is a direct summand of a polynomial or a power series ring $S$ with coefficients over a field. We relate properties of $D$-modules over $R$ to $D$-modules over $S$. We show that…
Let $X^{2n}\subseteq \mathbb{P} ^N$ be a smooth projective variety. Consider the intersection cohomology complex of the local system $R^{2n-1}\pi{_*}\mathbb{Q}$, where $\pi$ denotes the projection from the universal hyperplane family of…
We study the category M consisting of U(sl_{n+1})-modules whose restriction to U(h) is free of rank 1, in particular we classify isomorphism classes of objects in M and determine their submodule structure. This leads to new…
We give an answer to the abstract Capelli problem: Let $(G, V)$ be a multiplicity-free finite-dimensional representation of a connected reductive complex Lie group $G$ and $G'$ be its derived subgroup. Assume that the categorical quotient…
Let $\mathfrak a$ denote an ideal of a local ring $(R, \mathfrak m).$ Let $M$ be a finitely generated $R$-module. There is a systematic study of the formal cohomology modules $\varprojlim \HH^i(M/\mathfrak a^nM), i \in \mathbb Z.$ We…
We compute projective dimension of translated simple modules in the regular block of the BGG category $\mathcal{O}$ in terms of Kazhdan-Lusztig combinatorics. This allows us to determine which projectives can appear at the last step of a…
Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…
For a reduced monomial ideal B in R=k[X_1,...,X_n], we write H^i_B(R) as the union of {Ext^i(R/B^[d],R)}_d, where {B^[d]}_d are the "Frobenius powers of B". We describe H^i_B(R)_p, for every p in Z^n, in the spirit of the Stanley-Reisner…
We construct a moduli scheme for semistable pre-$\D$-modules with prescribed singularities and numerical data on a smooth projective variety. These pre-$\D$-modules are to be viewed as regular holonomic $\D$-modules with `level structure'.…
We give a formula for the Eisenstein cohomology of local systems on the partial compactification of the moduli of principally polarized abelian varieties given by rank 1 degenerations. For genus 2 we give a formula for the full Eisenstein…
Let $R=\mathbb{C}[\{x_{ij}\}]$ be the ring of polynomial functions in $mn$ variables where $m> n$. Set $X$ to be the $m\times n$ matrix in these variables and $I:=I_n(X)$ the ideal of maximal minors of $X$. We consider the rings $R/I^t$;…
Given an infinite field $\mathbb{k}$ and a simplicial complex $\Delta$, a common theme in studying the $f$- and $h$-vectors of $\Delta$ has been the consideration of the Hilbert series of the Stanley--Reisner ring $\mathbb{k}[\Delta]$…
We investigate the Hodge structure of the singular O'Grady's six and ten dimensional examples of irreducible symplectic varieties. In particular, we compute some of their Betti numbers and their Euler characteristic. As consequence, we…
For any positive integer $n$, $\mathcal{A}_n$ is the class of all groups $G$ such that, for $0\leq i\leq n$, $H^i(\hat{G},A)\cong H^i(G,A)$ for every finite discrete $\hat{G}$-module $A$. We describe certain types of free products with…
Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial…
Let $G$ be the group scheme $\operatorname{SL}_{d+1}$ over $\mathbb{Z}$ and let $Q$ be the parabolic subgroup scheme corresponding to the simple roots $\alpha_{2},\cdots,\alpha_{d-1}$. Then $G/Q$ is the $\mathbb{Z} $-scheme of partial flags…
Let $R$ be a regular ring of dimension $d$ containing a field $K$ of characteristic zero. If $E$ is an $R$-module let $Ass^i E = \{ Q \in \ Ass E \mid \ height Q = i \}$. Let $P$ be a prime ideal in $R$ of height $g$. We show that if $R/P$…