All Questions
Tagged with homological-algebra ag.algebraic-geometry
392 questions
2
votes
0
answers
124
views
Generalization of Koszul cohomology for wedge product with a fixed q-form: literature and references?
Let $A$ be a commutative ring. For an odd positive integer $q$ and an integer $p$ in the range $1 \leq p \leq q$, consider the cochain complex:
$0 \to \Lambda^p(A^N) \to \Lambda^{p+q}(A^N) \to \cdots \...
- 21
2
votes
0
answers
137
views
Leray spectral sequence for étale homology
Let $X$, $Y$, $Z$ be quasi-projective varieties over an algebraically closed field $k$, $f: X \to Y$ and $g: Z \to X$ proper (even projective) maps with $f$ smooth, and $h: Z \to Y$ their composite. ...
- 658
0
votes
0
answers
168
views
Theorems related to Chevalley's theorem
Recently I have read Chevalley's theorem of a complete local ring which basically says that if $(R,\mathfrak{m})$ is a complete local ring and if $\{b_n\}$ be a sequence of ideals such that $b_n \...
3
votes
0
answers
169
views
equivalence of two categories
I am new to algebraic geometry and category theory. I am wondering about the following functor is equivalence of categories or not.
Let $X$ be irreducible scheme and $x$ be its unique generic point. ...
- 613
2
votes
0
answers
168
views
When do we have $\bigoplus_{i + j = n} R^i f_* \mathbb{Q}_\ell \otimes_{\mathbb{Q}_\ell} R^j g_* \mathbb{Q}_\ell \cong R^{i + j} h_* \mathbb{Q}_\ell$?
Milne, Étale Cohomology, theorem 8.5 states the following version of the Künneth formula (in slightly greater generality). Let $\Lambda$ be a finite commutative ring. Let $X, Y, S$ be schemes with $S$ ...
- 531
2
votes
1
answer
307
views
Serre functors and global dimensions
Let $k$ be a field.
Let $\mathcal{C}$ be an abelian category (over $k$).
We say that $\mathcal{C}$ has a finite global dimension if there exists integer $n > 0$ such that
$$
\operatorname{Ext}^i(M,...
- 889
6
votes
2
answers
442
views
Existence of functorial (K-)flat resolutions?
I am wondering about the following: Suppose $X$ is a reasonable scheme or stack with the resolution property. (So, all quasi-coherent sheaves admit a surjection from a flat sheaf.) Then I believe ...
- 91
2
votes
0
answers
137
views
details of a dévissage argument for constructible sheaves
I am working on the following Künneth-type isomorphism from [SGA5, exposé III, 2,3]:
$\mathrm{Settings}.$ Let $X_1, X_2$ be separated finite type schemes over the spectrum of a field $S=\mathrm{Spec}...
- 375
5
votes
0
answers
288
views
Picard group of almost module category
I am very new to the world of almost mathematics and I am curious about the following:
Fix an almost mathematics situation $(R,I)$ throughout. Very generally, the almost module category comes with a ...
- 51
2
votes
1
answer
181
views
Is the derived support $\{x\in X\:|\: \mathsf{L}x^* M\neq 0\}$ closed?
Let $X$ be a scheme and consider an object $M$ of its derived category $\mathsf{D}_\text{qc}(X)$, defined as the full subcategory of $\mathsf{D}(\textsf{Mod}(\mathcal{O}_X))$ consisting of the ...
- 711
2
votes
1
answer
210
views
Making a map in sheaf cohomology involving a theta characteristic explicit
Motivation:
For a given rank 2 vector bundle we want to know how many theta-characteristic valued twisted endomorphisms it has.
Setting:
Let $C$ be a smooth algebraic curve over a field of ...
1
vote
1
answer
609
views
The Krull dimension of the tensor product of rings
The Krull dimension of a ring $R$ is defined as the length of the longest chain of prime ideals in it. Let $R_i$, for $i\in\mathbb{N}$ denote a sequence of commutative Noetherian rings of Krull ...
- 35
4
votes
0
answers
723
views
$\mathbb{Z}[T]$-Solidification in light condensed setting
In the lectures to "Analytic Stacks" Scholze and Clausen introduced a new concept of "light" condensed mathematics. In Lecture 7 Clausen introduces the derived $T$-solidification ...
2
votes
1
answer
303
views
Exact sequence for relative cohomology + normal crossing divisors
Let $X$ be smooth algebraic variety over $\mathbb C$ and $D_1, D_2$ are snc divisors such that $D_1\cup D_2$ is also snc.
Is it true that there is an exact sequence
$$H^*(X, D_1\cup D_2)\to H^*(X, D_1)...
- 219
3
votes
0
answers
167
views
Simplicial resolution for commutative group scheme
Let $X$ be a quasi-projective $k$-variety. In this case the symmetric power $S^d(X)$ is well-defined. If $S^\bullet(X)=\bigsqcup_{n>0}S^d(X)$, where we suppose $S^0(X)=\operatorname{spec}(k)$, then ...
- 41
17
votes
1
answer
1k
views
Who wrote `if only I could understand the equation $d^2=0$'?
I remember reading something like
if only I could understand the equation $d^2=0$
as an epigraph to a memoir on homological algebra. I think the author was Henri Cartan, and the epigraph may have ...
- 4,492
2
votes
0
answers
133
views
Formulation of cap product in group-equivariant sheaf cohomology + applications?
Originally asked on Math SE but it was suggested I move it here.
Suppose one has a distinguished cocycle in the group-equivariant sheaf cohomology $\Phi \in H^n(X, G, \mathcal{F})$ for a "nice&...
- 101
2
votes
0
answers
154
views
Non-triviality of a morphism
Let $X$ be a smooth Gushel–Mukai fourfold and $Y$ a smooth hyperplane section, which is a Gushel–Mukai threefold. I consider semi-orthogonal decomposition of $X$ and $Y$:
$$D^b(X)=\langle\mathcal{O}_X(...
- 1,982
2
votes
0
answers
136
views
dg-Künneth formula for qcqs schemes
Let $X$ and $Y$ be qcqs schemes over a field $k$ (or I am happy to assume any nice condition up to smooth (quasi-)projective varieties if that makes the folloiwng question true). Let us define $Perf(X)...
- 256
1
vote
0
answers
96
views
Chain complexes indexed over measurable subsets of $\mathbb{R}$: Towards a measurable notion of Euler Characteristic
I have for a while tried to generalize the notion of a chain complex in a way to obtain a "continuous" or at least "measurable" notion of Euler Characteristic.
I have come up with ...
- 1,805
2
votes
0
answers
209
views
What is a quasi-isomorphism of complexes of vector bundles?
Consider a homomorphism $f$ between two complexes of vector bundles over a fixed smooth manifold $M$.
$$
\cdots \to V_{i - 1} \xrightarrow{\delta_{i-1}} V_i \xrightarrow{\delta_i} V_{i + 1} \to \cdots
...
- 489
2
votes
0
answers
239
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\widehat{\mathbb{G}}_a,\mathbb{G}_m)=0$ for $i>0$?
Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
- 711
5
votes
1
answer
512
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\mathbb{G}_a,\mathbb{G}_m)=0$ for $i>0$?
Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
- 711
-1
votes
1
answer
177
views
When morphism of complexes is homotopic to 0?
Let $f\colon A^\bullet\to I^\bullet$ be a morphism of bounded below complexes in an abelian category. Assume all $I^i$ are injective objects. Assume also that $f$ induces the zero map on cohomology.
...
- 21.8k
1
vote
0
answers
175
views
Grothendieck trace formula for schemes with étale fundamental groups that have no dense cyclic subgroup
This question may be more of a philosophical rather than mathematical nature.
Assume I have a scheme $X$ and an endomorphism $F:X\longrightarrow X$. For instance, $X$ might be of finite type over $\...
- 1,805
2
votes
0
answers
180
views
Is there a homotopical analogue of short exact sequence?
For $R$-modules for a commutative ring $R$, submodules and quotients are put on roughly the same footing; the kernel of a quotient is an injection into the source, and the cokernel of this injection ...
- 1,252
6
votes
1
answer
515
views
Leray spectral sequence and pullbacks
I am trying to find a reference for the following well-known result on the functoriality of the Leray spectral sequence:
Let $\pi:X\to Y$ and $\pi':X'\to Y'$ be morphisms of schemes and denote by $E_2^...
- 177
1
vote
0
answers
132
views
A question concerning cancellation of ideals
I am working on a number theory project, and at one stage, I encounter a commutative algebra problem. Vaguely speaking, my hope is to show that two ideals are equal. Now I shall explain the data I am ...
- 11
1
vote
0
answers
111
views
Kunneth formula for hypercohomology
Let $A_{\bullet}$ and $B_{\bullet}$ be two bounded complexes of sheaves over a variety $X$. Is there a Kunneth-like formula for the hypercohomology of the tensor product $A_{\bullet}\otimes B_{\bullet}...
- 494
1
vote
0
answers
52
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 ...
- 839
2
votes
0
answers
119
views
dg-natural transformation between FM functors and Hom between kernels
The question is related to Morphism between Fourier-Mukai functors implies the morphism between kernels?
Consider a complex smooth projective variety $X$ and the bounded derived category $D^b(X)$, it ...
anon
2
votes
0
answers
145
views
Is it true that $D(\mathcal{O}_Y\text-\mathrm{mod}_X)\cong D_X(\mathcal{O}_Y\text-\mathrm{mod})$?
Is it true that $D(Y_X)\cong D_X(Y)$, where $Y$ is a (smooth) variety, $X$ is a closed subvariety of $Y$ (possibly singular)? Here $D(Y_X)$ denotes the derived category of the abelian category of ...
- 367
3
votes
1
answer
496
views
Regular ring is smooth when the field is perfect
Take $A$ a (not necessarily local) commutative algebra over a field $k$ which is essentially of finite type (i.e. a localization of a finitely generated algebra). In simple words, I just want to know ...
3
votes
1
answer
448
views
Hilbert's Syzygy Theorem in the bigraded case
I've been recently wondering how to prove the existence of a Hilbert polynomial for finitely generated bigraded modules $M$ over a polynomial ring $R=k[X_0,...,X_n,Y_0,...,Y_m]$ with the usual ...
- 131
0
votes
0
answers
132
views
Example of a periodic free resolution over a hypersurface
I'm reading "HOMOLOGICAL ALGEBRA ON A COMPLETE INTERSECTION,
WITH AN APPLICATION TO GROUP REPRESENTATIONS" by David Eisenbud
I'm wondering what would be a nice example illustrating Theorem 6....
- 839
3
votes
1
answer
147
views
What do we know about a sheaf $M$ if we know its derived fibers $\mathsf{L}x^* M$, for $x\in X(k)$?
Let $X$ be a scheme over a field $k$. (Feel free to assume that $X$ is an algebraic variety, if needed.) Also, let $M^\bullet$ be a complex in the derived category of quasi-coherent sheaves $\mathsf{D}...
- 711
3
votes
0
answers
247
views
Do Weil cohomology theories for schemes over arbitrary rings exist, and do the standard theorems (Lefschetz fixed point, Tr. Formula etc.) still hold?
A Weil cohomology theory is a functor that assigns to a smooth projective variety $X$ of dimension $d$ over a field $k$ a graded ring of cohomology groups with values in a field $K$ of characteristic $...
- 1,805
10
votes
1
answer
956
views
Reference request: infinity categories for the commutive algebraist/algebraic geometer
In a survey article Algebraic geometry in mixed characteristic, B. Bhatt writes
For instance, given a commutative ring $R$ with a finitely generated ideal $I$,
the assignment carrying $R$ to the $\...
- 785
6
votes
1
answer
525
views
How does the Balmer spectrum fail to describe the algebraic geometry of categories of non-compact objects?
In trying to understand the higher algebraic geometry of the stable homotopy category, one thing I've come across repeatedly is the claim that one should only consider the Balmer spectrum of a tt-...
- 1,969
2
votes
0
answers
128
views
On the generalization of a Cech-to-sheaf type spectral sequence
Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...
- 541
4
votes
2
answers
228
views
Is there a Čech-like way of computing $H^\bullet(X,M^\bullet)$ or even $\mathsf{R}f_* M^\bullet$?
Let $X$ be a topological space (or a site) and let $M$ be a sheaf on $X$. If $X$ is paracompact, or if $X$ is a noetherian separated scheme and $M$ is quasi-coherent, or if $X$ is quasi-projective ...
- 711
3
votes
1
answer
282
views
Artin vanishing for D-modules (i.e., when is $f_+$ t-exact?)
Let $f:X\to S$ be a morphism between algebraic varieties which are smooth over a field of characteristic zero. We define the (derived) direct image functor $f_+:\mathsf{D}^b(\mathcal{D}_X)\to \mathsf{...
- 711
1
vote
1
answer
310
views
Realize as homology a given polynomial ring
I am wondering if one can realize a polynomial ring as the homology of some chain complex in the same sense that the homology groups of a space with a cell complex structure is the homology of its ...
- 333
1
vote
0
answers
115
views
Prove that $B$ is a directing module
Let $A\cong\mathbb{K}Q/I$ be a finite dimensional, associative, basic $\mathbb{K}$ algebra, where $\mathbb{K}$ is algebraically closed and $Q$ is a finite Gabriel quiver on $n$ vertices and $I\...
- 839
4
votes
1
answer
360
views
Does $\mathrm{Ind}(\mathcal{C})$ have enough injectives, if $\mathcal{C}$ is an abelian category?
Question. Let $\mathcal{C}$ be a small abelian category. Does the category $\mathrm{Ind}(\mathcal{C})$ of ind-objects of $\mathcal{C}$ have enough injectives?
I have seen many times that $\mathrm{Ind}(...
- 199
4
votes
1
answer
357
views
Surjectivity of natural map of rings
$\DeclareMathOperator\Hom{Hom}$Let $A$ be an integral domain and $P$ be a prime ideal in $A$. We denote $B=A/P$ then is the following natural map
$$\Hom_A(P,A)\otimes_A B\to \Hom_A(P,B)$$ surjective?
...
- 585
2
votes
1
answer
307
views
Difference between $K(1)$-local K theory and l-adic completion of etale $K$ theory
Let $X$ be an scheme. Fix a prime $l$ which is invertible in $X$. Consider the $K(1)$-localization at prime $l$ of algebraic K theory $L_1K(X)$ and $l$-adic completion of etale K theory $K^{et}(X)$.
...
- 127
6
votes
1
answer
441
views
Where can I find a definition of $\underline{H}^p(X, \mathscr{F})$?
Let $X$ be a topological space and $\mathscr{F}$ a sheaf on $X$. In the paper Tropical cycle classes for non-archimedean spaces and weight decomposition of de Rham cohomology sheaves by Yifeng Liu, ...
- 1,153
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
0
answers
244
views
Do we have a left adjoint of $i^*$ for a closed immersion $i$?
Let $i: X\hookrightarrow Y$ be a closed immersion of varieties. We have the derived pullback functor $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$.
My questions is: can we construct a left adjoint of $i^*$ in ...
- 9,019