All Questions
15 questions
9
votes
2
answers
870
views
Finite generation and Henselization
Now I understand the answers.
I am trying to understand Henselian Weierstrass Theorem in Hironaka's Idealistic exponents of singularity, page 76 - 77. A glance at the paper.
At some point there is ...
7
votes
1
answer
206
views
$2$-dimensional complete local normal domain with rational singularity that has exactly one exceptional curve
Let $(R, \mathfrak m)$ be a complete local normal domain of dimension $2$ with residue field $R/\mathfrak m$ algebraically closed and characteristic $0$. Assume Spec$(R)$ has rational singularity, let ...
6
votes
1
answer
1k
views
Normalization of complete intersection
Let $A$ be an integral complete local ring over a field which is complete intersection.
Let $B$ be a normalization of $A$.
Q. Is $B$ Gorenstein?
I guess that even the normalization of Gorenstein ...
5
votes
0
answers
165
views
Do quasi-excellent rings have a good constructive definition?
$\DeclareMathOperator\Sh{Sh}$Informally, a quasi-excellent ring is a Noetherian ring with a few technical extra regularity conditions that make it turns out to be the largest class of rings that allow ...
4
votes
0
answers
168
views
Can nonflat deformations of singularities always produce Cohen-Macaulay rings?
To make the question in the title precise, let me phrase it like this. Consider a complete local ring
$$ A := \mathbb{C}[[x_1, \dotsc, x_n]]/(f_1, \dotsc, f_m) $$
and, for definiteness, assume that $...
3
votes
1
answer
776
views
On the coherence of a Néron-ring
Let $A:= \underset{\lambda \in \Lambda}{\varinjlim} \,A_{\lambda}$ be an inductive limit of geometric regular local ring $(A_{\lambda}, {\frak m}_{\lambda})$, whose transition map $\phi_{\mu\lambda} \...
3
votes
0
answers
992
views
Definition of Q gorenstein variety
I have a question about the definition of Q-Gorenstein variety.
I saw a definition of Q-Gorenstein variety:for a normal variety $X$, it's Q-Gorenstein if the canonical divisor is Q Cartier. I wonder ...
2
votes
1
answer
304
views
Normal forms of ADE singularities
Given a surface $X:f(x,y,z)=0\subset \mathbb{A}^{3}_{\mathbb{C}}$ with only ADE singularities, how does one determine the correct singularity type of $X$ by computing the normal forms?
Does a similar ...
2
votes
1
answer
327
views
Krull dimension of the smooth locus
Let $R$ be a normal complete local domain of dimension $n \geq 4$. Does there exist a prime ideal $\mathfrak{p}$ of height $\dim(R) - 1$ such that $R_{\mathfrak{p}}$ is a regular local ring? In ...
2
votes
0
answers
108
views
Deformation to normal cone of the exception divisor of a log-resolution
I am reading the paper Iterated vanishing cycles, convolution, and a motivic analogue of a conjecture of Steenbrink due to G. Guibert, F. Loeser, and M. Merle. The main tool, like a lot of papers in ...
2
votes
0
answers
61
views
Test rational singularities after forming invariants
Let $R$ be a normal local domain of dimension $2$ and odd residue characteristic endowed with the action of the finite group $G \cong \mathbb{Z}/2\mathbb{Z}$. Suppose that the ring of invariants $R^G$ ...
1
vote
1
answer
471
views
Serre's conditions under blow-ups, Blowup and normalization
Suppose $X = \mathbb{Z}[x, y, z]/(f,g)$ is a 2-dimensional Cohen-Macaulay surface. In particular, $X$ satisfies Serre's condition $S_2$. Suppose it is irreducible, reduced but not normal.
$\bf{...
1
vote
0
answers
242
views
Smooth normalization and blow-up of the exceptional locus
Let $n:\widetilde X\rightarrow X$ be the normalization of a complex (quasi-projective) variety $X$. Assume $\widetilde X$ is smooth, that $n$ is an isomorphism outside a smooth connected subvariety $Y\...
1
vote
0
answers
179
views
Spivakovski-Popescu-Neron desingularisation
For $A \colon= {\Bbb F}_p[[X_1,...,X_d]]$, by generalising Popescu-Neron's method, Spivakovski proved that $A$ is written by smooth sub-algebras. That is,
$A \cong \underset{\lambda \in \Lambda}{\...
0
votes
0
answers
195
views
Nice small resolution and normality of blow-up
Let $X$ be a complex variety whose singular locus is a smooth variety $Z$.
Let $f:Y\rightarrow X$ be a small resolution of $X$ such that $f^{-1}(z)$ is smooth for any $z\in Z$ and $\dim(f^{-1}(z))$ is ...