Questions tagged [ag.algebraic-geometry]
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
20,202
questions
0
votes
0
answers
56
views
complex K3 surfaces with automorphisms of given orders
Concerning complex K3 surfaces, there are various methods to show the non-existence of an automorphism of certain orders. The usually way is to investigate the action of the automorphism on the space $...
0
votes
0
answers
32
views
Is it possible to extract a generalised criteria where an object has finite measure in (n+1) th dimension but has infinite measure in nth dimension? [closed]
Situation 1 : Koch's snowflake- Has infinite perimeter (Lets call it- 1D
measure) but finite area (Lets call it- 2D
measure)
Situation 2: Gabriel's horn- Has infinite area (Lets call it- 2D measure) ...
0
votes
0
answers
49
views
Basis of space of holomorphic differential of hyper elliptic curves $H^0(C,Ω_C/ \Bbb{Q})$
Let $C$ be an hyper elliptic curve and $J(C)$ be its Jacobean.
It is known that $H^0(C,Ω_C/ \Bbb{Q})$, space of holomorphic differential form on $C$ has basis(sometimes called 'Hermite basis') and can ...
1
vote
0
answers
24
views
Blow-ups of $ F $-regular varieties at points in general position and finite generation of the Cox ring
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
0
votes
0
answers
32
views
Is there a name for the number $ n $ of points in general position s.t. $ \operatorname{Cox}(\operatorname{Bl}_{p_{1},\dots,p_{n}}(Z)) $ is not f.g.?
Let $ Z $ be a projective, normal, $ \mathbb{Q} $-factorial variety (so the Cox ring of $ Z $ is well defined). Is there a name in the literature for the minimal natural number $ n $ such that the ...
4
votes
0
answers
66
views
Derived subgroup of rational points vs. rational points of derived subgroups
Let $G$ be a connected split reductive group over a field $k$. In general, we have an inclusion
$$
f: [G(k), G(k)] \rightarrow [G,G](k).
$$
If $k$ is not algebraically closed, $f$ is not necessarily ...
-1
votes
0
answers
21
views
Converting an iterative function to calculate the trajectory of a particle, into a polar function
I have been working on trying to convert the below code (which simulates the trajectory of a particle [with air friction]) into a polar function that can be evaluated immediately (without having the ...
1
vote
1
answer
97
views
what is the linear system on a cubic surface giving the blow-down map to the plane
Consider $X$ a smooth cubic surface in $\mathbb{P}^3$, and let $l_1,...,l_6$ be six disjoint lines contained in $X$.
What is the linear system giving the blow-down map $X \to \mathbb{P}^2$, so that ...
1
vote
0
answers
47
views
Space of valuations is spectral space and what does it mean to say that conditions are closed conditions
I am reading lecture 3 of Conrad notes (link : https://math.stanford.edu/~conrad/Perfseminar/ ), in which he proves space of valuations is a spectral space. Last theorem of lecture 3.
We have a map $j:...
4
votes
0
answers
148
views
Cartan–Remmert reduction of an algebraic variety
Let $V$ be a normal connected algebraic (say, quasi-projective) variety over complex numbers. Assume that underlying complex analytic space $V^\text{an}$ is holomorphically convex, and thus admits the ...
0
votes
0
answers
63
views
Do torsors $\phi: Z \to X$ (for varieties defined over a number field $K$) induce continuous maps $\phi: X(K_v) \to Z(K_v)$ in the v-adic topology?
Let $K$ be a number field, let $G$ be some linear algebraic $K$-group and let $\phi: Z \to X$ be a $G$-torsor over $X$. Let $v$ be a place of $K$.
Does the morphism $\phi$ induce a continuous map $\...
1
vote
1
answer
106
views
Invariant ring of the subvariety
Let $G$ be a linearly reductive algebraic group and $X$ be an affine $G$-variety over an algebraically closed field $\mathbb{K}$. Let $Y\subset X$ be a (closed) affine subvariety of $X$ which is also $...
2
votes
0
answers
87
views
Examples of compact non-Kähler complex manifolds with Kodaira dimension zero
Let $X$ be a minimal compact non-Kähler complex manifold. Suppose that Kodaira dimension $\kappa(X)=0$.
Is there a known example where the canonical bundle is not holomorphically torsion?
For ...
0
votes
1
answer
107
views
Only finitely many rational curves in a complete linear system of a K3 surface
Consider a projective complex K3 surface $X$, then $\lvert D\rvert$ contains only finitely many rational curves for any divisor $D$ on $X$.
What is the original reference for this result?
2
votes
0
answers
97
views
Moduli stack of doubly periodic complexes?
Let $\mathcal{A}$ be an abelian category.
In HAG II Toen and Vessozi built a higher derived stack $X$ whose category of perfect complexes is $\text{Perf}(X)\simeq D^b(\mathcal{A})$. So $X$ is a good ...
7
votes
0
answers
145
views
Faithfully flat descent in complex analytic geometry
A common technique for constructing objects (sheaves) and morphisms in algebraic geometry is faithfully flat descent. Roughly speaking this consists on constructing an object or a morphism "...
9
votes
4
answers
292
views
Localic or topos-theoretic definition of $\operatorname{Spec}$
Usually, the construction of the spectrum of a commutative ring starts with defining the points of $\operatorname{Spec}(A)$, and constructing a topology with the closed sets being the "zeroes&...
2
votes
0
answers
54
views
Is the Cox ring of a $ \mathbb{Q} $-factorial, $ F $-regular, Mori dream space $ F $-regular?
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
6
votes
1
answer
233
views
+50
Construction of a line bundle from a class $[\alpha] \in H^1(X, \mathcal{O}_X^{\times})$ as $\mathcal{O}_X^{\times}$-Torsor
Let $X$ be a complex compact manifold, and write $\mathcal{O}_X$ for the sheaf of holomorphic functions on $X$. Let $\mathcal{O}_X^{\times}$ be the subsheaf consisting of holomorphic functions. These ...
1
vote
1
answer
243
views
Sheaf cohomology in number theory
I have read the first three chapters of Hartshorne and was wondering what are the applications of the notions presented in number theory or arithmetic geometry. I already know that the notion of ...
2
votes
0
answers
146
views
Approximate versions of Segre's Theorem
Consider projective $2$-space over a finite field of odd prime characteristic $p$. We say a set of points, $A$, in this space is an arc if any line meets it in at most two points. We say that an arc ...
1
vote
0
answers
167
views
Bundles vs. line bundles
Let $K$ be an algebraically closed field and consider the category $\text{Bun}$ of (finite dimensional) vector bundles over a $K$-variety $X$. Consider also the category of $\mathbb{G}^\times$-...
1
vote
1
answer
212
views
About simple motives
I'm reading through Jannsen's paper Motives, numerical equivalence, and semi-simplicity and I'd like to pose two questions.
Suppose all motives are $F$-linear, for some characteristic zero field $F$, ...
1
vote
0
answers
106
views
The Brauer group of the function field of a proper curve
Let $X$ be a smooth proper geometrically connected curve over a number field $k$, and let $k(X)$ denote its field of rational functions, i.e., its function field. Then the (cohomological) Brauer group ...
2
votes
0
answers
142
views
References to let me know about current directions of research in arithmetic geometry
I have knowledge of basic algebraic geometry and good deal of number theory. I have studied roth theorem and I am currently studying proof of Mordell-Weil theorem. These two topics come under ...
8
votes
1
answer
248
views
The Grothendieck topology of closed immersions on schemes
Let $S$ be a scheme. Let's define a Grothendick topology on $\mathrm{Sch}/S$ where a covering family $\{f_i:Z_i\rightarrow X\}_{i\in I}$ on an $S$-scheme $X$ is a collection of closed immersions of $S$...
1
vote
0
answers
157
views
Monodromy group action on de Rham cohomology
Let $f : Y \longrightarrow X := \mathbb{P}^1\setminus\{0,1,\infty\}$ be the smooth proper morphism associated to the Legendre family, which is an elliptic fibration of the punctured line, with fibre ...
1
vote
0
answers
77
views
Example of projective, $ F $-regular variety $ X $ and smooth sub-variety $ Y $ such that $ \operatorname{Bl}_{Y}(X) $ is not $ F $-regular?
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
5
votes
1
answer
331
views
Six people standing on earth
Consider 6 people $p_i$, $i=1,\dots 6$, standing on a sphere $S^2$. We label the positions of these people by $p_i$ again. Suppose no pair of these points $p_i$ are antipodal. At each point $p_i$ ...
2
votes
1
answer
194
views
Automorphism of moduli space of stable vector bundles over a curve
Let $C$ be a smooth genus two hyperelliptic curve and $\mathcal{M}_C$ be a moduli space of stable rank two vector bundles of fixed degree(or fixed determinant). Then is $\mathrm{Aut}(\mathcal{M}_C)\...
5
votes
0
answers
174
views
Which properties of the pullback/restriction functor imply surjectivity of a ring homomorphism
Let $f:R\to S$ be a homomorhpism of (noncommutative) algebras over some field k (say the complex numbers) and let $F:Rep(S)\to Rep(R)$ be the corresponding functor between the categories of finite-...
5
votes
1
answer
150
views
How the automorphism group of an elliptic curve acts at the localization of the stack $\mathcal{M}_{1, 1, k}$ at the corresponding point
I am studying the enlightening article "The Picard Group of $\mathcal{M}_{1, 1, S}$", written by Fulton and Olsson, but I have some problems with a proof.
Setting
Let $\mathcal{M}_{1, 1, k}$ ...
-1
votes
0
answers
59
views
Number of holomorphic line bundles with holomorphic sections for a fixed cohomology class
Let $X$ be a smooth compact Kähler (or more strongly projective) manifold and $\alpha$ an element of its Néron-Severi group. Let $\mathrm{Pic}^{\alpha}(X)$ denote the subset of the Picard group $\...
1
vote
0
answers
185
views
Fourier-Mukai transform is the derived functor
In Mukai's paper Duality between $D(X)$ and $D(\hat{X})$ with its application to Picard sheaves, Nagoya Math Journal, 1981, there is one sentence that puzzles me.
Let $X$ be an abelian variety over an ...
0
votes
0
answers
60
views
Intersection of stabilizer group orbits and algebraic variety of decomposable forms
I have been trying to prove/come up with counter examples to the following situation, any help would be very much appreciated.
Let $\{E_I\}$ be a basis of $\mathbb R^6$, so that any vector $V\in\...
1
vote
0
answers
43
views
Is the Schofield semi invariant defined at $V/IV$?
Let $A=\mathbb{K}Q$ be the path algebra of an acyclic quiver $Q$ over an algebraically closed field $\mathbb{K}$, and $0\not=I\subset\mathbb{K}Q$ be an admissible ideal. Let $W$ be a left $A$-module ...
0
votes
0
answers
118
views
Cone of morphism induced by Serre duality
For a smooth projective variety $X$, Serre duality gives an exact autoequivalence on the derived category :
$$
S_X : D^\flat(X) \to D^\flat(X), \hspace{3em} S_X(-) = - \otimes \omega_X[\dim X]
$$
...
4
votes
1
answer
139
views
Normal bundle of a linear subspace
Let $X\subset\mathbb{P}^N$ be a smooth scheme theoretical complete intersection, and $H\subset X$ a linear subspace. Denote by $N_{H,X}$ the normal bundle of $H$ in $X$.
If $\dim(H) = 1$, that is $H$ ...
-2
votes
1
answer
161
views
Are there any non-elementary functions that are computable?
Does a function $\mathit{f}:\mathbb{R}→\mathbb{R}$ being non-elementary (not expressible as a combination of finitely many elementary operations), imply that it is not computable?
The particular case ...
0
votes
0
answers
97
views
Pull back of ample divisor by a birational morphism
Let $X$ be a normal projective variety of Picard number one. Let $\pi: Y \to X$ be a resolution of singularity of $X$ and $A$ is the ample generator of $\text{Pic}(X)$. Then $\pi^*A$ is nef but not ...
3
votes
0
answers
175
views
Ample toric divisors
Let $X$ be a smooth complex projective variety (of dimension two or higher) and $D=\bigcup D_i$ be a simple normal crossings divisor on $X$ such that:
$D$ is ample (maybe we need very ample but I am ...
2
votes
1
answer
130
views
Find an analogue of Weyl chamber structure
Let $G$ be a split reductive group and let $T$ be a split maximal torus whose rank is $l$. Is it possible to find a base $\gamma_1,..., \gamma_l$ of the weight lattice $X(T)$ such that the cone $C$ in ...
0
votes
0
answers
53
views
Semistability of the pull back of sheaf of logarithmic one-forms modulo the torsion under birational map
Let $X$ be a projective Fano variety ( need not be smooth) of Picard number one. Let $D$ be a reduced divisor on $X$ and $U$ be an open subset contained in smooth locus of $X$ such that $D \cap U$ is ...
0
votes
1
answer
166
views
Depth of almost complete intersection rings
Let $R$ be a regular local ring and let $I \subset R$ be an almost complete intersection ideal, that is, $\mu(I)=\text{ht}(I)+1$ where $\mu(I)$ is the number of minimal generators of $I$ and $ht(I)=\...
3
votes
1
answer
208
views
Siegel modular forms in Mathematica
Is there a convenient way to work with Siegel modular forms in Mathematica? I am interested in doing analytic computations using the $\chi_{10}(\Omega)$ Siegel modular form, where $\Omega$ is the $2\...
0
votes
1
answer
95
views
Compatibility conditions for quadratic equations
In the context of physics, I stumbled over the following problem: I have $N$ equations, all are quadratic in a single scalar, real variable $x$:
\begin{eqnarray}
0 &= A_1x^2 + B_1x + C_1 \\
&...
0
votes
0
answers
67
views
Intersection product of $\mathbb{Q}$-Cartier divisors with irreducible complete curves is well-defined
I am learning the notion of intersection product of a $\mathbb{Q}$-Cartier divisor with an irreducible complete curve on a normal variety. The definition I learned is that if $D$ is a $\mathbb{Q}$-...
2
votes
0
answers
100
views
Results concerning surjectivity of Brauer groups
Are there known cases of a morphism of smooth geometrically connected curves $f: X \rightarrow Y$ over a number field $k$ (to be specific) that would give rise to a surjective restriction map $f^*:\...
4
votes
0
answers
148
views
Rank $2$ motivic local systems on a curve
This question is about the article "Motivic local systems on curves and Maeda's conjecture" by Yeuk Hay Joshua Lam.
In the proof of Theorem 1.1 it is claimed (on lines 4-5 of p. 7) that any ...
5
votes
1
answer
307
views
Geometric properties of the adjoint action of a reductive group
$\newcommand{\g}{\mathfrak{g}}$Let $G$ be a reductive algebraic group over field $k = \overline{k}$ and consider the characteristic polynomial $\g \to \g/\!/G := \operatorname{Spec} (k[\g]^G)$ induced ...