« first day (4650 days earlier)      last day (667 days later) » 
00:00 - 20:0020:00 - 00:00

20:11
@TedShifrin why?
w=0 may be a singularity (non-removable).
and the other day, @onepotatotwopotato and I were talking about the possibility of 'complex substitutions' in an integral.
Also, Morera's (the version that I know) requires only working with C= triangles.
I gave lot of milk to a cat. The cat seemed to love the milk. But then it started pooping here and there.
I looked it up online and came to know that milk should NOT be given to cats.
they like it but have difficulty digesting it. They are lactose intolerant.
Yeah, milk isn't good for cats.
5
yeah, it won't harm them in small amounts, but it's not the best thing for them.
so of course they love it.
$$F_n+F_{n+5}$$ prime for the following $39$ positive integers : $$[3, 4, 6, 7, 12, 16, 19, 22, 24, 31, 36, 52, 54, 76, 79, 88, 94, 96, 303, 412, 571, 687, 742, 814, 816, 967, 1387, 1483$$ $$1996, 2196, 2364, 2382, 3039, 4072, 4864, 6532, 6772, 6783, 8004]$$ What are the next ones ?
Look at the proof of Morera. All you need is to establish path-independence, so any family of closed curves will do. Now tell me why $\gamma$ doesn't go around the origin, so your complaint is not valid :) [Take your $C$ to be a triangle if you wish.]
I mistyped, though; you're right. $f(w)/w^2$ likely does have a pole at the origin. But it's not relevant.
@TedShifrin Ah, I see. Of course, we are on $\gamma$.
But then my complaint would be: why is $\overline{\left(\frac{f(w)}{w^2}\right)}$ holom.?
ohh, that doesn't matter.
@leslietownes how do they react to guests visiting home?
dogs would bark and may even bite.
20:29
By Cauchy's Theorem, all you need is holomorphic inside $\gamma$.
@leslie Luckily, Screech seems uninterested in eating blueberries. She just chases them around the floor.
2 am here :-).
@TedShifrin right. So say it has a pole, then by Cauchy's residue theorem, we may not get the integral to be $0$.
But draw $\gamma$. Can it enclose the origin?
@Thorgott But then how do you know that we have a topological push-out? Did you explicitly compute the prime ideals? I actually don't know how the primes generally look like for a pull-back $A\times_C B$ or rings, except when $C=0$.
oh no because C was outside circle.
C didn't touch infty.
Right. And it doesn't enclose $\infinity$ when you think about inside/outside.
20:34
is complex substitution allowed in an integral?
$w=1/\bar z\implies z=1/\bar w\implies dz=-1/\bar w^2 d\bar w$
this gives an another important insight to why there's a conjugate over $f$.
Absolutely. Best way to deal with it is to understand differential forms, but you can justify it just fine with converting to $dx$ and $dy$, etc.
I see. Thanks a lot :-).
Your power series method gives insight for that, too. $f$ holo $\implies $f(\bar z)$ anti-holomorphic, so we need to conjugate the whole thing.
yes, but power series method here would involve 1/w type of terms.
so I get Laurent series. Not sure how to get power series from there (in terms of ()+()w+()w^2+... )
Yes, yes, it turns into Laurent series, as expected. But I was just saying that too give you more heuristics.
There's nothing wrong with a convergent Laurent series. But, anyhow, I already said this isn't the way to go here.
20:40
yes, about the bars. For reflection in a plane, Stein and Shakarchi use power series.
to show holomorphicity.
That doesn't make it the optimal way.
@Peter 11911?
@Thorgott I haven't verified the details, but here it is claimed that $\operatorname{Spec}$ doesn't necessarily send pull-backs to push-outs in Set

https://math.stackexchange.com/questions/1643201/does-operatornamespec-preserve-pushouts
@leslietownes Yes , the next two are :
1 11911
2 18894
21:00
If I upvote an answer of a user whose account is suspended (temporarily) then what happens?
this generates a bug in the matrix
3 24547
21:41
@Koro They'll get the points when the suspension finishes.
> Earned reputation points (rep) are reinstated. This may be different from the rep value at the start of the suspension because your posts may have been upvoted, downvoted or deleted during the suspension period, and some of your votes may have been invalidated.
The word for today is "paperclipalypse". From scottaaronson.blog/?p=7266
21:58
@ShaVuklia Hmm, I see. The issue is that the inclusion of affine schemes into schemes does not preserve pushouts.
Whatever, let's scratch the dumb algebraic geometry.
Take $X$ to be the $3$-point space with one open and two closed points. A sheaf on this space is the same data as a pullback square (the global sections are the pullback of the maps from the sections on the two open subsets with two points to the sections over their intersection, which is the open point). Take the sheaf corresponding to the pullback of the two projections $\mathbb{Z}\rightarrow\mathbb{Z}/6\mathbb{Z}$.
Take the section $3$ in one copy, the section $0$ in the other copy and the global section $(2,2)$. Restricting the global section to each copy of $\mathbb{Z}$ and multiplying
22:47
unless specified, is it safe to assume that what the author means by a neighborhood $B$ of a point $x \in X$ implies $B \subseteq X$
@shintuku I would specify it in addition
noted thanks
@shintuku If $X$ is a topological space, it’s safe. Context matters,
yep it's a metric space
23:03
So what else could $B$ be a subset of?
i'm dealing with an open cover of $X$ so there's a chance $B$ might not be entirely within $X$
am rereading the author's definitions
Is $X$ sitting inside another metric space?
no there's nothing in this world other than an open cover of $X$ and $X$
23:16
figured it out
23:32
i assumed that any element $U_i$ of a cover $\mathcal U$ containing $x \in X$ contains at least one neighborhood of $x$ that is a subset of $X$, hopefully i break nothing
a more readable statement: suppose $X$ is a metric space and $x \in X$. Any element $U_i$ of an open cover $\mathcal U$ of $X$ that has $x \in U_i$ also has as a subset at least one neighborhood $B \subseteq X$ of $x$
this is absolutely uncontroversial, nothing will explode
00:00 - 20:0020:00 - 00:00

« first day (4650 days earlier)      last day (667 days later) »