Questions tagged [schemes]

The first purpose of schemes theory is the geometrical study of solutions of algebraic systems of equations, not only over the real/complex numbers, but also over integer numbers (and more generally over any commutative ring with 1). It was finalized by Alexandre Grothendieck, during the 1950s and the 1960s.

Filter by
Sorted by
Tagged with
2
votes
0answers
84 views

An injection from curve to projective plane is subscheme inclusion

Let $X$ be a connected scheme, $X\rightarrow \mathrm{Spec}\,\mathbb{C}$ be a morphism of finite type and relative dimension 1. Assume that there is a $\mathbb{C}$-morphism $f:X\rightarrow \mathbb{P}^2$...
4
votes
1answer
262 views

Theorem on formal functions and cohomological flatness

Let $f:X\rightarrow S$ be a proper morphism of schemes with Noetherian target. The theorem on formal functions says that for any point $s\in S$ there is an isomorphism between inverse limits of $(f_*...
3
votes
1answer
232 views

Given a semi-abelian scheme, is the set of points such that the fibres are abelian varities open?

Let $\pi:\mathcal{A}\rightarrow C$ be a semi-abelian scheme, i.e. $\mathcal{A}$ is a smooth separated commutative group scheme over $C$ via $\pi$ with geometrically connected fibres, such that each ...
3
votes
0answers
82 views

Morphisms such that the inverse image of every affine open is contained in an affine open

Is there a name/description in standard terms of the class of morphisms of schemes defined by the following property: the inverse image of any affine open is contained in an affine open? It should ...
3
votes
0answers
98 views

Global functions on a flat proper family

Let $R$ be an integral domain. Let $f:X\rightarrow \mathrm{Spec}\,R$ be a flat proper morphism of schemes. Is it possible that $O_X(X)$ is not a flat $R$-module?
3
votes
0answers
260 views

Irreducible Smooth Proper one-dimensional Schemes isomorphic to $\mathbb{P}^1$

I have a curious question about an argument/hint given in following thread: https://math.stackexchange.com/questions/3062986/irreducible-smooth-proper-one-dimensional-mathbbz-schemes The OP asked if ...
1
vote
1answer
127 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 ...
8
votes
1answer
595 views

Why is, for a group scheme of finite type, “smooth” (resp. irreducible) equivalent to “geometrically reduced” (resp. geometrically irreducible)?

I have some questions about two statements from Bosch's "Algebraic Geometry and Commutative Algebra" about algebraic varieties (page 479). Since I still don't have the permission to add images I quote ...
20
votes
1answer
739 views

Why would one “attempt” to define points of a motive as $\operatorname{Ext}^1(\mathbb{Q}(0),M)$?

I'm a novice when it comes to motives. (I've read multiple introductory texts.) I'm attempting to read Galois Theory and Diophantine geometry by Minhyong Kim. In it, he says that "One might attempt, ...
1
vote
0answers
100 views

Valuative criterion over non-locally Noetherian base

Let $X$ be an irreducible scheme and $f:X\rightarrow S$ be a morphism of finite type. Let $\eta$ be the generic point of $X$. Assume that for any (not necessarily discrete) valuation ring $A \subset K=...
2
votes
0answers
90 views

Finite Group acting on a Quasiprojective Scheme [closed]

I was trying to do this problem. I was able to proove it in the case where X embeds in an open affine of $\mathbb{P}^n_k$, but I have no idea about how to proceed in the general case. In particular I ...
1
vote
0answers
51 views

Schemes for conditional distributions (monads)

