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
7 votes
0 answers
279 views

Weil homotopy theory

In algebraic geometry, we have something called Weil cohomology theories, which formalize the notion of a "good" cohomology theory of smooth projective varieties. I believe that for $l$-adic ...
user avatar
13 votes
1 answer
532 views

Is there an analogue of projective spaces for proper schemes?

Does there exist a countable set of connected proper smooth $\mathbb{C}$-schemes such that any connected proper smooth $\mathbb{C}$-scheme admits a $\mathbb{C}$-immersion into one of them?
user avatar
4 votes
2 answers
578 views

A proper flat family with geometrically reduced fibers

Let $R$ be a Noetherian commutative unital ring. Let $f:X\rightarrow Y=\mathrm{Spec}\,R$ be a proper flat morphism of schemes with geometrically reduced fibers. We want to prove that the induced map $...
vanya's user avatar
  • 41
0 votes
0 answers
166 views

Linear Morphism of Schemes

Let $U$ be an arbitrary scheme and we consider the schematic fiber product $\mathbb{A}^1 _U = \mathbb{A}^1 _{\mathbb{Z}} \times_{\mathbb{Z}} U$. My question referer to Bosch's "linear morphisms" (of ...
user267839's user avatar
  • 5,948
1 vote
0 answers
287 views

Fully faithful functor from schemes to spaces

Is there a fully faithful functor from the category of schemes to the category of topological spaces and continuous maps (or some other sufficiently topological objects, e.g. smooth manifolds and ...
user avatar
2 votes
0 answers
86 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$...
user avatar
5 votes
1 answer
358 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_*...
user avatar
3 votes
0 answers
193 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 ...
user avatar
3 votes
1 answer
585 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 ...
Z Wu's user avatar
  • 340
3 votes
0 answers
102 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?
rori's user avatar
  • 41
3 votes
0 answers
339 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 ...
user267839's user avatar
  • 5,948
1 vote
1 answer
192 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 ...
rori's user avatar
  • 231
8 votes
1 answer
2k 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 ...
user267839's user avatar
  • 5,948
1 vote
0 answers
120 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=...
rori's user avatar
  • 231
2 votes
0 answers
97 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 ...
Herr Casafrenk's user avatar
3 votes
1 answer
264 views

Separable extensions & topology vs inseparable extensions and algebra

In the note Properties of fibers and applications, Osserman writes above Definition 1.5: Intuitively, the point is that phenomena relating to topology can only change under separable extensions, ...
Arrow's user avatar
  • 10.3k
1 vote
0 answers
54 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 ...
prdnr's user avatar
  • 111
9 votes
1 answer
1k 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. ...
geometer's user avatar
  • 713
1 vote
0 answers
110 views

Quasi-compactness of irreducible separated scheme locally of finite type

Is an irreducible separated scheme locally of finite type necessarily quasi-compact?
geometer's user avatar
  • 713
1 vote
1 answer
1k 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 ...
geometer's user avatar
  • 713
7 votes
0 answers
155 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 ...
geometer's user avatar
  • 713
5 votes
0 answers
231 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?
geometer's user avatar
  • 713
5 votes
0 answers
453 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. ...
Arrow's user avatar
  • 10.3k
11 votes
2 answers
2k 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?
G.-S. Zhou's user avatar
1 vote
2 answers
755 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 ...
rori's user avatar
  • 125
3 votes
1 answer
881 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 (...
Praphulla Koushik's user avatar
6 votes
0 answers
405 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 ...
Arrow's user avatar
  • 10.3k
4 votes
1 answer
178 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 ...
Gaussler's user avatar
  • 295
25 votes
2 answers
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 ...
THC's user avatar
  • 4,313
1 vote
0 answers
119 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 ...
Luke's user avatar
  • 413
12 votes
2 answers
678 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$ ...
Mikhail Borovoi's user avatar
1 vote
0 answers
128 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_*(\...
user267839's user avatar
  • 5,948
6 votes
1 answer
344 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 ...
Stefano's user avatar
  • 625
13 votes
1 answer
528 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{...
Anne F.'s user avatar
  • 131
8 votes
1 answer
369 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 ...
User0112358's user avatar
7 votes
1 answer
876 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 ...
PrimeRibeyeDeal's user avatar
5 votes
1 answer
459 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 $...
Nico A's user avatar
  • 447
5 votes
2 answers
477 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 ...
number's user avatar
  • 348
4 votes
1 answer
297 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 ...
manifold's user avatar
  • 299
4 votes
1 answer
250 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 (...
Avi Steiner's user avatar
  • 3,031
10 votes
1 answer
643 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. ...
W. Rether's user avatar
  • 395
1 vote
0 answers
180 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 : ...
Michele's user avatar
  • 11
4 votes
1 answer
759 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 ...
ABC's user avatar
  • 171
9 votes
1 answer
948 views

Picard group and reduced schemes

$\DeclareMathOperator\Pic{Pic}$If $A$ is a ring, then we know that $\Pic(A)=\Pic(A_\text{red})$, but for a scheme $X$ it is false in general. On the other hand, we have that $\Pic(X)=H^{1}_{et}(X,\...
prochet's user avatar
  • 3,432
24 votes
6 answers
4k 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,...
No One's user avatar
  • 1,545
4 votes
0 answers
738 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 ...
Mike Pierce's user avatar
  • 1,149
7 votes
0 answers
154 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 ...
Yonatan Harpaz's user avatar
1 vote
0 answers
126 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 $ ...
YoYo's user avatar
  • 325
1 vote
1 answer
119 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 ...
Kabim's user avatar
  • 95
14 votes
1 answer
2k views

Why Use Hypercohomology When Defining the de Rham Cohomology of a Smooth Scheme over $k$?

Hopefully this question is of an appropriate level for this site: I'm reading some notes by Claire Voisin titled Géométrie Algébrique et Géométrie Complexe. Let $X$ be a smooth $k-$scheme. In these ...
Alekos Robotis's user avatar

1
6 7
8
9 10
15