Questions tagged [ag.algebraic-geometry]
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
21,611
questions
0
votes
0
answers
78
views
Projectivity of equivariant K-theory of toric variety
I'm looking at Vezzosi and Vistoli's paper: Higher algebraic K-theory for actions of diagonalizable groups.
In Theorem 6.9, they prove that the $T$-equivariant K-theory of a smooth projective toric ...
- 11.4k
2
votes
0
answers
141
views
About pushforward of a sheaf of divisor
Let $X$ be a normal variety over an algebraically closed field of arbitrary characteristic, $f:X'\to X$ a log resolution, $L$ a Cartier divisor on $X$, and suppose $L\sim_{\mathbb{Q},f}E$, where $E$ ...
- 350
7
votes
3
answers
1k
views
Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$
Using the exact sequence
$$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$
it is easy to compute $H^{1}(\mathbb{P}^...
- 11
1
vote
0
answers
85
views
Mirror of a local K3 surface
Is there any description of a mirror manifold of a (non-compact) Calabi-Yau threefold given by the total space of the trivial line bundle on a K3 surface? If yes, in what way is it a mirror?
Thanks ...
- 886
3
votes
0
answers
74
views
Projective resolution of a quiver with relations
How do we compute the projective resolution of a representation of a quiver with relations.
For example consider the Beilinson quiver $B_4$
$.
with the relations $\{\alpha_j^k\alpha_i^{k-1}=\alpha_i^...
- 169
2
votes
0
answers
211
views
What are the Hodge and log Hodge groups of $M_{g,n}$?
I would like to know, ideally with a reference, what the Hodge and log Hodge numbers of the moduli space of stable curves $\bar M_{g, n}$ are. At the very least I'd like to know the genus zero case $g ...
- 26.4k
1
vote
1
answer
188
views
Shrinking the base field of an affine variety
This is a question on algebraic geometry/commutative algebra.
Let $K,L$ be fields of characteristics zero and let $K\subset L$ be a field extension (I am interested in the case when this is ...
- 1,422
2
votes
1
answer
169
views
Lifting of quadrics containing a curve
Let $C \subset \mathbb{P}^r$ be a projective curve (over $k=\mathbb{C}$), smooth, irreducible and nondegenerate of degree $d$, ie the embedding line bundle $\mathcal{O}_C(1)=(\mathcal{O}_{\mathbb{P}^r}...
- 60.4k
2
votes
1
answer
168
views
Find stratification to decompose constructible sheaf to constant parts (example from Wikipedia)
I have a question about techniques used in determining the stratification over which a constructible sheaf falls into even constant pieces demonstrated on this example from Wikipedia.
Let $f:X = \text{...
- 137k
4
votes
1
answer
326
views
Residues and blow ups
On a 2-dimensional complex manifold consider two functions which are meromorphic with singularities along two divisors which meet at a point. There is a residue from these meromorphic functions (...
- 1,711
2
votes
1
answer
356
views
Zero set of prime ideal
Let $k$ be a field of characteristic $0,$ but not necessarily algebraically closed.
Let $P$ be a prime ideal of $k[X]$ (where $X$ is an $n$-tuple of variables), and $V := \{x \in K^n: \forall p \in P\ ...
- 11.4k
9
votes
2
answers
366
views
Does the Affine Pappus Axiom imply the Affine Desargues Axiom in affine planes?
I am interested in the affine version of the well-known Hessenberg's Theorem (saying that Pappian projective planes are Desarguesian).
First I introduce all necessary definitions.
Definition L. A ...
- 40.9k
2
votes
1
answer
95
views
Is every Cartesian biaffine plane affine?
This question concerns the (synthetic) geometry of linear spaces.
Definition 1. A linear space is a pair $(P,\mathcal L)$ consisting of a set $P$ whose elements are called points and a family $\...
- 40.9k
2
votes
0
answers
117
views
How to find a single-variable polynomial in a zero-dimensional ideal?
Given finitely many multivariate polynomials with algebraic coefficients that generate a zero-dimensional ideal, is there an easy way to find a nonzero single-variable polynomial in this ideal?
If we ...
- 7,573
7
votes
2
answers
3k
views
On the cohomology ring of the Grassmannian
The basis of Schubert classes for the cohomology ring $H^*(\text{Gr}(m,N))$ of the Grassmannian of $m$-dimensional subspaces of $\mathbb{C}^N$ is indexed by $L(m,N-m)$, the poset of all partitions ...
- 1,446
1
vote
0
answers
50
views
Symmetric 0-dimensional schemes with generic Hilbert function and Grassmannians
I've came across this problem while thinking about some properties of fat schemes.
Let me give you an explicit (motivating) example:
We have $S=\mathbb{C}[x,y,z]$, the coordinate ring of $\mathbb{P}^2$...
- 60.4k
2
votes
1
answer
1k
views
When may function (meromorphic) be expanded as power series with coefficients of integers
Let $F$ be meromorphic function, with what properties may it be expanded as power series with coefficients of integers in such a form:
$$F=\sum_0^{\infty}a_i x^i,a_i\in \mathbb{N} \bigcup 0,\exists M \...
- 4,618
21
votes
1
answer
1k
views
Reconciling the affine grassmannian and the based loop group
I'm trying to reconcile the differences between the (algebraic) based loop group and the affine grassmannian. I once believed that I understood the relationship, but I just read a paper which has ...
- 42.5k
2
votes
0
answers
156
views
A direct proof that every projectivity between parallel lines is affine
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
- 40.9k
7
votes
1
answer
324
views
A corollary of the affine Desargues axiom
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
- 40.9k
2
votes
1
answer
158
views
One question about K-moduli space of smooth plane conic curves
I am reading Ascher-Devleming-Liu's paper "Wall crossing for K-moduli spaces of plane curves" example 4.5 (2) (b) ADL 19 and l have some confusions.
From Li-Sun's paper "Conical Kähler-...
- 60.4k
0
votes
1
answer
41
views
relations between non-negativity of multivariate polynomials and SOS over gradient ideal
We know there is a necessary condition for the non-negativity of multivariate polynomials in the paper "Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational ...
CommunityBot
- 1
3
votes
1
answer
273
views
Riemann-Hilbert problem via quiver description
The moduli space of Fuchsian systems over $\mathbb{P}^1$ with prescribed adjoint orbits conditions at poles a.k.a. additive Deligne-Simpson problem can be presented under purely quiver description.The ...
- 22.2k
11
votes
1
answer
978
views
Relation between motives and geometric Langlands
When working over a number field (or a function field over a finite field), one predicts that the Langlands program is related to the theory of motives over this field. There are several ways I have ...
- 137k
1
vote
0
answers
82
views
étale, smooth, and unramified for product of schemes
The question comes from Liu's book. I already asked it on mathstack and I post here since I didn't get any answer at now (https://math.stackexchange.com/questions/4873827/%c3%a9tale-smooth-and-...
- 83
18
votes
2
answers
8k
views
The canonical line bundle of a normal variety
I have heard that the canonical divisor can be defined on a normal variety X since the smooth locus has codimension 2. Then, I have heard as well that for ANY algebraic variety such that the canonical ...
- 42.5k
17
votes
1
answer
1k
views
Application of higher categories in algebra
Higher categories and derived algebraic geometry are relatively new areas and probably fewer people are working on them compared to the majority of topologists or geometers. I believe higher ...
- 29.8k
5
votes
2
answers
519
views
Algebra/Algebraic geometry in statistical mechanics
This is a soft question. I am currently studying statistical mechanics and I found this one by chance: Algebraic statistical mechanics
And I also found some workshops on interactions between ...
- 282
4
votes
2
answers
178
views
References for $K$-orbits in $G/B$
Let $G$ be a reductive group, $K$ a symmetric subgroup of $G$ (e.g., fixed point of an involution), and $B$ a Borel subgroup of $G$. Then it is well known that $G/B$ has finitely many $K$-orbits. ...
- 606
26
votes
4
answers
2k
views
What is the status of the theory of motives?
It has been almost 60 years since Grothendieck conceived the conjectural theory of motives in order to grasp the common behavior of the most important (Weil) cohomology theories.
But what is the ...
- 646
4
votes
0
answers
223
views
When $\langle u,v,w \rangle$ is a maximal ideal in $\mathbb{C}[x,y]$?
Let $u,v,w \in \mathbb{C}[x,y]$ and let $\langle u,v,w \rangle$ be the ideal generated by $u,v,w$.
It is known that for two elements the following result holds:
$\langle u,v \rangle$ is a maximal ...
- 60.4k
2
votes
0
answers
106
views
Flag variety type Beilinson resolution
The Beilinson resolution is a locally free sheaves resolution for sheaf $\Delta_*\mathcal{O}_{\mathbb{P}}$,where $\Delta: \mathbb{P}\to \mathbb{P}\times\mathbb{P}$ is the diagonal embedding of ...
- 541
2
votes
0
answers
113
views
Some questions about $\ell$-adic monodromy
I'm stucking on the proof of the Lemma 3.12 of A p-adic analogue of Borel’s theorem.
Here $\mathcal A_{g,\mathrm K}$ is just a shimura variety defined over $\mathbb Z_p$, and full level $\ell$ ...
- 523
2
votes
1
answer
171
views
Finite étale cover of factorial ring
Let $A$ be a regular factorial ring.
Consider $B=A[X]/(P)$ such that $B$ is finite étale over $A$. When do we have that $B$ is also factorial?
- 6,117
11
votes
2
answers
760
views
What relationship is there between repeated roots of discriminants and orders of roots of the original polynomials?
Disclaimer:
I asked this problem several days ago on MSE, I'm cross-posting it here. The title sounds like a high school problem, but (as a grad student not in algebra) it feels subtle/deep.
...
- 5,528
3
votes
3
answers
498
views
Cohen-Macaulay property for reducible schemes
I have the following question about certain schemes being Cohen-Macaulay.
Let $X$ be the union of all coordinate $k$-planes in
${\mathbb A}^N$. Is it CM?
Let $R$ be a collection of $k$-element ...
- 2,758
2
votes
0
answers
128
views
Cohomology of equivariant toric vector bundles using Klyachko's filtration
I am trying to understand Klyachko's following description of the cohomology groups of locally free (hopefully more generally of reflexive) sheaves on toric varieties.
Whereas detailed literature ...
- 455
3
votes
2
answers
241
views
Question about surface singularities
Throughout, $X$ will be a projective surface. I am looking for examples of the following surface singularities,
I) A rational singularity that is not quotient. Obviously, it has to be non-Gorenstein, ...
- 42.5k
3
votes
1
answer
161
views
Image, upto direct summands, of derived push-forward of resolution of singularities
Let $\mathcal C$ be a full subcategory (closed under isomorphism also) of an additive category $\mathcal A$. Then, $\text{add}(\mathcal C)$ is the full subcategory of $\mathcal A$ consisting of all ...
- 343
1
vote
0
answers
127
views
A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(2,3,2),\cdot\rangle$
I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below)
I want to ...
- 767
2
votes
1
answer
142
views
Non-torsion points of Tate curves
Let $E$ be a Tate curve over a $p$-adic field $K$. Then there exists $q \in K^*$ with the valuation $v(q)>0$ such that $E(\overline{K})= \overline{K}^*/\left< q \right>$. So it is easy to see ...
- 137k
2
votes
1
answer
218
views
Is a finite morphism of Deligne-Mumford stacks proper?
The situation that I am in is the following. Let $\mathcal{X}$ be a smooth Deligne-Mumford stack over a field $k$. Let $X$ be a $k$-scheme together with a morphism $\pi;\mathcal{X}\rightarrow X$ (you ...
- 137k
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 ...
- 29.8k
2
votes
1
answer
143
views
Isomorphic IC sheaves induced from different locally closed subvarieties
Let us work with varieties over $\mathbb{C}$ and $D^{b}_{c}(X)$ the bounded constructible derived category of sheaves of $\mathbb{Q}$ vector spaces. Say $X$ and $Y$ are smooth locally closed ...
- 137k
0
votes
0
answers
95
views
Prime to $p$ monodromy of local system on rigid variety
Suppose $F$ is a finite extension of $\mathbb Q_p$, and $X$ is a rigid variety over $F$. I saw in proposition 3.7 of Oswal, Shankar, Zhu, and Patel - A $p$-adic analogue of Borel's theorem: "Let $...
- 11.4k
2
votes
0
answers
114
views
What are the categories of IND and PRO schemes?
below is a mathexchange question with no answers so I drop it here.
I have some difficulties to figure out what the category of IND-schemes and PRO-schemes are, in particualer the relations with ...
- 1,105
9
votes
3
answers
1k
views
Stable graphs: Feynman diagrams and Deligne-Mumford space
I do not know very much about quantum field theory, but I have seen, in my reading, that stable graphs can appear in QFT in the form of, I think, Feynman diagrams. By stable graph I mean a "graph with ...
- 1,446
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 ...
CommunityBot
- 1
4
votes
2
answers
420
views
Nearby cycles for stacks
Let $X$ be a variety over $\mathbb C$. Let $f\colon X \to \mathbb{A}^1$ be a regular function. I understand that there is an analytic nearby cycles functor, defined in terms of the exponential map. I ...
- 646
19
votes
2
answers
2k
views
What is the relationship between these two notions of "period"?
The motivation for this question is to understand a recent theorem of Francis Brown which implies that all periods of mixed Tate motives over $\mathbb{Z}$ lie in $\mathcal{Z}[\frac{1}{2\pi i}]$, where ...
- 4,618