All Questions
1,159 questions
6
votes
0
answers
205
views
Quadric contain tangent variety of a curve in $\mathbb{P}^5$
Let $Q^4 \subset \mathbb{P}^5$ a smooth quadric over $\mathbb{C}$
which is via Pluecker map isomorphic
to Grassmannian of lines $\mathbb{G}(1,\mathbb{P}^3)$
in $\mathbb{P}^3$.
Consider following ...
- 619
6
votes
0
answers
191
views
Computing the automorphism scheme of projective space
$\newcommand{\Spec}{\operatorname{Spec}}$I'm trying to understand why $PGL_{n}$ is the automorphism scheme of $\mathbb{P}^{n-1}_{\mathbb{Z}}$.
In Conrad's Reductive Group Schemes, the following ...
- 605
6
votes
0
answers
130
views
Epimorphisms and quotients in Sch versus $\mathrm{Sh}(\mathrm{Ring}^{\mathrm{op}},\mathrm{Zar})$
$\DeclareMathOperator\Ring{Ring}\DeclareMathOperator\Aff{Aff}\DeclareMathOperator\op{op}\DeclareMathOperator\Sch{Sch}\DeclareMathOperator\Zar{Zar}$The category of schemes sits, fully faithfully, in ...
- 775
6
votes
0
answers
201
views
Does a universal homeomorphism descend ampleness?
All schemes are quasicompact and separated. If $\pi:X\to Y$ is an affine morphism and $L$ is an ample invertible $\mathscr{O}_Y$-module, then $\pi^*L$ is ample on $X$; we say that $\pi$ descends ...
- 19.6k
6
votes
0
answers
173
views
Orlik-Solomon algebra and hyperplane complements in positive characteristic
Let $k$ be an algebraically closed field of characteristic $p\geq 0$, $\underline H:=\{H_1,\dots, H_m\}$ a set of hyperplanes in $\mathbb A_k^n$ and $X:=\mathbb A^n-(\bigcup H_i)$.
Given a ring $R$ ...
- 728
6
votes
0
answers
113
views
$S_n$-invariant polynomials on the dual of reflection representation
Let $W=S_n$ (the symmetric group) acting on $V=k^n$ via permutation of the indices, where $k$ is an algebraically closed field. Closely related to this are the reflection (sub-)representation $V_0=\{ (...
- 1,336
6
votes
0
answers
201
views
Is an algebraic space having a monomorphism to an affine scheme a scheme?
Definition
An algebraic space is a functor $X$ from the opposite of the category of commutative rings to the category of sets satisfying the following conditions:
The functor $X$ is a (large) etale ...
- 368
6
votes
0
answers
111
views
Relation between $\mathrm{Proj}(A[tI])$ and $\mathrm{Proj}(A[tJ])$ for ideals $I$ and $J$ of $A$ with $I^2 \subset J \subset I$
Let $k$ be a field and $A$ a noetherian local $k$-algebra.
Let $I$ and $J$ be two ideals of $A$ with $I^2 \subset J \subset I$.
Let $A[tI] = \bigoplus\limits_{i\geq 0} t^i I^i$ and $A[tJ] = \...
- 523
6
votes
0
answers
421
views
Where is the local structure theory of étale morphisms needed?
In Stacks 02GH it is mentioned étale morphisms are locally standard étale. This seems to be the analogue of the local form of local diffeomorphisms in the smooth category. In the latter, local ...
- 10.5k
6
votes
0
answers
343
views
Are all stabilizer groups of the co-adjoint action smooth?
Let $k$ be a (non-archimedean) local field of positive characteristic $p$ and $\mathfrak{n}$ be any finite-dimensional nilpotent Lie algebra over $k$ with nilpotence length $l<p$. It is well-known ...
- 1,702
6
votes
0
answers
467
views
Torsionfree crystalline cohomology implies torsionfree etale cohomology?
Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$. Let $W=W(k)$ be the ring of Witt vectors of $k$.
Assume that the crystalline cohomology $H^2_{...
- 91
6
votes
0
answers
254
views
Is the stack of varieties with a big line bundle algebraic
In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...
- 171
6
votes
0
answers
239
views
Can we classify reductive group schemes over curves
Let $C$ be a smooth quasi-projective connected curve over the complex numbers.
Can one classify all reductive group schemes over $C$?
Certainly, you have the trivial ones (coming from pulling-back ...
- 61
6
votes
0
answers
400
views
Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski
Context
In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...
- 1,611
6
votes
0
answers
224
views
If $X,Y$ are regular and of finite type over $S$, can $X\times _S Y$ be embedded into a regular $S$-scheme?
It seems to be well-known (see Is there an example of a variety over the complex numbers with no embedding into a smooth variety?) that a general finite type $S$-scheme does not embedd into a regular $...
- 16.9k
6
votes
0
answers
436
views
Do there exist weak Lefschetz-type statements that were proved for varieties over complex numbers, but were not proved in finite characteristic?
As far as I understood the situation (reading section 3.5B of Lazarsfeld's "Positivity in algebraic geometry" and also some of the references), some of weak Lefschetz-type statements known rely on '...
- 16.9k
6
votes
0
answers
305
views
Does one need l to be invertible in S in order to consider the l-adic cohomology of S-schemes and motives?
When Ivorra defines the $l$-adic realization of $S$-motives (i.e. of Voevodsky's motives over a scheme $S$) he demands $l$ to be invertible in $S$. Is this condition really necessary? What happens ...
- 16.9k
6
votes
0
answers
456
views
On periods of algebraic integers modulo rational primes
I run, somewhat indirectly, into the following problem and I have no hints where to look in the literature in search for answers or clues.
Let $K$ be a number field, which we may assume Galois if it ...
- 797
5
votes
4
answers
1k
views
Stable points in GIT: geometric picture
Is there a geometric picture justifying why "stable points" in GIT (Geometric Invariant Theory) are actually called "stable"? Stable, with respect to which effect? (Here, I have ...
- 619
5
votes
2
answers
1k
views
When are valuative criteria useful?
We have valuative criteria for properness and universal closedness of morphisms of schemes. I would agree that these criteria shed some light on the geometric nature of these morphisms. However, are ...
user140084
5
votes
2
answers
1k
views
Weil Conjectures for Grassmannians
To establish the Weil conjectures for $n$-dimensional projective space over a finite field is elementary. Does there exist a simple direct proof of the conjectures for finite field Grassmannians?
- 1,462
5
votes
3
answers
1k
views
Affine morphisms in different settings coincide?
1.If we identify two schemes $X$ and $Y$ as two presheaves of set on category of affine schemes.($Aff:=\text{CRing}^{op}$) If there is a morphism as natural transformations $f:X\to Y$, then, how to ...
- 1,305
5
votes
3
answers
253
views
Subset of Spec(A) realized as inverse image of some Spec(B)
Let $A$ be a (commutative) ring and $U$ be an arbitrary subset of $\mathrm{Spec}(A)$. Do there exist a ring $B$ and a ring homomorphism $\varphi\colon A\to B$ such that $\varphi^{-1}(\mathrm{Spec}(B))=...
- 73
5
votes
3
answers
739
views
Smoothness of hyperplane sections
Suppose $X\subset \mathbb{P}^n$ is a smooth hypersurface defined over $\mathbb{Q}$. For a "generic" prime $p$, what can be said about the set of hyperplanes $H$ in $\mathbb{P}^n(\mathbb{F}_p)$ for ...
- 13.1k
5
votes
1
answer
405
views
schemes having same reduced underlying space and same cotangent sheaf are isomorphic?
Let $X,Y$ be two closed subschemes of $\mathbb{A}^n_{\mathbb{C}}$ for some fixed $n$. Assume that I have an isomorphism of the underlying reduced spaces:
$$f : X_\text{red} \stackrel{\sim}\...
- 7,320
5
votes
1
answer
681
views
For a morphism f from a regular scheme, should there exist an open subscheme U of the target such that fibre of f at each point of U is regular
For a finite type morphism $f:X\to S$, $X$ is a regular scheme, should there always exist an open (dense) subscheme $U\subset S$ such that the fibre of $f$ at each Zariski point of $U$ is regular? All ...
- 16.9k
5
votes
2
answers
3k
views
morphisms of affine schemes question
So, in chapter 2, section 2 of Hartshorne, (prop 2.3), he describes how if $\varphi : A\rightarrow B$ is a homomorphism of rings, then you get a morphism of (affine schemes):
$\newcommand{\Spec}{\...
- 10.7k
5
votes
2
answers
2k
views
Coproducts of schemes ("gluing construction") ?
In this MO question it was raised the topic of "gluing constructions" in the category of schemes. I understand the phrase "gluing two schemes along maps to them" as "there exists a coproduct of the ...
- 23.4k
5
votes
2
answers
720
views
Relationship between Line Bundles with isomorphic ring of sections
Suppose two positive holomorphic line bundles $L_1 \to X_1, L_2\to X_2$ over two projective complex manifold $X_1, X_2$ have isomorphic ring of sections $R=R_1=R_2$ where $R_i=\oplus_{m=0}^\infty\...
user2529
5
votes
1
answer
429
views
Proper morphisms that are closed immersion on a fiber
I am interested in a morphism of $S$-schemes $f : X \to Y$ such that $X$ and $Y$ are proper over $S$ and there is some $s_0 \in S$ such that $f : X_{s_0} \to Y_{s_0}$ is a closed immersion. Is it true ...
- 3,730
5
votes
2
answers
365
views
Existence of affine hulls
(This question is inspired by Matthieu Romagny's answer to my previous question about base change properties of affine hulls.)
Given a scheme $S$, it is well-known (cf. EGA I.9.1.21) that the ...
- 6,700
5
votes
1
answer
583
views
$H^1(X, GL(n, \mathcal{O}_X))$ and Vector Bundles
Let $X$ be a nice space: a manifold, a variety over a field, or so on. We know that line bundles on $X$ up to isomorphisms are given by $H^1(X,\mathcal{O}_X^*)$.
Can it be generalized to higher rankal ...
- 485
5
votes
1
answer
1k
views
Minimal Model Program for surfaces over algebraically closed fields of characteristic p
Let $k$ be an algebraically closed field of characteristic $p>0$.
I have been trying to find out unsuccessfully if there is a mmp for algebraic surfaces over $k$. I know minimal surfaces are ...
- 2,215
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
5
votes
1
answer
829
views
Can the functor of the points of a scheme be characterized by its values on subcategories of the affine schemes?
A scheme is equivalent to a functor $\mathcal{F}:\textbf{AffSchemes} \rightarrow \textbf{Set}$ such that it admits a cover of affine schemes and is a sheaf of rings on the Zariski site.
Suppose $\...
- 1,270
5
votes
2
answers
462
views
Connectedness of Quot schemes
Let $X$ be a connected projective scheme over $\mathbb{C}$ and $E$ a coherent sheaf on $X$. Consider the Quot scheme $\operatorname{Quot}_X(E,P)$ of quotients of $E$ of fixed Hilbert polynomial $P$. ...
- 51
5
votes
2
answers
1k
views
trying to understand the support of the sheaf of relative differentials
So I'm trying to understand a proof of Belyi's theorem from http://eprints.soton.ac.uk/29785/1/b45h1koe.pdf
specifically lemma 3.4.
The setup is as follows: Let $X/\mathbb{C}$ be a curve, and let $t ...
- 10.7k
5
votes
1
answer
1k
views
How to compute cohomology groups of a closed subscheme Z of projective space, defined by a homogeneous polynomial of degree d?
Let $Z = \mathrm{Proj}\,k[x_{0},x_{1},\ldots,x_{r}]/f$ be a closed subscheme of degree $d$, i.e., $f$ is a homogeneous polynomial of degree $d$, and $\mathcal{O}_{Z}(1)=i^{*}\mathcal{O}_\mathbb{P}(1)$....
- 63
5
votes
1
answer
686
views
What is the natural motivation for smooth/étale/unramified morphisms restricting from formally smooth/étale/unramified morphisms?
(I asked it first in MathStackExchange but I haven't get an answer yet)
Smooth (resp. étale) morphisms are just locally finitely presented + formally smooth (resp. étale) morphisms.
For unramified ...
- 452
5
votes
1
answer
368
views
Mapping scheme from a proper variety
Let $X$ be a proper scheme over a field $k$. Let $T$ be a scheme over $k$. Is it true that morphisms $T \times X \to \mathbb{A}^1$ are in bijection with morphisms $T \to \Gamma (X, \mathcal{O}_X)$ (...
- 5,562
5
votes
1
answer
514
views
Lifting torsors in characteristic $p$ to characteristic zero
Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...
- 151
5
votes
1
answer
401
views
Topological space associated to a real or complex scheme
Hi, consider a scheme $X$ of finite type over $\mathbb{R}$ (or $\mathbb{C}$). In Hartshorne's appendix B on 'transcendental methods' it is shortly mentioned how to assign a reasonable topological ...
- 103
5
votes
1
answer
1k
views
Model of a scheme regular over the generic point
Let all schemes below be excellent.
Let $X_0$ be a regular (not necessarily smooth, projective) non-empty scheme of finite type over the generic point $\eta$ of a regular connected scheme $S$. As the ...
- 16.9k
5
votes
1
answer
344
views
Surjection onto endomorphisms of multiplicative group of a field
Let $k$ be an algebraically closed field of characteristic $p > 0$. Denote by $k^\times$ the multiplicative group of $k$. There is a ring homomorphism given by restriction to $k^\times$
$$
\mathbb{...
- 53
5
votes
1
answer
288
views
Origin of the name Trace resp Integral symbol for the trace map of Dualizing Sheaf
Let $X \subset \mathbb{P}^n_k$ be a normal projective subscheme over $k$ of dimension $n$. The dualizing sheaf is in context of Serre duality a pair $(\omega_X,t)$ (which exists in that case) ...
- 6,016
5
votes
1
answer
690
views
Gluing two points in an affine algebraic variety
Let $k$ be an algebraically closed field, $A$ a finitely generated $k$-algebra. Let $x,y$ be two distinct closed points of $\mathrm{Spec}(A)$. Is there an affine $k$-scheme of finite type obtained ...
- 796
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
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
5
votes
1
answer
483
views
What is the spectral interpretation of the arithmetic zeta function?
I recently stumbled upon the slides of a talk given by Kedlaya, in which the following appears:
For $X$ of finite type over $F_q$, a Weil cohomology theory, mapping $X$ to
certain vector spaces $...
- 457
5
votes
1
answer
989
views
Spreading out flat morphisms of schemes
In EGA IV, Chapter 8, projective systems of schemes (and morphisms between them) are considered. Let $(S_{\lambda})_{\lambda \in L}$ be a projective system of schemes and let $S$ be the projective ...
- 4,745