All Questions
624 questions
1
vote
0
answers
72
views
Minimal non-klt center of asymptotic linear system
Let $(X,\Delta)$ be a klt pair and $D $ a $Q $-Cartier divisor on $X $ such that the ring of sections of $D $ is finitely generated. Let $c$ be the log canonical threshold of the asymptotic linear ...
- 11
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 ...
- 8,998
2
votes
1
answer
717
views
Singularities of secant varieties of rational normal curves
Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$, and let $Sec_k(C)\subset\mathbb{P}^n$ be its $k$-th secant variety. By Theorem 1.1 in this paper:
http://ac.els-cdn.com/...
user56312
3
votes
1
answer
958
views
Is it possible to resolve singularities using only normal varieties?
In characteristic 0, is it possible to have a resolution of singularities where the algebraic varieties at every step of the desingularization process are normal. To be more precise, I would like a ...
- 251
4
votes
2
answers
394
views
Colon property of Gorenstein rings
Let $(R, \mathfrak{m})$ be a Gorenstein local ring of characteistic $p>0$. Let $x_1,...,x_d$ be a system of parameters of $R$. Let $I$ be an $\mathfrak{m}$-primary ideal containg $(x_1,...,x_d)$. ...
- 2,773
6
votes
1
answer
693
views
Nagata's conjecture in positive characteristic
For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ irreducible reduced curve passes then $d^...
- 5,063
8
votes
1
answer
773
views
Schubert varieties which admit small resolutions of singularities
I am looking for an (incomplete) list of partial flag varieties for
which all Schubert cells admit small resolutions of singularities.
This is interesting, for many reasons. My motivation is, that a ...
- 13.2k
15
votes
0
answers
2k
views
Why was it so difficult to define the relative de Rham-Witt complex?
In Illusie's original article, the de Rham-Witt complex is defined for a smooth scheme over a perfect characteristic $p$ base $S$, without reference to $S$. Some 25 years later, Langer and Zink ...
- 16.2k
3
votes
0
answers
843
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 ...
user61586
4
votes
1
answer
998
views
Dimension of irreducible representations in characteristic p
Hi, I know that over $\mathbb{C}$ the dimension of an irreducible representation of a finite group $G$ must divide the order of the group. I've read somewhere that if $p$ does not divide the order of ...
- 407
3
votes
1
answer
391
views
Embedded resolution of curves on smooth varieties
As far as I understand, embedded resolution of singularities means the following: given a variety $X$ over an algebraically closed field, and a closed subvariety $Y$, there exists a birational map $f:...
- 16.2k
4
votes
2
answers
611
views
Vanishing associated to a resolution of singularities
Let $\pi: V\to W$ be a resolution of singularities, let $E \subset V$ be the exceptional divisor, and let $F$ be a coherent sheaf such that $R^i\pi_*F=0$ for $i>0$.
Can we conclude that $R^i\...
- 2,218
4
votes
1
answer
537
views
Which schemes can be presented as limits of smooth varieties?
I can prove a certain statement for any scheme that can be presented as the limit of an essentially affine (filtering) projective system of smooth varieties over a perfect field such the connecting ...
- 16.9k
4
votes
0
answers
285
views
Application of Frobenius splitting in characteristic $0$
In general, Frobenius splitting only defines on field of characteristic $p$ (algebraically closed) field.
I am reading Brion and Kumar's book and I can see that there are geometric results can be ...
- 849
5
votes
1
answer
1k
views
Minimal Model Program for surfaces over algebraically closed fields of characteristic p
Let $k$ be an algebraically closed field of characteristic $p>0$.
I have been trying to find out unsuccessfully if there is a mmp for algebraic surfaces over $k$. I know minimal surfaces are ...
- 2,215
2
votes
0
answers
191
views
Resolution of indeterminacies for a map to Grassmannian of planes
Let $X\subset \mathbb P_k^N$ be a $n$-dimensional smooth projective variety ($n\geq 2$) and $\phi_l:X^l\dashrightarrow Gr(l,N+1)$ ($l\leq n+1$) be the natural rational map which associates to a ...
- 155
4
votes
1
answer
674
views
Inseparable Galois Cohomology
First let me give a general form of my question, and then I'll give some motivation and a more specific version of it. Let $K/k$ be a Galois extension of fields with Galois group $G$, and let $X$ be ...
- 1,199
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,\...
- 8,998
1
vote
0
answers
189
views
A definition of arithmetic divisor with conic singularities?
I have a question related to the preprint "Heights and metrics with logarithmic singularities" by G. Freixas i Montplet.
Let $X$ be an arithmetic variety with arithmetic divisor $D$ how can we ...
user21574
-1
votes
1
answer
99
views
Finitely many subvarieties as divisor
Let $X$ be a smooth projective variety over an algebraically closed field of characteristic $0$ and of dimension $n\geq 10$. Let $(C_i)_{1\leq i\leq N}$ (resp. $(S_i)_{1\leq i\leq N}$) be smooth ...
- 1,463
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{...
- 1,981
6
votes
2
answers
945
views
Notation/name for "Artin-Schreier roots"?
If x is an element of a field K and n is a positive integer, we have both a symbol and a name for a root of the polynomial t^n - x = 0: we denote it by x^{1/n} and call it an nth root of x.
Of course ...
- 65.4k
15
votes
2
answers
814
views
Can the failure of the multiplicativity of Euler factors at bad primes be corrected?
Warning: This one of those does-anyone-know-how-to-fix-this-vague-problem questions, and not an actual mathematics question at all.
If $X$ is a scheme of finite type over a finite field, then the ...
- 9,418
6
votes
1
answer
267
views
Are codimension one foliations of $\mathbb{R}^{n}-\{0\}$ with compact leaves, stable at origin?
Assume that we have a codimension one foliation of $\mathbb{R}^{n}-\{0\}$ with compact leaves.
Is it true to say that the foliation is stable at origin:That is: for every neighborhood $V$ of $0$,...
- 366
2
votes
1
answer
386
views
Surfaces singular along a curve
Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$.
What is ...
user47036
17
votes
0
answers
1k
views
Katz--Mazur for abelian varieties
Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.
Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]...
- 18.7k
4
votes
1
answer
398
views
Properties of divisors when moving from char 0 to char p.
Consider a smooth projective variety $X$ over $\mathbb{C}$ such that $X$ has models over $\mathbb{Z}[1/N]$ and $X_p=X_{\mathbb{Z}[1/N]}\times \text{Spec}(\mathbb{F}_p)$ is also a smooth projective ...
- 141
7
votes
0
answers
355
views
Are curves over imperfect fields defined over a smaller field?
Let $C$ be regular projective curve defined over a field $K$. Let $K/L$ be a totally inseparable finite extension. Does there exist a regular projective curve $C'$ over $L$ such that that the pullback ...
- 149k
6
votes
1
answer
804
views
Del pezzo surfaces in positive characteristic
For me a Del Pezzo surface $X$ over an algebraically closed field of characteristic $p$ is an algebraic surface where the anticanonical bundle $\omega^{-1}_X$ or $-K_X$ is ample. (I prefer the second ...
- 2,215
8
votes
0
answers
381
views
Degeneration of wildly ramified local monodromy representations - near or far from Deligne?
Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...
- 149k
0
votes
1
answer
411
views
Intersection Matrix of a resolution
Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that
$$K_X = f^{*}K_S+\sum_ia_iE_i$$
with $a_i>0$. By Grauert-Mumford theorem the ...
user58018
7
votes
3
answers
3k
views
congruent to 1 mod p
This is a somewhat vague question: for a prime number p, we often see that various counts come out to be 1 modulo p. What are the possible reasons for this?
Here are some I've encountered:
For some ...
3
votes
1
answer
235
views
Interpreting Frobenius pullback as an invariant differential in the case of an elliptic curve
Let $S$ be an affine scheme of characteristic $p > 0$, let $E \rightarrow S$ be an elliptic curve over $S$, and let $F$ denote the absolute Frobenius. Since $E$ is its own $\mathrm{Pic}^0$ there is ...
- 2,663
5
votes
3
answers
739
views
Smoothness of hyperplane sections
Suppose $X\subset \mathbb{P}^n$ is a smooth hypersurface defined over $\mathbb{Q}$. For a "generic" prime $p$, what can be said about the set of hyperplanes $H$ in $\mathbb{P}^n(\mathbb{F}_p)$ for ...
- 13.1k
2
votes
1
answer
202
views
Some Kind of Resolution of Singularites
Let $X \subseteq \mathbb{P}^n$ be a projective variety. I would like to have a morphism $f: \tilde{X}\to X \subseteq \mathbb{P}^n$ where $f$ is finite and birational, $f^* \mathcal{O}_{\mathbb{P}^n}(1)...
- 3,031
2
votes
0
answers
116
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?...
- 1,595
1
vote
0
answers
183
views
Chern classes of a resolution of singularities
Let $j:X\subset \mathbb P_{\mathbb C}^n$ ($n\geq 3$) be a hypersurface, defined by a section of a very ample line bundle $\mathcal L$, with a ordinary double point $P$ as the only singularity and $\...
- 69
1
vote
0
answers
74
views
Simple question about surface singularities
Given $\epsilon \in (0,1)$, is it possible to find two finite familes $\mathcal{F}$ and $\mathcal{P}$ of weighted graphs, such that the weighted graph of the minimum resolution of any $\epsilon$-klt ...
- 1,595
2
votes
1
answer
153
views
A question about decomposing mod 2 modular forms of level p^2
Fix an odd prime $p$. Each $f \in \mathbb{Z}/2[[x]]$ can be written as $f_{+} + f_{-} + f_0$ where each exponent k of $x$ appearing in $f_{+}$ (resp. $f_{-}$, $f_0$) has Legendre symbol $(k/p)$ equal ...
- 5,422
4
votes
1
answer
494
views
Normal bundle of exceptional locus of the conifold
Let us consider the conifold singularity $xy-zw=0$ in $\mathbb{C}^4$. By blowing up along the divisor defined by $x=z=0$, we have a small resolution of the conifold with $\mathbb{P}^1$ as the ...
- 41
7
votes
1
answer
341
views
How can one show that orbit closures in representations of a linear quiver don't have small resolutions?
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) ...
- 44.7k
5
votes
1
answer
455
views
$(\varphi, \Gamma)$-module of dimension 2 modulo $p$
Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters $\...
- 477
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$ ...
- 2,108
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 ...
user47036
3
votes
1
answer
276
views
Mumford-Ramanujam examples in characteristic p [and in Arakelov geometry]
For a compact Riemann surface $B$ of genus $\geq 2$, it is a consequence of the Narasimhan-Seshadri theorem that there exist rank-$2$ vector bundles $E \to B$ of degree zero, all of whose symmetric ...
- 13.8k
5
votes
2
answers
586
views
Quotient of a reductive group by a non-smooth subgroup
This is a continuation of my question Quotient of a reductive group by a non-smooth central finite subgroup.
Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p&...
- 14.2k
8
votes
1
answer
978
views
When do blow-up and quotient commute?
Let a finite group $G\subset SL(n,\mathbb{C})$ act on $\mathbb{C}^{n}$ in a natural way. Assume there is a crepant resolution of $f:X\rightarrow \mathbb{C}^{n}/G$. When is it possible to write $X$ as $...
- 81
8
votes
1
answer
331
views
If C is a fusion category over a field of nonzero characteristic and dim C = 0, is Z(C) ever fusion?
If $C$ is a fusion category and $\dim(C) \neq 0$ (the latter is automatic in characteristic zero, but not in nonzero characteristic), then the Drinfel'd center $Z(C)$ is fusion. More generally, if $C$...
- 28.1k
25
votes
0
answers
1k
views
Status of the Euler characteristic in characteristic p
In the introduction to the Asterisque 82-83 volume on `Caractérisque d'Euler-Poincaré, Verdier writes:
Enfin signalons que la situation en caractéristique positive est loin
d'être aussi ...
- 8,723
0
votes
0
answers
440
views
Foliations in positive characteristic
Ekedahl wrote about foliations in positive characteristic, over the field $\mathbb{Z}/p\mathbb{Z}$ as a subsheaf of the tangent sheaf, that are closed with respect to involution and $p$-power.
My ...
- 1