Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
This tag is used if a reference is needed in a paper or textbook on a specific result.
2
votes
3
answers
669
views
Do etale neighhbourhoods of a subvariety descend along base field extensions; does normaliza...
I have some questions such that the corresponding statements are well-known for affine varieties, and I wonder whether they hold for projective ones.
Let $Z\subset X$ be a closed subvariety of a (pr …
6
votes
1
answer
927
views
Does there exist a definition of equivalence of functors?
I have two functors $F_1,F_2$ from a category $C$ into two distinct categories $D_1,D_2$. I would like to say that $F_1$ and $F_2$ are equivalent if there exists a commutative square
$\require{AMScd}$ …
2
votes
1
answer
238
views
Additive functors to abelian groups: "additional structure" and functors induced by "additiv...
Let $\mathcal{A}$ be a small additive category. Consider the category $PreSh(\mathcal{A})$ of all additive functors from $\mathcal{A}^{op}$ into abelian groups; note that this category is abelian and …
1
vote
0
answers
116
views
On "splitting off small weights" from Chow motives
I am interested in certain properties Chow motives that seem to be (more or less) "classical" (so, I mostly need references; the base field may be assumed to be algebraically closed).
So, consider t …
2
votes
0
answers
105
views
What should one "do" to "strictify" a triangle of transformations coming from a lax commutat...
I would like to apologize for this rather stupid abstract nonsense question.
Let $h=f\circ g$ for composable functors $f,g$; assume that there exist left or right adjoints to $f$ and $g$. Then it see …
4
votes
1
answer
141
views
Which power of $2$ kills $W(k)$?
Is the following fact "well-known": if $-1$ is a sum of squares in a field $k$, then the Witt group $W(k)$ of quadratic forms is killed by multiplication by $2^N$ for some $N\ge 0$? What can one say a …
2
votes
1
answer
225
views
Which algebras can be presented as filtered colimits of f.g. regular ones with smooth connec...
Let $R$ be a regular (commutative associative unitial) algebra over a prime field $F$ (i.e. $F=F_p$ or $F=\mathbb{Q}$); assume that it is noetherian excellent (and even of Krull dimension $1$). What …
7
votes
1
answer
263
views
'Cohomologically approximating' a $\mathbb{Q}[[t]]$-scheme by a one over the henselization o...
For certain matters the henselization $R$ of $\mathbb{Q}[t]$ at $0$ is a 'reasonable approximation' for $\mathbb{Q}[[t]]$ (Artin's approximation theorem and so on). Now, I would like to study certain …
1
vote
0
answers
135
views
Could one recover the relative K-theory from the quotient derived category?
Let $A\to B$ be a full embedding of exact categories that induces an embedding $D^b(A)\to D^b(B)$. My question is: what can one say about the relation of the homotopy cofibre $K(A)\to K(B)$ (the relat …
4
votes
0
answers
242
views
A canonical way to kill a subset of cohomology in a dg-algebra: via $A_\infty$-algebras? Re...
Let $A$ be a differential graded algebra, $S\subset H^*(A)$. I would like to 'kill $S$ in a canonical way'. Is it possible to do it as follows: consider the $A_\infty$-algebra structure on $H^\ast(A)$ …
1
vote
1
answer
197
views
How would you say that a small category is embedded into functors from a large $C'$ to abeli...
How would you say that a small additive category $C$ embedds (contravariantly) into the category of exact functors from a 'large' abelian $C'$ into abelian groups (this is something like Yoneda's embe …
3
votes
0
answers
361
views
A presentation of a scheme as a limit of smooth ones over finitely generated bases
Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:
If $S$ is regular, then it can be presented as a projective limit of sm …
0
votes
1
answer
420
views
How would you call the 'base' of a (intermediate extension of) perverse sheaf?
Let $j:U\to S$ be an (open) immesrion; let $P_U$ be a perverse (\'etale, though my question makes sense in the topological setting also) sheaf on $U$. Then I would like to say that
the intermediate e …
0
votes
0
answers
211
views
On 'special properties' of various 'sheaf image' functors for a local complete intersection ...
Let $f:X\to Y$ be a local complete intersection morphism (of schemes or varieties) of (relative) dimension $c$ everywhere. Is it true that $f^!\cong f^*[2c]$ (as a functor between the derived categori …
3
votes
1
answer
195
views
Can one define relative Hurewicz maps using the Dold-Thom theorem
Let $A\to X$ be a (Hurewicz) cofibration of path-connected topological spaces. Then we have a long homotopy sequence $$ \dots\to \pi_i(A)\to \pi_i(X)\to \pi_i(X,A)\to \dots; $$ here we fix a base poin …