All Questions
1,159 questions
1
vote
0
answers
104
views
Calculation of intersection multiplicity after the restricting to a fiber
Let $X\to\operatorname{Spec} \mathbb Z$ be an arithmetic surface which is projective, regular and integral. Let $D$ and $E$ two divisors intersecting at a point $x\in X$ that lies over the prime $p$. ...
- 321
2
votes
1
answer
210
views
Surjective étale map from simply connected curve over $\mathbb{C}$
Let $X$ be a simply connected algebraic curve over $\mathbb{C}$ and $f:X\rightarrow \mathbb{A}^1_{\mathbb{C}}$ is a surjective étale map.
Then is it true $f$ is finite?
All the domains of non finite ...
- 328
2
votes
1
answer
176
views
Isomorphisms $S^d(S^m(V)^*) \cong \Lambda^d(S^{m+d-1}(V)^*)$
$\DeclareMathOperator\SL{SL}$Let $K$ be an algebraically closed field. Let $V$ be a 2-dimensional vector space over $K$. The group $G=\SL_2(K)$ acts naturally on $V$ by left-multiplication on column ...
- 185
234
votes
16
answers
57k
views
What elementary problems can you solve with schemes?
I'm a graduate student who's been learning about schemes this year from the usual sources (e.g. Hartshorne, Eisenbud-Harris, Ravi Vakil's notes). I'm looking for some examples of elementary self-...
4
votes
0
answers
200
views
Questions about the fixed point functor $X^G$ of a $G$-scheme
Let $X$ a (locally Noetherian; but not sure if that's really matter) $k$-scheme, $G$ a $k$-group scheme acting on $X$ via morphism $a:X \times G \to X$.
The fixed point functor of $X$ (where $X$ is ...
- 6,006
2
votes
1
answer
285
views
Deligne-Lustzig varieties locally closed schemes
I have a couple of questions about basic properties of of Deligne-Lustzig varieties introduced in the seminal paper "Representations of Reductive Groups Over Finite Fields" [DL76].
The ...
- 6,006
2
votes
1
answer
179
views
Blowup formula for a morphism
Let $f: X\to S$ be a smooth projective morphism between smooth schemes over $\mathbb C$, $i: Z \to X$ a closed subscheme of codimension $c$, also smooth over $S$, and let $g: Y\to S$ be the blowup ...
5
votes
1
answer
267
views
Some questions on derived pull-back and push-forward functors of proper birational morphism of Noetherian quasi-separated schemes
Let $f: X \to Y$ be a proper birational morphism of Noetherian quasi-separated schemes. We have the derived pull-back $Lf^*: D(QCoh(Y))\to D(QCoh(X))$ (https://stacks.math.columbia.edu/tag/06YI) and ...
- 361
2
votes
0
answers
233
views
Representability of moduli problem of elliptic curves with complex multiplication
I'd like to know whether the moduli problem for elliptic curves with complex multiplication by a fixed imaginary quadratic number field $K$ (and with suitable level structure to be picked) is ...
- 91
0
votes
0
answers
118
views
Induced action on infinitesimal thickenings by an algebraic group
Let $X$ be an irreducible locally noetherian $k$-scheme (for $k$ any field), $G$ an algebraic group acting on $X$ via $a:G \times X \to X$ and $x \in X$ a closed point, which is by Zariski's lemma ...
- 6,006
4
votes
0
answers
135
views
Specialization map Chow groups preserves algebraic equivalence
Let $R$ be a discrete valuation ring with fraction field $K$ and residue field $k$.
Let $\pi\colon X\rightarrow \text{Spec}(R)$ be a smooth projective morphism with geometrically integral fibers.
In ...
- 984
2
votes
1
answer
200
views
Find stratification to decompose constructible sheaf to constant parts (example from Wikipedia)
I have a question about techniques used in determining the stratification over which a constructible sheaf falls into even constant pieces demonstrated on this example from Wikipedia.
Let $f:X = \text{...
- 6,006
2
votes
1
answer
186
views
Finite étale cover of factorial ring
Let $A$ be a regular factorial ring.
Consider $B=A[X]/(P)$ such that $B$ is finite étale over $A$. When do we have that $B$ is also factorial?
- 3,472
1
vote
0
answers
71
views
Explicit field extension for semistable models of curves
The paper arxiv:1211.4624 briefly summarizes the way to find a semistable model of a curve $X/K$ (the existence of the model is ensured by the Deligne-Mumford theorem). Specifically the author says ...
- 321
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
- 2,521
8
votes
1
answer
779
views
Connеcted components of irreducible algebraic varieties
I am wondering what is the possible (or maximum) number of connected components for an irreducible algebraic variety in $\mathbb R^n$ defined by a degree $d$ polynomial (i.e. hypersurface) in $\mathbb ...
- 185
3
votes
2
answers
374
views
Find a non-quasi-compact scheme s.t. all finitely generated + globally generated quasi-coherent modules are finitely globally generated
Closely related to this question in MSE, but the difference is that we will set $X$ to be scheme and $\mathcal{F}$ to be quasi-coherent.
Let $X$ be a locally ringed space. We say an $\mathcal{O}_X$-...
- 452
2
votes
0
answers
70
views
Irreducibility of Białynicki-Birula cells
Let $X\subset \mathbb{P}^n$ be a smooth complex projective variety, and consider a non-trivial action of $\mathbb{C}^*$ on $X$. For any connected fixed component $Y$ of the fixed point locus, we may ...
1
vote
0
answers
218
views
Interpretation of model theory in algebraic geometry
I found a paper Some applications of a model theoretic fact to (semi-) algebraic geometry by Lou van den Dries. In this paper, the author uses model theoretical methods to prove the completeness of ...
- 328
2
votes
0
answers
139
views
What are the categories of IND and PRO schemes?
below is a mathexchange question with no answers so I drop it here.
I have some difficulties to figure out what the category of IND-schemes and PRO-schemes are, in particualer the relations with ...
- 1,270
4
votes
1
answer
254
views
Frobenius and regular scheme
Let $X$ be a noetherian regular scheme over $\mathbb{F}_{p}$. Then by Kunz's theorem, the absolute Frobenius $F: X\rightarrow X$ is flat and integral. Can it be written as a projective limit of finite ...
- 3,472
2
votes
0
answers
113
views
Singularities of curves over DVRs with non-reduced special fibre
Let $R$ be a complete DVR of mixed characteristic with fraction field $K$ of characteristic $0$ and residue field $k$ of characteristic $p>0$. Suppose that $\mathcal{X}$ is a normal $R$-curve such ...
- 305
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
4
votes
0
answers
135
views
Nilpotent orbits in characteristic $0$ vs. positive characteristics
Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
- 2,751
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
- 679
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 64k
3
votes
1
answer
518
views
Classical $k$-prevarieties vs reduced $k$-schemes of finite type. What happens when $k$ is not algebraically closed?
$\def\cpvar{\mathsf{CPVar}}
\def\spvar{\mathsf{SPVar}}
\def\Spec{\operatorname{Spec}}
\def\class{\mathrm{class}}
\def\sO{\mathcal{O}}
\def\Hom{\operatorname{Hom}}$Let $k$ be a field. By classical $k$-...
1
vote
0
answers
52
views
Symmetric 0-dimensional schemes with generic Hilbert function and Grassmannians
I've came across this problem while thinking about some properties of fat schemes.
Let me give you an explicit (motivating) example:
We have $S=\mathbb{C}[x,y,z]$, the coordinate ring of $\mathbb{P}^2$...
- 1,343
4
votes
0
answers
183
views
Characters of finite fields - Reference request
Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
- 41
3
votes
0
answers
152
views
Locus where a family of cycles is rationally trivial is countable union of closed subvarieties?
Following up on this question which received a negative answer, I wonder if something weaker is true.
We work in the same set-up as the previous question. Let $B$ be a smooth quasi-projective variety ...
- 984
4
votes
0
answers
396
views
Non-Noetherian (classical) algebraic geometry
My starting point for this question is that, in a very classical sense, algebraic geometry is the study of solution spaces of systems of polynomial equations over an algebraically closed field. It is ...
- 365
3
votes
1
answer
388
views
How to compute the transfer maps for G-theory of Noetherian schemes
Let $k$ be a field and $R$ be the ring $k[x,xy,xy^2,xy^3]$. Let $X$ be $\operatorname{Spec}(R)$ and $\tilde{X}$ be the blow-up of $X$ along the maximal ideal $I$ of $R$ generated by $x,xy,xy^2,xy^3$.I ...
- 639
0
votes
0
answers
331
views
Smooth morphisms under base change, Qing Liu's proposition 4.3.38
I have a concern about the first assertion in the proof of proposition 4.3.38 of Qing liu's "Algebraic Geometry and Arithmetic Curves". Referring to smooth morphisms, he says "The ...
- 149
2
votes
0
answers
101
views
formal smoothness for henselian thickening
Assume that $A,I$ is an henselian pair over $R$ and $X$ is a smooth $R$ scheme. can we say that $X(A)\to X(A/I)$ is surjective? I know that this is true if $X$ is affine(or even quasi-projective) or ...
- 127
2
votes
2
answers
285
views
Dimension of Zariski closure of a locally closed subscheme
Let $S$ be a Dedekind scheme with function field $K=K(S)$ and $C$ a projective regular curve over $K$, so we can fix certain closed embedding $e:C \subset \mathbb{P}^n_K$.
Let compose this embedding ...
- 6,006
2
votes
0
answers
200
views
Proposition 4.3.8 Qing Liu about flat morphisms of schemes
I have a problem with a detail of Qing Liu's proof of Proposition 4.3.8 (pag. 137 of "Algebraic Geometry and Arithmetic Curves").
The statement is:
Let $Y$ be a scheme having only a finite ...
- 149
10
votes
1
answer
603
views
Isbell Duality and Dualizing Scheme Objects
I'm not sure if this question is too elementary for MO; nevertheless, I have seen many helpful discussions surrounding this topic here. I'm interested in studying the adjunction $\operatorname{Spec}\...
- 223
0
votes
1
answer
338
views
Schemes with open generic point
Let $X$ be any irreducible scheme with the property that the generic point $\eta$ of $X$ is an set open wrt underlying Zariski topology.
What can we say about the structure of such schemes? ...
- 6,006
0
votes
1
answer
336
views
Self-intersection of zero section of line bundle over elliptic base curve
Let $C$ be an elliptic curve over $k=\mathbb{C}$ and $\mathcal{L}$ a line bundle of degree $d$. It induces naturally a $\mathbb{A}^1$-fibration $L \to C$ where $L=\underline{\operatorname{Spec}} (\...
- 6,006
1
vote
0
answers
137
views
Locus where a family of cycles is rationally trivial is closed?
Let $B$ be a smooth quasi-projective variety over a field of characteristic zero.
Let $\pi\colon \mathcal{X} \rightarrow B$ be a smooth and projective morphism with geometrically integral fibres. Let $...
- 984
6
votes
1
answer
431
views
Existence of a reduced fiber implies generically reduced (Exercise III-74 from Geometry of Schemes)
This question deals with a concrete exercise from Geomerty of Schemes by Eisenbud and Harris but also moreover the general philosophy attacking typical problems in algebraic geometry of following ...
- 6,006
3
votes
1
answer
335
views
resolution property and perfect stacks
Recall that for a scheme $X$, it has the resolution property if every coherent sheaf $E$ on $X$, is the quotient of a finite locally free $\mathcal{O}_X$-module.
On the other hand, Ben-Zvi-Nadler-...
- 3,472
14
votes
3
answers
1k
views
Making the étale topos construction a fully faithful 2-functor from schemes to Grothendieck topoi
For nice topological spaces (say Haudorff spaces) $X$ and $Y$, there is a bijection between continuous maps $X\to Y$ and isomorphism classes of geometric morphisms $\mathrm{Sh}(X)\to \mathrm{Sh}(Y)$.
...
- 143
5
votes
1
answer
160
views
Derived subalgebra of a restricted Lie algebra
Let $L$ be a restricted Lie algebra over a field of characteristic $p>0$. It is well known that the commutator subalgebra $[L,L]$ is not necessarily restricted (that is, closed under the $p$-map).
...
- 630
1
vote
0
answers
169
views
Étaleness of Isom scheme $\operatorname{Isom}_S(X,Y)$
Let $S$ be a quasi-projective scheme over base field $k$ and $X, Y$ two finite étale schemes over $S$ and assume we are in situation we know that the isom space $\operatorname{Isom}_S(X,Y)$ exists as ...
- 6,006
4
votes
0
answers
286
views
Dévissage for a stratification in Grothendieck's Esquisse d’un programme: What is it?
I have a question about the the intuition of what Grothendieck proposed as tame topology in his "Esquisse d’un programme" as a "better suited" geometric structure in order to have ...
- 6,006
3
votes
0
answers
267
views
Does the orbit in geometric invariant theory have natural scheme structure
Let $X$ be a scheme locally of finite type over a sufficiently "nice" base scheme $S$ (nice in sense of reasonable "finiteness conditions", for sake of simplicity let's start as ...
- 6,006
3
votes
0
answers
251
views
Grothendieck's vs Gruson and Raynaud's dévissages
In which sense is Gruson and Raynaud's relative dévissage an "extension/ generalization" of Grothendieck's "classical" dévissage concept except that the first one works in "...
- 6,006
0
votes
0
answers
109
views
Affine scheme over ring of meromorphic functions with finite poles on unit circle
I am looking into the set $S$ of meromorphic functions with a finite number of poles on the unit circle (i.e., rational functions with poles on the unit circle). I assume that any $h\in S$ has the ...
- 91
1
vote
1
answer
218
views
Dimension of Zariski closure of a closed point of generic fiber
Let $S= \operatorname{Spec} A$ be a local Dedekind scheme of dimension $1$, (eg spectrum of localization at a prime of the ring of integers of a number field). Let $s \in S$ it's unique closed point ...
- 6,006