Skip to main content

All Questions

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

Extend algebraic morphism to a compactification with normal crossing boundary

Suppose $X$ and $Y$ are smooth algebraic variety over a char $0$ field $k$, and $f:X\to Y$ a morphism. I want to ask whether there exists compactifications $\bar X$ and $\bar Y$ such that $\bar X\...
Richard's user avatar
  • 785
3 votes
1 answer
196 views

Terminal singularities of fibers vs total space

Suppose $f\colon X \to Y$ is a flat map of complex varieties (or more generally DM stacks?). Suppose every fiber has at most terminal singularities and that $Y$ is smooth. Under what conditions is it ...
caagun's user avatar
  • 43
2 votes
1 answer
200 views

Extending étale covers from the regular locus to a resolution of singularities

Let $X$ be a normal proper variety with rational singularities (or terminal if that is necessary) and $X_{\text{reg}} \to X$ the regular locus. Let $\pi : \tilde{X} \to X$ be a resolution of ...
Ben C's user avatar
  • 3,730
3 votes
0 answers
254 views

Birationally equivalent elliptic curves and singularities

I got the following cubic elliptic curve from some physical problem $$E_c(\mathbb{C}): w^2=4 z^3-zG_2-G_3,$$ where $G_2=3 \alpha ^2+\gamma$ and $G_3=\alpha ^3-\alpha \gamma -\beta ^2$ for known ...
DaveWasHere's user avatar
1 vote
0 answers
139 views

Simultaneous Log resolutions for both varieties and divisors

