All Questions
624 questions
5
votes
0
answers
148
views
algebraic de Rham cohomology of toric varieties (reference request)
I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...
- 1,142
7
votes
1
answer
231
views
Singularities of PL embedding of surface in a contractible 4-manifold
I am trying to understand the article "A solution to a conjecture of Zeeman" by Akbulut, but I am not an expert in PL-geometry.
As far as I understand, two statements should be true, but I ...
- 674
3
votes
3
answers
423
views
Are there characteristic-dependent Betti numbers in characteristic not equal to two?
Let $\Delta$ be a finite simplicial complex on $n$ vertices. Let $S = \mathbb{k}[\mathbf{x}]$ be a polynomial ring over a field $\mathbb{k}$ in $n$ variables and $I$ be the Stanley-Reisner ideal of $\...
- 984
1
vote
0
answers
51
views
Do we have $\cap_{P\in S}\left(\mathcal{O}_P+(1-\tau)(K)\right)=\left(\cap_{P\in S}\mathcal{O}_P\right)+(1-\tau)(K)$?
Let $\mathbb{F}$ be a finite field and let $q$ be its number of elements. Let $(C,\mathcal{O}_C)$ be a geometrically irreducible smooth projective curve over $\mathbb{F}$ and let $K=\mathbb{F}(C)$ be ...
- 1,479
3
votes
0
answers
218
views
Is there a proper smooth variety in characteristic $p$ whose Hodge-to-de Rham spectral sequence does not degenerate at $E_1$?
By Deligne-Illusie, such a variety has no lifting to $W_2(k)$. In their paper they state that they do not know if such an example exists. Has this question been answered since then?
- 4,164
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 ...
- 623
13
votes
0
answers
749
views
Rings whose Frobenius is flat
Let $R$ be a ring of characteristic $p>0$. The (absolute) Frobenius is the map of rings $F_R:R\rightarrow R$ defined by $x\mapsto x^p$.
I am interested in rings for which $F_R$ is flat (hence ...
anon1432
7
votes
1
answer
498
views
Weyl algebra as an Azumaya algebra over its centre
Assume that $k$ is an algebraically closed field of positive characteristic $p$. On page 3 (page 6 of the PDF file) of Bezrukavnikov, Mirković, and Rumynin - Localisation of Modules for a semisimple ...
- 111
9
votes
1
answer
546
views
Showing subgroups with equal Lie algebras are equal
Let $k$ be a field. It might as well be algebraically closed, but I do not want to assume that it has characteristic $0$. I will write "group" for "affine group scheme over $k$", ...
- 12.9k
9
votes
0
answers
361
views
Would full resolution of singularities have cohomological implications beyond the alteration theory?
De Jong's result on alterations allows one to show the potential semistability of certain Galois representations arising from cohomology of varieties (among other things). If we knew the existence of ...
user158636
16
votes
1
answer
984
views
Reconstruct a variety from its crystalline topos
Let $k$ be a perfect field of positive characteristic. Let $X$ be a smooth projective geometrically connected $k$-scheme with a $k$-point.
Can we reconstruct $X$ from its small crystalline topos $((X/...
user158636
4
votes
2
answers
918
views
Katz's proof of Cartier's (descent) theorem
I am trying to understand the proof of Cartier’s theorem on pages 370-371 (pages 17-18 of the PDF file) of Katz’s “Nilpotent connections and the monodromy theorem: applications of a result of ...
- 121
2
votes
0
answers
170
views
Resolution of pairs in characteristic p
Let $R$ be a complete DVR of characteristic $p$, say $R=\mathbb{F}_p[[t]]$, and $X$ be a reduced scheme of finite type over $R$. Let also $X_s$ denote the special fiber of $X$. If I understand ...
- 282
4
votes
1
answer
269
views
Fourier transform on finite groups in characteristic $p>0$
Is there a Fourier theory for finite groups in characteristic $p>0$? Assume that $p$ divides the order $|G|$ of finite groups (or just work with $p$-groups), i.e., in a modular representation-...
- 41
47
votes
1
answer
1k
views
Summing infinitely many infinitesimally small variables makes sense in algebra
There is an identity $e^x=\lim_{n\to \infty} (1+x/n)^n$, and I always thought it is a purely analytic statement. But then I discovered its curious interpretation in pure algebra:
Consider the ring of ...
- 3,772
2
votes
0
answers
100
views
Composing equal characteristic and mixed characteristic deformations
Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
- 245
4
votes
2
answers
460
views
Are Chow groups invariant under universal homeomorphisms?
Let $f:X\to Y$ be a universal homeomorphism of schemes, $R$ a coefficient ring. Which assumptions on $f$ and $R$ are suffient to ensure that the pullback map $f^*$ of $R$-linear Chow groups is ...
- 16.9k
6
votes
1
answer
268
views
Hochschild cohomology of an Azumaya algebra
Let $k$ be a field. Given a commutative $k$-algebra $Z$ and an associative algebra $A$ that is Azumaya over $Z$, do we have an isomorphism of Hochschild cohomologies: $HH^*(A) \cong HH^*(Z)$?
This is ...
- 410
3
votes
1
answer
282
views
Frobenius splitting for an excellent, non $F$-finite, $F$-pure hypersurface
Let $p$ be an odd prime. Let $k$ be a field of characteristic $p$ such that $[k:k^p]=\infty$ (i.e. $k$ is not $F$-finite ) .
Also assume that $-1$ is not a square in $k$ . Consider the homogeneous ...
- 642
2
votes
2
answers
645
views
Supersingular elliptic curves and their automorphisms
If $E$ is a supersingular elliptic curve over a finite field of characteristic $p$, what is known about its automorphism group (i.e the stabilizer of a point in algebraic curves terminology).
Do all ...
1
vote
0
answers
410
views
Separable morphism of curves
A proof from Janos Kollar's Lectures on Resolution of Singularities Kollar (p 37) works as follows:
Theorem 1.58 (M. Noether, 1871). Let $k$ be an algebraically closed
field and $C \subset \...
- 5,996
4
votes
0
answers
125
views
Embedded normalization
Let $S$ be an irreducible surface in a 3-dimensional variety $X$ (everything taking place over $\mathbb{C}$, say). By Hironaka's therorem, we know for sure that there is an embedded resolution of $S$, ...
- 61
6
votes
0
answers
388
views
Globalization of Brieskorn-Grothendieck resolution
Brieskorn (1970) showed that for semiuniversal deformation of rational double points surface singularities $X\to S$, there is a finite base change $S'\to S$, such that the new family $f:X\times_{S}S'\...
- 1,803
4
votes
0
answers
169
views
Extensions of fraction field and residue field
Let $A \subset B$ be integrally closed local domains, $K(A), K(B)$ be fields of fractions, and $k(A),k(B)$ be residue fields. How to prove $[K(B):K(A)] \ge [k(B):k(A)]$?
This question should be easy ...
- 393
3
votes
0
answers
232
views
Lifting a Frobenius endomorphism under an étale morphism
Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....
- 111
2
votes
0
answers
85
views
Is toroidalization local?
Let $f:X \to Y$ be a surjective morphism of smooth projective varieties, $D$ be a simple normal crossings divisor on $X$ and $U_Y \subset Y$ be an open subset over which $(X,D)$ is log smooth (in the ...
- 393
3
votes
1
answer
251
views
Do Neron-Severi groups of smooth projective unirational varieties contain $\ell$-torsion?
Let $X$ be a smooth projective unirational variety over an algebraically closed field of characteristic $p>0$, and $\ell\neq p$ a prime. My question: can the Neron-Severi group of $X$ contain (non-...
- 16.9k
3
votes
1
answer
317
views
What is known about lower etale cohomology of unirational varieties?
Which information is currently known about $H^1_{et}(X,\mathbb{Z}_l)$ and $H^2_{et}(X,\mathbb{Z}_l)$, where $X$ is a smooth unirational variety over an algebraically closed field of finite ...
- 16.9k
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 ...
- 393
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 ...
- 393
7
votes
1
answer
231
views
Resolution graphs in the sense of Némethi
The following definitions are from lecture notes of Némethi. A surface singularity $(X,0)$ is defined by $$(X,0) = (\{ f_1 = \ldots = f_m=0 \}) \subset \mathbb (\mathbb{C}^n,0),$$ where $f_i : (\...
user150450
7
votes
0
answers
680
views
Artin's "On isolated rational singularities of surfaces"
My question deals with Michael Artin's paper "On isolated rational singularities of surfaces"; more precisely the proof of Theorem 4 on page 133. Here the relevant excerpt:
The Setting: Let ...
- 5,996
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 ...
- 16.9k
8
votes
1
answer
774
views
A variant on characteristic $p$ de Rham cohomology
I was thinking about de Rham cohomology in characteristic $p$, and in particular the recent question about Poincare residues, and I came up with the following construction.
Let $k$ be a perfect field ...
- 156k
2
votes
1
answer
317
views
Singular locus of a linear system of hyperplane sections
Let $X\subset\mathbb{P}^N$ be a rational smooth projective irreducible non degenerated variety of dimension $n=\dim(X)$ and let $$\mathcal{H}=|\mathcal{O}_X(1) \otimes\mathcal{I}_{{p_1}^2,\dots,{p_l}^...
- 1,343
1
vote
0
answers
927
views
canonical divisor on singular curves with nodal point
What's the definition of canonical divisor(or whatever related concept) on singular curve with nodal point. More generally, what the definition of canonical divisor on a singular variety X, which is ...
- 623
1
vote
1
answer
216
views
Pushforward of locally free sheaves and resolution of singularities
Let $X$ be an noetherian, affine, isolated of dimension at least $2$ and $\pi:\widetilde{X} \to X$ a resolution of singularities. Let $\mathcal{E}$ be a locally-free sheaf on $\widetilde{X}$ such that ...
- 2,126
1
vote
0
answers
246
views
Frobenius twist of a field
Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...
3
votes
0
answers
143
views
What kind of equivalences exist between categories of characteristic $0$ and characteristic $p$?
The tilting equivalence for perfectoid algebras gives an equivalence of categories $$K\text{-perf} \cong K^\flat\text{-perf}$$
where the left-hand-side are algebras in characteristic zero and the ...
- 4,164
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?
user61586
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$ ...
- 407
2
votes
0
answers
177
views
vanishing of higher algebraic de Rham cohomology and sheaves of differentials for singular curves
I'm looking for some results or references about de Rham cohomology of curves in less-than-optimal cases. The two vanishing results I care about are:
$H^{k}_{\text{dR}}(X) = 0$ for $k>2$, since $H^...
- 1,142
5
votes
1
answer
230
views
Do regular (but non-smooth) conics over a discretely valued field of characteristic $2$ admit a regular model over the valuation ring?
Let $K$ be a non-perfect field of characteristic $2$. Let $T \subseteq K$ be a discrete valuation ring.
Assume there exist $a,b \in K^{\times}$ such that the projective conic $C$ defined by $$aX^2 + ...
- 103
1
vote
0
answers
125
views
Resolution of rational surfaces
Let $S$ be a rational singular complete algebraic surface over $\mathbb{C}$. Let $\phi:\tilde{S}\to S$ be a resolution of singularities with minimal possible Picard rank (i.e. minimal $\mathrm{dim}(...
- 4,189
4
votes
0
answers
133
views
Non-cyclic Galois groups over the field of formal Laurent series in positive characteristic
This should be an easy question, but I am unfortunately not able to give an answer, so I am sorry if this is not the appropriate level for the site.
Let $C$ be an algebraically closed field of ...
- 41
1
vote
1
answer
160
views
Generators of a graded algebra defining bundle over elliptic curve
I have a question about a statement from P. Wagreich's paper "Elliptic Singularities of Surfaces" (page 425):
We consider an elliptic curve $X$ and a line bundle (=invertible sheaf) $L$ on $X$.
Then,...
- 5,996
4
votes
0
answers
320
views
Toric Fan for the Du Val's singularities D_n and E_n
Let us consider the Du Val's singularities.
i.e. https://en.wikipedia.org/wiki/Du_Val_singularity.
It is well known that they are classified by ADE, because the exceptional divisors arising in the ...
- 489
4
votes
0
answers
169
views
Fibered surfaces degenerating to Frobenius
Let $R$ be a DVR with algebraically closed, positive characteristic residue field $k$. Let $X\rightarrow Spec(R)$ and $C\rightarrow Spec(R)$ be smooth projective morphisms of relative dimension 2 and ...
- 599
10
votes
1
answer
1k
views
Gelfand's trick (Gelfand's lemma) in positive characteristic?
I came across this preprint that claims in Lemma 1.1 that Gelfand's trick (also known as Gelfand's lemma) only works in characteristic zero:
Let $H < G$ be finite groups. Suppose we have an anti-...
- 121
5
votes
1
answer
273
views
Singularities of curves that are moving
Let $k$ be an algebraically closed field, let $d\ge 2$ be an integer and let $f,g\in k[x,y,z]$ be two homogeneous polynomials of degree $d$ without common factor.
We want to know what are the ...
- 7,722