# Tagged Questions

The tag has no usage guidance.

69 views

### Constructive Resolution of Toric Singularities via Model Theory

Do there exists some language $\mathcal{L}$ of rational polyhedral cones in rational vector spaces and a theory $T$ over $\mathcal{L}$ whose models $\mathcal{M}$ are resolutions of toric singularities?...
135 views

161 views

219 views

### Is dimension invariant under blow-ups?

Let $X'\rightarrow X$ be a blow-up of a finitely dimensional scheme $X$ in a center $D$. Under which assumptions one has $\dim X'=\dim X$? Do you know a proof or a reference for a proof? Do you know ...
468 views

### How singular can the Stein factorization of a proper map between smooth varieties be?

A little bit of motivation (the question starts below the line): I am studying a proper, generically finite map of varieties $X \to Y$, with $X$ and $Y$ smooth. Since the map is proper, we can use the ...
477 views

562 views

### Bertini's Theorem

Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...
280 views

### Log Canonical pairs

Let $X$ be a normal scheme ad $D = \sum_id_iD_i\subset X$ be a $\mathbb{Q}$-divisor such thay $K_X+D$ is $\mathbb{Q}$-Cartier. Let $f:Y\rightarrow X$ be a log resolution of the pair $(X,D)$ and let us ...
263 views

### Projective tangent cones, ordinary singularities and blow-ups

Let $X\subset\mathbb{P}^n$ be a projective variety and let $Y\subset X$ be the singular locus of $X$. Assume that $Y$ is smooth. I would like to know if the following are equivalent: $X$ has an ...
141 views

### Resolution of singularities of projective varieties

Let $X\subset\mathbb{P}^n$ be an irreducible variety, and let $Sing(X)$ be its singular locus. Let $Y$ be the blow-up of $\mathbb{P}^n$ along $Sing(X)$. Assume that we know that the strict transform ...
139 views

### Resolving nodes of a quintic CY 3-fold

Let's consider the following quintic 3-fold $X$: $$\{(x_i) \in \mathbb{P}^4 \ | \ x_1f(x)-x_2g(x)=0\}$$ for generic homogeneous polynomials $f(x),g(x)$ of degree four. It ...
410 views

### Contracting a rational curve in a Calabi-Yau threefold

Let $X$ be a Calabi-Yau threefold and $C \subset X$ be a rational curve with $N_{C/X}\cong \mathcal{O}\oplus \mathcal{O}(-2)$. Can one contract the curve $C$? Assuming the answer is yes, what kind of ...
131 views

### Singularities in mixed characteristic

Let $R$ be a regular local ring in mixed characteristic. Moreover, I assume that $R$ is the local ring of a point on a smooth $\mathbb Z_p$-scheme and that $R/pR$ is regular. ($\mathbb Z_p$ is the ...
165 views

### A question on klt pairs

Let $D$ be a $\mathbb{Q}$-divisor in a smooth variety $X$. In Lazarsfeld book "Positivity in Algebraic Geometry 2" I found Proposition 9.5.13 saying that if for any $x\in D$ we have $mult_xD < 1$ ...
174 views

1k views

I found the following definition. A Weil divisor $D = \sum_{i}D_i \subset X$ on a smooth variety $X$ is simple normal crossing if for every point $p \in X$ a local equation of $D$ is $x_1\cdot...\... 1answer 252 views ### Simultaneous resolution of singularities in special cases of flat families of projective varieties Let$\pi:\mathcal{X} \to B$be a flat family of projective varieties. Assume that$B$is irreducible. Suppose that$\mathcal{X}$is smooth except for a closed subscheme, say$Y$which is isomorphic to ... 1answer 96 views ### Pushforward of$K_X+D$on the non-snc locus Let$f:Y\rightarrow X$be a birational morphism of smooth projective varieties,$F$an effective divisor on$X$,$D=f^{-1}F_{\mathrm{red}}+\mathrm{Ex}(f)$,$B$a smooth subvariety of$Y$contained in ... 2answers 408 views ### Varieties with big anti-canonical divisor I recently heard about the following problem: Let$X$be a projective variety with klt singularities and such that$-K_X$is big. Is$X$a Mori Dream Space ? Now,$-K_X$big if and only if$-K_X -\...
Let $1\to \cdots\to n$ be a linear quiver of length $n$. Let $\mathbf{d}=(d_1,\dots,d_n)$ be a dimension vector. It's well known (for example, by Gabriel's theorem, but also by basic linear algebra) ...