Questions tagged [completion]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
120 views

Exactness of $I$-adic completion in a certain non-finitely generated case

I would like the functor $$(-\otimes_{\mathbb Z} F)\hat{}: \mathbb{Z}[x_1,\dots,x_r]\text{-Mod}_{\mathrm{f.g.}}\longrightarrow \mathbb{Z}[x_1,\dots,x_r]\text{-Mod}$$ to be exact, where completion is w....
user avatar
6 votes
1 answer
497 views

Does Grothendieck's algebraization imply existence of colimits of schemes?

I am a little bit confused about two lemmas regarding Grothendieck's algebraization. Assume all algebras are defined over some field. Here is the short version of my question: Does Tag 09ZT ("...
user avatar
  • 4,926
2 votes
0 answers
137 views

Colimits of the infinitesimal neighborhoods of symmetric product in the category of schemes

This problem is highly related to this one and in fact it is the same question applied to a very specific situation. Given a smooth projective curve $C$, let $\text{Sym}^i(C)$ be the $i$-th symmetric ...
user avatar
  • 4,926
1 vote
0 answers
57 views

Pro-p completion of a quotient of $U/w(U)$ is virtually nilpotent for a finitely generated free group $U$

Let $w$ be a word of a free group. Assume that $H/\overline{w(H)}$ is virtually nilpotent for every finitely generated pro-$p$ group $H$. Let $U$ be a finitely generated free group and $T$ the maximal ...
user avatar
  • 193
5 votes
1 answer
246 views

Rank of a finite group and its representations

$\DeclareMathOperator\Rep{Rep}\DeclareMathOperator\rank{rank}$Let $G$ be a finite group, and $C=\Rep(G)$ be the monoidal category of complex finite-dimensional representations of $G$. As $C$ is finite ...
user avatar
  • 4,005
3 votes
1 answer
235 views

Is Cauchy completion the largest extension with the same free cocompletion?

EDIT Title has been edited. Let $C$ be a category, and $$\hat{C} = [C^{op}, (Set)]$$ be its free cocompletion. Despite its name, the free cocompletion of free cocompletion is not equivalent to the ...
user avatar
  • 4,005
1 vote
0 answers
57 views

Characteristic of ring completions

This may be a completely trivial question, but I haven’t seen it stated in any of the references I checked. Is the characteristic of a ring $R$ equal to that of its completions? This is true for the ...
user avatar
3 votes
1 answer
102 views

Vanishing tate of a $p$-complete spectra

I was told: if $X$ is bdd below and $p$-complete spectra then $X^{tC_q}$ vanishes for primes $q \not= p$. I do not see how this holds. I am aware from I.2.9 that if $X$ is bdd. below, then $X^{tC_q} \...
user avatar
1 vote
0 answers
69 views

Completion of $K$-algebra of finite type with respect to the residue norm

