Skip to main content
MathOverflow

Return to Question

added 440 characters in body
Source Link
General Journal
General Journal
  • 201
  • 1
  • 2

Let $\varphi:(R,m) \to (S,n)$ be a local homomorphism between local noetherian rings.

Recall that the fiber of $\varphi$ is by definition the ring $F(\varphi) = S/mS$.

If $\varphi$ is flat, it is well known that the Krull dimension of $F(\varphi)$ satisfies $ \dim F(\varphi) = \dim S - \dim R$.

Of course, if $\varphi$ is not flat, this fails. In my case, all I know about $\varphi$ is that it is of finite flat dimension.

I wonder if there is still a formula for $ \dim F(\varphi) $ in terms of $\dim S$, $\dim R$ and some other homological invariants related to $R,S, \varphi$?

Edit: As Neil Epstein explained in the comment, there is an inequality

$ \dim R + \dim F(\varphi) \le \dim S$. Thus, the question is equivalent to: can the non-negative number $ \dim S - \dim R - \dim F(\varphi) $, which we know to be $0$ if $\varphi$ is flat, be written in terms of some other invariants?

I am also interested in answers in more restrictive sitations, for instance, assuming that $R \to S$ is finite or surjective.

Let $\varphi:(R,m) \to (S,n)$ be a local homomorphism between local noetherian rings.

Recall that the fiber of $\varphi$ is by definition the ring $F(\varphi) = S/mS$.

If $\varphi$ is flat, it is well known that the Krull dimension of $F(\varphi)$ satisfies $ \dim F(\varphi) = \dim S - \dim R$.

Of course, if $\varphi$ is not flat, this fails. In my case, all I know about $\varphi$ is that it is of finite flat dimension.

I wonder if there is still a formula for $ \dim F(\varphi) $ in terms of $\dim S$, $\dim R$ and some other homological invariants related to $R,S, \varphi$?

Let $\varphi:(R,m) \to (S,n)$ be a local homomorphism between local noetherian rings.

Recall that the fiber of $\varphi$ is by definition the ring $F(\varphi) = S/mS$.

If $\varphi$ is flat, it is well known that the Krull dimension of $F(\varphi)$ satisfies $ \dim F(\varphi) = \dim S - \dim R$.

Of course, if $\varphi$ is not flat, this fails. In my case, all I know about $\varphi$ is that it is of finite flat dimension.

I wonder if there is still a formula for $ \dim F(\varphi) $ in terms of $\dim S$, $\dim R$ and some other homological invariants related to $R,S, \varphi$?

Edit: As Neil Epstein explained in the comment, there is an inequality

$ \dim R + \dim F(\varphi) \le \dim S$. Thus, the question is equivalent to: can the non-negative number $ \dim S - \dim R - \dim F(\varphi) $, which we know to be $0$ if $\varphi$ is flat, be written in terms of some other invariants?

I am also interested in answers in more restrictive sitations, for instance, assuming that $R \to S$ is finite or surjective.

Source Link
General Journal
General Journal
  • 201
  • 1
  • 2

Dimension of a fiber of a local homomorphism

Let $\varphi:(R,m) \to (S,n)$ be a local homomorphism between local noetherian rings.

Recall that the fiber of $\varphi$ is by definition the ring $F(\varphi) = S/mS$.

If $\varphi$ is flat, it is well known that the Krull dimension of $F(\varphi)$ satisfies $ \dim F(\varphi) = \dim S - \dim R$.

Of course, if $\varphi$ is not flat, this fails. In my case, all I know about $\varphi$ is that it is of finite flat dimension.

I wonder if there is still a formula for $ \dim F(\varphi) $ in terms of $\dim S$, $\dim R$ and some other homological invariants related to $R,S, \varphi$?