Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Shravan Patankar's user avatar
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 ...
H U's user avatar
  • 481
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 ...
Alexey Do's user avatar
  • 893
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 ...
saolof's user avatar
  • 1,947
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 ...
Snake Eyes's user avatar
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 ...
xin fu's user avatar
  • 623
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\...
pi_1's user avatar
  • 1,463
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 ...
pi_1's user avatar
  • 1,463
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} \...
Pierre's user avatar
  • 563
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 ...
Pierre MATSUMI's user avatar
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$ ...
Question Machine's user avatar
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 $...
Lisa S.'s user avatar
  • 2,663
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 ...
O.R.'s user avatar
  • 807
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}{\...
Pierre MATSUMI's user avatar
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{...
LMN's user avatar
  • 3,555