1,279 reputation
1721
bio website n/a
location Berlin, Germany
age 27
visits member for 2 years, 8 months
seen 2 days ago

Currently a PhD student at HU Berlin. I'm interested in the geometry of moduli spaces of curves.


Dec
4
comment Is $\mathbb R^2$ a field?
Indeed, every finite-dimensional vector space $V$ over a field $\mathbb{F}$ is isomorphic to $\mathbb{F}^n$, where $n$ is the dimension of $V$. This fact impressed me a lot when I first learned it.
Dec
3
comment Conceptual question about equivalence of eigenvectors
Yes. The eigenvalue doesn't even need to be $1$.
Dec
2
answered Are rings with the same finite cardinality isomorphic?
Dec
2
comment Proving that an equation has no natural solutions
Wow, this is really clever!
Nov
30
comment A set of objects that satisfy $a^2 = \alpha x$ and commute
Did you mean to write "with generators $\{x\}\cup Y$"?
Nov
30
comment Are CASs useful in mathematics?
Sage has become a very good choice for many problems, being sometimes faster than all other packages. But it has neither the stability of Magma, nor the user-friendly functionality of, e.g., Mathematica. This may change in some years, of course.
Nov
29
answered Associated points of a scheme are contained in an open subset
Nov
25
answered Schemes covered by finitely-many affine open subsets
Nov
25
comment Schemes covered by finitely-many affine open subsets
I see you already found this thread. Just thought to link it here.
Nov
23
comment reducing a number with fractions
If you know how many Ns there are after the decimal point, you can just multiply with an appropriate power of $10$.
Nov
23
comment Is mathematics the only language that is not subject of interpretation?
There are, for instance, several flavors of formal logic. Do you count them as 'mathematics'?
Nov
22
accepted Closed points of a scheme correspond to maximal ideals in the affines?
Nov
22
comment Complex variables/analysis integration
Did you try a substitution $u = tc/x$? Afterwards, you can recognize the integrand as the derivative of $\arctan(u)$.
Nov
21
comment How to show that a form on $\mathbb{C}$ defines a holomorphic $1$-form on $\mathbb{C}/\Gamma$?
Yes, that's what I thought the exercise was about :). Does this seem right to you? Your first comment does some kind of converse.
Nov
21
answered How to show that a form on $\mathbb{C}$ defines a holomorphic $1$-form on $\mathbb{C}/\Gamma$?
Nov
21
revised Closed points of a scheme correspond to maximal ideals in the affines?
more concrete description of the problem
Nov
21
accepted Reading circle in mathematics?
Nov
21
asked Closed points of a scheme correspond to maximal ideals in the affines?
Nov
20
comment Generators of a finitely generated free module over a commutative ring
@MakotoKato, I'm not so sure if the uniqueness of rank for commutative rings can be proved without choice. The proof I know uses it. So it may not be a drawback here.
Nov
20
comment Generators of a finitely generated free module over a commutative ring
Note that this would not be a contradiction if $A$ was not commutative.