Related papers: Local B\'ezout Theorem for Henselian rings

In this paper we present a new proof of the sufficiency theorem for strong local minimizers concerning $C^1$-extremals at which the second variation is strictly positive. The results are presented in the quasiconvex setting, in accordance…

In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in…

Let $A$ be a Dedekind domain of characteristic zero such that its localization at every maximal ideal has mixed characteristic with finite residue field. Let $R=A[X_1,\ldots, X_n]$ be a polynomial ring and $I=(a_1U_1, \ldots, a_c…

Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$ and let $I$ be an $\mathfrak{m}$-primary ideal. We show that there is a non-negative integer $r_I$ (depending only on $I$) such that if $M$ is any non-free maximal…

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $\widehat{R}$ its $\mathfrak{m}$-adic completion. We study the problem of determining when a finitely generated $\widehat{R}$-module arises from an $R$-module, i.e., when it is…

Given a module M over a ring R which has a grading by a semigroup Q, we present a spectral sequence that computes the local cohomology of M at any Q-graded ideal I in terms of Ext modules. This method is used to obtain finiteness results…

Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is…

This is the final paper in the series of five, in which we prove the geometric Langlands conjecture (GLC). We conclude the proof of GLC by showing that there exists a unique (up to tensoring up by a vector space) Hecke eigensheaf…

In this paper, an algebraic theory for local rings of finite embedding dimension is developed. Several extensions of (Krull) dimension are proposed, which are then used to generalize singularity notions from commutative algebra. Finally,…

The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis…

Given a trivially graded polynomial ring $A=K[a_1,\dots,a_m]$ over a field $K$ and a positively graded polynomial ring $P=A[x_1,\dots,x_k]$, we study graded rings $R=P/I$, where $I$ is a homogeneous ideal in $P$ such that $I\cap A = \{0\}$.…

Let $R$ be a commutative Noetherian ring and $M$ a finitely generated $R$-module. We show in this paper that, for an integer $t$, if the local cohomology module $H^{i}_\mathfrak{a}(M)$ with respect to an ideal $\frak a$ is finitely…

Let $K$ be a complete non-archimedean field with a discrete valuation, $f\in K[X]$ a polynomial with non-vanishing discriminant, $A$ the valuation ring of $K$, and $\M$ the maximal ideal of $A$. The first main result of this paper is a…

We generalize the polynomial Szemer\'{e}di theorem to intersective polynomials over the ring of integers of an algebraic number field, by which we mean polynomials having a common root modulo every ideal. This leads to the existence of new…

Bernstein-Sato polynomial of a hypersurface is an important object with numerous applications. It is known, that it is complicated to obtain it computationally, as a number of open questions and challenges indicate. In this paper we propose…

Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…

We use recent results about linking the number of zeros on algebraic varieties over $\mathbb{C}$, defined by polynomials with integer coefficients, and on their reductions modulo sufficiently large primes to study congruences with products…

Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of…

We develop a theory of local densities and tangent cones in a motivic framework, extending work by Cluckers-Comte-Loeser about $p$-adic local density. We prove some results about geometry of definable sets in Henselian valued fields of…

We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.