Questions tagged [ag.algebraic-geometry]
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
21,611
questions
3
votes
0
answers
72
views
An isomorphic classification of non-associative division octonion algebras
A division octonion algebra over a field $F$ is a $8$-dimensional unital non-associative algebra $A$ over the field $F$, endowed with a quadratic form $N:A\times A\to F$ such that $N(xy)=N(x)N(y)$ and ...
1
vote
0
answers
156
views
Are there any relations between perverse t-structure (cohomologies) and standard t-structure (cohomologies)?
I'm reading the Corollary 3.2.3. in Exponential motives by J. Fresan and P. Jossen.
The authors use the following statement in the proof of Corollary 3.2.3: let $C$ be any object in the derived ...
1
vote
1
answer
207
views
Hilbert scheme of points on an arithmetic surface
$\DeclareMathOperator\Hilb{Hilb}\DeclareMathOperator\Spec{Spec}$Let $X$ be a smooth surface over a field $k$. Fogarty proved that the Hilbert scheme of points $\Hilb^n(X)$ is regular. My primary ...
1
vote
0
answers
62
views
Affine Springer fibers for symmetric spaces
Springer fibers are defined to be the varieties of "isotropic" full flags which are fixed by a certain element in the symmetric space. In a similar manner, affine Springer fibers can be ...
4
votes
1
answer
247
views
Intersection complex of genus-zero curves?
I would like to have a very explicit description of $\bar M_{0, n}$, especially its boundary divisors and how they intersect. All I can do in my construction is add divisors and blow up at strata, ...
4
votes
1
answer
244
views
Fppf or étale extension of group algebraic spaces
Let $S$ be a scheme and let
$$0 \to A \to B \to C \to 0$$
be an exact sequence of abelian sheaves on $(\mathrm{Sch}/S)_\text{fppf}$. Assume that $A$ and $C$ are representable by flat algebraic spaces. ...
2
votes
0
answers
121
views
A relative cycle class map
Suppose I have a smooth projective morphism $p: X \to S$ between varieties, and a relative cycle $Z \subset X \to S$ which is assumed to be as nice as can be (rquidimensional with fibers of dimension $...
4
votes
1
answer
169
views
Symplectic structure of Higgs branch
I've been reading Kamnitzer's survey Symplectic resolutions, symplectic duality, and Coulomb branches. Here the Higgs branch is defined as a projective GIT quotient, but I couldn't figure out how the ...
2
votes
1
answer
93
views
Actual zeros of tropical Laurent polynomial
I consider the tropical semi-ring $(\mathbb{R},\oplus,\odot)=(\mathbb{R},\max,+)$. I know that the tropiclisation of any (Laurent) polynomial $p\in\mathbb{R}[x_1^{\pm1},...,x_n^{\pm1}]$ given a ...
1
vote
1
answer
72
views
Dimension and cardinality of fibers over the real numbers
If $X \subseteq \mathbb{C}^n$ and $Y \subseteq \mathbb{C}^m$ are irreducible affine varieties, and $f : X \to Y$ is a dominant polynomial map, then we know that (every irreducible component of) the ...
9
votes
1
answer
748
views
Roadmap for Algebraic Geometry/Homotopy Theory/Algebraic $K$-Theory intersection
I’m afraid that this is quite a general question but I am hoping some experts can weigh in. I am a student generally interested in learning more about the intersection of algebraic geometry, algebraic ...
4
votes
0
answers
111
views
Projective reduction of image of power series is algebraic?
Let $K$ be a non-archimedean field with closed unit disk $\mathcal{O}\subset K$, open unit disk $\mathfrak{m}\subset \mathcal{O}$ and residue field $k = \mathcal{O}/\mathfrak{m}$.
Examples to keep in ...
3
votes
0
answers
93
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
5
votes
0
answers
94
views
Generalized Puiseux series for diagonal reflections of the curves $y = \frac{x}{(1-ax)(1-bx)^m}$
Reflection of the curve $y = f_m(x) = \frac{x}{(1-ax)(1-bx)^m}$ through the diagonal line $y=x$ in the $xy$-plane can be regarded as local compositional inversion of the curve $y=f_m(x)$. ($x,y,a,b$ ...
2
votes
0
answers
100
views
Grassmannian containing tangent variety of a curve
We work over $k=\mathbb{C}$. We consider the
the Grassmanian $G(2,4)$ of lines in $\mathbb P^3$ which we embed
by Plücker into $\mathbb P^5$. It is basic that under this embedding
$G(2,4)$ is ...
1
vote
0
answers
71
views
Are coherent modules with integrable log-connections locally free?
Let $X$ be a smooth Noetherian scheme over a field $K$. It is known that every coherent module with integrable connection on $X$ is locally free.
Is the same true for coherent modules with log-...
3
votes
1
answer
116
views
Reference request for log-differential forms
I read in a paper of Kato about log-differential forms, that if $X$ is a smooth locally Noetherian log-scheme, and $D$ is a reduced normal crossing divisor, then there is a definition of a sheaf on $X$...
3
votes
0
answers
116
views
Is a derived scheme determined by classical + formal points?
Say we have a derived scheme over an algebraically closed field $X/k$, viewed as a functor $X : \operatorname{Aff}_k^{\operatorname{op}} \to \infty\operatorname{-Grpd}$ and we know its formal ...
6
votes
0
answers
160
views
Why is the elliptic curve given by $\sqrt[3]{z(z-1)}$ a double cover of the $z$-line?
In Bogomolov-Tschinkel's paper Unramified Correspondences, on page 3 they write:
Let $C_0\to E_0\to\mathbb{P}^1$ be the sequence of double covers induced by
$$\sqrt[6]{z(z-1)}\to \sqrt[3]{z(z-1)}\to z$...
2
votes
1
answer
285
views
Existence of curves of a given degree in threefolds
Let $X$ be a projective complex smooth threefold such that its Picard group is generated by an ample line bundle $L$. I have the following question:
For each given integer $d\geq 1$, does there exist ...
2
votes
0
answers
146
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
8
votes
0
answers
490
views
In Mann's six-functor formalism, do diagrams with the forget-supports map commute?
One of the main goals in formalizing six-functor formalisms is to obtain some sort of "coherence theorem", affirming that "every diagram that should commute, commutes". In these ...
5
votes
0
answers
142
views
Description of pull-back of coherent sheaves under a smooth morphism of Artin stacks
I am new to these formalisms, so pardon me if the question is basic. Let $\mathscr{X}$ be an Artin stack (you can take it to be Deligne-Mumford stack if it helps). By a coherent sheaf on $\mathscr{X}$ ...
4
votes
1
answer
235
views
Height of a conductor ideal
We say an extension of Noetherian rings $R\subset S$ is elementary subintegral if $S=R[b]$ for some $b\in S$ with $b^2,b^3\in R$. The conductor ideal is defined to be $\operatorname{Ann}_R(S/R)$. What ...
6
votes
0
answers
191
views
Reference request: Automorphisms of $\mathbb C\{x,y\}$ which preserve the equation of the cusp, $x^3 - y^2$
In my research I encountered automorphisms of the ring of convergent power series
$$\varphi: \mathbb C\{x,y\} \to \mathbb C\{x,y\},$$
which preserve $f = x^3 - y^2$, i.e. $\varphi(f) = f$. I'm ...
2
votes
0
answers
124
views
Question about pro-representable Automorphism functor in Sernesi's "Deformations of algebraic schemes" with trivial relative Tangent space
Let $k$ be an algebraically closed field of arbitrary characteristic, $R$ a complete local noetherian, but non Artinian (see #Edit below for justification) $k$-algebra with residue field $k$ and $S$ a ...
0
votes
0
answers
128
views
Noether's formula for real algebraic surfaces
Is there a version of Noether's formula for the Euler characteristic of a surface for Real algebraic surfaces?
Specifically, given $X$ a real algebraic compact smooth surface, what is the relationship ...
3
votes
0
answers
186
views
What should be unipotent de Rham homotopy group?
What exactly should unipotent $\pi_1^\text{dR}$ be conceptually? What formal properties should it satisfy? This seems to be answered by Chen's theorem, which is stated in Corollary 3.269 of Multiple ...
1
vote
0
answers
74
views
Unique polarization on a very general curve with Mumford-Tate
I try to understand why a very general curve (smooth, projective over $\mathbb{C}$) has an unique polarization up to scalar on the $H^1(X,\mathbb{Q})$.
I was advised to look at the maximality of the ...
4
votes
1
answer
166
views
Is the asymptotic rank of a tensor bounded by (naive) border rank?
Write $R(T)$ for the rank of an order-$3$ tensor $T \in \mathbb C^{m \times n \times p}$ over the complex numbers. If $T' \in \mathbb {C}^{m' \times n' \times p'}$ is another such tensor then let $T \...
2
votes
0
answers
51
views
Degeneracy maps of Drinfeld modular curves
Over number fields, we have two natural degeneracy maps
$$X_0(N)\leftarrow X_0(pN) \rightarrow X_0(N)$$
between the (compactified) moduli space of elliptic curves with level $pN$ and $N$ respectively (...
1
vote
0
answers
83
views
About the finite generation of log canonical rings in BCHM
I have posted this question on MSE but haven't received an answer yet. I rephrase it here.
Let $(X,B)$ be a klt pair where $K_X+B$ is $\mathbb{R}$-Cartier. Let $\pi:X\rightarrow U$ be a projective ...
1
vote
1
answer
104
views
About the semi-ampleness for $\mathbb{R}$-divisor
Let $X$ be a normal proper variety and $D$ an $\mathbb{R}$-Cartier divisor on $X$. Then $D$ is called a semi-ample $\mathbb{R}$-divisor if there is a morphism $f:X\rightarrow Y$ and a ample $\mathbb{R}...
3
votes
0
answers
97
views
Are the higher direct images of pluricanonical bundles torsion-free?
Suppose $f: X\rightarrow S$ is a projective smooth morphism to a smooth variety $S$. Let $m\geq 2$ be a natural number.
It is known that the first higher direct image sheaf $R^1f_*\mathcal{O}_X(mK_X)$ ...
0
votes
0
answers
73
views
Potential typo in "Complete Systems of Two Addition Laws for Elliptic Curves" by Bosma and Lenstra
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)}, ...
1
vote
0
answers
193
views
Interpretation of model theory in algebraic geometry
I found a paper Some applications of a model theoretic fact to (semi-) algebraic geometry by Lou van den Dries. In this paper, the author uses model theoretical methods to prove the completeness of ...
4
votes
0
answers
122
views
Nice proof that de Rham complex computes Lie algebra cohomology?
If $G$ is a nice enough group acting on a nice enough space $X$, then the relative de Rham complex
$$\Omega^\bullet_{X/(X/G)}\ \simeq\ \mathcal{O}_X\otimes\text{Sym}\,\mathfrak{g}^*[-1]$$
is given by (...
15
votes
1
answer
612
views
Why do we say IndCoh(X) is analogous to the set of distributions on X?
$\DeclareMathOperator\IndCoh{IndCoh}\DeclareMathOperator\QCoh{QCoh}$I've seen it written (for example, in Gaitsgory–Rozenblyum) that for a scheme $X$, the category $\IndCoh(X)$ is to be thought of as ...
3
votes
1
answer
197
views
"General position" on $\mathbb{P}^1\times\mathbb{P}^1$
On $\mathbb{P}^2$ we have the notion of general positions: no 3 points on a line, no 6 on a conic, etc. In particular, blowing up points (up to 8) in general positions give ample anti-canonical class, ...
2
votes
0
answers
130
views
Is there a name for a normal, projective variety where every effective divisor is ample?
Is there a name for a normal, projective variety such that every effective divisor is ample? Examples of such varieties are projective space, weighted projective spaces, and simple Abelian varieties ...
4
votes
0
answers
168
views
Bezout-type theorem for $p$-adic analytic plane curves
Let $p$ be a prime, and let $f,g \in \mathbb{Z}_p[[x,y]]$ be power series convergent on all of $\mathbb{Z}_p$. Suppose that the intersection of the analytic plane curves cut out by $f$ and $g$ is ...
1
vote
0
answers
96
views
pullback of sheaves from reduced schemes
Let $X$ be a non reduced noetherian scheme. Is there a way to recognize or characterize the coherent sheaves $\mathcal E$ on $X$ such that there exist a reduced noetherian scheme $Y$, a morphism $f:X\...
10
votes
0
answers
256
views
Looking for counterexamples: Are maximal tori in the automorphism groups of smooth complex quasiprojective varieties conjugate?
Let $X$ be a smooth quasiprojective variety over $\mathbb{C}$. It has a group of (algebraic) automorphisms $
\DeclareMathOperator{\Aut}{Aut}
\Aut(X)$.
Define a torus in $\Aut(X)$ to be a faithful ...
2
votes
1
answer
123
views
Locus where morphism has positive-dimensional fibers
Let $f:\mathbb{A}^n\to\mathbb{A}^n$ be a dominant morphism of degree $d$. Then there exists a subvariety $Y\subseteq\mathbb{A}^n$ such that the fibre of $f$ over $y$ is a zero-dimensional subvariety ...
2
votes
0
answers
87
views
formal smoothness for henselian thickening
Assume that $A,I$ is an henselian pair over $R$ and $X$ is a smooth $R$ scheme. can we say that $X(A)\to X(A/I)$ is surjective? I know that this is true if $X$ is affine(or even quasi-projective) or ...
1
vote
1
answer
104
views
Nonequidimensional birational Mori contractions
I have been looking for an excplicit example of a birational, divisorial Mori contraction such that the exceptional locus is not equidimensional onto its image.
To agree with the setup I like, the ...
3
votes
0
answers
68
views
Different definitions of the thick affine flag variety
I have seen several different definitions of the so called "thick" affine flag variety associated to an affine Lie algebra, and I am having trouble seeing why they are the same.
Some ...
1
vote
0
answers
83
views
Hopf algebra from Chow rings of Hilbert schemes of smooth surface
Let $X$ be a smooth projective surface. As its Hilbert schemes of points are resolutions of the symmetric powers, the addition map $S^nX \times S^mX \rightarrow S^{n+m}X$ lifts rational map $X^{[n]} \...
4
votes
0
answers
142
views
$\pm 1$-equivariant perverse sheaves on the affine line
Let $G=\mathbb{Z}/\mathbb{2Z}$ act by the map $z\mapsto -z$ on a complex line $\mathbb{C}$. The category $\mathcal{Perv}(\mathbb{C})$ of perverse sheaves smooth along the stratification by the origin ...
1
vote
0
answers
189
views
Constructing curves with large tangent space in complex variety
Suppose $M$ is a (singular) complex analytic/algebraic variety. Then for every $p\in M$ there exists a (possibly reducible) curve $C \subset U\subseteq M$ containing $p$ such that $T_pC=T_pM$, where $...