Related papers: An algorithm for computing Grothendieck local resi…
Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category $\mathcal C$ as modules over the smash extension $\mathcal C\# H$. We construct Grothendieck spectral sequences for the cohomologies as well as the…
We describe software for symbolic computations that we developed in order to find Hamiltonian operators for Witten--Dijkgraaf--Verlinde--Verlinde (WDVV) equations, and verify their compatibility. The computation involves nonlocal…
In this article, we produce Grothendieck-Riemann-Roch formulas for cohomology theories that are not oriented in the classical sense. We then specialize to the case of cohomology theories that admit a so-called symplectic orientation and…
This paper introduces the notion of locally algebraic representations and corresponding sheaves in the context of the cohomology of arithmetic groups. These representations are of relevance for the study of integral structures and special…
An enhancement of the dynamic geometry system GeoGebra for the automatic symbolic computation of algebraic loci and envelopes is presented. Given a GeoGebra construction, the prototype, after rewriting the construction as a polynomial…
We give an elementary proof of Grothendieck's non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $\m$, the local cohomology module $H^{\dim M}_{\m}(M)$ is non-zero.
This paper presents some algorithmic techniques to compute explicitly the noetherian operators associated to a class of ideals and modules over a polynomial ring. The procedures we include in this work can be easily encoded in computer…
We consider the loci of d-elliptic curves in $M_2$, and corresponding loci of d-elliptic surfaces in $A_2$. We show how a description of these loci as quotients of a product of modular curves can be used to calculate cohomology of natural…
This paper is concerned with representations of split orthogonal and quasi-split unitary groups over a nonarchimedean local field which are not generic, but which support a unique model of a different kind, the generalized Bessel model. The…
An algorithm computing the restriction of a holonomic D-module to a linear subspace was given by T.Oaku in 1997. We consider a problem of computing the restriction for a given holonomic D-module with parameters. We will give a partial…
$ \newcommand{\cclass}[1]{{\textsf{#1}}} $The classical Grothendieck inequality has applications to the design of approximation algorithms for $\cclass{NP}$-hard optimization problems. We show that an algorithmic interpretation may also be…
A computation method of algebraic local cohomology with parameters, associated with zero-dimensional ideal with parameter, is introduced. This computation method gives us in particular a decomposition of the parameter space depending on the…
Grothendieck polynomials were introduced by Lascoux and Sch\"utzenberger, and they play an important role in K-theoretic Schubert calculus. In this paper, we give a new definition of double stable Grothendieck polynomials based on an…
By reading a standard formula for the ring of Grothendieck differential operators in a derived way, we construct a derived (sheaf of) ring of Grothendieck differential operators for Noetherian schemes $X$ separated and finite-type over a…
We generalize Grothendieck's residues $Res\frac{\psi}{s}$ to virtual cases, namely cases when the zero loci of the section $s$ has dimension larger than the expected dimension(zero). We also provide an exponential type integral formalism…
In this paper we continue the study of non connected graded Gorenstein algebras initiated in a previous paper, the main result is the proof of a version of the Local Cohomology formula.
We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a…
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…
We compute the local cohomology modules H_Y^(X,O_X) in the case when X is the complex vector space of n x n symmetric, respectively skew-symmetric matrices, and Y is the closure of the GL-orbit consisting of matrices of any fixed rank, for…
In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the…