Questions tagged [ag.algebraic-geometry]
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
7,836
questions with no upvoted or accepted answers
1
vote
0
answers
343
views
cohomology of a normal crossing divisor
Let $D$ be a simple normal crossing divisor on a smooth projective variety over a field $k \subset \mathcal{C}.$ Write $D_i$ with $i \in I$ for its irreducible components. Denote, as usual,
$D_J=\...
1
vote
0
answers
300
views
How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?
Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$.
Now,...
1
vote
0
answers
251
views
Fitting ideal/ determinantal variety
Let $R$ be an integral domain, "nice" (regular for instance). Consider a homomorphism
$$
f: R^m \to R^m
$$
of two rank $m$ free $R$ modules. Assume that $\ker f =0$ and that the cokernel is $M$. Now ...
1
vote
0
answers
290
views
P-adic Sigma Functions
Hello,
I know there is a contruction of the p-adic sigma function due to Tate and Mazur for curves with ordinary reduction. I think this has been generalized to more cases, do you know of a good (...
1
vote
0
answers
546
views
Subadditivity of Kodaira dimension
Given an algebraic fiber space $X \to B$ where $X$ and $B$ are smooth projective varieties over $\mathbb{C}$, it is known that the Kodaira dimensions satisfy the following subadditivity property:
$$\...
1
vote
0
answers
114
views
normal space of Brill--Noether variety
Let $C$ be a smooth projective curve, $J$ its Jacobian (of degree $d$, parametrizing degree $d$ line bundles, $d \geq 0$). Let $W_d^r$ be the Brill--Noether variety parameterizing degree $d$ line ...
1
vote
0
answers
265
views
Existence of a point on the Shimura variety of PEL-type correponding to a specific abelian variety
I have been puzzle by the following question for a while. Suppose that we have an a Shimura variety $Sh(G,h_0)$ given by some datatum $(L, V, \psi, h_0)$ such as in Section 4.9 of "Travaux de Shimura"...
1
vote
0
answers
490
views
differential forms on formal schemes
iam learning formal schemes. Suppose $Y\subset X$ are schemes, and $\hat{X}$ is the completion of $X$ along closed subscheme $Y$.
I wondered if there is a notion of sheaf of differential forms on a ...
1
vote
0
answers
122
views
Local positivity of an ample divisor
Let $X$ be a projective normal variety, $D$ be a Cartier divisor on $X$ and $A$ be an ample divisor on $X$. Let $x \in X$ be a (not necessarily closed) point. If the asymptotic vanishing order of $D$ (...
1
vote
0
answers
356
views
Nef and effective classes on abelian varieties
Is there any characterization of rational nef classes that don't come from effective $\mathbb{Q}$-divisors on abelian varieties? Is there any result along the lines of "Any nef $\mathbb{Q}$-divisor is ...
1
vote
0
answers
227
views
Is always a Crepant birational map between smooth varieties a small modification
Lemma: A crepant birational map between quasi-projective normal varieties with only terminal singularities is in fact small modifitacions, i.e. isomorphism in codimension 1.
So, if $f:X\...
1
vote
0
answers
173
views
Smoothing of a hyperquotient singularity
Let $f$ be a polynomial in $k$ complex variables, and suppose the affine variety $V$ given by $f = 0$ has an isolated singularity at the origin, but is otherwise smooth. Now assume that some cyclic ...
1
vote
0
answers
56
views
Combinatorical surface is restricted to a closed face an injection
Hello :)
I'm third year student of mathematics. In my own intrest i'm studying topology in combinatorical sense. Herefore i found also an lecture note in knot theory from Roberts. I want to understand ...
1
vote
0
answers
141
views
Relationship between stabilizers of a general point and a boundary point
Let $V$ be an n-dimensional complex vector space, and $u\in S^nV$ be a polynomial, $G(u)$ be the stabilizer of $u$ in $GL(V)$. Let $[v]\in\overline{GL(V)\cdot[u]}\subset\mathbb{P}(S^nV)$, but $v\notin ...
1
vote
0
answers
328
views
Darboux Surface
Let $D'$ be the set of degree $4$ smooth surfaces in $\mathbb{P}^3$, where for each $S\in D'$ there are 6 hyperplanes $H_1, \dots, H_6\subset\mathbb{P}^3$ in general positions, such that $S$ passes ...
1
vote
0
answers
405
views
a question about Beauville-Laszlo
Hi,
let $V$ be a complete DVR with uniformizer $\pi$. Let $m$ be a NON zero integer, $a\in V[[u,v]]/(uv-\pi)^{\times}$ and $f=\pi^{m}a$. Consider $F$ as the kernel of the diagram
$$
V[[u,v]]/(uv-\pi)...
1
vote
0
answers
70
views
reduced group covers of a curve
Let $C$ be a projective smooth connected curve over an algebraically closed field $k$. Let $(P,G,p)$ be a triple, where $G$ is a finite $k$-group scheme, $P$ is a $G$-torsor over $C$, $p\in P(k)$ a ...
1
vote
0
answers
89
views
field of coefficients, automorphism, cohomology
Let $k \subset \mathbb{C}$ be a number field and $X$ a smooth algebraic variety over $k$. Asssume $X$ is equipped with an automorphism $h$ of order $n$. Then $h$ induces linear maps in singular ...
1
vote
0
answers
229
views
Properties of quotient variety
Ok, so I have a projective variety $X$ over an algebraically closed field, and a finite group $G$ acting on $X$. Let $\pi:X\to Y=X/G$ be the quotient. Let $C$ be a curve in $Y$, and let $F=\pi^{-1}(C)$...
1
vote
0
answers
272
views
sections of vector bundles
Let $X$ a smooth projective connected curve over $\mathbb{C}$.
Let $E$ a vector bundle and $E'$ a subbundle of $E$.
Let $(x_{1},\dots,x_{n})$ $n$ closed points on the curve $X$ with $n>2g$ and $z$ ...
1
vote
0
answers
274
views
Topological invariance of intersection number
Let $X$ and $Y$ be algebraic curves in ${\mathbb P}^2$ and suppose they have an isolated intersection at $(0,0)$. Let $\hat{X}$ and $\hat{Y}$ be another such pair, and suppose that there exist ...
1
vote
0
answers
293
views
Conjugation of Dolbeault cohomology and cup product.
Let $H^p(X,\Omega_X^q)$ denote the (p,q) Dolbeault cohomology group of a Kähler manifold X. Conjugation of forms induces an isomorphism $$H^p(X,\Omega_X^q) \simeq \overline{H^q(X,\Omega_X^p)}$$
Let $...
1
vote
0
answers
236
views
bivariate polynomial
Hello,
Let $p(x,y) = \sum_{m=1}^M\sum_{n=1}^N a_{m,n}x^{m-1}y^{n-1}$ be a bivariate polynomial where $\{a_{m,n}\}$ are complex.
If $(x_k, y_k), k=1,2,\cdots, MN-1$ are roots of $p(x,y)=0$ where $|...
1
vote
0
answers
88
views
constant field of a divisor
Let $D$ be a divisor on a smooth, projective algebraic variety $X$ of dimension n over a field $k$ and let $D_j$ be an irreducible component of $D$.
I came across the expression the constant field ...
1
vote
0
answers
158
views
On the flatness of certain morphism
Assume $X, Z, S$ are shemes of finite type over $\mathbb{C}$, $X$ is also irreducible and reduced, $\phi: Z\to S$ is affine flat morphism with reduced connected fibers, $\psi: Z\to X$ is such that $\...
1
vote
0
answers
114
views
A certain 'coniveau-like' filtration for cohomology: what can one say about the intersection of $Ker H^i(X)\to H^i(Z)$ for $Z$ running through subvarieties of $X$ of dimension $m$?
Let $X$ be a smooth variety (say, a complex one; denote its dimension by $n$). What can one say about the intersection of $Ker (H^i(X)\to H^i(Z))$ for $Z$ running through (closed, not necessarily ...
1
vote
0
answers
460
views
Comparing the homogeneous defining ideals of multiple embeddings of a projective scheme
If $X$ is a projective scheme over a field $k$ (which we may assume is algebraically closed), then under an embedding $i: X \hookrightarrow \mathbb{P}^n_k$, we may write $X = Proj(R/I)$ where $R = k[...
1
vote
0
answers
122
views
Embedding of curves in surfaces
Let $C_1 \cup C_2$ be a curve in $\mathbb{P}^3$ and $X$ be a smooth degree $d$ surface in $\mathbb{P}^3$ containing them and $d \ge 6$. Further, assume that the minimum degree polynomial in $I(C_1 \...
1
vote
0
answers
212
views
cohomological dimension, dimension of modules and arithmetic rank
Let $R$ be a noetherian ring and $I$ be an ideal of $R$ and let $M$ be a finitely generated $R$- module.
I know two fact. first, dimension of $M$(i.e. krull dimension of $R/{\rm ann}(M)$) is greater ...
1
vote
0
answers
112
views
Divisors, factorisations of matrix valued functions, and the Lorentz group
How to construct a complex projective variety with several classes of non-intersecting divisors? How to keep the answer concrete and simple, so that explicit calculations can be done? And the problem -...
1
vote
0
answers
178
views
relative normal crossing and normal base change
Hi,
I have the following situation
$ U\stackrel{i}{\rightarrow}X\stackrel{f}{\rightarrow} Y$
with $f$ a proper smooth morphism of schemes, $i:U\rightarrow X$ an open immersion such that $D=X\...
1
vote
0
answers
256
views
How does the line bundles look like on a proper model (or Néron model) of an abelian variety?
How does the line bundles look like on a proper model (or Néron model) of an abelian variety?
Who knows references about this?
In particular, let us work over a trait $S=\mathrm{Spec} R$, where $R$ ...
1
vote
0
answers
190
views
Special values of zeta functions and extensions of base fields.
Let $X$ be a scheme of finite type over a finite field $k=\mathbb{F}_{q}$ of $q$ elements.
Then, one can define the zeta function $Z_{X/k}(T)$ of $X$ ovet $k$ as $\prod_{x\in |X|}\frac{1}{1-T^{deg_{k}...
1
vote
0
answers
138
views
on a decomposition lemma in adelic groups
Let X a curve over an algebraically closed k.
Fix $x$ and $y$ two distinct closed points of X.
Let G be a connected reductive group over k.
We denote Spec $\hat{\mathcal{O}}_{X,x}$ the formal ...
1
vote
0
answers
256
views
Classical modular curves over characteristic $p$.
The classical modular curve $\Phi_n(X,Y) \in \mathbb{Z}[X,Y]$ for $n \in \mathbb{Z}_{\geq 2}$ relates the $j$-invariants of elliptic curves $E_1$ and $E_2$ defined over $\mathbb{C}$ in the sense that ...
1
vote
0
answers
96
views
Does a (NOT necessarily positive) current have a decomposition formula?
It is well-known that for any positive (1,1)-current $T$, there is a decomposition formula according to [Siu74]. That is, $T$ can be written as an infinite sum of prime divisors plus an extra part. In ...
1
vote
0
answers
100
views
How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?
For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\...
1
vote
0
answers
269
views
Stein factorization and thm. of formal functions
If $f: X \rightarrow Y$ is a proper morphism of locally noetherian schemes with $f_* \mathcal{O}_X = \mathcal{O}_Y$ then the thm. of formal functions tells us that $f$ has connected fibers, since ...
1
vote
0
answers
177
views
Certain vanishing of local cohomology supported on some exceptional divisor
Consider $V:= \mathbb{C}^n$ such that $n \ge 3$ and take $p \in V$. Let $\nu \colon \tilde{V} \rightarrow V$ be a composite of blow-ups along smooth centres such that $\nu$ is an isomorphism outside $...
1
vote
0
answers
250
views
Abelian variety
Let P(x,y, z, w)= 0 be a complex surface . How can we know that this surface is a sub-variety of an abelian variety or not?
1
vote
0
answers
517
views
Solving 3D equation system (inverse-projecting a triangle)
Please, how is the equation system below named exactly (to search further literature)?
Does it have an analytical solution? If it doesn't, then what could be the fastest numerical method for it (...
1
vote
0
answers
192
views
"Higher" Tangent spaces in char-p geometry - definition?
Hi, everyone!
I have some construction that requires exact definition.
I considered polynomial homomorphisms from $\Bbbk$ to $U_n(\Bbbk)$ (unitriangular matrices), where $char \Bbbk = p>0$ (more ...
1
vote
0
answers
180
views
Fields over which cubic hypersurfaces are rational
All cubic hypersurfaces having at least one double point are birational to some $P^n$ over an algebraically closed field. How does the statement change as I pass to non alg closed fields? Does it hold ...
1
vote
0
answers
165
views
How do Hodge classes for Calabi-Yau 4-folds compare with the classes for tori?
Let $X$ be a Calabi-Yau 4-fold, i.e., a connected 4-dimensional compact Kahler manifold with $K_{X} \cong \mathscr{O}_{X}$ and $h^{i} (X,O_{X} )= 0$ for $0 \lt i \lt 4$.
Given a general 4-...
1
vote
0
answers
150
views
Image of linear projection
Let $X \subset \mathbb{P}^n$ be a projective variety (i.e. zariski closed), and let $\pi : X \dashrightarrow \mathbb{P}^m$ a linear projection ($\pi$ is not in every point of $X$ defined).
Under ...
1
vote
0
answers
231
views
Set of Curves Passing through a smooth point of a Variety is Zariski-Dense
In a paper by F. Pop he claims the following fact-
Let $K$ be a field. The set (by which I believe he means the union) of all smooth $K$-curves passing through a smooth $K$-rational point of an ...
1
vote
0
answers
238
views
How Markus–Yamabe implies Jacobian ?
To make myself precise, I would like to recall some backgrounds.
(Markus-Yamabe, $\mathrm{MY}_n$) Given a $C^1$ map $f:\Bbb R^n \to \Bbb R^n$ with $f(0)=0$ and $Df$ everywhere Hurwitz stable (the ...
1
vote
0
answers
153
views
Trivialization of holomorphic symplectic 2-form
Let $X$ be a holomorphic symplectic compact manifold with a fixed holomorphic 2-form $\omega$. $\omega$ yields an isomorphism $\phi:T_{X} \rightarrow \Omega_{X}$ via
$$
v \mapsto \phi(v)=\omega(v,-).
...
1
vote
0
answers
190
views
dimension of spaces of rational curves in a variety!
Do you know calculate the dimension of the space of rational curves of degree
m, through d given points, contained in some projective variety?
1
vote
0
answers
339
views
Vanishing of cohomology groups
Given a smooth hypersurface $X \subset \mathbb{P}^{2p+1}_{\mathbb{C}}$ of degree $d \ge 5$ (with $p\ge 2$), when can we say that
$H^{p+1}(\mathcal{O}_X)=H^{p+1}(\Omega^1_X)=...=H^{p+1}(\Omega^{p-2}...