## Return to Question

2 added 70 characters in body

Let $(A,\mathfrak{m}_A)$ be a local Artinian $k$-algebra with residue field $k$. Then the scheme $\mathrm{Spec}(A)$ can be loosely seen as a "fat point", or an "infinitesimal neighbourhood" of a point $\mathrm{Spec}(k)$. If the maximal ideal satisfies the condition $\mathfrak{m}^k=0$, then I think the spec of $A$ can be seen as a "$(k-1)$-th order infinitesimal neighbourhood" of the closed point.

Recall: a small extension of $A$ is an extension of local Artinian $k$-algebras $0\to I \to B\to A \to 0$ such that $\mathfrak{m}_B\cdot I =0$.

Does the concept of a small extension have any geometric interpretation?

Does it mean that the closed embedding $\mathrm{Spec}(A)\hookrightarrow \mathrm{Spec}(B)$ is such that it only "fattens" already existent "directions" of $\mathrm{Spec}(A)$, making it into a "higher order" fattening of the closed point but without adding new "directions" of fattening? Is my suggestion totally misleading? Edit: as comments point out, my interpretation was not correct.

1

# Geometric meaning of small extensions ?

Let $(A,\mathfrak{m}_A)$ be a local Artinian $k$-algebra with residue field $k$. Then the scheme $\mathrm{Spec}(A)$ can be loosely seen as a "fat point", or an "infinitesimal neighbourhood" of a point $\mathrm{Spec}(k)$. If the maximal ideal satisfies the condition $\mathfrak{m}^k=0$, then I think the spec of $A$ can be seen as a "$(k-1)$-th order infinitesimal neighbourhood" of the closed point.

Recall: a small extension of $A$ is an extension of local Artinian $k$-algebras $0\to I \to B\to A \to 0$ such that $\mathfrak{m}_B\cdot I =0$.

Does the concept of a small extension have any geometric interpretation?

Does it mean that the closed embedding $\mathrm{Spec}(A)\hookrightarrow \mathrm{Spec}(B)$ is such that it only "fattens" already existent "directions" of $\mathrm{Spec}(A)$, making it into a "higher order" fattening of the closed point but without adding new "directions" of fattening? Is my suggestion totally misleading?
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9320105910301208, "perplexity_flag": "head"}