All Questions
2,033 questions
2
votes
1
answer
642
views
How to show that the intersection of two certain affine varieties is reduced?
$\DeclareMathOperator\codim{codim}$Let $X=V(I)$, $Y=V(J)$ be two affine varieties. I'd like to know possibile strategies to understand when their schematic intersection, i.e. $X\cap Y=V(I+J)$, is ...
- 165
2
votes
1
answer
1k
views
Thom-Gysin Sequences and Stratifications
Let $X$ be an affine algebraic variety over $\mathbb{C}$, and let $G$ be a semisimple complex linear algebraic group acting by variety automorphisms with finitely many orbits. The decomposition of $X$ ...
- 4,920
2
votes
1
answer
184
views
Is there a way to find any $\mathbb{F}_2(t)$-point on the elliptic curve $\mathcal{E}$?
Consider the ordinary elliptic curves
$$
E\!:y_1^2 + x_1y_1 = x_1^3 + 1,\qquad E^\prime\!: y_2^2 + x_2y_2 = x_2^3 + x_2^2 + 1
$$
over the field $\mathbb{F}_2$. They are quadratic twists to each other....
- 1,833
2
votes
1
answer
773
views
Is there an Abelian surface such that every effective divisor is ample? (Together with a boil down version to a question in Complex Lie group theory)
The Nakai-Moishezon criterion states that a line bundle $L$ over a surface $X$ is ample iff $L \cdot L > 0$ and $L \cdot C > 0$ for every curve $C$.
We can use this criterion to check that if ...
- 445
2
votes
0
answers
182
views
An elliptic curve trivial over any extension unramified outside 7 and infinity?
Is there an elliptic curve $E/\mathbb{Q}$ such that $E(K)$ is trivial for every finite extension $K/\mathbb{Q}$ with discriminant a power of $7$ ?
- 11.3k
2
votes
0
answers
415
views
relative cohomology $H(X,D)$ of a pair in Weil cohomology theory
In algebraic topology, one defines relative cohomology groups $H(X,A)$ of a pair of spaces $A\subset X$.
Is there an analogue in algebraic geometry of cohomology of a pair of schemes?
For example, ...
- 1,299
2
votes
1
answer
239
views
How to complete $i^*i_*\mathcal{F}\to \mathcal{F}$ into an exact triangle for a smooth divisor $i: X\hookrightarrow Y$?
Let $Y$ be a smooth algebraic variety and $i: X\hookrightarrow Y$ be a smooth divisor. We consider the derived functors $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$ and $i_*: D^b_{coh}(X)\to D^b_{coh}(Y)$. By ...
- 9,019
2
votes
1
answer
284
views
An example of toric threefold
I am looking for an example of projective toric threefold $X = \mathbb P_\Delta$ that comes from a rational polytope $\Delta$, where $\Delta$ is a triangular bipyramid (click the word for its image).
...
- 21
2
votes
1
answer
445
views
A curve in an abelian surface and its image in the Kummer surface
This is related to a question that I already asked Curve through the 16 singular points of a Kummer surface. I am new to Abelian varieties and I am trying to understand more about them.
Let $X=J(C)$ ...
- 643
2
votes
0
answers
1k
views
Extension by zero and quasi-coherence
The following makes probably sense for any site, but I stick for concreteness to the etale one.
Let $f: U \to X$ be an etale morphism. As explained, for example, in Remark 8.16 of Milne's Lecture ...
- 12.1k
2
votes
3
answers
2k
views
Why there are two point at infinity on certain elliptic curve [closed]
In article Adams, W. W., & Razar, M. J. (1980). Multiples of points on elliptic curves and continued fractions. Proc. London Math. Soc, 41, 481-498. is said on ...
- 424
2
votes
0
answers
144
views
Local freeness of $\pi_*F(r)$ from flatness of $F$
In 'Fundamental Algebraic Geometry' by Fantechi there is a lemma in section 5.3.2, page 119:
LEMMA 5.5 Let $S$ be a noetherian scheme and let $F$ be a coherent sheaf on $\mathbb{P}^n_S$. Suppose there ...
- 5,946
2
votes
1
answer
265
views
Question about automorphism functor in Sernesi's "Deformations of algebraic schemes"
Let $X$ denote an algebraic scheme over $\operatorname{Spec} k$ such that its deformation functor $\operatorname{Def}_X$ has a semi-universal couple $(R,u)$, where $R$ is an Artinian $k$-algebra and $...
- 749
2
votes
1
answer
310
views
Lüroth theorem for $k \subset k(f,g) \subseteq k(x)$
Let $k$ be a field of characteristic zero (I do not mind to assume that $k=\mathbb{C}$, if things are easier in this case).
Lüroth theorem says that a field $L$, $k \subset L \subset k(x)$ containing ...
- 2,837
2
votes
2
answers
461
views
Bound on the (anticanonical) degree of toric Fano varieties
Does there exists a universal constant $C \geq 1$ such that if $X$ is any a smooth, toric, Fano $n$-dimensional manifold admitting a Kähler-Einstein metric, then its anticanonical degree $(-K_X)^n$ ...
- 13.5k
2
votes
0
answers
251
views
Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces
Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
- 1,509
2
votes
1
answer
476
views
Deformations of pointed stable maps with "curve held rigid" or "preserving the dual graph"
I am reading the "Notes on stable maps and quantum cohomology" by Fulton and Pandharipande and I got stuck in the proof of the Theorem 2, p.27. The authors consider the space $Def(\mu)$ of first order ...
- 203
2
votes
2
answers
349
views
A natural bijection between the orbit spaces of $p$-nilpotent matrices for varying $p$
Let $k$ be an algebraically closed field of characteristic $p$, call a matrix $X\in\mathfrak{gl}_n(k)$ $p$-nilpotent if $X^p=0$, and let $\mathcal{N}_1=\mathcal{N}_1(\mathfrak{gl}_n(k))$ be the set of ...
- 768
2
votes
0
answers
96
views
On the root numbers of quadruples of quadratic twists of elliptic curves
We got strong numerical evidence for the root numbers and analytic ranks
of quadruples of elliptic curves over the rationals.
Related to this question.
Let $k,k_1,k_2$ be squarefree pairwise coprime ...
- 25.4k
2
votes
1
answer
228
views
Bounds on the coin-flipping degree
Let $p(\lambda)$ be a polynomial that maps the closed unit interval to itself and satisfies $0\lt p(\lambda)\lt 1$ whenever $0\lt\lambda\lt 1$.
The polynomial can be written in power form:
$$p(\lambda)...
- 697
2
votes
1
answer
106
views
The commutativity of minimal extension and direct image by blowing-down
Let $X$ be a sooth algebraic variety over $\mathbb{C}$.
Let us assume that there exists the commutative diagram
$\require{AMScd}$
\begin{CD}
U @>{i}>> \hat{X}\\
@| @VV{\phi}V\\
U @>{j}>&...
- 111
2
votes
1
answer
416
views
(Bridgeland stability conditions) How can I get the heart of a bounded t-structure on $D^b(P^3)$?
In the article, Bayer, Arend; Macrì, Emanuele; Toda, Yukinobu, Bridgeland stability conditions on threefolds. I Bogomolov-Gieseker type inequalities, J. Algebr. Geom. 23, No. 1, 117-163 (2014). ...
- 21
2
votes
2
answers
368
views
Does a generic curve inside the space of curves with a node at a specific point have only finitely many nodes?
Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of homogeneous degree $d$
polynomials in three variables (up to scaling), where $\delta_d = \frac{d(d+3)}{2}$.
Define $\mathcal{A}$ to be ...
- 3,245
2
votes
2
answers
627
views
Numerically negative exceptional divisor on a surface.
Suppose $S$ is an algebraic surface (possibly projective) over an algebraically closed field $k$. Suppose $D_i$ are irreducible smooth curves (rational, if you want) with negative self-intersection ...
- 2,215
2
votes
1
answer
285
views
How to show $\dim_{\mathbb{A}_{\mathbb{R}}^n} V= \dim_{\mathbb{A}_{\mathbb{C}}^n} V$?
Suppose $V$ is an affine algebraic set defined by real polynomials.
Let $\mathbb{A}_{\mathbb{R}}^n$ be $\mathbb{R}^n$ endowed with Zariski topology where the closed sets are algebraic sets (in $\...
- 3,625
2
votes
1
answer
211
views
Splitting of composition of trace and counit in derived setting
Let $X,Y$ be varieties (separated of finite type schemes) over base field $k$, $\mathcal{F}$ be constructible sheaf on $Y_{\mathrm{et}}$ and assume that we have a finite morphism $f: X \to Y$, which ...
- 5,946
2
votes
1
answer
187
views
Is every sufficiently general monic quartic rational square infinitely often?
Let $f(x)=x^4+b_3 x^3+ b_2 x^2+b_1 x + b_0$.
Let $g(x)=x^4 f(1/x)$. Let $C : g(x)=y^2$.
$C$ is birationally equivalent to $f(x)=y^2$.
The constant coefficient of $g(x)$ is $1$ since $f$ is monic
and $(...
- 25.4k
2
votes
1
answer
429
views
Classifying spaces and Brown's representability theorem
Let $G\text{-}PF(X)$ be the set of isomorphism classes of principal topological fibrations over the space $X$ with structural group $G$, and $G\text{-}PF_{cw} : hCW \to Set$ the contravariant functor $...
- 1,346
2
votes
2
answers
1k
views
Uniqueness on square root of complex Line Bundle
Let $L$ be a line bundle over a compex manifold $X$, a square-root of $L$ is a line bundle $M$ such that $M^{\otimes2}=L$. My question is when the square-root of Line Bundle is unique?
user21574
2
votes
3
answers
892
views
Schemes with trivial brauer group
What are some nontrivial examples of schemes whose Brauer group is trivial? I am aware that rational varieties have trivial Brauer group and retract rational varieties in the sense of Saltman also do....
- 21
2
votes
1
answer
307
views
F-curves and divisors on $\overline{\mathcal{M}}_{g,n}$
It is conjectured that a divisor on $\overline{\mathcal{M}}_{g,n}$ would be ample if $D\cdot C >0$ for all F-curves $C\subset \overline{\mathcal{M}}_{g,n}$. Does the intersection degree with all F-...
- 3,779
2
votes
1
answer
86
views
Separability of $\mathbb{C}[x,y_1,\ldots,y_r]$ over $\mathbb{C} + (h,y_1,\ldots,y_r)$
The answer to this MO question says the following:
Lemma 1. Let $h \in \mathbf C[x]$ be a polynomial of degree $n \geq 2$. Then $\mathbf C+(h) \subseteq \mathbf C[x]$ is unramified if and only if $h$ ...
- 2,837
2
votes
1
answer
398
views
Picard group of $\mathrm{GL}(n)$-orbits
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Mat{Mat}$Consider the general linear group
$$
\GL(n) = \left\lbrace
\left(\begin{array}{cc}
A & C \\
M & B
\end{array}\right) \text{ with } A\...
user168611
2
votes
1
answer
481
views
Strict transform under resolution of singularity along a singular $\mathbb{Q}$-Cartier divisor
$\DeclareMathOperator\Bl{Bl}$Let $f: Y=\Bl_0^\omega(\mathbb{C}^3)\to \mathbb{C}^3$ be a weighted blow up of $\mathbb{C}^3$ with weights $w(x,y,z)=(1,1,2)$. Then $Y$ and the exceptional divisor $E\cong ...
- 41
2
votes
2
answers
899
views
Number of generators of an ideal in a polynomial ring over a Noetherian ring
Let $R$ be a Noetherian ring. By the Hilbert Basis Theorem the polynomial ring $R[x_1, \ldots , x_n]$ is also a Noetherian ring. What can we say about the number of generators of an ideal $I$ of $R[...
- 545
2
votes
0
answers
140
views
Covering a space by cones
Let $X\subset\mathbb{R}^n$ be some connected and bounded $n$-dimensional manifold, e.g. a space homeomorphic to an open/closed ball with possibly some parts of it being removed.
I am interested in ...
- 3,173
2
votes
0
answers
332
views
Killing cohomology of structure sheaf by pullback along Frobenius and finite etale covers
On a smooth projective variety $X$ over a finite field, you can pullback any element in $H^1(X,\mathcal{O}_X)$ by a combination of Frobenius and finite etale cover so it gets killed. In order to prove ...
- 5,901
2
votes
1
answer
180
views
Locally toric resolutions of compactifications
Suppose $U$ is a smooth, open $n$-dimensional variety over $\mathbb{C}.$ Say $X, X'$ are two proper normal-crossings compactifications of $U$. Call a map $m: X'\to X$ a modification if it is an ...
- 7,962
2
votes
1
answer
288
views
Families of curves with "almost-general" moduli
The Brill-Noether theorem says that, if $\rho(d, g, r) := (r + 1)d - rg - r(r + 1) \geq 0$, then there exists a unique component of the Hilbert scheme of curves of degree $d$ and genus $g$ in $\mathbb{...
- 1,832
2
votes
1
answer
801
views
Canonical lifts from $\mathbb F_q$ and CM-theory
One knows that (ordinary) Jacobians of hyperelliptic curves over a finite field $\mathbb F_q$ (mostly of genus 1 (elliptic curves) and 2) are extensively studied by cryptographers, as a platform for ...
- 647
2
votes
2
answers
834
views
Shimura datum of family of fake elliptic curves
Suppose we have a PEL type $(H,\phi ,*;T,O,V)$ where H is a rational nonsplit quaternion algebra, $\phi$is an embedding of Q-algebra $\phi : H-->M(2,R)$, and * is a positive anti involution of H; ...
- 709
2
votes
2
answers
635
views
Are there other ways to show Pic(G)is trivial when G is a simple-connected semisimple algebraic groups over C?
Indeed,I'm reading the book《representation theory and complex geometry》,there is a proof of the fact that Pic(G)is trivial when G is a simple-connected semisimple algebraic group over C,but the proof ...
- 73
2
votes
1
answer
198
views
Question $B_5 \equiv B_1$ or $B_5 \ne B_1$?
Let $(C_1)$, $(C_2)$ be two conics on the same Ellipsoid, (or Hyperboloid, or Paraboloid). Let $A_1, A_2, A_3, A_4$ be four arbitrary points lie on $(C_1)$; $B_1$ be arbitrary point on $(C_2)$. The ...
- 477
2
votes
0
answers
307
views
Dimension of artin stacks
I was reading the article of Laumon 1988: Un analogue global du cone nilpotent (I am sorry but I could not find an available link to share).
He fixes a curve $X$ (over $\mathbb{C}$) and considers ...
- 61
2
votes
0
answers
208
views
Sylvester-Gallai-type theorem for quadratic polynomials
Let $F_1, F_2$ and $F_3$ be finites sets of irreducible polynomials in $\mathbb{C}[x_0, \ldots, x_n]$ of degree at most $2$ such that $F_1 \cap F_2 \cap F_3 = \varnothing$ and for every $Q_1, Q_2$ ...
- 2,576
2
votes
0
answers
174
views
Interpretation of some maps involving cohomology groups
I've asked some questions on Math Stackexchange regarding areas around my research but I received very little success with responses, so I thought I might try to share some of my other problems here ...
- 895
2
votes
3
answers
341
views
Linear homogenous polynomials that generates one quadratic polynomial
Let $P_1, \ldots, P_m$, $Q_1, \ldots, Q_k \in \mathbb{C}[x_0,\ldots,x_n]$ be linear homogenous polynomials. Let $f$ be a homogenous quadratic polynomial of degree $2$.
Assume that for every $i$ and ...
- 2,576
2
votes
0
answers
194
views
Varieties with Chow groups supported in positive codimension: examples and properties?
In their 1983 paper "Remarks on correspondences and algebraic cycles" Bloch and Srinivas proved several interesting properties of smooth proper varieties (over universal domains) whose Chow groups of ...
- 16.9k
2
votes
1
answer
526
views
extending homomorphisms of Abelian schemes
Let $S$ be an integral scheme with function field $K = K(S)$. Let $\mathscr{A}, \mathscr{B}$ be Abelian schemes over $S$. Let $L/K$ be a separable field extension. Given $f_L \in \mathrm{Hom}(\mathscr{...
user19475
2
votes
1
answer
296
views
Can we have "tropical polynomials" with arbitrary real powers?
I am referring to the definition of a tropical polynomial given on page 8 (top of section 3) here in this review, https://arxiv.org/pdf/math/0306366.pdf. I understand that here the notion of a ...
- 2,246