XT Chen's user avatar
XT Chen's user avatar
XT Chen's user avatar
XT Chen
  • Member for 3 years, 9 months
  • Last seen more than a month ago
  • Peking University, Haidian, Beijing, China
13 votes
0 answers
762 views

Seek for a algebro-geometric proof: the group homomorphism $\mathrm{SL}(2,\mathbb{Z}) \rightarrow \mathrm{SL}(2,\mathbb{Z}/N\mathbb{Z})$ is surjective

10 votes
1 answer
1k views

Is there a strictly increasing differentiable function maps positively measurable set to zero measure set?

5 votes
0 answers
122 views

Concrete computation of pullback of the $D$-module $\mathbb{C}[t,t^{-1}]$

4 votes
3 answers
305 views

Question about an inequality described by matrices

4 votes
1 answer
733 views

A contradiction caused by the Kähler identity and the formal adjoint relation

4 votes
0 answers
72 views

Projective objects in the category of simplicial objects in an abelian category

4 votes
1 answer
246 views

How to understand pushout/pullback in a stable $\infty$-category

3 votes
0 answers
196 views

An algebraic proof: A line bundle on a curve with a connection must be of degree 0

3 votes
1 answer
178 views

Definition of 1st degree obstruction class

3 votes
1 answer
283 views

Pullback of $\mathbb{R}$-Cartier divisors

2 votes
0 answers
185 views

Analytic and algebraic definitions of intersection multiplicity of two complex algebraic curves coincide

2 votes
0 answers
154 views

If $n$ is not a power of 2 then the dual Stiefel-Whitney class $\bar{w}_{n-1} = 0$

2 votes
0 answers
188 views

$G$-torsor over $\mathbb{A}^1_S$ where characteristic of $S$ does not divide $|G|$

2 votes
1 answer
275 views

If $\int_E f = 0$ for all $E$ the translation and dilation of $E_0$ then $f = 0 \text{ } a.e.$

1 vote
0 answers
118 views

Domain of definition of a rational map is determined by several coherent sheaves of ideals

1 vote
0 answers
181 views

Motivic cohomology commutes with field extension

1 vote
0 answers
210 views

Zero in colimit of sheaves category

1 vote
0 answers
71 views

$L^r_M = i_* \circ \hat{L}^{r-1}_M \circ i^*$ by the projection formula and the Poincare duality

1 vote
0 answers
120 views

Understanding sheaves on normalisation of a curve: $v_* \mathcal{O}_{\tilde{C}} / \mathcal{O}_C$

0 votes
1 answer
202 views

Definition of group scheme [closed]

0 votes
0 answers
95 views

A fibration is a map which has the right lifting property with respect to injections that are weak equivalences