My motivation for this question is the response to my question here, which garnered a vote to close for being too mathy. Supportive comments and upvoting seemed to have saved that particular question from death, but for future reference, are questions about other fields with applications in CS theory considered OK? For instance, would CS-oriented questions on these topics be considered on-topic?
- discrete fourier analysis
- metric geometry
- geometry of polytopes
All of these are definitely pure math, but flip through a recent STOC/FOCS proceedings, and you're likely to see a lot of proofs that use theorems and tools from these fields.
My personal opinion is that if we want TheoryOverflow to be useful to working researchers, then we have to allow questions about the tools and techniques used in TCS and that means allowing appropriate questions from areas of math with applications in TCS. Such questions could be asked on MathOverflow, but I do not see a bit of overlap as a problem, and people here are likely to have both interest in such questions as well as the expertise needed to answer them.