# All Questions

100,270 questions
536 views

### Potential connected non-Lie subgroup

This painful question is inspired by the question "non-Lie subgroups" . Let R denote the real numbers. Let f be an discontinuous additive map from R --> R. Is it possible that the graph of f, inside ...
7k views

### Are there good programs to create mathematical pictures in svg format?

I've recently started my personal wiki to organize my notes and thoughts. I use the wiki program instiki which I believe is the same as the n-lab uses. Instiki can upload svg's. I want to be able to ...
1k views

### Hopf algebra structure on the universal enveloping algebra of a Leibniz algebra?

A Leibniz algebra L may be thought of as a noncommutative generalisation of a Lie algebra. One drops the requirement that the bracket be alternating and substitutes the Jacobi identity for the ...
4k views

### What's a reasonable category that is not locally small?

Recall that a category C is small if the class of its morphisms is a set; otherwise, it is large. One of many examples of a large category is Set, for Russell's paradox reasons. A category C is ...
15k views

### How hard is it to compute the Euler totient function?

Are there any efficient algorithms for computing the Euler totient function? (It's easy if you can factor, but factoring is hard.) Is it the case that computing this is as hard as factoring? EDIT: ...
557 views

### Variant of binomial coefficients

I've recently come across a variant of the binomial polynomials, and I'm curious if anyone has seen these before. If so, I'd love a reference, a name, etc. First recall the following. If z is a ...
2k views

340 views

### Multiplication of (0,1) matrices

is there an obvious lattice path counting interpretation for multiplying n by n (0,1) matrices ?
1k views

1k views

### Can the “physical argument” for the existence of a solution to Dirichlet's problem be made into an actual proof?

Caveat: I don't really know anything about PDEs, so this question might not make sense. In complex analysis class we've been learning about the solution to Dirichlet's problem for the Laplace ...
3k views

### What are the higher homotopy groups of Spec Z ?

The homotopy groups of the étale topos of a scheme were defined by Artin and Mazur. Are these known for Spec Z? Certainly π1 is trivial because Spec Z has no unramified étale covers,...
1k views

### Bound on cardinality of a union

Suppose I have n finite sets A1 through An contained in some fixed set S, and I am given non-negative integers N and N1 through Nn such that each Ai has cardinality N, and each k-tuple intersection ...
700 views

### simplicial deRham complex and model category structure

To every simplicial manifold is associated its simplicial deRham complex. Is there any literature that discusses explicitly to which extent this classical construction, regarded as a (contravariant) ...
1k views

What's the most useful piece of mathematical "folk wisdom" you've encountered? I'm talking here about things that aren't theorems, or even conjectures, or even shadows of conjectures -- just broad ...
1k views

### How exactly is Hochschild homology a monad homology?

Many texts which praise the generality of the bar construction associated to a monad, say that Hochschild homology is an example of this. What exactly is in this case the underlying endofunctor of ...
507 views

### Sections of a divisor on elliptic curve

I'm interested in producing explicit bases for the sections of a line bundle on an embedded genus 1 curve. Let me restrict to the first case that I don't know how to do, so that I can be as concrete ...
2k views

### Constructing Affine Kac-Moody Groups

Does anyone know a simple construction for Affine Kac-Moody groups? There is a book by Kumar ("Kac-Moody groups, their flag varieties, and representation theory") that does the construction for the ...
1k views

### Simplicial Model of Hopf Map?

The Hopf fibration is a famous map S3 --> S2 with fiber S1, which is the generator in pi_3(S2). We can model this map in terms simplicial sets by taking the singular simplicial sets of these spaces ...
1k views

### Is there a topology on growth rates of functions?

I've often idly wondered one can say about the collection of "growth rates". By growth rate, let's say we mean an equivalence class of functions (0,infty) \to (0,\infty), where two functions f_1,f_2 ...