# Local Bezout estimates and multiplicities of parameter and primary ideals

## TL;DR

This paper investigates inequalities relating multiplicities of ideals in local rings, characterizes when equality holds using homological methods, and applies these results to improve classical Bezout inequalities.

## Contribution

It provides a homological characterization of when multiplicity inequalities become equalities and extends classical Bezout inequalities to more precise equalities in certain cases.

## Key findings

- Characterization of equality cases via Koszul homology.
- Conditions for initial elements to form a homogeneous system of parameters.
- Enhanced Bezout inequalities for dimension two cases.

## Abstract

Let $\mathfrak{q}$ denote an $\mathfrak{m}$-primary ideal of a $d$-dimensional local ring $(A, \mathfrak{m}).$ Let $\underline{a} = a_1,\ldots,a_d \subset \mathfrak{q}$ be a system of parameters. Then there is the following inequality for the multiplicities $c \cdot e(\mathfrak{q};A) \leq e(\underline{a};A)$ where $c$ denotes the product of the initial degrees of $a_i$ in the form ring $G_A(\mathfrak{q}).$ The aim of the paper is a characterization of the equality as well as a description of the difference by various homological methods via Koszul homology. To this end we have to characterize when the sequence of initial elements $\underline{a^{\star}} = a_1^{\star}, \ldots,a_d^{\star}$ is a homogeneous system of parameters of $G_A(\mathfrak{q}).$ In the case of $\dim A = 2$ this leads to results on the local Bezout inequality. In particular, we give several equations for improving the classical Bezout inequality to an equality.