Related papers: Smooth Formal Embeddings and the Residue Complex
Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of…
Let $X$ be a smooth $p$-adic Stein space with free tangent sheaf. We use the notion of Hochschild cohomology for sheaves of Ind-Banach algebras developed in our previous work to study the Hochschild cohomology of the algebra of infinite…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
We study geodesics in generalized Wallach spaces which are expressed as orbits of products of three exponential terms. These are homogeneous spaces $M=G/K$ whose isotropy representation decomposes into a direct sum of three submodules…
We relate the variance theory for Cousin complexes -^# developed by Lipman, Nayak and the author to Grothendieck duality for Cousin complexes. Specifically for a Cousin complex F on (Y, \Delta)--with \Delta a codimension function on a…
This work deals with relations between a bounded cohomological invariant and the geometry of Hermitian symmetric spaces of noncompact type. The invariant, obtained from the K\"ahler class, is used to define and characterize a special class…
We define the partial group cohomology as the right derived functor of the functor of partial invariants, we relate this cohomology with partial derivations and with the partial augmentation ideal and we show that there exists a…
Grothendieck local residue is considered in the context of symbolic computation. Based on the theory of holonomic D-modules, an effective method is proposed for computing Grothendieck local residues. The key is the notion of Noether…
We identify a class of "quasi-compact semi-separated" (qcss) twisted presheaves of algebras A for which well-behaved Grothendieck abelian categories of quasi-coherent modules Qch(A) are defined. This class is stable under algebraic…
Let $H$ be a semisimple Hopf algebra over an algebraically closed field $\mathbbm{k}$ of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$ and $p\nmid 2\dim_{\mathbbm{k}}(H)$. In this paper, we consider the smash product semisimple Hopf…
We establish an explicit embedding of a quantum affine $\mathfrak{sl}_n$ into a quantum affine $\mathfrak{sl}_{n+1}$. This embedding serves as a common generalization of two natural, but seemingly unrelated, embeddings, one on the quantum…
Let $\k$ be a commutative ring, and let $(A,\mfrak{a})$ be an adic ring which is a $\k$-algebra. We study complete and torsion versions of the derived Hochschild homology and cohomology functors of $A$ over $\k$. To do this, we first…
The following results are proved: Theorem 1. A totally real semiparallel submanifold of constant curvature with parallel f-structure in the normal bundle of a K\"ahler manifold N is flat or a totally geodesic submanifold of N. Theorem 2. A…
For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…
Any algebra herein is intended over a field of characteristic 0. Let $E$ denote the infinite dimensional Grassman algebra. Given a power associative finite dimensional {$\mathbb{Z}_2$-graded-central-simple} $A$ and a supertrace algebra $B$,…
Let $X/S$ be a smooth family of smooth projective varieties, where $S$ is a smooth affine curve over a field $k$ of characteristic $0.$ We relate the differential fundamental groupoid scheme of $X/k$ with the differential fundamental…
We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian…
Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…
Developing ideas of \cite{Fei}, we introduce canonical cosimplicial cohomology of meromorphic functions for infinite-dimensional Lie algebra formal series with prescribed analytic behavior on domains of a complex manifold $M$. Graded…
Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $X$ be an irreducible smooth projective curve of genus $g$ over $k$. Fix an integer $n \geq 2$, and let $S^n(X)$ be the $n$-fold symmetric product of $X$. In this…