Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

learn more… | top users | synonyms (1)

0
votes
0answers
10 views

Examples of toric threefolds

I am looking for examples of smooth projective toric threefolds $\mathbb P_\Delta$ such that the dual polytope of the rational polytope $\Delta$ has only pentagonal faces and hexagonal faces. I ...
0
votes
0answers
6 views

Is a toric blow-up in codimension 2 a real toric blow-up?

Let $X, Y$ be toric projective algebraic varieties over $\mathbb{C}$. Suppose that $X$ and $Y$ are $\mathbb{Q}$-factorial and smooth in codimension two (e.g. they have terminal singularities). Let ...
0
votes
0answers
74 views

Is g( ) rational if it looks that way on a large rational subset?

Let $F$ be any infinite field, $U\subset F^n$ be an open, dense (in Zariski topology) subset, $x_1,x_2,…,x_n$ be an algebraic independent system of variables over $F$ , $f,f_1,f_2,…,f_n \in ...
1
vote
1answer
84 views

Explicitly describing the region of the plane “outward of” a simple, open, oriented, cubic curve $c:(0,1)\to\mathbb{R}^2$

Some Context: I'm working with some data given in the form of Bezier curves. I need to sort these (partially ordered) Bezier curves by "outwardness" (described below) and have come across an ...
4
votes
0answers
96 views

is there a moduli of stable infinity categories?

