Search Results

I apologize as I am certain this is not research-level, but several days have gone by without an answer on stackexchange (https://math.stackexchange.com/questions/4724245/jacobian-criterion-for-zarisk …

See the answers here: https://mathoverflow.net/questions/76069/finiteness-of-étale-cohomology-groups . Because $k$ is finite, a constructible sheaf on (Spec $k)_{et}$ has finite cohomology groups. Del …

EDIT: this answer has some issues. See the comments. I think a similar line of reasoning shows you can do it with four equations, though. For reasons of dimension your curve is contained in a hypersur …

Is there an example of an abelian variety $X$ defined over a number field $K$, with $\dim X > 1$, and a $K$-rational point $P$ on $X$, such that no curve $C$ on $X$ (say defined over a number field) c …

Here's a counterexample with $A$ and $B$ of the same Krull dimension. Take $A = B = \mathbb{C}[x,y]_{(x,y)}$, and let $f: A \to B$ be the composition of the quotient of $A$ by $(y)$ with the embedding …

Let $C$ be a hyperelliptic curve of genus 2 defined over $\mathbb{Q}$, let $J$ be its Jacobian, and let $X$ be the Kummer surface associated to $J$ (i. e. $X$ is the singular Kummer surface which resu …

The universal vector extension $E$ of an abelian variety $A$ is an algebraic group, an extension of $A$ by a vector group $0 \to V \to E \to A \to 0$, such that any other extension of $A$ by a vector …

Let $X = Y \times_{\mathbb{F}_q} C$, with $Y, C / \mathbb{F}_q$ smooth projective varieties, $C$ a curve. Let $d = \dim_{\mathbb{F}_q} X$. We can consider the local zeta function $Z(X, t) = \prod\limi …

The two zeta functions are the same. This is an immediate corollary of Milne, Etale Cohomology, proposition 13.8(c). Reference: Milne, J. S. Etale Cohomology (PMS-33). Princeton University Press, 1980 …

What are some examples of smooth projective varieties $X$ over a finite field for which the Tate conjecture for divisors is known, and which admit a smooth morphism to a smooth projective curve? I am …

Let $X$, $Y$, $Z$ be quasi-projective varieties over an algebraically closed field $k$, $f: X \to Y$ and $g: Z \to X$ proper (even projective) maps with $f$ smooth, and $h: Z \to Y$ their composite. C …

At the very end of the paper Formal Cohomology I by Monsky and Washnitzer, they write the following: "In some sense, the operator $\psi$ applied to a power series gives it "better growth conditions". …

Let $D$ be the unit disc in $\mathbb{C}^n$ and let $f: X \to D$ be a proper surjective holomorphic submersion, which is trivial as a smooth fiber bundle, with connected fiber $F$. We get an induced fl …

Here is a link to the article: https://www.sciencedirect.com/science/article/pii/S0022314X85710888?ref=cra_js_challenge&fr=RR-1. Pages 237-238 give polynomial expressions $X_3^{(2)}, Y_3^{(2)}, Z_3^{( …

I refer to the article of van Geemen https://arxiv.org/pdf/math/9903146. What van Geemen calls the Kuga-Satake-Hodge conjecture suggests that for a K3 surface $X$ over $\mathbb{C}$, the summand $h^2(X …