Related papers: Noncommutative localization in algebraic $L$-theor…
We consider the generating series of special cycles on $\mathcal{A}_1(N)\times \mathcal{A}_g(N)$, with full level $N$ structure, valued in the cohomology of degree $2g$. The modularity theorem of Kudla-Millson for locally symmetric spaces…
We establish a version of Kn\"{o}rrer's Periodicity Theorem in the context of noncommutative invariant theory. Namely, let $A$ be a left noetherian AS-regular algebra, let $f$ be a normal and regular element of $A$ of positive degree, and…
For an acyclic quiver $Q$ and a finite-dimensional algebra $A$, we give a unified form of the indecomposable injective objects in the monomorphism category ${\rm Mon}(Q,A)$ and prove that ${\rm Mon}(Q, A)$ has enough injective objects. As…
We prove that a Lie conformal algebra L with bounded locality function is embeddable into an associative conformal algebra A with the same bound on the locality function. If L is nilpotent, then so is A, and the nilpotency index remains the…
Following the work of Beilinson-Bernstein and Kashiwara-Rouquier, we give a geometric interpretation of certain categories of modules over the finite W-algebra. As an application we reprove the Skryabin equivalence.
We study the localization functor from the category of representation of Lie super-algebra $\mathfrak{g} = \mathfrak{gl}(m, n)$ into monodromic D-modules on the flag manifold $X = G/B$. We show that the right localization is monadic in a…
Let $X$ be a smooth proper variety over a field $k$ and suppose that the degree map $\mathrm{CH}_0(X \otimes_k K) \to \mathbb{Z}$ is isomorphic for any field extension $K/k$. We show that $G(\mathrm{Spec} k) \to G(X)$ is an isomorphism for…
We develop a noncommutative invariant theory for ordinary linear differential operators on Riemann surfaces. For a monic binomially normalized operator $L=\sum_{k=0}^n {n\choose k}a_kD^{\,n-k}$, $a_0=1$, with coefficients in an associative…
Let X be a Zariski open subset of a compact Kaehler manifold. In this paper, we study the set $\Sigma^k(X)$ of one dimensional local systems on X with nonvanishing kth cohomology. We show that under certain conditions (X compact, X has a…
This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $\sigma$ be a…
Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…
In this paper, we develop a modified proof strategy for homological stability of linear groups, with the general linear groups serving as a primary example. Our arguments are more direct than those in the classical works of Quillen and…
A localization theorem for the cyclotomic rational Cherednik algebra $H_c=H_c((\mathbb{Z}/l)^n\rtimes \mathfrak{S}_n)$ over a field of positive characteristic has been proved by Bezrukavnikov, Finkelberg and Ginzburg. Localizations with…
For a natural class of cohomology theories with support (including \'etale or pro-\'etale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit…
We study the $H_n(0)$-module $\mathbf{S}^\sigma_\alpha$ due to Tewari and van Willigenburg, which was constructed using new combinatorial objects called standard permuted composition tableaux and decomposed into cyclic submodules. First, we…
Let $C/\mathbb{F}_q$ be a regular projective curve, $\infty \in C$ a closed point, $A := \Gamma(C - \{\infty\}, \mathcal{O}_C)$, and $K := K(C)$ the fraction field of $A$. Consider a finite extension $L/K$, a place $v$ of $L$, and an…
We give a geometric realization of cohomologically induced (g,K)-modules. Let (h,L) be a subpair of (g,K). The cohomological induction is an algebraic construction of (g,K)-modules from a (h,L)-module V. For a real semisimple Lie group, the…
Let $\L_m$ be the scheme of the laws defined by the identities of Jacobi on $\K^m$. The local studies of an algebraic Lie algebra $\g=\mathrm{R}\ltimes\n$ in $\L_m$ and its nilpotent part $\n$ in the scheme $\L_n^{\mathrm{R}}$ of…
Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. Given a positive integer $m$, or $m=\infty$, we say that a $k$-linear derivation $\delta$ of $A$ is $m$-integrable if it extends up to a Hasse--Schmidt derivation…
We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there…