Related papers: An algorithm for computing Grothendieck local resi…

The aim of the present paper is to study arithmetic properties of $\mathcal{D}$-modules on an algebraic variety over the field of algebraic numbers. We first provide a framework for extending a class of $G$-connections (resp., globally…

We describe an algorithm that allows to compute a minimal resolution of the Steenrod algebra. The algorithm has built-in knowledge about vanishing lines for the cohomology of sub Hopf algebras of the Steenrod algebra which makes it both…

Local Fourier analysis is a strong and well-established tool for analyzing the convergence of numerical methods for partial differential equations. The key idea of local Fourier analysis is to represent the occurring functions in terms of a…

We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this…

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It…

We introduce excess logarithmic residues for one-dimensional holomorphic foliations tangent to a divisor. They arise from the comparison between the logarithmic normal sheaf and the ordinary normal sheaf of the foliation, and measure the…

We compute support of formal cohomology modules in a serial of non-trivial cases. Applications are given. For example, we compute injective dimension of certain local cohomology modules in terms of dimension of their's support.

We show a conditional exactness statement for the Nisnevich Gersten complex associated to an $\mathbb{A}^1$-invariant cohomology theory with Nisnevich descent for smooth schemes over a Dedekind ring with only infinite residue fields. As an…

Let $k$ be a field of characteristic zero and I an ideal defining an arrangement of linear subspaces in the affine space $A^n_k$. We compute the D-module theoretic characteristic cycle of the local cohomology modules $H^r_I(k[x_1,...,x_n])$…

A new approach has been recently developed to study the arithmetic of hyperelliptic curves $y^2=f(x)$ over local fields of odd residue characteristic via combinatorial data associated to the roots of $f$. Since its introduction, numerous…

We present an algorithm to compute bases for the spaces L(G), provided G is a rational divisor over a non-singular absolutely irreducible algebraic curve, and also another algorithm to compute the Weierstrass semigroup at P together with…

This is the second of series of papers on the study of foliations in the setting of derived algebraic geometry based on the central notion of derived foliation. We introduce sheaf-like coefficients for derived foliations, called…

Using the Noether Charge formulation, we study a perturbation of the conserved gravitating system. By requiring the boundary term in the variation of the Hamiltonian to depend only on the symplectic structure, we propose a general…

In analogy with the classical theory of topological groups, for finitely complete categories enriched with Grothendieck topologies, we provide the concepts of localized G-topological space, initial Grothendieck topologies and continuous…

We give a new operator formula for Grothendieck polynomials that generalizes Magyar's Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools…

We give a new proof of a recent result due to Mats Andersson and Elizabeth Wulcan, generalizing the local Grothendieck duality theorem. It can also be seen as a generalization of a previous result by Mikael Passare. Our method does not…

We define, in a consistent way, non-local pseudo-differential operators acting on a space of analytic functionals. These operators include the fractional derivative case. In this context we show how to solve homogeneous and inhomogeneous…

In a previous paper we have suggested a number of ideas to attack circuit size complexity with cohomology. As a simple example, we take circuits that can only compute the AND of two inputs, which essentially reduces to SET COVER. We show a…

Let $\fa$ be an ideal of a $d$-dimensional commutative Noetherian ring $R$. In this paper we give some information on some last non-zero local cohomology modules known as top local cohomology modules in particular, $H^{d-1}_{\fa}(R)$.

Noether's theorem connects symmetries to invariants in continuous systems, however its extension to discrete systems has remained elusive. Recognizing the lowest-order finite difference as the foundation of local continuity, a viable method…