I know there exists a moduli (pre-)stack parameterizing (connected) triangulated dg-categories (ie the points of this moduli are not objects of a fixed dg-category, but rather dg-categories ...
6
votes
1answer
209 views

K3 surface as an anticanonical section

Let $S$ be a projective K3 surface. Then is there always a smooth projective 3-fold that has $S$ as its anticanonical section?
1
vote
0answers
87 views

Castelnuovo-Mumford regularity in multigraded case

Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded ...
4
votes
1answer
161 views

The dualizing sheaf for a proper smooth variety

Suppose $X$ is a $n$ dimensional proper smooth variety, is the dualizing sheaf of $X$ the top wedge of sheaf of differentials: $\omega_X^0=\wedge^n\Omega^1_X$? If not what is it? (By Chow lemma, we ...
1
vote
2answers
166 views

Difference between Gieseker semistable and slope semistable

Let $X$ be a projective reduced (not necessarily irreducible) curve over an algebraically closed field and $\mathcal{F}$ be a pure coherent sheaf on $X$. Is it true that $\mathcal{F}$ is Gieseker ...
2
votes
0answers
45 views

Rank of the augmented jacobian matrix

I'm struggling to understand the proof of the following theorem found in 'Solving the Likelihood Equations'. Suppose that $V$ is a complete intersection, i.e. its defining ideal $P$ can be generated ...
0
votes
0answers
122 views

Are del-Pezzo surfaces complete intersections?

Let $X_k$ be $\mathbb{CP}^2$ blown up at $k$-points (where $k$ is from $0$ to $8$). I think it is known that $X_k$ can be embedded in $\mathbb{CP}^n$ for some $n$. $\textbf{Question:}$ Can $X_k$ ...
7
votes
1answer
190 views

Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly. Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...
0
votes
0answers
85 views

Cycle class map in smooth quasi-projective varieties

Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$ and $Z$ be a closed subvariety of codimension $k$. Q1. How to define a cycle class $[Z]\in H^k(X,\Omega_X^{k})$ ? Q2. More general, ...
2
votes
0answers
53 views

Geometric/algebraic interpretation of quadratic points of rank r

In the paper of Eckl/Puhklikov (http://arxiv.org/abs/1210.3715) the following terminology is introduced: " Let $X \subset Y$ be a subvariety of codimension 1 in a smooth quasiprojective complex ...
-2
votes
0answers
40 views

Projection mappings [on hold]

I'm learning about projection mappings that can be done using mathematical models or functions. I wish to convert points in a network to a 2D vector by means of a Mathematical model. I could possibly ...
0
votes
0answers
56 views

Embedding curves in hypersurfaces

Consider a curve $C$ in $\mathbb{F}_q^m$, say. I am interested in the existence of curves not contained in any small degree hypersurface. For instance, a helix is not contained (or non-embeddable) in ...
0
votes
2answers
103 views

Is any F-stable maximal torus contained in some F-stable Borel subgroup? [on hold]

Denote by $\mathbb{F}_q$ the finite field with $q$ elements, and denote by $\bar{\mathbb{F}}_q$ its algebraic closure. Let $G$ be an affine algebraic group over $\bar{\mathbb{F}}_q$, and let $F$ be a ...
1
vote
0answers
71 views

On moduli space of torsion free semi-stable sheaves on nodal curves

Let $X$ be a projective irreducible nodal curve of genus at least $2$. Denote by $U(r,d)$ the moduli space of semi-stable torsion free sheaves on $X$ of rank $r$ and degree $d$. There are several ...
1
vote
0answers
85 views

A question about intersection theory over non algebraically closed field

Suppose we have a bilinear map $f\colon k^m\times k^n\to k^l$ such that $f(x,y)=0$ implies $x=0$ or $y=0$. We want to show $l\geq m+n-1$ for $k$ alg closed. (There is a result of Hopf for ...
2
votes
1answer
150 views

Torsion theory for quasi-coherent sheaves?

In a category $\mathcal C$, we will say that $(\mathcal T,\mathcal F)$ is a torsion theory if it satisfies: (1) $Hom(T,F)=0$ for all $T\in \mathcal T$ and $F\in \mathcal F$. (2) If $Hom(T,F)=0$ for ...
-1
votes
0answers
100 views

Order of element in algebraic group [migrated]

Denote by $\mathbb{F}_q$ the finite field with $q$ elements, and denote by $\bar{\mathbb{F}}_q$ its algebraic closure. Let $G$ be an affine algebraic group over $\bar{\mathbb{F}}_q$, and let $F$ be a ...
6
votes
2answers
174 views

Extending the Abel-Jacobi map over the DM-compactification $\overline{\mathcal{M}}_2$?

Let $\mathcal{M}_2$ be the moduli space of genus two curves and $\mathcal{A}_2$ the moduli space of principally polarized abelian surfaces. Then the Abel-Jacobi map gives an open embedding ...
4
votes
1answer
164 views

Macaulay's example of prime ideals in $\mathbb C[X_1,X_2,X_3]$ having large number of generators

There is a famous example of Macaulay which shows that there are prime ideals of height two in $\mathbb C[X_1,X_2,X_3]$ having at least $l$ generators for any $l\ge 3$. In Macaulay's words, the ...
3
votes
1answer
129 views

Sections of morphisms up to fppf covering

Let $f:X\to S$ be a finite type affine morphism of schemes where $S$ is an integral noetherian affine regular scheme whose function field is of characteristic zero. Assume that all geometric fibers ...
2
votes
0answers
64 views

Understanding the obstruction cone of a symmetric obstruction theory

Let $X$ be a scheme over $\mathbb C$ carrying a symmetric perfect obstruction theory $\phi:E\to L_X$, in the sense of Behrend-Fantechi (here $L_X$ is the truncated cotangent complex, in degrees ...
1
vote
0answers
137 views

Reference request: Cohomology of Elliptic Curves

Is it true that the group $$H^1(Gal(K^{ab}/K)/\mu_{\nu}(Gal(K_{\nu}^{ab}/K_{\nu})),E_{p^n})$$ is always p-divisible? Or are there any conditions which, when satisfied, guarantee its p-divisibility? ...
2
votes
1answer
250 views

An application of the Base Change Theorem to the moduli space of sheaves

Let $S$ be an abelian or K3 surface, $H$ an ample class on $S$, $v\in H^{ev}(S,\mathbb{Z})$ and $M$ the moduli space of $H$-stable sheaves on $S$ with invariants fixed by $v$. Let $\mathcal{E}$ be a ...
0
votes
0answers
76 views

Surjectivity of ring homomophism induced by Frobenius endomorphism

Denote by $F_q$ the finite field with $q$ elements, and denote by $\bar{F_q}$ its algebraic closure. Let $V$ be an affine $\bar{F_q}$-variety and $F$ be the Frobenius endomorphism corresponding to an ...
2
votes
1answer
88 views

Can height one maximal ideals in the normalization contract to non-height one primes in the base?

Let $R$ be a local (Noetherian) integral domain of dimension greater than one. Can the integral closure (i.e. normalization) of $R$ have a maximal ideal of height one?
0
votes
0answers
72 views

Relative characteristic classes

Let $M$ be a complex manifold of complex dimension $n$ with $\mathcal{N}_{1}$ and $\mathcal{N}_{12}$ be sheaves on $M$ such that $\mathcal{N}_{12} \subset \mathcal{N}_{1}$ (subsheaf) . Set ...
2
votes
1answer
85 views

Classification of local and semi-local rings in function fields

Let $C$ be a non-singular algebraic curve over an algebraically closed field $k$, and $F$ a function field of this curve. It is well-known that non-trivial discrete valuation rings of $F$ correspond ...
4
votes
1answer
110 views

Hilbert point and Hilbert stability

For $X\in \mathbb{P}^N$ a closed subscheme, one can consider the m-th Hilbert point $$ [X]_m=[\bigwedge^{h^0(X, \mathcal{O}(m))}H^0(\mathbb{P}^N, \mathcal{O}(m))\to \bigwedge^{h^0(X, ...
3
votes
2answers
193 views

Upper bound on Betti numbers of an intersection of hypersurfaces (or quadrics)

I have a problem I have been stuck with since several weeks now, and yet I believe it should be easy to specialists. Let $k$ be an algebraically closed field, $m$ and $n$ two integers. Let ...
0
votes
0answers
85 views

How to show integrally closed implies topologically unibranch

On p.52 of Mumford's book Algebraic Geometry: Complex projective varieties, he states that $$\mathcal{O}_{x.X} \text{is integrally closed} \ \Rightarrow X \ \text{is topologically unibranch at } \ ...
8
votes
1answer
312 views

Group schemes, adeles, double cosets, and étale cohomology

Let $K$ be a number field, $R$ the ring of integers of $K$, ${\mathbf{A}^f}$ the ring finite adeles of $K$, and ${\widehat{R}}\subset {\mathbf{A}^f}$ the ring of integral adeles. Let $G$ be an affine ...
6
votes
4answers
599 views

Is there a (satisfying) proof that cellular cohomology is isomorphic to simplicial cohomology that doesn't use relative cohomlogy?

That singular and de Rham cohomologies of a smooth manifold are isomorphic has two proofs that I know of. The classical one uses Stokes' theorem to give the isomorphism explicitly. The second proof ...
3
votes
1answer
103 views

I need to refind a reference on multigraded Hilbert series

I found a theorem about multigraded Hilbert series stated as follows: Let $R$ be a Noetherian multigraded algebra $R:=\bigoplus_{j\in\mathbb{N}^m}{R_j}$ over $R_0=\mathbb{C}$. If $R$ is generated by ...
2
votes
0answers
77 views

Extension of the Hilbert-Mumford Criterion

Let $X$ be a smooth variety, $L$ a line bundle on $X$ and $G$ a reductive group actin on $X$ with a linearization of the action to $L$. Say we are over the complex numbers. Both the concept of GIT ...
3
votes
0answers
68 views

Low height integer points on a rank variety

Let $M_i$ be fixed rectangular matrices with integer coefficients less than $n$. Consider the variety defined by the condition $$ \mathrm{rank}(\lambda_1M_1 + \lambda_2M_2 + ... + \lambda_kM_k) = 1. ...
5
votes
0answers
86 views

Injective homomorphism induced by cup product in cohomology

Let $M$ be an irreducible holomorphic symplectic manifold of dimension $\geq 4$. In his paper 'A survey of Torelli and Monodromy results', Markman claims (discussion after Theorem 9.7) that the cup ...
3
votes
1answer
111 views

Graded ring of a genus 2 curve

Let $X$ be a smooth projective complex curve of genus 2 with canonical divisor $K$. $X$ of course is hyperelliptic and has an involution that I denote by $j$. There exists 3 possibilities for ...
0
votes
0answers
81 views

what data is necessary to specify a valuation centered on a variety?

Recall that a rank $n$ valuation on a field $K$ is a homomorphism from the multiplicative group of the field $K^\times$ to $\mathbb{Z}^n$ which satisfies the non-archimedean "triangle inequality" $v(a ...
-3
votes
1answer
165 views

Loop space of manifold [closed]

Question A: The free loop space of a manifold is also a manifold? Question B: The free loop space of an algebraic variety is also a algebraic variety ? Are these questions asked or answered anywhere ...
5
votes
0answers
116 views

Line-configuration in algebraic hypersurfaces

Suppose we are working on $\mathbb{C}^3$ (so that maybe this is more appealing to algebraic geometers) and we are given an algebraic equation $F(x,y,z)=0$ of degree $n\geq 3$ defining some smooth ...
1
vote
2answers
123 views

Canonical (tautological) section of a family of sheaves

A couple of months ago, i saw a construction, that somehow looks like the construction of the tautological section of the pullback of a vector bundle to its total space, i am trying to piece it ...
3
votes
2answers
283 views

Smooth paths on affine varieties

I have the following question which is in some way related to an application of Randell Isotopy Theorem to complex hyperplane arrangements. Let $h,k\geq1$ be integer numbers and let ...
2
votes
1answer
159 views

What does the Chern-Schwartz-MacPherson class of a singular variety look like?

Let $A_\ast$ and $F_\ast$ be the functors $\textrm{Var}_\mathbb C\to \textrm{Ab}$ of Chow groups and constructible functions, respectively, with respect to proper maps. Then the ...
0
votes
0answers
124 views

Do there exist nontrivial motivic cohomology operations preserving weights?

Suppose that for each field $F$ a linear map $X(F): H_M^{p,q}(F, \mathbb{Q}) \longrightarrow H_M^{p,q}(F,\mathbb{Q})$ is given, such that $X$ commutes with inclusions of fields and transfers for ...
1
vote
1answer
194 views

Composition of rational functions

Given a rational function $R\in\Bbb R(x_1,\dots,x_n)$ with multilinear numerator and denominator, is there always a rational function $G\in\Bbb R(x)$ such that $G\circ R\in\Bbb R[x_1,\dots,x_n]$, ...
1
vote
0answers
34 views

A weaker version of Randell Isotopy Theorem

I am studying a problem in hyperplane arrangement theory related to the homotopy type of the complement manifold of a certain class of hyperplane arrangements. In a well celebrated paper Richard ...