All Questions
1,159 questions
1
vote
1
answer
488
views
not locally of finite type implies not universally closed?
A proper morphism is defined as separated, of finite type and universally closed. I wonder if the requirement of being of finite type is superfluous, i.e. if being not of finite type implies not ...
- 4,070
1
vote
1
answer
700
views
CM liftings of abelian varieties and liftings of Frobenius
It is well-known that if $A$ is an ordinary abelian variety over a finite perfect field $ k$ of characteristic $ p>0$ and $ W=W(k)$ is the ring of Witt vectors over $ k$, then the canonical ...
- 395
1
vote
2
answers
393
views
Could the Kunneth decomposition of a motif depend on the choice of $l$?
Suppose that over some (algebraically closed) field $K$ of characteristic $p>0$ we have: numerical equivalence of cycles coincides with homological one with respect to ${\mathbb{Q}}_{l}$ and ${\...
- 16.9k
1
vote
1
answer
366
views
Proj construction and nilpotent homogenous elements in graded ring
Let $A= \bigoplus_{n \ge 0} A_n$ be a commutative Noetherian graded ring and $f \in A_d$ a nonzero homogeneous element of degree $d>0$. The natural ring map $q:A \to A/(f)$ induces a well defined ...
- 6,006
1
vote
1
answer
88
views
Generic finite subgroups, associated to small finite fields, of reductive algebraic groups
Theorem 1 of [LS] Liebeck and Seitz - On the subgroup structure of exceptional groups says:
Let $X = X(q)$ be a quasisimple group of Lie type in characteristic $p$, and suppose that $X < G$, where ...
- 12.9k
1
vote
1
answer
2k
views
Pullback map on global sections surjective
Let $X,Y$ be two irreducible, projective $k$-schemes. $k$ is assumed to be algeraically closed. Consider a dominant morphism $f: X \to Y$ between them which is not an isomorphism!
Let $\mathcal{L}$ ...
- 6,006
1
vote
1
answer
199
views
Projective subvarieties of blow-ups of affine varieties
Let $X$ be an integral affine scheme of finite type over a field $k$. Let $Y\subset X$ be an integral closed subscheme of codimension $n>0$. We blow up $X$ along $Y$ and get a $k$-scheme $X'$. Is ...
- 231
1
vote
2
answers
321
views
Embeddings of fields and rational points
Let $S$ be a irreducible scheme over a field $k$ (for example a smooth projective curve over algebraically closed field). Denote by $k(S)$ its field of fractions. Let $K$ be a(n algebraically closed) ...
- 2,305
1
vote
1
answer
374
views
Automorphism group of fiber products of schemes
Let $A \mapsto S$ and $B \mapsto S$ be two schemes over the scheme $S$. Is there a connection between the automorphism group of the scheme $A \otimes_{S} B$ and the automorphism groups of $A$ and $B$ ?...
- 4,605
1
vote
1
answer
187
views
Conjugate surfaces: informations about the orbits
Consider a complex algebraic variety $X$ (namely a $\mathbb C$-scheme, of finite type, geometrically integral and separated); if $\sigma\in\textrm{aut}(\mathbb C)$, then is well defined the complex ...
- 1,237
1
vote
1
answer
358
views
Proper morphisms: Lie groups vs. group schemes
A Lie group can (often) be recovered as the $\mathbb{R}$-points of a group scheme. I am wondering if this parallelism carries over to proper actions.
In particular, let $G$ be a Lie group acting on a ...
- 1,211
1
vote
1
answer
338
views
Group scheme of infinite dimensional linear groups ?
Hi there,
I know there are fairly straightforward ways to write down the schemes of infinite dimensional projective spaces (not restricting myself to only countable dimensions), but what happens with ...
- 4,605
1
vote
1
answer
211
views
Characterize descents of geometric finite étale cover by means of homotopy exact sequence
Let $X/k$ be a geometrically connected $k$-variety (=separated of finite type, esp quasi-compact; the base field $k$ assumed to be separable, so $\overline{k}=k^{\text{sep}}$), $\overline{X} := X \...
- 6,006
1
vote
1
answer
591
views
Argument for non-existence of elliptic curve over $\mathbb{C}[t, t^{-1}]$
I have a couple of questions about this answer by Noam D. Elkies showing that there exist no elliptic curve $E$ over $\mathbb{C}[t, t^{-1}]$ having nonconstant $j_E$-invariant.
The strategy is to ...
- 6,006
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 9,501
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
1
vote
1
answer
1k
views
Finiteness of the integral closure of an integral domain in its field of fractions
I've just started reading John Milne's book ''Etale Cohomology". Prop. 1.1 of Sec 1 in Ch1 reads as
follows: If $X$ is a normal scheme and $X'\to X$ is its normalization in a certain finite ...
1
vote
1
answer
121
views
Functorial description of a certain subgroup scheme
We work with schemes over an arbitrary field $k$. Let $X$ be a scheme, and $G$ a group scheme acting on $X$. Let $Y\subseteq X$ be a locally closed subscheme. Consider the following functor $N$: for ...
- 95
1
vote
1
answer
241
views
locally closed orbits in metric Hausdorff topology
I learned the following fact from Bruhat and Tits's paper "Homomorphismes “abstraits” de groupes algebriques simples" Section 3.18 that
Let $k$ be a local field. Suppose that a $k$-group $H$ acts $k$...
- 1,702
1
vote
1
answer
279
views
l-adic local system. on hensel schemes
Let $k$ be a field, $\ell$ a prime different from the characteristic.
If I take $S$ a closed subscheme of $Y$, which is a $k$-scheme of finite type, is it true that any $\mathbb{Z}_{\ell}$-local ...
- 3,472
1
vote
1
answer
217
views
On functors which are generically representable
Let $F$ be a set-valued (contravariant) functor on the category of schemes. Let $F_{\mathbb Q}$ be the associated functor on the category of schemes over $\mathbb Q$.
Suppose that $F_{\mathbb Q}$ is ...
- 11
1
vote
2
answers
374
views
When the contraction is a morphism defined over $\overline{\mathbb Q}$
Suppose that $S$ is a complex projective surface defined over $\overline{\mathbb Q}$, namely there exists a surface $S_{\overline{\mathbb Q}}$ over $\overline{\mathbb Q}$ such that:
$$S_{\overline{\...
- 1,237
1
vote
1
answer
535
views
Examples of Quot schemes
I'm studying Quot schemes, that I denote with $Quot_{N,X,P}$, with $N \in \mathbb{Z}$, $X \subset \mathbb{P}^d$ and $P \in \mathbb{Q}[t]$. So, I'm looking for explicit examples of Quot schemes. Could ...
- 243
1
vote
1
answer
304
views
Restriction of Proj S to D(f) is isomorphic to Spec S_{(f)}
$S$ is a graded ring (over non-negative integers), $f \in S_{+}$ is a homogeneous element of positive degree, $D(f)$ the elements of Proj $S$ not containing $f$. I don't see the bijection between $D(f)...
- 2,857
1
vote
2
answers
563
views
morphism of schemes that is closed at topological space level
Suppose $X\stackrel f\to Y$ be a morphism of finite type $k$-schemes, where $k$ is a field; for the time being let me say that $k$ is algebraically closed.
Then one knows that $f$ takes $k$-valued ...
- 11
1
vote
1
answer
203
views
Reduction step to $k=\bar{k}$ in the proof of rigidity lemma
I do not understand the following proof in the paper Abelian varieties by Edixhoven, van der Geert, and Moonen:
(1.12) Rigidity Lemma. Let $X$, $Y$ and $Z$ be algebraic varieties over a field $k$. ...
- 6,006
1
vote
1
answer
163
views
Arithmetic ampleness and scalings of the metric
Let $\overline L= (L, h)$ be a hermitian $C^
\infty$ line bundle on an arithmetic variety $X\to\operatorname{Spec }\mathbb Z$ (I am reasoning in terms of higher Arakelov geometry, like in Gillet & ...
- 321
1
vote
1
answer
730
views
Intuition behind formal neighborhood and local ring and formal power series
In The Geometry of Schemes by David Eisenbud and Joe Harris, on page 57, there is an explanation on "node" of a plane curve. The book says that, a curve $X\subseteq \mathbb A_{\mathbb C}^2$ ...
- 1,755
1
vote
1
answer
166
views
Does a morphism of etale sheaves restricting to a closed subscheme $Z$ induce a morphism of their subsheaves of sections supported on $Z$?
Let $X$ be a locally Noetherian scheme and $i:Z\to X$ be an immersion of closed subschemes.
Let $\mathcal{F},\mathcal{G}$ be two etale abelian sheaves over $X_{et}$.
We can define the subsheaf $\...
- 452
1
vote
1
answer
1k
views
Injectivity of the cohomology map associated to the pullback of line bundles
Let $f:X\to Y$ be a flat, surjective, smooth morphism between smooth algebraic varieties (over $\mathbb C$). We assume that $f$ has relative dimension $n$ and we assume also that $\dim Y\ge 2$ (just ...
- 321
1
vote
1
answer
646
views
Affine cone example
Consider the complete intersection ideal ${\displaystyle (f,g_{1},g_{2},g_{3})\subset \mathbb {C} [x_{0},\ldots ,x_{n}]}$ and let $X$ be a projective variety defined by the (product) ideal sheaf ${\...
- 6,006
1
vote
1
answer
543
views
Infinite residue field extensions and algebraic closure of residue fields
Let $X$ be a $K$-scheme of finite type over a field $K$, let $L$ be an extension field of $K$, let $X_L := L \times_K X$, and let $p:X_L \rightarrow X$ be the projection. For each $x \in X_L$ we get ...
- 313
1
vote
0
answers
89
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
- 6,006
1
vote
0
answers
109
views
L.c.i locus of Hilbert scheme of points on singular varieties
Let $X$ be an algebraic variety over $\mathbb{C}$. What can we say about the l.c.i. locus of $\text{Hilb}^n(X)$?
When $X$ is smooth, it is well-known that the l.c.i. locus of $\text{Hilb}^n(X)$ is ...
- 385
1
vote
0
answers
57
views
Discrepancy of general element of linear system
Let $X$ be a normal scheme and $|D|$ a linear system on $X$.
In "Singularity of Minimal Model Program" by Janos kollar p249, it says,
If $X$ is a variety over $\mathbb{C}$, and $E_j$ ...
- 328
1
vote
0
answers
70
views
Descent of $G$-invariant formal system of parameters using GAGF
Let $R=(R,\mathfrak{m})$ be a comm local regular ring of char $\neq 2$ (ie $2 \neq 0$ in $R$) with maximal ideal $\mathfrak{m}$ of (Krull) dimension $2$, ie $R$ admits system of parameters $x,y \in \...
- 6,006
1
vote
0
answers
117
views
Quotient of K3 surface: complex vs positive characteristic
Let $f: X \to X$ be a non-symplectic automorphism of finite order of complex projective K3 surface $X$. (Recall: Non-symplectic means that the induced action on $H(X,K_X)=H^0(X, \Omega_X^2)$ is not ...
- 6,006
1
vote
0
answers
219
views
Quotient of K3 surfaces by non-symplectic automorphism of finite order
Let $X$ be a $K3$ surface and $f: X \to X$ a non-symplectic morphism (ie non symplectic in sense of that that the induced action on $H(X,K_X=H^0(X, \Omega_X^2)$ is not trivial) of finite order.
...
- 6,006
1
vote
0
answers
84
views
Relation between quot scheme of birational curve
I am very new to algebraic geometry. Currently reading about Hilbert and quot scheme. I want to know more about the structure and properties of Hilbert and quot schemes over curves. My question is the ...
- 629
1
vote
0
answers
161
views
Special elliptic pencil of an Enriques surface (arguments in a proof)
I have a couple of questions about arguments in the proof of Lemma 2.6 (see absol page 199, rel p 9) from Shigeyuki Kondo's paper Enriques surfaces with finite automorphism groups:
The setup: Let $Y$ ...
- 6,006
1
vote
0
answers
82
views
Behavior of translation functors in characteristic $p$
Let $G$ be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic $p>0$, and let $\mathfrak g$ be the Lie algebra of $G$. Let $U_\chi(\mathfrak g)$ ...
- 2,974
1
vote
0
answers
178
views
Prop 1.3 in "Birational geometry of algebraic varieties": specialization of rational curves
I have a couple of questions about some arguments in proof of Proposition 1.3 from Birational geometry of algebraic varieties by Kollár and Mori (p 8):
Proposition 1.3. [Abh56, Prop. 4] Let $X$ be ...
- 6,006
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
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
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
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
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
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
1
vote
0
answers
98
views
Adjunction correspondence for Blow up of double point
Let $C$ a curve over an algebr closed field $k$ with a singular double point singularity at $x$ and $\pi: C' \to C$ the blowup in $x$ and let $x_1,x_2 \in C'$ be the two points over $x$.
Why holds for ...
- 6,006
1
vote
0
answers
50
views
Do parabolic/Levi pairs admit dynamic descriptions over disconnected base?
In Gille, Thm. 7.3.1, it is proven that given a reductive group scheme $G \to S$ over a connected base $S$, every parabolic-Levi pair $(P, L)$ over $S$ admits a dynamic description, i.e. is of the ...
- 605