Let $\pi:X\to S$ be a proper morphism of Noetherian schemes. For any integer $p\geq 0$ and any point $s\in S$ the theorem on formal functions gives us a description of the completion of $(R^p \pi_*\...

That's the second part of my coarse becoming acquainted with Henselizations of fields and local rings. (in this question we focus on local rings as it is more algebro geometric motivated). So let $(R,...

Let $A$ be a local noetherian ring with maximal ideal $m$. Let $M$ be an infinitely generated $A$-module and $\hat{M}$ be the $m$-adic completion of $M$. Denote by $\hat{A}$ the $m$-adic completion of ...

I would like to ask for a reference regarding the completion of infinite-dimensional Projective Space (both Real and Complex). Since in the infinite-dimensional projective space you can take sequences ...

Let $g: A \to B$ be a local ring morphism between local Noetherian (commutative) rings $A,B$ (so $g(m_A) \subset m_B$ for the unique maximal ideals of the corresponding rings). Assume that the induced ...

The following result has been know for a while now:
Let $f:\mathfrak X \rightarrow \mathfrak Y$ be an adic morphism of (locally) Noetherian formal schemes and $K\subset \mathcal O_{\mathfrak Y}$ and ...

This is probably a textbook question but i haven't been able to find a reference. Let $R$ be a complete commutative Noetherian local ring and $I$ its unique maximal ideal (I'm mostly interested in the ...

Let $A$ be a commutative ring with unity and fix $f \in A$. Any $A$-module $M$ has its $f$-adic completion, the $\hat{A}$-module $\hat{M} = \underset{n}{\lim} M/f^nM$. There is a canonical map $\hat{A}...

I asked this question on math.stackexchange but maybe it fits here better. If not, I apologize in advance and will remove the question.
Let $K$ be a global field and $\upsilon$ a prime of $K$. Then ...

Suppose $R$ is a localization of a normal closed point of a variety of dimension $n$ over an algebraically closed field $k$ with maximal ideal $\mathfrak{m}$. Suppose also that the associated graded $\...

It is well-known that the completion of a metric space which is homeomorphic to a ball can be very wild; in fact, I think, every compact manifold is the closure of an open ball!
But CAT(0) spaces are ...

For $G = PSU(3)$, it is known that $\dim I(G;\mathbb Q) / I(G;\mathbb Q)^2 = 3$, while $H^{**}(BG;\mathbb Q)$ is obviously a power series ring in two indeterminates since $G$ has rank 2. This would ...

Let $(R,\frak m)$ be a Noetherian local ring, and let $X$ be a set of ideals in $R$. Assume $\bigcap_{I \in X} I = 0$. Is there some sequence $\{I_n\}_{n \in \mathbb N}$, with $I_n \in X$ for all $n$...

Let $R$ be a regular local ring (say of dimension 2) with quotient field $F$. Let $A$ be a discrete valuation ring with the same quotient field such that $R\subset A\subset F$, $A\neq F$. Let $\hat{R}$...

I have been looking around for examples of $R$-bad spaced in the sense of Bousfield and Kan. In their book "Homotopy limits, completions and localizations] they give several examples of such spaces ...

Let $R$ be an integral domain. Let $x,y\in R\setminus\{0\}$ be distinct. Let $\hat R$ be the $x$-adic completion of $R$ (the ring of all sequences $(r_n+Rx^n)_{n\ge0}$ where for $n\ge0$, $r_n\in R$ ...

The ordinary Cauchy completion $\overline{C}$ of a small category $C$ satisfies a number of conditions: Every idempotent in $\overline{C}$ splits, there's an equivalence of categories $[C^{op}, Set] \...

The Artin-Tate lemma states that if $A \subseteq B \subseteq C$ are commutative rings where $A$ and $C$ are Noetherian, $C$ is finitely generated as an $A$-algebra, and $C$ is finitely generated as a $...

Let $X$ be a measure space with finite $|X|=\int_X1$ and $f:X\rightarrow \mathbb{R}$ be a function. Under what condition on $X$ and $f$ does there exist a subset $Y \subset X$ satisfying the following?...

During some exercises I came upon the following questions that I cannot answer myself. Given a topological group $G$ we can build the completion using cauchy sequences and denote this completion by $\...

The question comes from my attempt to understand the following question.
height of contracted prime ideals in power series rings
$\bullet$ My original question: Let $(R,m)$ be a Noetherian local ring ...

In Artin1968 he considers $\underline{analytic}$ equations, but over the ring $R=k\{x_1,..,x_n\}$. In Artin1969 he works with $R=k\{x_1,..,x_n\}/I$, not necessarily regular, but considers $\underline{...

Is there any finite extension of $\mathbb Q_p$ which is not the completion of a finite extension of $\mathbb Q$ at some place over $p$ ?
Analogously in equicaracteristic, if $k=\overline {\mathbb F_p}...

Let $X=\mathrm{Spec}(A)$ be an affine variety, $Z\subseteq X$ a closed, reduced subscheme. Let
$$\beta:Y=\mathrm{Bl}_Z(X)\to X$$
be the blow-up of $X$ in $Z$. In other words, $Y=\mathrm{Proj}(A[IT])...

Let $X$ be a compact Hausdorff space, and $C(X)$ the unital commutative C*-algebra of continuous functions on it. The double Banach dual $C(X)^{**}$ is a commutative von Neumann algebra and hence has ...

Let G be a group. Let $G^p$ be the completion of G with respect to the mod p lower central series of G.i.e. $G^p=\varprojlim_{q} G/\gamma_qG$, where $\gamma_qG$ is generated by all $\{[x_1,\cdots,x_s]^...