%~Mouliné par MaN_auto v.0.32.4 2024-08-01 15:49:09
\documentclass[CRMATH, Unicode, XML, biblatex,francais]{cedram}

\TopicEN{Algebra, Algebraic geometry}
\TopicFR{Algèbre, Géométrie algébrique}

\addbibresource{crmath20221187.bib}


%\usepackage{latexsym}
%\usepackage{amssymb}
%\usepackage{mathrsfs}
%\usepackage[english,francais]{babel}
%\usepackage{textcomp}
%\usepackage[T1]{fontenc}

%\OneNumberAllTheorems
\newcounter{etheo}
\newtheorem{e-theo}{Theorem}
\renewcommand*{\theetheo}{\arabic{e-theo}}
\newtheorem{e-prop}{Proposition}
\newtheorem{e-coro}{Corollary}


\newcommand{\opp}[1]{\operatorname{#1}}

\newcommand*\Der{\mathrm{Der}}
\newcommand*\V{\mathscr{V}}
\renewcommand*\k{\mathsf{k}}
\newcommand*\K{\mathfrak{K}}
\newcommand{\clI}{\mathcal{I}}
\newcommand{\fkm}{\mathfrak{m}}
\newcommand{\fko}{\mathfrak{o}}
\newcommand{\bbC}{\mathbb{C}}
%
%
%\selectlanguage{francais}
%\vspace*{-7.7pc}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

%\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title{Sur certains invariants des algèbres artiniennes commutatives}
\alttitle{On certain invariants of commutative artinian algebras}

\author{\firstname{Alexandre} \lastname{Aleksandrov}}
\address{Institut du Contrôle Automatique de l'Académie des sciences de Russie, 65, rue Profsoyuznaya, GSP-7, Moscou, 117997, Fédération de Russie}
\email{ag\_aleksandrov@mail.ru}


\begin{abstract}
Dans cette note, on étudie les propriétés des invariants algébriques, topologiques et analytiques des algèbres artiniennes commutatives et les relations remarquables entre eux. Par exemple, on montre que la longueur du module des différentielles de K\"ahler de toute algèbre artinienne locale de Gorenstein sur $\mathbb{C}$ est supérieure ou égale à la longueur de l'algèbre lui-mème moins un. On obtient alors, grâce à la dualité canonique dans le complexe cotangent, que si le point épais correspondant est lissifiable, on a l'inégalité $\tau \geqslant \mu$ pour ses nombres de Tjurina et de Milnor.
%Pour citer cet article : A.G. Aleksandrov, \emph{C. R. Acad. Sci. Paris, Sér. I}, \textbf{361} (2023).
\end{abstract}

%\altkeywords{algèbres artiniennes, points épais, déformations, complexe cotangent, dualité, différentielles de K\"ahler, socle, annihilateur, modules fidèles}



\begin{altabstract}
We study properties of algebraic, topological and analytic invariants of commutative artinian algebras and relationships between them. For example, we show that the length of the module of K\"ahler differentials of any local artinian Gorenstein algebra over $\mathbb{C}$ is greater than or equal to the length of the algebra itself minus one. We then prove, employing the canonical duality in the cotangent complex, that if the corresponding thick point is smoothable, then its Tjurina and Milnor numbers satisfy the inequality $\tau \geqslant \mu$.
%To cite this article: A. G. Aleksandrov, \emph{C. R. Acad. Sci. Paris, Sér. I}, \textbf{361} (2023).
\end{altabstract}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\maketitle
\selectlanguage{english}
\section*{Abridged English version}

We will denote by $\k$ the field of complex numbers and by $P$ the convergent power series ring $\k\langle z_1,\, \dots,\,z_m\rangle$ in $m$ variables. Let $(X, \fko)$ be a germ of complex analytic space and let $(A,\fkm_A,\k)$ be its dual local analytic algebra. Then there is an isomorphism $A\cong P/I,$ where the ideal $I$ is generated by elements $f_1,\,\ldots,\,f_k \in P$. We will often refer to any such algebra $A$, as well as to the corresponding germ $X$, as a \emph{singularity}. For \emph{zero-dimensional} germs (that are often called thick, fat or multiple points) and their dual artinian algebras we will use notations $X_0$ and $A_0$, respectively.

Let $\Omega^1_{A/\k}$ be the module of K\"ahler differentials of $A$ over $\k$, let $\opp{T}_i(A/\k, M)$ and $\opp{T}^i(A/\k, M)$, $i\geqslant 0$, be the homology and cohomology groups of the cotangent complex with coefficients in an $A$-module $M$ (see, e.g., \cite{Pal82}). To simplify notations, we will denote the modules $\opp{T}_i(A/\k, A)$ and $\opp{T}^i(A/\k, A)$ by $\opp{T}_i(A)$ and $\opp{T}^i(A)$, respectively. Then there are natural isomorphisms $\opp{T}_0(A) \cong \Omega^1_{A/\k}$, $\opp{T}^0(A) \cong \Der_\k(A) \cong \opp{Hom}_A(\Omega^1_{A/\k}, A)$, etc. Next, we will denote by $\opp{Soc}(M)$ the \emph{socle} of an $A$-module $M$. If $M$ is a module over a local \emph{artinian} ring $A_0$, then $\opp{Soc}(M) = (0\colon \fkm_{A_0})_M \cong \opp{Hom}_{A_0}(\k, M)$ (see, e.g., \cite{HK71}).

For any artinian $\k$-algebra $A_0$ and $A_0$-module $M$ the following numerical invariants are defined: the embedding dimension of $A_0$, the lengths of $M$ and $\opp{Soc}(M)$, and the dimension of the space $\opp{T}^1(A_0)$ of the first order infinitesimal (flat) deformations of $A_0$. These invariants will be denoted by $e(A_0)$, $\ell(M)$, $\gamma(M)$ and $\tau(A_0)$, respectively. Thus, $e(A_0)=\dim_\k(\fkm_{A_0}/\fkm_{A_0}^2)$, $\ell(M)= \dim_\k(M)$, $\gamma(M) = \dim_\k(\opp{Soc}(M))$, $\tau(A_0)= \dim_\k \opp{T}^1(A_0)$. For the corresponding multiple point $X_0$ we will often use similar notation $e(X_0)$, $\tau(X_0)$, etc. The integer $\tau(X_0)$ is often called the Tjurina number of $X_0$. It should be remarked that for any \emph{smoothable} germ $X_0$ the equality $\ell(A_0) = \mu(X_0)+1$ holds, where $\mu(X_0)$ is the Milnor number of $X_0$. Recall also that an artinian ring $A_0$ is called Gorenstein if $\gamma(A_0)=1$, that is, if the socle of $A_0$ is \emph{principal}.

Among other things, our goal here is to prove the inequality $\tau(X_0) \geqslant \mu(X_0) + e(X_0) -1$ for zero-dimensional complete intersections and an analogous relation for thick Gorenstein points. The corresponding statements were conjectured by the author in 1991-92 (see~\cite{Ale91}, \cite[\S~6, Note]{Ale94}) and verified in the weighted homogeneous case.

Our proof is based on the canonical duality in the cotangent complex of artinian algebras (see~\cite[Theorem~3.2]{Ale94}) and on simple properties of \emph{faithful} modules. First we recall that any module $M$ over a unitary ring $A$ is faithful over the quotient ring $A/\opp{Ann}_A M$ (see~\cite{AMD}).


\begin{enonce}{Proposition}
Let $A_0$ be a local Gorenstein algebra and let $\Delta$ be a generator of the $A_0$-module $\opp{Soc}(A_0)$. Then $\opp{Ann}_{A_0} (\Omega^1_{A_0/\k})$ is a principal ideal generated by $\Delta$.
\end{enonce}


\begin{enonce}{Corollary}
Under the same assumptions, the module $\Omega^1_{A_0/\k}$ is faithful over the quotient ring $A_0/\Delta A_0$.
\end{enonce}

\begin{enonce}{Theorem}\label{thm2en}
Let $A_0$ be a local Gorenstein algebra. Then
\[
\ell\left(\Omega^1_{A_0/\k}\right) \geqslant \ell(A_0) -1.
\]
\end{enonce}

The proof is based on the Matlis theory of irreducible decompositions of modules (see, e.g., \cite{HK71}). We also exploit some arguments of~\cite[Theorem~1]{Gul72} and a little known property of the module of K\"ahler differentials of Gorenstein algebras. More precisely, we will prove the following statement.

\begin{enonce}{Proposition}
Under the same conditions, there are two equalities:
\[
\gamma\left(\Omega^1_{A_0/\k}\right)= \gamma(A_0/\Delta A_0)= e(A_0).
\]
\end{enonce}

\begin{enonce}{Theorem}\label{thm3en}
Let $X_0$ be a Gorenstein zero-dimensional germ. Then
\[
\tau(X_0) \geqslant \ell(A_0) + e(X_0) - 2.
\]
\end{enonce}

First we remark that for complete intersection germs $\ell(\opp{T}_i(X_0))= \ell(\opp{T}^j(X_0))$ for all $i,j \leqslant 1$ (see~\cite{Ale91} or~\cite{Ale94}) and $\opp{T}_i(A_0) = \opp{T}^i(A_0) = 0$ for $i \geqslant 2$. Next, for Gorenstein multiple points $\ell(\opp{T}^1(X_0)) \geqslant \ell(\opp{T}^0(X_0))$ (see~\cite[Theorem~4.3]{Ale94}). On the other hand, $\ell(\opp{T}^0(X_0)) = \ell(\Omega^1_{X_0/\k})$ in view of the functorial duality between homology and cohomology groups of the cotangent complex. Then we apply Theorem~\ref{thm2en}, taking into account that $\tau(X_0) = \ell(\opp{T}^1(X_0))$.

\begin{enonce}{Corollary}
Let $X_0$ be a smoothable Gorenstein zero-dimensional germ. Then
\[
\tau(X_0) \geqslant \mu(X_0) + e(X_0) - 1.
\]
\end{enonce}

Indeed, $\ell(A_0)=\mu(X_0)+1$ for any smoothable singularity $X_0$. Of course, the obtained relation remains valid for zero-dimensional complete intersections as well.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\selectlanguage{french}
\setcounter{cdrthm}{0}
\section{Introduction}

Soient $X = (X, \fko)$ un germe analytique complexe d'intersection complète ayant une singularité isolée au point $\fko$, $\dim X = n$ et $n\geqslant 0$. Donc les deux invariants suivants de $X$ sont bien définis. Le premier (topologique) est le nombre de Milnor $\mu(X)$ qui est égale au $n^{\rm ième}$ nombre de Betti d'une fibre voisine non singulière (moins un si $n = 0$), tandis que le second (analytique) est le nombre de Tjurina $\tau(X)$ qui est égale à la dimension de l'espace de base d'une déformation miniverselle du germe.

Il est bien connu qu'il y a l'inégalité $\mu \geqslant \tau$ dans le cas des singularités d'hypersurfaces. Cette inégalité reste valable pour les intersections complètes de dimension \emph{positive} (voir~\cite{LS85}), pour les singularités lissifiables de Gorenstein de dimension un et deux, etc.

Cependant, dans le cas des singularités de dimension positive qui ne sont pas de Gorenstein, l'inégalité \emph{opposé} $\tau \geqslant \mu$ est généralement vérifiée. En plus, la même inégalité est vraie pour toutes les courbes réduites lissifiables (connues de l'auteur) qui ne sont pas de Gorenstein. Dans ces cas, la différence $\tau-\mu$ peut être interprétée comme le nombre des ``cocycles non evanescentes'' dans la cohomologie de la fibre non singulière de la déformation semiuniverselle (voir~\cite[Proposition~6]{Ale81}).

Dans cette note, entre autres, on montre que l'inégalité $\tau \geqslant \mu$ est vraie dans le cas des intersections complètes et singularités lissifiables de Gorenstein de dimension \emph{nulle}. Par définition, une algèbre artinienne est \emph{lissifiable} si le point épais correspondant appartient à une famille plate irréductible des points épais dont le membre général est lisse, c'est-à-dire, il est réunion de points ordinaires. Rappelons aussi qu'il existe des algèbres artiniennes de Gorenstein \emph{non} lissifiables de longueur 14 (voir~\cite{Iar94}). De toute façon, on peut compléter la définition de Milnor en posant $\mu(X) = \ell(A)-1$, où $\ell(A)$ est la longueur de l'algèbre duale de la singularité $X$ de dimension nulle.

Cet énoncé avait été conjecturé par l'auteur (voir~\cite{Ale91} et~\cite[\S 6, Note]{Ale94}). En fait, il est facile de vérifier que $\tau \geqslant \mu$ dans le cas homogène pondéré. Notre démonstration utilise la dualité dans le complexe cotangent des algèbres analytiques et une propriété peu connue du socle. En effet, nous montrons que le socle de l'algèbre artinienne de Gorenstein engendre l'annulateur du module des différentielles de K\"ahler et du module des dérivations également. Le résultat principal est une conséquence immédiate des propriétés des algèbres qui sont quotients des algèbres de Gorenstein par leur socles.

\section{Le complexe cotangent et la dualité}

Soient $\k$ le corps des complexes, $X=(X,\fko)$ un germe analytique, $A = (A,\fkm_A)$ l'algèbre analytique duale de $X$ avec l'idéal maximal $\fkm_A$. Alors $A \cong P/I,$ où $P$ est l'anneau $\k\langle z_1,\,\dots,\,z_m\rangle$ de séries convergentes en $m$ indéterminées. Nous appellerons souvent (quand il n'y aura pas d'ambigu\"ité) le germe $X$ et l'algèbre locale $A$ la singularité. On note $e(X)$ la dimension plongée (où la dimension d'immersion) de la singularité et $\ell(M)$ la longueur d'un $A$-module $M$. Autrement dit, on a $e(X)=\dim_\k \fkm_{A}/\fkm_{A}^2$ et $\ell(M)= \opp{long}_A(M)$.

On utilisera les notations $\opp{T}_i(A/\k, M)$ et $\opp{T}^i(A/\k, M)$ pour l'homologie et la cohomologie du complexe cotangent de l'algèbre $A$ sur $\k$ avec des valeurs dans un module $M$ (voir~\cite{Pal82}). On note aussi $\opp{T}_i(A)$ et $\opp{T}^i(A)$ les groupes correspondants $\opp{T}_i(A/\k, A)$ et $\opp{T}^i(A/\k, A)$. En particulier, il y a des isomorphismes naturelles $\opp{T}_0(A) \cong \Omega^1_{{A}/\k}$ et $\opp{T}^0(A) \cong \Der_\k(A)\cong \opp{Hom}_A(\Omega^1_{A/\k}, A)$, où $\Omega^1_{A/\k}$ est le module des différentielles de K\"ahler de $A$ sur $\k$ et $\Der_\k(A)$ est le module des $\k$-dérivations de~$A$.

Nous noterons désormais $X_0$ le germe de dimension \emph{nulle} (on l'appelle souvent le point épais) et $A_0$ son algèbre duale. Donc $A_0$ est un anneau local \emph{artinien}. Dans ce cas toutes les homologies et cohomologies du complexe cotangent sont des espaces vectoriels de dimensions finies sur $\k$. Nous désignons par $\tau(X_0)$ la dimension de l'espace vectoriel des déformations (plates) infinitésimales d'ordre un du germe $X_0$. C'est-à-dire, $\tau(X_0)= \dim_\k \opp{T}^1(A_0)$; cet entier est parfois appelé le nombre de Tjurina de la singularité $X_0$. On remarque encore que pour toute point épais \emph{lissifiable} on a $\ell(A_0) = \mu(X_0)+1$, où $\mu(X_0)$ est le nombre de Milnor de $X_0$. Par la suite, nous noterons $K(A_0)$ le module \emph{canonique} (dualisant) de $A_0$ qui est unique à isomorphisme près. En effet, le module $K(A_0)$ est isomorphe à l'enveloppe injective du corps résiduel de l'anneau local $A_0$ et $\ell(K(A_0)) = \ell(A_0)$ (voir~\cite[Korollar 6.4, Korollar 1.37]{HK71}).

\begin{prop}\label{prop33}
Il existe des accouplements non dégénérés fonctoriels des espaces vectoriels de dimension finie
\[
\opp{T}_i(A_0,K(A_0)) \times \opp{T}^i(A_0) \rightarrow \k, \quad \opp{T}_i(A_0) \times \opp{T}^i(A_0,K(A_0)) \rightarrow \k, \quad i \geqslant 0.
\]
\end{prop}
\begin{proof}
Voir~\cite[Theorem~3.2]{Ale94}. Nous noterons aussi que dans le cas des intersections complètes on a $\ell(\opp{T}_i(A_0)) = \ell(\opp{T}^j(A_0))$ pour tous les indices $i,j \leqslant 1$ (voir~\cite{Ale91} ou~\cite{Ale94}) et $\opp{T}_i(A_0) = \opp{T}^i(A_0)=0$ pour $i\geqslant 2$.
\end{proof}


\section{Le socle}

Soient $A_0$ un anneau local artinien avec un corps résiduel $\k$ et $M$ un $A_0$-module de type fini. Alors le sous-module de $M$ constitué d'éléments annulés par l'idéal maximal $\fkm_{A_0}$ est appelé le \emph{socle} du module $M$ et noté $\opp{Soc}(M)$. Comme on le sait, le socle est un sous-module \emph{essentiel} de $M$. Cela équivaut à dire que $M$ est une \emph{extension} essentiel de $\opp{Soc}(M)$, c'est-à-dire $N \cap \opp{Soc}(M) \neq 0$ pour tout sous-module non trivial $N\subset M$ (voir~\cite{HK71}). On sait qu'il y a un isomorphisme $\opp{Soc}(M) \cong \opp{Hom}_{A_0}(\k, M)$ (voir~\cite[Lemme~7.30]{HK71}). Nous noterons $\gamma(M)$ la longueur du socle $M$, c'est-à-dire $\gamma(M)=\ell (\opp{Soc}(M)) = \dim_\k \opp{Soc}(M).$

On rappelle aussi qu'une algèbre $A_0$ (ou le point épais correspondant) est \emph{Gorenstein} si et seulement si $\gamma(A_0) = 1$ (voir~\cite[Proposition~1.41]{HK71}). Autrement dit, le socle $\opp{Soc}(A_0)$ est un module \emph{monogène}. Dans ce cas l'anneau $A_0$ est \emph{self-injectif}. C'est-à-dire, cet anneau, considéré comme un module sur lui-même, est injectif au sens usuel. De plus, l'anneau $A_0$ est isomorphe à son module canonique $K(A_0)$ (voir~\cite[Proposition~1.43]{HK71}). Si l'anneau $A_0$ n'est pas de Gorenstein, alors la dimension du socle (toujours non trivial) est plus grand que un, c'est-a-dire $\gamma(A_0) > 1$, mais n'est plus grand que la multiplicité de $A_0$ (voir~\cite[Proposition~1.21]{HK71}).

\section{Les modules fidèles sur les anneaux artiniens de Gorenstein}

Soit $A$ un anneau unitaire. Alors un $A$-module $M$ est appelé \emph{fidèle} si pour tous éléments distincts $a$ et $b$ de l'anneau $A$ il existe un élément $m\in M$ tel que $am \neq bm$. Cela signifie que les homothéties correspondantes du module $M$ par rapport aux éléments $a$ et $b$ sont des endomorphismes \emph{différents} du module $M$. \'Evidemment, cette condition peut être reformulée comme suit: s'il existe un élément $a\in A$ tel que $aM = 0$, alors $a = 0$. En d'autres termes, \emph{l'annulateur} du $A$-module $M$ est trivial, c'est-a-dire $\opp{Ann}_A(M)=0$ (voir~\cite{AMD}). Par exemple, il est bien connu que le module canonique $K(A_0)$ est un $A_0$-module fidèle.

\begin{lemm}
Soit $M$ un $A$-module arbitraire et $\bar{A} = A/\opp{Ann}_A(M).$ Alors $M$ est un $\bar{A}$-module fidèle.
\end{lemm}

\begin{enonce}{Assertion}\label{ass43}
Soient $A_0$ un anneau de Gorenstein et $M$ un $A_0$-module fidèle. Alors $\ell(M) \geqslant \ell(A_0)$.
\end{enonce}

\begin{proof}
Notez d'abord que si $A_0$ est un anneau artinien \emph{arbitraire} et $M$ est un $A_0$-module fidèle avec un socle de dimension un, alors $M\cong K(A_0)$ (voir~\cite[Proposition~3.2.12, (e), (iii)]{BH96}). Il en résulte que $\ell(M)=\ell(K(A_0)) = \ell(A_0)$.

Soient maintenant $M$ un $A_0$-module fidèle et $\gamma(M)=n \geqslant 2$. Alors il découle de la théorie générale qu'il existe une famille de sous-modules $N_i$ de $M$ propres \emph{irréductibles} dans $M$ tels que $N_i \neq 0$, $i=1,\,\dots,\,n$, et $\bigcap N_i =0$ (voir~\cite[Proposition~1.28]{HK71}). Il résulte de l'irréductibilité des $N_i$ que $\gamma(M/N_i) =1$ pour tout $i=1,\,\dots,\,n$. Notons $\alpha_i$ les idéaux $\opp{Ann}(M/N_i)$ dans l'anneau $A_0$. Il est facile de voir que $\bigcap\alpha_i = 0$. En effet, si $a \in \bigcap\alpha_i$, alors $a M \subseteq \bigcap N_i =0$. Donc $a=0$ puisque $M$ est un module fidèle. Montrons maintenant que parmi les modules quotients $M/N_i$, $i=1,\,\dots,\,n$, il existe du moins un qui est un $A_0$-module \emph{fidèle}.

Il est bien connu que dans tout anneau artinien de Gorenstein, l'intersection de deux idéaux non triviaux ne peut pas être zéro (voir~\cite[Proposition~1.44]{HK71}). Par conséquent, au moins un idéal, par exemple, $\alpha_1$ est égal à zéro. Cela signifie que le module quotient $M/N_1$ est \emph{fidèle}. Puisque $\gamma(M/N_1)=1$, alors $\ell(M/N_1) = \ell(A_0)$, comme au début de la preuve. Enfin, $\ell(M) = \ell(M/N_1) + \ell(N_1) > \ell(A_0)$; ce qui achève la démonstration.
\end{proof}

\begin{enonce}{Assertion}\label{ass44}
Dans les conditions et avec les notations de l'assertion précédente, on a l'inégalité
\[
\ell(M) \geqslant \ell(A_0) + \gamma(M) - 1.
\]
\end{enonce}

\begin{proof}
Soit $\gamma(M) = n \geqslant 1$. Avec les notations comme dans la démonstration ci-dessus, considèrons l'homomorphisme des $A_0$-modules
\[
\varphi \colon M \longrightarrow \oplus_{i=1}^n M/N_i,
\]
donné par la règle $\varphi(m) = (m+N_1,\,\dots,\,m+N_n)$. Alors $\opp{Ker}(\varphi)= \bigcap N_i = 0$, c'est-à-dire l'application $\varphi$ est injective. Donc $\ell(\opp{Im}(\varphi)) = \ell(M)$.

Soit maintenant $M_i = \opp{Im}(\varphi) \bigcap (M/N_i)$, $i=1,\,\dots,\,n$. Montrons que $M_i \neq 0$. En effet, au vu de~\cite[Proposition~1.28]{HK71}, il existe un isomorphisme d'enveloppes injectives
\[
\clI(M) = \oplus_{i=1}^n \clI(M/N_i),
\]
où $\clI(M/N_i) \cong \clI(A/\alpha_i)$ et $\{\alpha_1,\, \dots,\,\alpha_n\} = \opp{Ass}(M)$ (voir~\cite[Proposition~1.32]{HK71}). D'autre part, il y a une chaîne de relations
\[
M \subseteq \oplus_{i=1}^n M/N_i \subset \oplus_{i=1}^n \clI(M/N_i) = \clI(M),
\]
dans laquelle l'immersion au milieu est une extension \emph{essentiel}. En plus, l'immersion $M \subset \clI(M)$ a la même propriété. Si $M_i$ est égal à zéro pour au moins un $i$, par exemple, $M_1 = 0$, alors $\opp{Im}(\varphi)\cap (M/N_1) = 0$, où $M/N_1 \neq 0$. Ce qui contredit le fait que l'extension est essentielle. De cette façon,
\[
\ell(\opp{Im}(\varphi) \cap (M/N_i)) = \ell(M_i) \geqslant 1
\]
pour tout $i=1,\,\dots,\,n$. D'autre part, au moins un des modules quotients $M/N_i$ est fidèle, donc son longueur est au moins égal à la longueur de l'anneau $A_0$.
\end{proof}


\section{L'annulateur du module des différentielles de K\"ahler}

Considérons une propriété importante (en elle-même) du socle des algèbres artiniennes qui nous sera utile.

\begin{prop}\label{prop44}
Soit $A_0$ une $\k$-algèbre locale artinienne. Alors son socle est contenu dans l'annulateur du module des dérivations, c'est-à-dire, $\opp{Soc}(A_0) \subseteq \opp{Ann}_{A_0}(\opp{Der}_\k(A_0))$.
\end{prop}

\begin{proof}
Soient $e(A_0)=m$ et $\delta \in \opp{Der}_\k(A_0)$. Alors cette dérivation peut s'écrire sous la forme usuelle $\delta = a_1\partial/\partial z_1 + \dots + a_m\partial/\partial z_m$, où $a_i \in A_0$, $i=1,\,\dots,\,m$. D'autre part, il est bien connu que $\delta(\fkm_{A_0}) \subseteq \fkm_{A_0}$ (voir~\cite[Corollaire~(2.6)]{SW73}). Cela signifie que $a_i \in \fkm_{A_0}$. Il reste à utiliser la définition du socle.
\end{proof}

\begin{coro}\label{cor47}
Soient $A_0$ une algèbre de Gorenstein et $\Delta$ le générateur du socle. Alors $\Delta \in \opp{Ann}_{A_0}(\Omega^1_{A_0/\k})$.
\end{coro}


\begin{proof}
Pour les singularités de Gorenstein on a $K(A_0) \cong A_0$. Donc, il y a l'isomorphisme $\Omega^1_{A_0/\k} \cong \opp{Der}_\k(A_0)$ induit par la dualité naturelle entre $\opp{T}_0(A_0)$ et $\opp{T}^0 (A_0,K(A_0))$ (voir la proposition~\ref{prop33}).
\end{proof}

\begin{rema}\label{rem6}
Soit $A_0$ une intersection complète définie par une suite $P$-régulière $F = \{f_1,\,\dots,\,f_m\}$, où $m=e(A_0)$. Alors le module $\opp{Soc}(A_0)$ est engendré par $\det(\opp{Jac}(F))$ (voir~\cite[F.30, Exercice~3) b)]{Ku86}). Dans ce cas la règle de Cramer implique immédiatement que $\Delta \in \opp{Ann}_{A_0}(\opp{Der}_\k(A_0))$ et $\Delta \in \opp{Ann}_{A_0}(\Omega^1_{A_0/\k})$.
\end{rema}

\begin{coro}\label{cor49}
Soit $A_0$ une algèbre artinienne. Alors $\opp{Soc}(A_0) \subseteq \opp{Ann}_{A_0}(\Omega^1_{A_0/\k}\otimes_{A_0} K(A_0))$.
\end{coro}


\begin{proof}
En effet, l'isomorphisme $\opp{Der}_\k(A_0) \cong \Omega^1_{A_0/\k}\otimes K(A_0)$ est induit par la dualité entre $\opp{T}^0(A_0)$ et $\opp{T}_0(A_0, K(A_0))$.
\end{proof}


Montrons maintenant que dans le cas des anneaux locaux artiniens de Gorenstein, le socle engendre l'annulateur du module des différentielles de K\"ahler.

Avant d'esquisser la démonstration, nous rappelons (voir~\cite{Bou70}) que le module $\Omega^1_{A/\K}$ pour toute $\K$-algèbre $A$ peut être défini comme suit:
\[
\Omega^1_{A/\K} \cong I/I^2,
\]
où $I$ désigne l'idéal de l'algèbre $A\otimes_\K A$ qui est égal à $\opp{Ker}(\nu \colon A\otimes_\K A \longrightarrow A)$ et l'application $\nu$ est définie par multiplication des composants du produit tensoriel, c'est-a-dire $\nu(a_1\otimes a_2)=a_1 a_2$.

On a évidemment $A\otimes_\K A/I \cong A$. L'image de l'idéal $\opp{Ann}_{A\otimes A}(I)$ sous l'application $\nu$ est appelée la \emph{différente} de Noether de la $\K$-algèbre $A$ (voir~\cite[G.1]{Ku86}).

\begin{prop}\label{prop72}
Soit $A$ une $\k$-algèbre artinienne de Gorenstein. Alors l'idéal $\opp{Ann}_{A\otimes A}(I)$ est principal. Autrement dit, il existe $\sigma\in \opp{Ann}_{A\otimes A}(I)$ tel que
\[
\opp{Ann}_{A\otimes A}(I) \cong A\sigma.
\]
\end{prop}


\begin{proof}
On a l'isomorphisme $\opp{Hom}_\k(A,\k) \cong A$ (voir~\cite[E.17]{Ku86}). Donc, l'algèbre $A$ a une \emph{trace} qui est notée $\sigma$ et l'assertion plus générale~\cite[F.10]{Ku86} s'applique. Pour les intersections complètes l'assertion similaire a été démontrée dans~\cite{SS75}.
\end{proof}


\begin{lemm}\label{lem66}
Soit $A$ une $\k$-algèbre artinienne. Alors il y a un isomorphisme
\[
\opp{Ann}_A(M) \cong \opp{Ann}_A\left(M^\vee\right),
\]
où $M^\vee$ désigne le module dual $\opp{Hom}_A(M,K(A))$ par rapport au module canonique.
\end{lemm}

\begin{proof}
Cette assertion découle du fait que le module canonique $K(A)$ est un $A$-module fidèle (voir~\cite{Gul72}).
\end{proof}

\begin{prop}\label{prop70}
Soit $A_0$ une $\k$-algèbre artinienne de Gorenstein. Alors il y a un isomorphisme
\begin{equation*}
\opp{Ann}_{A_0}\left(\Omega^1_{A_0/\k}\right) \cong (\Delta)A_0,
\end{equation*}
où $\Delta$ est un générateur de $\opp{Soc}(A_0)$.
\end{prop}

\begin{proof}
L'égalité $\Delta = \opp{Soc}(A_0)$ est vraie en vertu de~\cite[F.30, Exercice~3) b)]{Ku86}. Ensuite, avec les notations de la proposition~\ref{prop72} pour toute $\K$-algèbre $A$ et $A$-module $M$ il existe (voir~\cite[Ch. III, \S 10, no.11]{Bou70}) des isomorphismes canoniques
\begin{align*}
I/I^2 \cong I\otimes_\K\left(\left(A\otimes_K A\right)/I\right) &\cong I\otimes_\K A,\\
\opp{Hom}_{A\otimes_\K A}(I,M) &\cong \opp{Hom}_A\left(I/I^2,M\right).
\end{align*}

Maintenant, en posant $\K = \k$, $A=A_0$, $M=K(A_0)$, on peut appliquer le lemme~\ref{lem66} et la proposition~\ref{prop72}, qui donnent les isomorphismes
\[
\opp{Ann}_{A_0}\left(I/I^2\right) \cong \opp{Ann}_{A_0\otimes_\k A_0}(I) \cong A_0 \sigma.
\]

Compte tenu de~\cite[G.3. Example, Corollary G.12]{Ku86}, on a $\sigma(\Delta)\neq 0$ et $\Delta \in \opp{Ann}(\Omega^1_{A_0/\k})$, ce qui termine la démonstration.
\end{proof}

\begin{coro}
Dans les conditions et avec les notations de la proposition~\ref{prop70}, soit $\overline{A}_0 = A_0/(\Delta) A_0$. Alors $\Omega^1_{A_0/\k}$ est un $\overline{A}_0$-module fidèle.
\end{coro}

\section{L'inégalité fondamentale}

On remarque que l'anneau quotient $\overline{A}_0$ n'est pas de Gorenstein (voir~\cite{Ku74}); on l'appelle parfois \emph{presque} Gorenstein. Certainement, l'assertion~\ref{ass43} n'est pas applicable. Néanmoins, nous montrons qu'un raisonnement modéré donne le résultat cherché dans notre cas également.

\begin{enonce}{Assertion}\label{ass72}
Soient $S$ une $\k$-algèbre artinienne de Gorenstein et $R$ le quotient $S$ par le socle $\opp{Soc}(S)$. Alors $\gamma(R) = e(S)$.
\end{enonce}

\begin{proof}
Si la fonction de Hilbert de l'algèbre $S$ est \emph{symétrique} (ce condition est vérifiée, par exemple, si $S$ une intersection complète quasi homogène en vertu de la dualité de Macaulay), alors l'assertion est évidente. Le cas général est une conséquence immédiate de la~\cite[proposition~2.1]{Tet74}.
\end{proof}


\begin{enonce}{Assertion}\label{ass73}
Soit $A_0$ une algèbre artinienne de Gorenstein. Alors $\gamma(\Omega^1_{A_0/\k}) = e(A_0)$.
\end{enonce}
\begin{proof}
Pour tout $A_0$-module $M$ il existe des isomorphismes
\[
\opp{Soc}\left(M^\vee\right)\cong \opp{Soc}\left(\opp{Hom}_{A_0}\big(M,K(A_0)\big)\right) \cong \opp{Hom}_{A_0}\big(M/\fkm M, K(A_0)\big) \cong M/\fkm M,
\]
où $\fkm = \fkm_{A_0}$ (voir~\cite[6.10.1]{HK71}).

Pour l'algèbre de Gorenstein on a $K(A_0)\cong A_0$, alors, en posant $M = \Omega^1_{A_0/\k}$, on obtient ${\gamma(\opp{Der}_\k(A_0)) = m}$. Il reste à utiliser la dualité canonique entre $\Omega^1_{A_0/\k}$ et $\opp{Der}_\k(A_0)$ de la proposition~\ref{prop33}.
\end{proof}

\begin{prop}\label{prop71}
Soient $A_0$ une algèbre artinienne de Gorenstein et $\overline{A}_0 = A_0/\opp{Soc}(A_0)$. Alors
\[
\gamma\left(\Omega^1_{A_0/\k}\right) = \gamma(\overline{A}_0) = e(A_0).
\]
\end{prop}

Le théorème suivant peut être considéré comme un analogue de l'assertion~\ref{ass43} pour l'algèbre presque Gorenstein.

\begin{theo}\label{thm2}
Avec les notations ci-dessus, soit $A_0$ une $\k$-algèbre artinienne de Gorenstein. Alors
\[
\ell\left(\Omega^1_{A_0/\k}\right) \geqslant \ell(\overline{A}_0) = \ell(A_0) - 1.
\]
\end{theo}

\begin{proof}
Nous donnerons une démonstration de ce théorème, inspirée de celle du~\cite[théorème~1]{Gul72}. Pour simplifier la notation, on désigne par $R$ l'anneau artinien $\overline{A}_0$, par $m$ la dimension plongée $e(R)$, et par $M$ le $\overline{A}_0$-module fidèle $\Omega^1_{A_0/\k}$.

Comme dans la preuve de l'assertion~\ref{ass43}, considèrons d'abord les sous-modules propres non nuls irré\-ductibles $N_i \subset M$, $i=1,\,\dots,\,m$, tels que $\bigcap N_i =0$. Notons $\alpha_i$ les idéaux $\opp{Ann}(M/N_i)\subset R$ et montrons l'inégalité
\[
\ell(M/N_i) \geqslant \ell(R/\alpha_i)
\]
pour tout indice $i$. Puisque $N_i$ sont des modules irréductibles, alors $\gamma(M/N_i) = 1$. Donc $(M/N_i)^\vee$ est une image homomorphe de l'anneau $R$ (voir~\cite{Gul72}). D'après le lemme~\ref{lem66}, il existe des relations
\[
\opp{Ann}\left((M/N_i)^\vee\right) = \opp{Ann}(M/N_i) = \alpha_i.
\]

Par conséquent, $(M/N_i)^\vee \cong R/\alpha_i$, donc $\ell(M/N_i) \geqslant \ell(R/\alpha_i)$, comme requis. De plus, comme dans la preuve de l'assertion~\ref{ass43}, on a $\bigcap\alpha_i = 0$, parce que $M$ est un $R$-module fidèle, et $\gamma(\alpha_1)=1$ puisque $\gamma(R) = \gamma(M) = m$. Montrons maintenant que $\ell(N_1) \geqslant \ell(\alpha_1)$. Mais puisque $\alpha_1 M \subset N_1$, cela est une conséquence immédiate de l'inégalité $\ell(\alpha_1 M) \geqslant \ell(\alpha_1)$, dont la validité s'établit comme suit.

Soit $g_1,\,\dots,\,g_m$ le système \emph{minimal} de générateurs du $R$-module $M$, où $m = \dim _\k M/\fkm_R M = e(R)$. Soit $\beta_i = \opp{Ann}(g_i)$. Alors $\bigcap\beta_i = 0$, puisque l'annulateur de la somme des modules est égal à l'intersection de leurs annulateurs, et $M$ est un module fidèle. Notez maintenant que $\opp{Soc}(\alpha_1)$ n'est pas contenu dans au moins un l'idéal $\beta_i$, car sinon $\opp{Soc}(\alpha_1) M = 0$ et cela signifie que le module $M$ n'est pas fidèle. Soit, par exemple, $\opp{Soc}(\alpha_1) \not \subset \beta_1$. Alors $\opp{Soc}(\alpha_1) \cap \beta_1 =0$ puisque $\gamma(\alpha_1) = 1$.\linebreak De plus, $\alpha_1 \cap \beta_1 =0$, car sinon l'extension $\opp{Soc}(\alpha_1) \subset \alpha_1$ ne peut pas être \emph{essentiel} en raison de la relation évidente $\opp{Soc} (\alpha_1)\cap(\alpha_1 \cap \beta_1)=0$. Ainsi, $\alpha_1 M \supset \alpha_1 g_1 \cong \alpha_1(R/\beta_1) \cong \alpha_1/\alpha_1\cap \beta_1 = \alpha_1$, ce qui prouve l'inégalité $\ell(\alpha_1 M) \geqslant \ell(\alpha_1)$. Par conséquent,
\[
\ell(M) = \ell(M/N_1) + \ell(N_1) \geqslant \ell(R/\alpha_1) + \ell(\alpha_1) = \ell(R).\qedhere
\]
\end{proof}

\begin{rema}\label{rem7}
Si $A_0$ est un anneau artinien avec $\gamma(A_0) \leqslant 3$ et $M$ est un $A_0$-module fidèle de type fini, alors $\ell(M) \geqslant \ell (A_0)$ (voir~\cite[Theorem~1]{Gul72}). Ceci établit aussitôt notre théorème~\ref{thm2} dans le cas $e(A_0)\leqslant 3$. Cependant, il y a des modules fidèles sur $A_0$, $\gamma(A_0) = 4$, pour lesquels $\ell(M) < \ell(A_0)$ (voir~\cite[Theorem~2]{Gul72}).
\end{rema}

\begin{theo}
Soit $X_0$ un point épais de Gorenstein. Il existe alors l'inégalité
\begin{equation*}
\tau(X_0) \geqslant \ell(A_0) + e(X_0) - 2.
\end{equation*}
\end{theo}


\begin{proof}
Rappelons tout d'abord que pour les intersections complètes on a $\ell(\opp{T}_i(A_0)) = \ell(\opp{T}^j(A_0))$ pour tous les indices $i,j = 0, 1$, et que pour les algèbres artiniennes de Gorenstein il existe l'inégalité $\ell(\opp{T}^1(A_0)) \geqslant \ell(\opp{T}^0(A_0))$ (voir~\cite[Theorem~4.3]{Ale94}). Ensuite, dans les deux cas on a les isomorphismes $\opp{T}^0(A_0) \cong \opp{T}_0(A_0) \cong \Omega^1_{A_0/\k}$ puisque $K(A_0)\cong A_0$. Il est facile de vérifier (compte tenu du proposition~\ref{prop71}) que le raisonnement de la démonstration de l'assertion~\ref{ass44}, légèrement modifié, est applicable pour le $\overline{A}_0$-module fidèle $\Omega^1_{A_0/\k}$. En conséquence, nous obtenons l'inégalité
\[
\ell\left(\Omega^1_{A_0/\k}\right) \geqslant \ell\left(\overline{A}_0\right) + \gamma\left(\Omega^1_{A_0/\k}\right) - 1,
\]
qui donne le résultat cherché.
\end{proof}


\begin{coro}
Soit $X_0$ un point épais de Gorenstein lissifiable (par exemple, une intersection complète). Alors
\[
\tau(X_0) \geqslant \mu(X_0) + e(X_0) - 1.
\]
\end{coro}
\begin{proof}
Dans ce cas $\mu(X_0) = \ell(A_0)-1$.
\end{proof}

\begin{rema}\label{rem8}
Ainsi, dans le cas des intersections complètes on a l'égalité $\tau = \mu$ si et seulement si la dimension plongée est égale à un, l'égalité $\tau = \mu + 1$ n'est réalisée que pour de telles singularités de dimension plongée deux, etc.
\end{rema}

Bien sûr, il existe de nombreuses applications des résultats ci-dessus en algèbre abstraite et linéaire, en géométrie algébrique et analytique, en théorie des équations à coefficients dans les anneaux artiniens, et dans d'autres domaines des mathématiques pures et appliquées.



\section*{Déclaration d’intérêts}

Les auteurs ne travaillent pas, ne conseillent pas, ne possèdent pas de parts, ne reçoivent pas de fonds d'une organisation qui pourrait tirer profit de cet article, et n'ont déclaré aucune autre affiliation que leurs organismes de recherche.

\printbibliography
\end{document}