Let $K$ be a non-archimedean field. For $n \in \mathbb{N}$ let \begin{equation*} T_n=\{ \sum_{\nu_1, \ldots, \nu_n \geq 0 } a_{\nu_1, \ldots, \nu_n }X_1^{\nu_1}\cdots X_n^{\nu_n} \in K[\![X_1,\ldots, ...
user avatar
  • 913
8 votes
0 answers
120 views

What is the relationship between free bicompletion and the Isbell envelope?

Given a small category $\mathbb C$, we can form the free cocompletion $\mathbf y : \mathbb C \to \mathcal P(\mathbb C)$ and the free completion $\mathbf y^\circ : \mathbb C \to \mathcal P^\circ(\...
user avatar
  • 5,035
6 votes
0 answers
140 views

Completion/Compactification of a Kähler metric on $\mathbb C^2$

Consider $\mathbb{C}^{2}$ equipped with the Kähler form $$ \omega_{\mu}=\frac{i}{2} \partial \bar{\partial} \log \left(\left(1+|z|^{2}\right)^{\mu}+|w|^{2}\right), $$ where $\mu$ is a positive real ...
user avatar
0 votes
1 answer
321 views

Completed stalks of the pushforward of the structure sheaf

Let $\pi:X\to S$ be a proper morphism of Noetherian schemes. Is it possible that $\pi_*\mathcal{O}_X\neq \mathcal{O}_S$ but the natural map $\mathcal{O}_s^\wedge\to (\pi_*\mathcal{O}_X)_s^\wedge$ is ...
user avatar
2 votes
1 answer
467 views

Varieties with everywhere good reduction that are isomorphic over every completion have isomorphic generic fibers

Let $R$ be the ring of integers in a number field. Let $X$ and $Y$ be smooth and proper schemes over $R$. For a maximal ideal $\mathfrak{m}\subset R$ denote the completion of the localization at $\...
user avatar
2 votes
0 answers
246 views

Henselization and completions of local rings & schemes

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,...
user avatar
  • 479
2 votes
1 answer
146 views

Completion and extension by scalars

Let $R\subset S$ be commutative rings, $I\trianglelefteq R$ an ideal and $M$ be an $R$-module. Suppose that 1) $R$ is Noetherian and $I$-adically complete. 2) $M$ is a finite $R$-module (hence $M$ ...
user avatar
0 votes
0 answers
129 views

Is the completion of an infinitely generated module, again infinitely generated

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 ...
user avatar
  • 2,046
1 vote
0 answers
78 views

Completion of infinite projective space

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 ...
user avatar
  • 11
1 vote
0 answers
134 views

Riemann–Hurwitz Formula for Normal Projective Curves

My question refers to the proof of Theorem 7.4.16 from Liu's "Algebraic Geometry" at page 290 : QUESTION: Why does $e'_x= length_{\hat{B}}(W_{\hat{B}/\hat{A}}/\hat{B})$ hold? During the proof we ...
user avatar
  • 679
3 votes
0 answers
363 views

Induced morphism of completions of local rings

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 ...
user avatar
  • 679
4 votes
0 answers
214 views

A question related to bousfield localization and nilpotent completion

I am reading Bousfield's paper entitled "The localization of spectra with respect to homology" (MSN). In that paper, Corollary 6.13 states that, if a ring spectrum $E$ has countable homotopy and ...
user avatar
5 votes
1 answer
330 views

Is completion of isolated singularity isolated?

Let $K$ be an algebraically closed field and let $A=K[x_1,\dots,x_n]/I$ be a $K$-algebra of finite type which has only an isolated singularity at the origin. Let $\mathfrak{m}=(x_1,\dots,x_n)$ and ...
user avatar
  • 371
4 votes
1 answer
296 views

Mapping cone and derived tensor product

This question is in some sense a continuation to this question: Derived Nakayama for complete modules For the setting: Let $A$ be a ring and let $I$ be some finitely generated ideal in $A$. Let $f\...
user avatar
  • 309
6 votes
2 answers
986 views

Derived Nakayama for complete modules

I have encountered the following "Nakayama Lemma" recently: Let $A$ be a ring and $I$ some finitely generated ideal. Let $\mathcal C_\bullet$ be a chain complex of $I$-(derived) complete $A$-...
user avatar
  • 309
2 votes
0 answers
84 views

Reference request : $I$-adic smoothness

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 ...
user avatar
  • 121
1 vote
0 answers
107 views

Completion in the non-noetherian case

Let $A$ be a non-noetherian, commutative $\mathbb{C}$-algebra and $X, Y$ be noetherian affine $\mathbb{C}$-schemes. Denote by $X_A:=X \times_{\mathbb{C}} \mbox{Spec}(A)$ and $Y_A:=Y \times_{\mathbb{C}}...
user avatar
  • 2,046
1 vote
0 answers
448 views

Completion of localization of completion

Let $(A,m)$ be a noetherian local ring, and let $p \subseteq A$ be a prime ideal. From this data, we can construct two rings: 1. We may localize $A$ at $p$, and then complete, obtaining the $pA_p$-...
user avatar
3 votes
2 answers
319 views

Is a filtered colimit of complete module complete?

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 ...
user avatar
  • 7,432
4 votes
0 answers
306 views

completion of finitely generated module over non-Noetherian ring

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}...
user avatar
6 votes
2 answers
662 views

Why is $K_{\upsilon}|K$ separable for a global field $K$?

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 ...
user avatar
  • 111
5 votes
0 answers
210 views

Can we recover the completion of a local ring $R$ if its associated graded is the coordinate ring of a Veronese variety?

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 $\...
user avatar
6 votes
1 answer
207 views

Is the completion of a CAT(0) open ball a closed ball?

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 ...
user avatar
8 votes
1 answer
303 views

Doesn't completion of a representation ring preserve its indecomposables?

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 ...
user avatar
  • 2,939
13 votes
1 answer
739 views

Can an intersection of ideals in a Noetherian ring be replaced by a countable intersection?

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$...
user avatar
  • 1,628
1 vote
1 answer
326 views

link between completion of the universal enveloping algebra and an endomorphism of functor

My question could be resume in the following way : Let $\mathfrak{t} \to \mathrm{End}(V)$ a representation of an abelian Lie algebra into an infinite dimensional vector space. What can we say ...
user avatar
  • 95
3 votes
0 answers
231 views

Is the completion of an injective local homomorphism still injective

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}$...
user avatar
  • 528
3 votes
0 answers
88 views

Example of R-bad space

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 ...
user avatar
  • 91
4 votes
1 answer
247 views

Completeness of Localizations of Completions of Commutative Rings

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$ ...
user avatar
  • 1,064
8 votes
0 answers
730 views

Lemma in Scholze-Weinstein

In the paper "Moduli of $p$-divisible groups" by Scholze and Weinstein (see http://math.bu.edu/people/jsweinst/Moduli/Moduli.pdf), one finds the following claim in Lemma 5.2.7: Lemma: Let $K$ be a ...
user avatar
  • 89
5 votes
1 answer
259 views

Enriched Cauchy completions and underlying categories

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] \...
user avatar
0 votes
1 answer
302 views

Is there a complete local analogue of the Artin-Tate lemma?

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 $...
user avatar
  • 1,628
5 votes
2 answers
208 views

Lie Algebras over DVRs and basechange to the completion

Let $R$ be a discrete valuation ring containing an algebraically closed field $K$ of characteristic zero and let $L$ be a Lie algebra over $R$ whose underlying $R$-module is finitely generated and ...
user avatar
  • 153
1 vote
2 answers
686 views

How is a MacNeille completion "universal" like a beta-compactification is "universal"?

The beta-compactification of a topological space is characterized as the largest space such that every mapping from the original space to another (range) space can be extended through to a mapping ...
user avatar
16 votes
4 answers
3k views

Completion of a local ring of a curve

Let $X$ be a smooth projective irreducible curve defined over an algebraically closed field $\mathbb{K}$ (of arbitrary characteristic), and let $p\in X$ be a closed point. Denote by $\mathcal{O}_p(X)$ ...
user avatar
2 votes
2 answers
132 views

Completion of the set of subsets with half volume.

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?...
user avatar
  • 21
8 votes
0 answers
1k views

Completion of abelian topological groups

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 $\...
user avatar
2 votes
1 answer
203 views

elementary question on a completion of a ring

Let $k$ a field, and $k[\epsilon]=k[X]/(X^{2})$ , what is the completion of the ring $k[\epsilon][t]$ with respect to the ideal $(t^{2}+\epsilon)$?
user avatar
  • 3,173
3 votes
1 answer
796 views

Dimension of formal fiber

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 ...
user avatar
  • 662
4 votes
1 answer
449 views

Artin approximation theorems over non-regular rings/non-Noetherian rings

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{...
user avatar
3 votes
0 answers
367 views

Finite extensions of $\mathbb Q_p$

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}...
user avatar
4 votes
3 answers
466 views

Does every Lindelof uniform space have a Lindelof completion?

Recall Lindelof = every open cover has a countable subcover. Is the question of the title answered by known material from some standard text on uniform spaces? Note it is well known to be true for ...
user avatar