Let $X$ be a normal variety and $D \subset X$ be a prime divisor which is also normal. It is well-known that we can take a resolution $f: W \to X$ of $X$ such that $$\DeclareMathOperator{\Supp}{\...
Li Yutong's user avatar
  • 3,472
1 vote
0 answers
191 views

Factorization of birational maps in char $p$

So I was reading about the factorization result that any birational map between smooth varieties is composition of blow-ups and blow-downs with smooth centers. It is apparently true only in ...
user127776's user avatar
  • 5,901
2 votes
0 answers
220 views

Divisorial contraction to a non-normal variety

Consider a divisorial contraction $f:X\rightarrow Y$, between projective varieties, contracting an irreducible divisor $D\subset X$ to a subvariety $Z\subset Y$ of codimension at least two, and which ...
user avatar
2 votes
0 answers
224 views

Log canonical centers of toric (and toroidal) varieties

Q1: Let $(X,B)$ be a toric variety. There exists a toric resolution of singularities $f:(Y,E) \to (X,B)$. Here is my question: Is any lc center of $(X,B)$ an irreducible component of an intersection ...
Flyingpanda's user avatar
1 vote
0 answers
178 views

Birational model of a log smooth pair

Given a log smooth pair $(X,B)$ with a reduced boundary divisor $B$, consider a birational model $\pi:X' \to X$ and a boundary divisor $B'$ which is given by $K_{X'}+B'=\pi^*(K_X+B)$. Here is my ...
Flyingpanda's user avatar
4 votes
0 answers
119 views

Are there any explicit (prime-to-l) alterations for interesting varieties (or schemes)?

I have read that it is easier to find regular alterations of varieties than their resolutions of singularities (moreover, I believed in this sentence when I read it). My question is: do there exist ...
Mikhail Bondarko's user avatar
2 votes
0 answers
163 views

Terminal and log canonical singularities

Let $D$ be a divisor with at most terminal singularities in a smooth projective variety $X$. Is the pair $(X,D)$ log canonical?
user avatar
3 votes
1 answer
470 views

Automorphisms of singular hypersurfaces

Let $X\subset\mathbb{P}^{n+1}$ be an irreducible and reduced hypersurface of degree $d$. A theorem by Matsumura and Monski asserts that if $n\geq 2$, $d\geq 3$, $(n,d)\neq (2,4)$ and $X$ is smooth ...
user avatar
2 votes
0 answers
164 views

Cubic 3-fold singular along a curve

Does there exists a cubic or quartic $3$-fold $X\subset\mathbb{P}^4$ such that $Sing(X)$ is a smooth curve $C$ of genus $g(C)\geq 2$ and $X$ has $A_1$-singularities along $C$?
user avatar
6 votes
1 answer
1k views

Some naive questions on crepant resolutions of singularities

I have some clarifying questions about crepant resolutions of singularities. The definition that I am aware of is that if $f:\tilde X \to X$ is a resolution of singularities, then the resolution is ...
DKS's user avatar
  • 471
3 votes
0 answers
451 views

Singularities of rational quartic surfaces

Let $X\subset \mathbb{P}^3$ be an irreducible quartic surface, defined over an algebraically closed field $k$. Suppose that $X$ is rational (i.e. birational to $\mathbb{P}^2$). Is is true that $X$ has ...
Jérémy Blanc's user avatar
6 votes
1 answer
640 views

Resolution of Gorenstein rational singularities on a surface

I am reading Artin's notes "Lipman's Proof of Resolution of Singularities for Surfaces" from the book "Arithmetic Geometry". I am very confused by the proof of Lemma $6.5.$ (I am formulating it below ...
gdb's user avatar
  • 2,923
3 votes
0 answers
269 views

surjectivity of double dual map for weil divisors on normal varieties

If $X$ is a normal complex variety, and $D$ is an effective $\mathbb{Q}$-Cartier Weil divisor, then there is a natural map $\mathcal{O}(D) \otimes \mathcal{O}(-D) \rightarrow \mathcal{O}_X$. My ...
be928's user avatar
  • 83
3 votes
0 answers
82 views

Singularities of fibrations 2

This question is related to my previous question: Singularities of fibrations Assume that $X$ is a complete intersection irreducible $3$-fold in a product of projective spaces. So that $X$ is ...
Puzzled's user avatar
  • 8,998
4 votes
1 answer
327 views

Singularities of fibrations

Let $f:X\rightarrow \mathbb{P}^2$ be a fibration, here $X$ is a projective variety of dimension three. Assume that there exixts a smooth curve $C\subset\mathbb{P}^2$ such that for any $p\in\mathbb{P}...
Puzzled's user avatar
  • 8,998
2 votes
1 answer
167 views

Singularities of $3$-folds

Let $X,Y,Z$ be projective $3$-folds. Assume that $Y$ is smooth and $Z$ is smooth and Fano. Moreover, assume that there is a generically finite morphism $f:Y\rightarrow Z$ admitting a factorization $f=...
user avatar
2 votes
0 answers
271 views

Desingularization of subvariety

Let $X$ be a smooth projective complex variety. Let $Y \subset X$ is a singular closed subvariety of $X$. Does there exist a birational morphism $\pi: \widetilde{X} \to X$, such that the proper ...
Edward Teach's user avatar
2 votes
1 answer
2k 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 ...
user avatar
0 votes
0 answers
209 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 ...
user avatar
1 vote
1 answer
687 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$ ...
user avatar
0 votes
2 answers
490 views

Small birational maps and singularities of the pair

Let $f:X\dashrightarrow Y$ be a small birational map, where $X,Y$ are normal $\mathbb{Q}$-factorial varieties. Let $\Delta_X\subset X$ be an effective $\mathbb{Q}$-divisor such that the pair $(X,\...
Puzzled's user avatar
  • 8,998
12 votes
1 answer
8k views

Simple normal crossing divisors

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

Kawamata-Log-Terminal pairs

Let $p_1,...,p_n\in\mathbb{P}^3$ be general points, and let $\Delta\subset\mathbb{P}^3$ be a general surface of degree $d$ with points of multiplicity $m_i$ at $p_i$ for $i = 1,...,n$. Consider the ...
user avatar
4 votes
1 answer
399 views

Blowing up rational singularities

Let $X$ be a projective surface embedded into $\mathbb{P}^n_{\mathbb{C}}$ having at most rational singularities. Let $\tilde{X} \to X$ be the minimal resolution of $X$. Is it possible to embed $\tilde{...
user43198's user avatar
  • 1,981
1 vote
0 answers
301 views

How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?

Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$. Now,...
Omprokash's user avatar
  • 165
7 votes
1 answer
2k views

Crepant resolutions of cDV singularities?

Compound Du Val 3-fold singularities form a good class of singularities in 3-fold singularity theory. I would like to know which singularities admit crepant resolutions. If I remember correctly, $cA_{...
Zheng's user avatar
  • 71
5 votes
2 answers
694 views

Crepant resolutions of ODP's on a 3-fold

It seems to be a well-known fact that if we have a 3-fold $X$ with only ODP singularities (ordinary double point) and a smooth Weil divisor $E$ passing through them, then by blowing-up $X$ along $E$ ...
HNuer's user avatar
  • 2,108
1 vote
1 answer
573 views

'Reference' request: Program to work with cyclic quotient singularities.

I'm looking for program code to deal with cyclic quotient singularities on normal surfaces. In particular, at the moment I need that given a singularity $p$ like $p=\frac{1}{n}(1,a)$ the code computes:...
Jesus Martinez Garcia's user avatar