(Note: This is a heuristic question. I'm trying to work out if this idea makes sense. I don't have much background in this area, so apologies if I'm wide of the mark.) Suppose you have a monad ...
3
votes
1answer
446 views

Diagonal is representable then any morphism is representable

Ariyan Javanpeykar said here in comments that, If the diagonal is representable, then isn't any morphism $S\rightarrow \mathcal{X}$ with $S$ a scheme representable? I could not find the statement (...
7
votes
1answer
657 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 ...
8
votes
1answer
556 views

Are higher etale homotopy groups topological groups in a natural way?

Since etale fundamental group of a scheme $X$ is the group of natural automorphisms of the fibre functor of the category of finite etale covers of $X$, it comes with structure of a topological group. ...
1
vote
1answer
590 views

Finiteness of surjective etale morphisms

Is every surjective etale morphism from a connected separated scheme to $A^n_{\mathbb{C}}$ of finite type? Is it finite? We use Stacks project's definitions. EDIT: From Jason Starr's answer, we ...
1
vote
0answers
104 views

Quasi-compactness of irreducible separated scheme locally of finite type

Is an irreducible separated scheme locally of finite type necessarily quasi-compact?
7
votes
0answers
138 views

Invariants of etale topological type that are not homotopy invariants

Artin--Mazur theory attaches etale homotopy type to reasonable schemes. Associated to this homotopy type are certain invariants of the scheme, such as etale fundamental group and higher homotopy ...
5
votes
0answers
191 views

Cohomology groups on small fppf site and small etale site are not the same

Let $F$ be a quasi-coherent sheaf on a scheme $X$. Is there an example where cohomology groups of $F$ on small fppf site of $X$ and small etale site of $X$ are not isomorphic?
5
votes
0answers
289 views

Basic questions about crystals and Grothendieck connections

I have a few basic questions about Grothendieck connections and crystals. I know it's bad practice to ask a bunch of different questions at once, however I feel they naturally come bundled together. ...
11
votes
2answers
1k views

Is a scheme Noetherian if its topological space and its stalks are?

Is a scheme being Noetherian equivalent to the underlying topological space being Noetherian and all its stalks being Noetherian?
0
votes
2answers
548 views

Defining algebraic manifold without referring to schemes

Let $M$ be a complex manifold admitting an atlas with each chart biholomorphic to $\mathbb{C}^n$ and transition maps being rational functions. Is it true that there exists a smooth integral ...
11
votes
4answers
3k views

Nonalgebraic complex manifolds

I'm turning here (a variation of) a question asked by a friend of mine. For the purposes of this question I will say that a compact complex manifold is projective if it is isomorphic to a subvariety ...
6
votes
0answers
315 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 ...
4
votes
2answers
435 views

Finite maps and jacobian condition

Let $k$ be an algebraically closed field and take $f_{1}, ..., f_{n} \in k[X_{1},..., X_{n}]$ with the jacobian condition: $\det J_{f} = 1$. Let $A:= k[X_{1},...,X_{n}]/(f_{1},...,f_{n})$ and ...
4
votes
1answer
158 views

When can a scheme be recovered from its descent groupoid?

Suppose that $ Y $ is a scheme and $ f\colon X\to Y $ a covering of $ Y $ in some Grothendieck topology on the category of schemes (i.e. if $\{ U_i\to Y\}$ is a covering in the topological sense, then ...
12
votes
2answers
580 views

Defining abstract varieties and their morphisms over a finitely generated subfield of the base field

Let $k$ be an algebraically closed field. By a finitely generated subfield of $k$ I mean a subfield $k_0\subset k$ that is finitely generated over the prime subfield of $k$ (that is, over $\mathbb Q$ ...
14
votes
2answers
2k views

Images and Monomorphisms of Schemes

If $X$ is an object in an arbitrary category, there is a natural definition of a subobject of $X$ as a monomorphism into $X$ (or really an equivalence class of monomorphisms). If $X$ is a scheme, ...
22
votes
2answers
2k views

Hodge theory (after Deligne)

In an interview with Deligne on the Simons Foundation website, I heard Robert MacPherson say that at the time Deligne's papers on Hodge theory were being published, the results seemed absolutely ...
1
vote
0answers
90 views

Explicit description of the scheme obtained by relative gluing data over a base scheme

I have recently been trying to get a better understanding of the projective space bundle of a quasi-coherent sheaf of graded algebras over a scheme $X$. The key idea is the following construction ...
6
votes
1answer
288 views

Breaking a morphism with generic fiber $\mathbb{F}_n$

Assume we are working over $\mathbb{C}$, and we have a projective morphism with connected fibers $f: X \rightarrow Z$ whose geometric generic fiber $X_\overline{\eta}$ is isomorphic to a Hirzebruch ...
1
vote
0answers
122 views

Exceptional Curves of a Fibration

Let $f:X \to Y$ be a dominant morphism between two integral proper surfaces (therefore $2$-dimensional, proper $k$-schemes). Futhermore we assume for the structure sheaf holds $\mathcal{O}_Y= f_*(\...
13
votes
1answer
313 views

On non-representability of certain hom schemes

Let $k$ be an algebraically closed field. It is well-known that the isom-sheaf Isom$(\mathbb{A}^1_k,\mathbb{A}^1_k)$ is not representable by an algebraic space. (To be clear, the functor Isom$(\mathbb{...
8
votes
1answer
228 views

Presentation for a Finite Etale Cover of an (Affine) Elliptic Curve

I posted this question on MSE a few days ago, but I did not get much interest in it. So I thought I would try my luck here. If you are interested in answering the question, there is a bounty over on ...
5
votes
1answer
339 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 $...
4
votes
1answer
224 views

Pairing on arithmetic surfaces

Let $f: X \to S$ be an arithmetic surface, where $S=\operatorname{Spec } O_K$ for a number field $K$. It is well known that if we want to introduce a reasonable intersection theory on $X$ we have to ...
4
votes
1answer
176 views

Embedding a finite morphism into a finite morphism of smooth varieties

Let $f\colon X\to Y$ be a finite morphism of quasiprojective varieties (I’m most interested in the case that $f$ is normalization and the varieties are over $\Bbb C$). Is the following statement true (...
10
votes
1answer
487 views

The étale topos of a scheme is the classifying topos of which groupoid?

[Sent here from Math.StackExchange by suggestion of an user.] By a theorem of Joyal and Tierney, every Grothendieck topos is the classifying topos of a localic groupoid. It has been proved (e.g. C. ...
1
vote
0answers
162 views

Weaker version of smooth base change for étale sheaves

Consider the cartesian square of schemes $$ \require{AMScd} \begin{CD} X' @>{g'}>> X \\ @V{f'}VV @VV{f}V \\ S' @>>{g}> S \end{CD} $$ and the base change map $$ \eta : ...
4
votes
1answer
318 views

Properties of log smooth schemes

Let $k$ be a field and $M$ be sharp monoid (with no invertible element) consider the log point $\eta_M=(\operatorname{Spec}(k), M)$. Let $X$ be a fine saturated scheme over $\eta_M$ such that the ...
209
votes
16answers
50k 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-...
20
votes
5answers
2k views

Research in applied algebraic geometry that essentially needs a background of modern algebraic geometry at Hartshorne's level

By applied algebraic geometry, I don't mean applications of algebraic geometry to pure mathematics or super-pure theoretical physics. Not number theory, representation theory, algebraic topology,...
4
votes
0answers
300 views

When spreading out a scheme, does the choice of max ideal matter?

I'm looking at Serre's paper How to use Finite Fields for Problems Concerning Infinite Fields. Specifically I'm trying to use the techniques in the proof of Theorem 1.2 to write out the details of the ...
7
votes
0answers
133 views

Do residues commute with transverse base change?

Fix a number $n > 0$. Given a smooth $\mathbb{Z}[1/n]$-scheme $X$ (i.e., a smooth scheme such that $n$ is invertible in its ring of functions), we may consider the étale sheaf $\mu_n$ on $X$ which ...
7
votes
1answer
383 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 ...
1
vote
0answers
122 views

Which object related to families of algebraic varieties over a scheme $ S $ corresponds to the tensor product of vector bundles?

I asked yesterday on math.stackexchange.com that if the fiber product of two vector bundles seen in general as the fiber product of two families of special algebraic varieties over a scheme $ S $ ...
1
vote
1answer
107 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 ...
7
votes
1answer
786 views

Basic questions about formal schemes

I have some questions related to formal schemes. Essentially I would like to understand how much formal schemes are different from usual schemes. First of all, let me specify the definition I prefere ...
5
votes
2answers
333 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 ...
1
vote
2answers
296 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) ...

1
3 4
5
6 7
12