bio | website | math.berkeley.edu/~achinger |
---|---|---|
location | Berkeley | |
age | 28 | |
visits | member for | 5 years, 4 months |
seen | 2 days ago | |
stats | profile views | 3,333 |
PhD student, UC Berkeley
Jun 3 |
awarded | Pundit |
Jun 3 |
comment |
The unpublished papers in reference to the published papers
I'm against this question being closed. To quote the Help Center, MO questions should be "the sorts of questions you come across when you're writing or reading articles or graduate level books" and "well-defined," which perfectly applies here. |
May 1 |
comment |
Action of automorphisms on cohomology with supports
Another comment: If $f:X\to X$ is an isomorphism, then $H^n_x(X, f^*(-))$ form a universal $\delta$-functor. The system of maps $f^* : H^n_x(X, -)\to H^n_x(X, f^*(-))$ forms a map between two universal $\delta$-functors, so it suffices to check whether $f^*:H^0_x(X, -)\to H^0_x(X, f^*(-))$ is an isomorphism. |
Apr 30 |
comment |
Action of automorphisms on cohomology with supports
(An $f:X\to X$ induces maps $H^n_x(X, M)\to H^n_x(X, f^* M)$ and $H^n(X, f_* M)\to H^n(X, M)$ but there is no canonical way of identifying $f^* M$ and $f_* M$ with $M$...) |
Apr 30 |
comment |
Action of automorphisms on cohomology with supports
How do automorphisms of $X$ act on $H^n_x(X, M)$? |
Apr 27 |
comment |
Singularities of the moduli stack of polarized hyperkahler varieties
@abx that's right, but $H^2(X, \mathcal{O}_X)$ is nonzero for $X$ hyperkaehler, and we want to study deformations of a pair $(X, L)$. |
Apr 27 |
answered | Singularities of the moduli stack of polarized hyperkahler varieties |
Apr 27 |
revised |
Counterexamples to Elkik's theorem in the non-Noetherian case
corrected spelling of "Ramero" |
Apr 23 |
comment |
A question about Weil restriction
In definition (1), $\pi_* \mathbb{G}$ is to be considered as a sheaf on the big Zariski (or etale, or ...) site of $C$, associating to a $C$-scheme $D$ the set ${\rm Hom}_{\tilde C}(D\times_C {\tilde C}, \mathcal{G})$, and then the definitions are equivalent. If we consider the small Zariski site of $C$, then of course the two definitions are not equivalent (often $\mathcal{G}$ will have no sections over Zariski opens). |
Apr 23 |
answered | Reflexive sheaves on stable curves |
Apr 22 |
comment |
Deformation of vector bundle on projective space with same Hilbert polynomial as multiple of structure sheaf
This is probably not a very useful observation: if $E$ is stable, then a deformation of $E$ should be stable as well, hence cannot be trivial. Maybe for some obvious reasons I don't see, a v.b. with Hilbert polynomial the same as the trivial bundle cannot be stable... |
Apr 11 |
reviewed | Approve Intuition for Integral Transforms |
Apr 11 |
comment |
Interpreting Frobenius pullback as an invariant differential in the case of an elliptic curve
Is $S$ affine? / Shouldn't $H^1(E, \mathcal{O}_E)$ be $R^1 f_* \mathcal{O}_E$? If $E=S$, we should have ${\rm Lie}(E/S)=0$... |
Mar 26 |
awarded | Self-Learner |
Mar 21 |
comment |
Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?
Brilliant! Thank you. |
Mar 21 |
accepted | Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian? |
Mar 17 |
revised |
Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian?
added 5 characters in body; edited title |
Mar 17 |
asked | Is the ring $\mathbb{Z}_p [[x]]\otimes_{\mathbb{Z}_p} \overline{\mathbb{Q}}_p$ Noetherian? |
Mar 13 |
comment |
Covering of schemes and flatness
The normalization of a cuspidal curve is a bijective finite map which is not flat. |
Feb 19 |
comment |
Artin approximation of a diagram
What do you mean by approximate? Whether there exists a $\phi'$ in some etale neighborhoods inducing $\phi$ upon completion? Then the answer is no as we can take $Z$ to be a point, $(X, x)=(\mathbb{A}^1, 0)$, $(Y, y) = (\mathbb{A}^1, 1)$ and $\phi = \exp$. Or approximate up to order $N$ for any given $N$? Then I think the answer is yes, because we can apply approximation to the graph of $\phi$. |