Tagged Questions

499 views

Reference request: Book of topology from “Topos” point of view

Question: Is there any book of topology in the modern language of topos theory? I refer to the (systematic, formalist) study of the category of sheaves on a site or the study of topology in a ...
147 views

Hermitian metric on $f_*(\Omega_{X/X_{can}}^{n-k})$

Let $X$ be an n- dimensional algebraic manifold . Suppose that its canonical line bundle $K_X$ is semi-positive and $0<k=Kod(X)<n$ . Let $f: X\to X_{can}\subset \mathbb CP^N$ Here $X_{can}$ ...
112 views

Open subset of the moduli space of stable sheaves on a noetherian scheme

This is my question: Given a projective noetherian scheme $X$, the structural sheaf $\mathcal{O}_X$ is a coherent sheaf, so every locally free sheaf is coherent. This means that the family of stable ...
117 views

Cohomology group vs sheaf of cohomology group

Suppose $F$ is a coherent sheaf on a smooth (algebraic or complex) variety $X$. Then we can consider the cohomology groups $$H^p(X,F)$$ for all $i$. Now, let we consider the sheaf ...
145 views

About the construction of the Universal Enveloping Lie Algebroid

Let $X$ be a reasonable smooth scheme over some base $S$. The tangent sheaf $T_X$ is a Lie algebroid, locally free as a $\mathcal{O}_X$ module, and its Universal Enveloping Lie Algebroid ...
117 views

Example for pullback of stable sheaf not stable

Suppose $C$ is a complete algebraic curve. Define a coherent locally free sheaf $\mathcal{F}$ over $C$ to be stable if $\mu(\mathcal{E})<\mu(\mathcal{F})$ for any subsheaf $\mathcal{E}$, where ...
127 views

Unique decomposition of locally free sheaf

Below let's work over coherent sheaves on a smooth projective algebraic curve. We call a subsheaf $\mathcal{F'}$ of $\mathcal{F}$ saturated if it $\mathcal{F/F'}$ is locally free. We call a locally ...
164 views

flat descent for perverse sheaves

Let $E \in D^{b}_{c}(X,\overline{\mathbb{Q}}_{l})$ where $X$ is a $k$ scheme of finite type for a field $k$. Let $Y\rightarrow X$ a finite flat surjective morphism such that $f^{*}E$ is perverse and ...
209 views

Global to local for Ext groups and Sheaves

Let $X$ be a projective variety. The sheaf $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$ is supported on $Sing(X)$. Now, there should be a theorem (perhaps by Schlessinger) that says that if $X$ ...
192 views

Relating deformations of a scheme to deformations of its singular locus

Let $X$ be a normal scheme with quotient singularities and $Y\subset X$ its singular locus. The first order deformations of $X$ are parametrized by $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$. ...
187 views

Birkhoff decomposition vanishing of the Chern numbers

Birkhoff decomposition vanishing of the Chern numbers of the holomorphic line bundles of the Birkhoff-Grothendieck decomposition, is some statement I read off in One of Connes papers. Without going ...
246 views

Explicit examples presheaves associated to higher direct images which fail to be sheaves

So I would like to have a few simple examples where the presheaf associated to higher direct image of sheaf fails to be sheaf. So I'm looking for two (natural and simple) topological spaces $X$ and ...
238 views

Pullback of a constant sheaf

Let $\varphi:X\to Y$ be a surjective morphism of schemes which are connected and of finite type. Let $A$ be an abelian group, $\mathscr{F}$ be the constant sheaf on $X$ with fibers $A$ and ...
71 views

120 views

global sections of higher direct images of étale sheaves

Is there a useful criterion for when $\Gamma(X, R^qf_*F) = H^q(X',F)$, $f: X' \to X$, $F$ an étale sheaf on $X'$?
407 views

relation between sheaf of hom and hom of sheaf

If $\mathcal{M，N}$ are the associated sheaf of $A$ modules $M$ and $N$ on $X=Spec A,$ then what is $\mathcal{Hom_{O_X}(M,N)}$？Is that the associated sheaf of $Hom(M,N)\ ?$
74 views

$\mathcal{F}$— twists of Lie algebras

I am trying to figure out with Drindfel's Opers. Let us consider Lie group $G$ and $G$ -- bundle $\mathcal{F}$ on the smooth algebraic curve $Y$. Can anybody help me and clarify definition of the ...
164 views

Pure Quotient and pure sub-object

Let $\mathcal{C}$ be the category of modules over a ring. Let also $\mathcal{F}$ be a class of objects in $\mathcal C$ closed under pure subobject (pure quotient) and direct limit. Is $\mathcal{F}$ ...
232 views

Holomorphic logarithmic De Rham complex

Let $X$ be a complex variety of dimension $n$ and $D$ a smooth hypersurface. Let $\Omega_X(logD)^*$ be the holomorphic logarithmic De Rham complex: $\omega\in \Omega_X(logD)^k$ is a form of degree ...
179 views

serre duality for sheaves of logarithmic differentials

This question is motivated by a comment of Donu Arapura here dimension of compact support cohomology Let $D$ be a divisor with normal crossings on some smooth projective (complex algebraic) variety ...
269 views

Is every soft sheaf of countable $\mathbb Q$-vector spaces a direct sum of skyscraper sheaves?

Let $X$ be a finite-dimensional compact metrizable space (these properties might partially be irrelevant; on the other hand, the case $X=[0,1]$ is already interesting to me). Let $\mathcal F$ be a ...
161 views

Sheaf cohomology in non-commutative setup

Let $X$ be a topological space and $A$ a sheaf of noncommutative associative algebras over a fixed field $k$. My questions are: 1) Does the category of modules over A have enough injective? 2) If we ...
137 views

