All Questions
1,159 questions
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
8
votes
1
answer
323
views
Base schemes and Bayesian priors
One of Grothendieck's dicta about algebraic geometry is to consider "the relative situation", where one doesn't consider the category of schemes but of schemes over a fixed base scheme.
In Bayesian ...
- 27.9k
8
votes
0
answers
517
views
Ring of global sections of a functor $\mathbf{CRing} \to \mathbf{Set}$
Let $U : \mathbf{CRing} \to \mathbf{Set}$ be the forgetful functor. For any functor $F : \mathbf{CRing} \to \mathbf{Set}$ consider the class of natural transformations
$$\mathcal{O}(F) := \mathrm{Hom}(...
- 63.1k
8
votes
0
answers
300
views
Which algebra is $\mathbb{F}_p \otimes_{HH^{\cdot} (\mathbb{F}_p)} \mathbb{F}_p$?
Let $HH^{\cdot}(\mathbb{F}_p)$ be the Hochschild cohomology of $\mathbb{F}_p$ over $\mathbb{Z}$, which as a $E_1$ ring is simply $\mathbb{F}_p[x]$ with $x$ in cohomological degree $2$. Then it's clear ...
- 2,356
8
votes
0
answers
325
views
Moduli stacks and representability of diagonal by schemes
The answer to my question might very well be standard, but I have had trouble finding the right keywords to search for it, so I apologize if this is something well-known to the experts.
I am learning ...
- 28.2k
8
votes
0
answers
688
views
An Azumaya algebra from a vector bundle, and a construction of Belov-Kanel and Kontsevich
Let $S/k$ be a scheme over a perfect field $k$ of characteristic $p>0$.
In Automorphisms of the Weyl Algebra, Belov-Kanel and Kontsevich write down the map
$$\alpha: H^0(\Omega^1_{S/k}/d\mathcal O) ...
- 2,368
8
votes
0
answers
351
views
What is the category of coherent sheaves on a logarithmic scheme?
I try to learn basic things on logarithmic geometry, and in particular I don't find much on the category of coherent sheaves on a logarithmic scheme: is it a notion that makes sense or differ from ...
- 333
8
votes
0
answers
106
views
Reference for limits of schemes with non-affine transitions?
Inverse systems of projective schemes appear in several contexts, for example:
in constructing the Zariski-Riemann space of a projective variety,
in studying subvarieties of a projective variety ...
- 4,492
8
votes
0
answers
205
views
What are the Newton groupoids from Drinfeld's paper on the Grinberg-Kazhdan theorem?
The paper the Grinberg-Kazhdan formal arc theorem and the Newton groupoids by Drinfeld seems to contain many interesting things which are beyond me. For now, I am trying to get some intuition for the ...
- 10.5k
8
votes
0
answers
127
views
universally open and connected fibers
Let $A$ be a coherent ring, and consider the map:
$Spec(A[[t]])\rightarrow Spec(A)$,
in particular, we know that it's flat. Is it universally open? Does it have connected fibers?
N.B: Easy if A is ...
- 3,472
8
votes
0
answers
471
views
Sheaf whose singular support is not Lagrangian
For constructible sheaves $\mathcal F$ on real analytic manifolds $X$, there is a notion of the singular support $SS(\mathcal F)$ which is a radially invariant singular Lagrangian subset of the ...
- 18.7k
8
votes
0
answers
230
views
A Hartogs-type criterion for flatness
Let $U$ be a smooth affine connected variety over $\mathbb C$ and let $V\subset U$ be an open whose complement is of codimension at least two.
Now, let $Y$ be a smooth quasi-affine connected variety ...
- 81
8
votes
0
answers
414
views
Arithmetic zeta function and local zeta functions
For the arithmetic zeta function of (say) a nonsingular projective variety $X$, one has the following Euler product
\begin{equation}
\zeta_X(s) = \prod_{p\ \mbox{prime}}\zeta_{X\vert\mathbb{F}_p}(s),
...
- 4,605
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
8
votes
0
answers
1k
views
Two definitions of smoothness?
This is confusing, there appear to be possibly two definitions of smoothness in algebraic geometry for a morphism $f: X \rightarrow Y$ of schemes of finite type over an arbitrary field $k$.
...
- 3,555
8
votes
0
answers
873
views
Resolution of singularities in positive characteristic
I am currently trying to make some small parts of the minimal model program work for some very explicit varities in positive characteristic. I have such a variety $X_1$ and I know that there is a ...
- 783
7
votes
3
answers
752
views
Does every linear group admit a subgroup of dimension 1?
Suppose that $G$ is a linear group of positive dimension, defined over some field $k$. Is that true, that $G$ admits a (closed) one-dimensional subgroup?
I'm pretty much sure this is true in ...
- 267
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
7
votes
2
answers
813
views
Scheme-theoretic account of why every variety embeds in a complete variety
The standard reference for the statement that "any abstract variety is an open subscheme of a complete variety" is Nagata's 1962 paper Imbedding of an abstract variety in a complete variety. ...
- 7,338
7
votes
1
answer
2k
views
The Serre duality theorem intuition
It is a well known fact that proper scheme $X$ over $k$ has a up to isomorphism unique dualizing sheaf (EGA I, Hartshorne).
This dualizing sheaf $\omega_X$ comes with two striking properties:
(i) ...
- 6,006
7
votes
2
answers
1k
views
Beauville-Laszlo for schemes
For a commutative ring $A$ and $f\in A$ a non-zero divisor, the Beauville-Laszlo theorem gives a gluing statement for vector bundles on $A$ in terms of a vector bundle on $A\big[\frac{1}{f}\big]$, a ...
- 3,472
7
votes
3
answers
927
views
Lefschetz fixed-point theorem for the Frobenius map
Where can one find a proof of Lefschetz fixed-point theorem for the Frobenius map on elliptic curves over algebraic closures of $F_{p}$ ?
This could immediately follow if their coholomogies (for the ...
- 305
7
votes
1
answer
400
views
Does perfect fraction field imply perfect residue field?
Let $A$ be a local integral domain of characteristic $p$. Let $K$ be the fraction field and let $k$ be the residue field of $A$. If $K$ is perfect, is $k$ necessarily perfect?
Thoughts:
If $A$ is ...
- 428
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
7
votes
1
answer
615
views
Does Grothendieck's algebraization imply existence of colimits of schemes?
I am a little bit confused about two lemmas regarding Grothendieck's algebraization. Assume all algebras are defined over some field. Here is the short version of my question: Does Tag 09ZT ("...
- 5,901
7
votes
2
answers
827
views
$p$-torsion of an abelian variety of $p$-rank $0$
Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...
- 2,663
7
votes
2
answers
1k
views
Hochschild Kostant Rosenberg theorem for varieties in positive characteristic?
Is there is a known version of the HKR theorem as proved in say Swan's paper "Hochschild Cohomology of Quasiprojective Varieties" in positive characteristic? I assume something is known about this as ...
- 3,758
7
votes
1
answer
916
views
Are relative curves $X \to S$ determined by their fibers?
Consider relative curves $X \to S$, defined to be flat, integral, projective schemes of relative dimension 1 over $S$. When are these objects determined by their fibers?
So if $X,Y$ are $S$-schemes ...
- 1,338
7
votes
2
answers
327
views
How to understand the "boundary" of subscheme, as defined in "An elementary characterisation of Krull dimension"
In An elementary characterisation of Krull dimension and A short proof for the Krull dimension of a polynomial ring, Coquand, Lombardi, and Roy give an elementary characterization of Krull dimension, ...
- 1,142
7
votes
2
answers
513
views
Tameness for the Galois closure of a map of curves
Say we are working over some $K=\overline{K}$, of characteristic $p>0$. Let $\phi: Y\rightarrow X$ be a nonconstant map of smooth projective curves. To this map we can associate a map $\psi: Z\...
- 801
7
votes
3
answers
652
views
Irreducible "family" of relative effective divisors of a smooth morphism
Let $\pi:X\rightarrow Y$ be a smooth proper (assume projective if needed) morphism of schemes with $Y$ locally noetherian, and let $Z\subset X$ be an irreducible integral closed subscheme containing ...
- 1,811
7
votes
2
answers
1k
views
How does one compute induced representations for modular representations?
The set-up is this: Let $G$ be a finite group, and $H$ a subgroup. We are given an irreducible representation of $H, \rho: H\rightarrow GL_n(K)$ (I will notationally identify $\rho$ with its character)...
- 1,386
7
votes
1
answer
799
views
Liftability of Enriques Surfaces (from char. p to zero)
Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$.
We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...
- 839
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 ...
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
7
votes
1
answer
718
views
Ways to characterize supersingular primes?
I've read the definition, and it basically says p is a supersingular prime iff
the fundamental domain of a group generated by \Gamma(p) and a matrix ((0, 1), (-p, 0)) is rational.
And there's a ...
- 15.1k
7
votes
1
answer
899
views
Isotrivial families with non-zero Kodaira spencer map
Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...
- 171
7
votes
1
answer
298
views
Archimedean fibers "intersecting" curves on arithmetic surfaces
Let's fix a number field $K$ with its ring of integers $O_K$. Moreover consider an arithmetic surface $f:S\to \text{Spec } O_K$. For every archimedean place $\sigma$ in $K$, $K_\sigma$ is the ...
- 297
7
votes
1
answer
2k
views
(Mixed) Tate motives
Hi there,
in recent times I was reading texts about motives, and I want to ask
something about Tate motives which is not clear to me (as I came across
different definitions in different texts).
Let ...
- 4,605
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
7
votes
1
answer
398
views
Higher-dimensional Artin L-functions
I begin by clarifying that the "higher-dimensional" in my question refers to analogues of Artin L-functions over higher dimensional base schemes than $\mathrm{Spec}(\mathbb{Z})$.
Now for the set-up. ...
- 21.4k
7
votes
1
answer
540
views
Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?
The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...
- 5,422
7
votes
1
answer
588
views
Complex analytic space with no (positive dim.) subscheme ?
Is there an example of a complex analytic space $X$ that doesn't have any (not necessarily open or closed) positive dimensional subspace $Y$ which is analytically isomorphic to (the complex analytic ...
- 23.4k
7
votes
1
answer
452
views
Recovering the Zariski topology from the Zariski topology over an extension
Suppose $A$ is a $k$-algebra, with $k$ a field, and let $\ell$ be a field extension of $k$. Is there an easy way to see/recover $\mathrm{Spec}(A)$ in/from $\mathrm{Spec}(A \otimes_k \ell)$, using the ...
- 4,605
7
votes
1
answer
945
views
Examples of non-projective morphisms with projective fibres
Let $X\to S$ be a morphism of noetherian schemes such that, for all $s$ in $S$, the morphism $X_s\to $ Spec $k(s)$ is projective.
Then it doesn't follow that $X\to S$ is projective in general. In ...
- 71
7
votes
2
answers
536
views
What are the polynomial relations between these characteristic 2 "thetas" ?
Suppose $\ell=2m+1$, $m>0$. Define $[i]$ in $\mathbb{Z}/2\mathbb{Z}[[x]]$ to be $$\sum_{n\equiv i\mod l} x^{n^2}.$$ Note that $[0]=1$, and that $[i]=[j]$ whenever $\ell$ divides $i+j$ or $i-j$.
...
- 5,422
7
votes
0
answers
277
views
Is every normalization a blowup?
I asked this at math.stackexchange, but received no reply.
Is the normalization of a variety always a blowup along some coherent ideal sheaf? If not, I would like to see a concrete counter-example.
...
7
votes
0
answers
660
views
What is the left adjoint to base change of schemes?
Restriction of Scalars and Functoriality of Presheaves.
Let $\phi\colon R\longrightarrow S$ be a morphism of rings. There is associated to $\phi$ a natural functor from $\mathrm{Alg}_S$ to $\mathrm{...
- 11.8k
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 ...
- 6,006
7
votes
0
answers
387
views
Algebraic geometry "over the function field" of the base
This is vaguely similar to, but quite different from, this question.
In the above linked question the focus is on fields of large cardinality per se. Here we fix a base field $k$ (say algebraically ...
- 23.4k