# Tagged Questions

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

23 views

### Property of solid spanned by optimal functions

I can only solve this in a two-dimensional world. I want to characterize a solid that is spanned by cutoff functions $g$ that are optimal in the following sense. Let us suppose we have $n$ random ...
216 views

### On algebraic morphisms

Let given schemes $Y\subset X$ and $Z$, where $Y$ is closed subscheme of $X$. Assume that for some morphism $f:Y\to Z$, $Z = [f(Y)]$ (where [] means closure in $Z$). Is it true that there exists ...
240 views

### Why is there a factor $p$ in the definition of $T_p$ via Hecke correspondences on modular curves?

Fix $N\ge4$. Let $Y_1(N)$ and $X_1(N)$ be the usual modular curves. I want to view them as schemes over $\mathbb Z$ representing the moduli functors of (usual or generalized) elliptic curves with (...
145 views

### Does a moving family of lines through a fixed point produce a singularity?

This is just a feeling that I had and I am curious if it is totally wrong or true to some extent. Let $X\subseteq \mathbb{P}^r$ be an integral hypersurface of degree $r-1$, which is not a cone. In ...
133 views

### Sequences of divisors satisfying Serre vanishing?

Serre's vanishing theorem (SV) states that, on a projective variety $X$ with a choice of ample line bundle $\mathcal{O}_X(1)$, for any coherent sheaf $F$, we have $$H^i(X,F(m))=0,\quad m>>0$$ ...
87 views

### Bounding the number of “generalized $\mathbb{F}_q$-rational points” of a variety in terms of dimension and degree

In what follows, for a prime power $q=p^m$, $\phi_q$ denotes the Frobenius endomorphism $x\mapsto x^q$ of a finite-dimensional affine space over the algebraic closure $\overline{\mathbb{F}_p}$ (the ...
102 views

### A sufficient condition for a morphism to be a closed immersion?

Let $R$ be an integral $\bar{\mathbb{F}}_p$-algebra of finite type, let $V$ be an $R$-algebra. Consider a morphism $f \colon \mathrm{Spec}(V) \rightarrow \mathbb{A}^n_R$ that has the following ...
94 views

### Is a Kummer surface unirational over a sufficiently large finite field of characteristic 2?

Let $A$ be a supersingular abelian surface over a sufficiently large finite field $\mathbb{F}_q$ of characteristic $2$ and let $K_A = A/(-1)$ be the Kummer surface. Shioda ("Kummer surfaces in ...
117 views

### Are two conic bundles birational, if their bases are birational via a map preserving the associated quaternion algebras?

Assume we have two standard conic bundles $\pi:C \rightarrow X$ and $\pi': C'\rightarrow X'$. That is $\pi$ and $\pi'$ are flat morphims of smooth varieties over $\mathbb{C}$ and both maps are ...
96 views

220 views

### Generalised “scheme of etale connected components”

edit: Added smoothness condition. The following may be rather trivial, but I cannot seem to find a reference. If $X$ is a scheme write $et/X$ for the category of étale schemes over $X$ and $Sm/X$ for ...
70 views

### Constructive Resolution of Toric Singularities via Model Theory

Do there exists some language $\mathcal{L}$ of rational polyhedral cones in rational vector spaces and a theory $T$ over $\mathcal{L}$ whose models $\mathcal{M}$ are resolutions of toric singularities?...
104 views

### Image of a Weil divisor (height 1 prime) under normalization map

Let $R$ be a noetherian integral domain and let $R'$ be the normalization of $R$ in a finite field extension of the fraction field of $R$. Let $\varphi:Spec(R') \rightarrow Spec(R)$ be the ...
174 views

### Uniqueness of descent

Let $G$ be a reductive group, $X$ be a projective variety and $\mathcal L$ an ample $G$ equivariant line bundle on $X$. Then by a descent lemma of Kempf (see Narasimhan, M.S., and Drezet, J.-M.. "...
211 views

### Cohomology of intersection of projective hyperplanes

I will change my original question a bit for a bounty: Let $A$ be a reduced finitely generated $\bar{\mathbb{F}}_p$-algebra (integral, if you want). Let $X$ be a non-empty intersection of ...
164 views

### Is there a good notion of dual sheaf in a family?

Let $f:X\to S$ be a proper smooth morphism and let $E$ be a coherent sheaf on $X$ which is flat over $S$ and has codimension $c$. The scheme $X$ might not be smooth, as well as $S$ might not be ...