4,433 reputation
934
bio website nullteilerfrei.de
location Germany
age 29
visits member for 3 years, 8 months
seen 7 hours ago

I'm a PhD student with research interests in Algebraic Geometry, Algebraic Complexity Theory and Geometric Invariant Theory.


Aug
26
comment Question about germs.
@MattE: Fixed! Thanks!
Aug
26
revised Question about germs.
added 2 characters in body
Aug
26
answered Question about germs.
Aug
26
revised Question about germs.
deleted 8 characters in body
Aug
26
comment Multivariate polynomial divisibility and Gauss's lemma
You're right about the last part. In a first version of the answer, I had prematurely concluded $A=D$ right away and then noticed that one can only get $A\mid D$. I fixed that instead of realizing that $A\mid D$ is actually enough.
Aug
26
revised Multivariate polynomial divisibility and Gauss's lemma
added 159 characters in body
Aug
26
answered Multivariate polynomial divisibility and Gauss's lemma
Aug
25
comment Is an ideal generated by multilinear polynomials of different degrees always radical?
@darijgrinberg: good one! Got one with irreducible polynomials?
Aug
25
revised Is an ideal generated by multilinear polynomials of different degrees always radical?
added 368 characters in body
Aug
25
comment What is the nature of the identity mapping in categories.
@MarcvanLeeuwen: I would upvote that as an answer, too.
Aug
25
asked Is an ideal generated by multilinear polynomials of different degrees always radical?
Aug
22
revised Ideal defining the nilpotent cone of $\mathfrak{gl}_n(k)$
deleted 16 characters in body
Aug
22
answered Ideal defining the nilpotent cone of $\mathfrak{gl}_n(k)$
Aug
21
answered Clarification of definition of category
Aug
17
comment Time complexity of a modulo operation
@ShreevatsaR: You're right. Absolutely 100% right. I frankly don't expect any upvotes. But since the question was unanswered and doesn't seem to get that much attention, I thought a literature reference is better than nothing =D.
Aug
17
comment Time complexity of a modulo operation
@ShreevatsaR: No offense, but that would be quite time-consuming. In addition, it feels rather pointless (to me personally) when there is a reference that does explain it. I would suggest a library.
Aug
15
comment Test for equivalence of algebraic expressions
To be honest, that sounds very difficult to me. However, computer algebra systems can do this to a certain degree. I am reasonably sure I would suggest Buchberger's book on computer algebra, had I read it. Seriously, I do not know how this is done at all, but I am quite sure that existing computer algebra systems implement algorithms that are well-known and covered in graduate textbooks. Unless someone more knowledgeable posts here, I suggest you dig through some of them.
Aug
15
comment What does it mean for the coordinate ring of an affine variety to be graded?
First of all, thanks for your answer. However, it's not quite what I was looking for (yet): In fact, what you said is my motivation to ask the question. Having $k^\times$ act on $X$ gives me a $\mathbb Z$-grading indeed, but this grading does not have to come from a polynomial ring, or are you saying that it does? Does every affine $k^\times$ variety admit a $k^\times$-morphism that is an immersion into some $\mathbb A^n$?
Aug
15
comment Math-related open source software to contribute to
I just realized, also @lhf, Maybe this should be community wiki?
Aug
15
comment Math-related open source software to contribute to
You might find this blog post informative.