154 views

restriction and pullback of representable etale sheaf along closed immersion

I find that the restriction and pullback of representable etale sheaf along closed immersion are very confusing. I think they are different in general, I hope some experts can confirm my ...
115 views

morphisms in the construction of the moduli space of curves by mumford

Hi fellow mathematicians, I'm just studying mumfords proof of the existence of a coarse modulispace for curves of genus $g$in his great GIT book. On page 102 (in the proof of proposition 5.2) he ...
66 views

For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\}$, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to ... 0answers 300 views Does this property of subgroups (or sheaves of ideals) already have a name? I'm constructing an example of a group which has a particular property on its subgroups, and the property looks like something that might have been considered before. Fix a group$G$and a pair of ... 2answers 496 views Interpreting$f^*f_*$For a morphism of schemes$f: X\rightarrow Y$, one often considers the function$f^*f_*$on sheaves. For example, this appears in adjunction for sheaves of$\mathcal{O}_X$-modules, the projection ... 1answer 235 views Inclusion of logarithmic de-Rham complex into differentials Let$X$be a complex manifold and$D$a normal crossing divisor. Let$U = X - D$and$j: U \rightarrow X$the natural map. Voisen observes that there is a natural inclusion$$\Omega^k_X(\log D) ... 1answer 284 views Tensor product of sheaves separated? Let$(X, O_X)$be an arbitrary scheme and$\mathcal{F}$a presheaf of$O_X$-modules. The presheaf$\mathcal{F}$is said to be separated if the natural map to it's sheafification$\mathcal{F}^+$is an ... 2answers 249 views cohomology and$j_!$I have a projective variety$X$and an open immersion$j : U \to X$. Say I have a sheaf, locally free in my case of interest,$\mathcal{S}$on$U$. Is there any reasonable relationship between ... 3answers 487 views Representable Presheaf I have a very quick question. Is there an easy example of a representable presheaf on a site that is not a sheaf? This certainly can't happen on a small FPPF site so I would expect a counterexample to ... 1answer 189 views Coverage, itself considered as a presheaf A coverage$J$on a category$C$assigns to an object$U$of$C$a set of covering families$J(U)$. The covering families are required to be stable under pullback, which amounts to requiring that for ... 0answers 132 views Does mapping cylinder category have enough injectives? Let$A, B$be two abelian categories, and$\tau : A \to B$a left exact functor. We define a category$C$as follows: objects: triples$(M, N, \varphi)$where$M\in A, N\in B$and$\varphi: N\to ...
We know that for an immersion $j:U \to X$ the restriction functor $j^*:{\cal O}_X-mod \to {\cal O}_u-mod$ has a left adjoint $j!$. I am looking for some condition to deduce that $j!$ takes its values ...