All Questions
624 questions
2
votes
0
answers
286
views
Does the sheaf of locally exact differential forms splitting in positive characteristic
Let k be an algebraically closed field of characteristic $p>2$, $X$ a smooth projective curve of genus $g>1$ over $k$, and $F_X:X\rightarrow X$ be the absolute Frobenius morphism. Let $B^1_X$ be ...
- 85
2
votes
0
answers
214
views
log canonical surface singularity
For a log cannonical surface singularity, I guess there is classification about the configuration of the exceptional divisor of its minimal resolution. I wonder if there is some specific example or ...
- 623
4
votes
0
answers
197
views
Inequalities between numerical invariants of nonsingular projective Varieties in positive Characteristic
It is well-known that Miyaoka and Yau-type inequalities do not hold in positive characteristic. In "a note on Bogomolov-Gieseker’s inequality in positive characteristic", however, we can ...
- 4,902
4
votes
2
answers
581
views
Singularities of Pfaffian hypersurfaces
Let $X\subset\mathbb{P}^4$ be an hypersurface of degree six given by the Pfaffian of a $6\times 6$ matrix $M$ whose entries are quadratic forms in the homogeneous coordinates of $\mathbb{P}^4$. I am ...
user61586
3
votes
0
answers
113
views
Cohomologies of $[V/GL_n]$ in characteristic $p$ for a representation $V$ of $GL_n$
Let $V$ be a representation of $G=GL_n$ (or more generally any reductive group $G$) over an algebraically closed field $\mathbb k$ of characteristic $p$. Let $[V/G]$ be the corresponding quotient ...
- 790
14
votes
1
answer
1k
views
The "Level N modular equation for delta" in characteristics 3, 5, 7 and 13
When $N > 1$, the modular forms $\Delta(z)$ and $\Delta(Nz)$ are algebraically independent over the complexes, and the same then is true of their expansions at infinity. But using the fact that
the ...
- 5,422
1
vote
0
answers
40
views
On Remmerts reduction
Let $(X,0)$ be a normal surface singularity. An let $\pi: \tilde{X} \to X$ be the minimal resolution. Now, we can apply a result of Oliveira (exploiting previous work by Laufer) and obtain a 1-...
- 1,409
8
votes
1
answer
1k
views
obstruction to smooth lifting of smooth schemes
According to general theory, for a square zero thickening defined by an ideal I: SpecA -> SpecA', there is an obstruction of lifting a smooth scheme X over A to a smooth scheme over A' living in H^2(X,...
- 5,052
5
votes
1
answer
1k
views
Excellent schemes
I noticed that many results in positive characteristic assumes that the object of the theorem is excellent. I have looked up the definition of excellent and have tried to get a feeling for it, but all ...
- 53
3
votes
1
answer
343
views
Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism
MOTIVATION
Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...
- 5,422
2
votes
0
answers
230
views
(Strict) canonical singularity with no crepant resolution
We know if a normal singular $\mathbb{Q}$-factorial variety $X$ has a crepant resolution, then it is canonical but not terminal. What can we say about the converse? To be more precise:
Is there a ...
- 815
1
vote
0
answers
187
views
Unitary dual of the Heisenberg group over non-archimedean local fields of characteristic two
What is the unitary dual of the Heisenberg group over non-archimedean local fields k of characteristic two? This is well-known for the real Heisenberg group and in fact, when local fields have ...
- 1,702
7
votes
0
answers
177
views
How to compactify $\mathbb{Z}_p[x, y, z]/(xyz - p)$?
The affine scheme $U := \mathrm{Spec}(\mathbb{Z}_p[x_0, \ldots, x_d]/(x_0\cdots x_d - p))$ is regular and is a basic example of a semistable scheme over $\mathbb{Z}_p$. How does one build a proper ...
- 2,663
2
votes
0
answers
196
views
Total space of canonical bundle on toric del pezzo surface
Let $X$ be a toric del pezzo surface with a full cyclic strong exceptional collection of line bundles, say $\mathbb{E}:=(E_1,\ldots,E_n)$, consider the total space of anti-canonical bundle $\omega_X^*$...
8
votes
1
answer
747
views
Deligne's exterior power
In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism
$$p : A^{\otimes n} \to A^{\otimes n}, ...
- 63.1k
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 ...
- 807
9
votes
2
answers
656
views
How does the order of a pole of a zeta function indicate any geometric information?
Here, I'm primarily concerced about zeta functions of hypersurfaces over fields of finite characteristic.
Assume $F_q$ to be a finite field with q elements. Consider the zeta function of the ...
- 141
23
votes
1
answer
2k
views
Wanted: Quadratic Space in Characteristic 2 as a Counterexample to a Theorem of Arf
Hi. Peter Roquette sent me an email asking for an example of a quadratic space in characteristic 2 having certain features. I have no idea on this, but maybe someone reading this does.
He would ...
- 50.8k
9
votes
1
answer
1k
views
Top chern class in positive characteristic
Given a nonsingular, projective variety $X$ of dimension $n$ over an algebraically closed field $k$.
Over $k=\mathbb{C}$, the top chern class $c_n(T_X)$ of the tangent sheaf is the Euler ...
- 4,902
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 ...
- 569
14
votes
2
answers
1k
views
Can a reductive group act non-linearly on a vector group?
Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$.
1. Some motivation
A vector group is an ...
- 3,246
2
votes
0
answers
476
views
Does the numerical equivalence relation coincide with the homological one for 1-cycles (in positive characteristic)?
Is the Grothendieck's Standard Conjecture D (stating that the numerical equivalence relation for algebraic cycles with rational coefficients coincides with the homological one) known to be true for ...
- 16.9k
3
votes
0
answers
157
views
Resolving complete intersections of quadrics with singularities
Suppose that $X$ is a complete intersection of quadrics in $\mathbb P^n_{\mathbb C}$. Is there some straightforward procedure to resolve the singularities of $X$?
For example, can one stratify ...
- 14.3k
9
votes
2
answers
622
views
Can we foliate the punctured space by tori?
Is it possible to have a 2 dimensional foliation of $\mathbb{R}^{3}-\{0\}$ such that each leaf is homeomorphic to the torus? what algebraic topological obstruction exist?
Another question: is there ...
- 366
7
votes
1
answer
5k
views
Chevalley's Theorem on Constructible Sets
I'm having a hard time understanding the theorem in the title, more specifically the proof of the related fact that the image of a dominant morphism contains a dense open set of it's closure. (My ...
- 75
19
votes
1
answer
1k
views
Is there a connected $k$-group scheme $G$ such that $G_{red}$ is not a subgroup?
I've been trying a learn a little more about group schemes by working through a set of exercises on Brian Conrad's website. Exercise 8.3 of http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf ...
- 3,625
13
votes
1
answer
690
views
Obstructions to formally integrating vector fields in characteristic p?
Let $M$ be a smooth scheme over some field $k$ of characteristic $p$, and $\vec X$ a vector field on it. Equivalently, $\vec X$ gives a map $Spec\ k[\epsilon]/\langle \epsilon^2 \rangle \times M \to M$...
- 27.9k
13
votes
1
answer
651
views
Help wanted with Chebotarev condition in characteristic 2
Having promised a longtime collaborator that I would clear my plate to finish up some joint work of ours, I am swallowing my pride and tossing up the following technical point of function field ...
- 65.4k
7
votes
1
answer
2k
views
Can proper-smooth base change be used to show that varieties cannot be lifted to characteristic zero?
Recall the following corollary to the proper and smooth base change theorems:
Let $\pi: X \to S$ be a proper, smooth morphism. Then the direct images $R^i \pi_* \mathcal{F}$ are locally constant ...
- 25.6k
5
votes
1
answer
704
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 ...
- 1,981
4
votes
2
answers
254
views
Invariant planes of a nilpotent matrix with two Jordan blocks of size two
Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map
$$
N = \begin{pmatrix}
0 & 1 & & \\
0 & 0 & & \\
& & 0 &...
- 1,123
3
votes
1
answer
647
views
Small resolutions are automatically crepant?
Page 17 of the following survey:
http://arxiv.org/abs/1103.5380
makes the claim that small resolutions, meaning resolutions such that the exceptional set is in codimension at least two, are ...
- 1,423
1
vote
1
answer
733
views
canonical divisors of a resolution of a normal surface singularity
Let $(0\in X)$ be the germ of a normal surface singularity and let $f: Y \to X$ be the minimal resolution.
Questions>
(1) How can I define a map $f_*\mathcal{O}_Y(K_Y)\hookrightarrow \mathcal{O}_X(...
- 53
10
votes
1
answer
570
views
Commutativity of the Chow ring in positive characteristic
I was looking in Ravi Vakil's notes on Intersection Theory, Class 20, where he introduces the bivariant intersection theory, in particular the Chow ring $A^\ast (X)$.
On p. 2, he writes the following ...
- 40.3k
3
votes
1
answer
269
views
Rationality of higher dimensional du Val singularities
I am interested in the isolated singularity defined over $\mathbb{C}$ by
$$
x_1^2+\cdots + x_n^2+x_{n+1}^k=0,
$$
where $n>2$ and $k>2$.
I would like to know whether this singularity is rational,...
- 2,384
1
vote
0
answers
149
views
Smoothability of stable curves in mixed characteristic
Let $R$ be a complete DVR with residue field $k$ algebraically closed of characteristic $p$ and fraction field $K$ of characteristic zero. Let $C$ be a stable curve (in the sense of Mumford-Deligne) ...
- 2,323
4
votes
1
answer
619
views
Small resolution of a non-isolated singularity?
Consider the the Hypersurface singularity given by the equation
$$xyz+st=0 \subset \mathbb{C}^5.$$
How would you describe a (nice!=symmetric) small-resolution of this singularity?
2
votes
2
answers
480
views
Lifting to char 0, references and questions
Suppose that I have a surface $S$, smooth proper over an algebraically closed (perfect?)field $k$ that lifts algebraically to some $S_W$ defined over a field of char 0. I am interested in properties ...
- 645
2
votes
1
answer
221
views
Resolving nodes of a quintic CY 3-fold
Let's consider the following quintic 3-fold $X$:
\begin{equation}
\{(x_i) \in \mathbb{P}^4 \ | \ x_1f(x)-x_2g(x)=0\}
\end{equation}
for generic homogeneous polynomials $f(x),g(x)$ of degree four. It ...
- 21
12
votes
1
answer
2k
views
Replacement for derivations in characteristic p?
Let $k$ be a field.
If $f \in k[x]$ is a polynomial, and $d/dx\ f = 0$, then either
$f$ is constant, or
$char\ k = p$ and $f \in k[x^p]$.
So "annihilated by all derivations" is perhaps not the right ...
- 27.9k
5
votes
0
answers
257
views
Symplectic leaves in positive characteristic
I am currently considering a family of filtered algebras over an algebraically closed field of positive characteristic with the property that the associated graded algebra is a finitely generated ...
- 599
7
votes
4
answers
736
views
Simply connected quasi-projective varieties in positive characteristic
I am looking for examples of non-projective (quasi-projective) varieties $X$ defined over a field of positive characteristic, which have trivial étale fundamental group.
It is well known that the ...
- 4,450
1
vote
1
answer
1k
views
Singular irreducible quadrics
Let $Q\subset\mathbb{P}^n$ be the quadric hypersurface defined by
$$x_0^2+x_1^2+...+x_k^2 =0.$$
If $2\leq k\leq n-1$ then $Q$ is irreducible and $Sing(Q)$ is a linear space of dimension $n-k-1$.
If $...
user49214
11
votes
1
answer
2k
views
Are automorphism groups of hypersurfaces reduced ?
In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...
- 6,543
15
votes
1
answer
4k
views
Frobenius Descent
Let $S$ be a scheme of positive characteristic $p$ and $X$ a smooth $S$-scheme. Let $F:X\rightarrow X^{(p)}$ denote the relative Frobenius. A result by Cartier (often called Cartier descent or ...
- 4,450
2
votes
1
answer
257
views
Are the fibers of this morphism geometrically regular?
Let $A\rightarrow B$ be a local morphism of complete noetherian rings making $B$ a formally smooth $A$-algebra. Does the induced morphism $\textrm{Spec}(B)\to\textrm{Spec}(A)$ have geometrically ...
- 255
6
votes
1
answer
211
views
Recursions for some binary theta series in characteristic 3
Define $A(0), A(1), A(2) \dots$ in ${\bf Z}/3[[x]]$ as follows. For $n$ in $\bf N$ let $s=3^{2n+1}$. Then $A(n) = \sum a_kx^k$ where $a_k$ is the mod 3 reduction of the number of representations of $k$...
- 5,422
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}{\...
- 781
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
2
votes
0
answers
148
views
Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$
Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...
- 1,833