# All Questions

313 views

### Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly. Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...
958 views

### Connectedness in the language of path-connectedness

Is there a topological space $(C,\tau_C)$ and two points $c_0\neq c_1\in C$ such that the following holds? A space $(X,\tau)$ is connected if and only if for all $x,y\in X$ there is a ...
657 views
+300

### A question on representation of graphs

Take a complete graph $K_n$. You want to assign a vectors from $\Bbb F_2^d$ to every edge such that sum of vectors in every simple cycle does not sum to $0$ vector. The question is what is minimum $d$ ...
139 views

### Metrics on the 3-sphere with knotted geodesics

According to answers to this question every metrics on $S^3$ admits a simple closed geodesic. Given a knot (or link) $K$, it's also quite simple to build a metric on $S^3$ such that $K$ is a geodesic ...
70 views

### Existence of a countable linear combination with positive coefficients

Consider a (Hausdorff and complete) locally convex topological vector space $V$ and a countable subset $(v_k)_{k=1}^\infty \subset V$ of non-zero vectors. $(*)$ Under what conditions on this ...
336 views

57 views

### Bounded metric spaces with non-surjective self-isometry

A metric space $(X,d)$ is said to be bounded if there is $r\in\mathbb{R}$ such that for all $x,y\in X$ we have $d(x,y) \leq r$. A self-isometry is a map $\iota:X\to X$ such that for all $x,y\in X$ we ...
14 views

### Reducing join-incomplete lattice homomorphisms to homomorphisms with co-domain ${\bf 2}$

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) > \bigvee_L f(S).$ Is it true ...
350 views

### Collapsing the cardinals between two singular cardinals

Question 1: Is it consistent that there is a forcing notion collapsing $\aleph_{\omega\cdot 2}$ to $\aleph_\omega$ without collapsing $\aleph_\omega$ or $\aleph_{\omega\cdot 2 + 1}$? If the ...
111 views

### Is there a way to find an efficient set of relations for presenting the subgroup generated by two matrices in $SL(2, q)$?

Given two elements $a, b \in SL(2, \mathbb{F}_q)$, is there a way to find an efficient presentation $$\langle x, y \mid \text{relations}\rangle$$ of the subgroup $\langle a, b \rangle$? My intention ...
22 views

### probability of reaching a point in a 2d grid in a certain number of steps [on hold]

I have a random walk process in a 2d grid with N steps where N is small. How can I calculate the probability that any given cell was reached in N, N-1, N-2 ... 1 steps. That is, I would like to be ...
120 views

### Bundles over Grassmanian with given top Chern class

So, I have been working on Chern classes for my master thesis and apparently (My proofs could be wrong and a few things are still vague) I was able to give a construction method and exhibit, via ...
11 views

### c-superdifferential is unique +cost function is differentiable, then the potential function is differentiable?

Let $M$ be a compact Riemannian manifold, $\mu$ and $\nu$ are two Borel probability measures, the cost function $c(x,y)=\frac{d^2(x,y)}{2}$. It's well known that the infimum of the Kontorovich's ...
229 views

2k views

### Generating finite simple groups with $2$ elements

Here is a very natural question: Q: Is it always possible to generate a finite simple group with only $2$ elements? In all the examples that I can think of the answer is yes. If the answer is ...
312 views

### direct proof that schrodinger's equation kernel corresponds to delta-function initial value [closed]

I want to show directly, that the kernel for the n-dimensional free linear schrodinger equation, if taken to time t=0, is dirac's $\delta$ function. I can show that the integral is constant, but it ...
1k views

### algebraization theorems

One of the fundamental properties that distinguishes schemes among all contravariant functors $\mathrm{Sch}^\circ \rightarrow \mathrm{Sets}$ is algebraization: a functor $F$ satisfies algebraization ...
910 views

### Can Eisenstein's lattice point proof of quadratic reciprocity be generalized?

I'm referring to this proof. The key formula ("Eisenstein's Lemma") is $$\left(\frac{q}{p}\right)=(-1)^{\sum_{u}\lfloor\frac{qu}{p}\rfloor},\text{ where u=2,4,\ldots,p-1}$$ The sum in the exponent ...
795 views

### Can you cover the Boolean cube {0,1}^n with O(1) Hamming-balls each of radius n/2-c*sqrt(n)?

(where c>0 and the balls need not be disjoint?) This is an embarrassingly simple question, yet somehow I couldn't find an answer (not even, "this is a well-known open problem") after spending some ...
222 views

### Is the consistency of $\mathcal{L}_{\infty\omega}$-sentences absolute?

The question is exactly that of the title. Suppose $\varphi\in V$ is an $\mathcal{L}_{\infty\omega}$-sentence, and $W$ is an inner model of $V$ such that $\varphi\in W$. Is the statement ...
2k views

### Computational complexity of computing homotopy groups of spheres

At various times I've heard the statement that computing the group structure of $\pi_k S^n$ is algorithmic. But I've never come across a reference claiming this. Is there a precise algorithm ...
521 views

### Why are affine Lie algebras called affine?

Hi. I was wondering if someone could explain why we call affine Lie algebras affine. Thanks! Oliver
1k views

### What theorem constructs an initial object for this category? (Formerly “Integrability by abstract nonsense”)

Tom Leinster has a note here about how you can realize L^1[0,1] as the initial object of a certain category. You should really read his note because it is only 2.5 pages and is much more charming than ...
Consider for some $0 < \alpha \leq 1$ the space functions $x:[0,1] \to \mathbb{R}^n$ such that $x(0) = 0$ and $\sup_{s,t} \frac{\|f(t)-f(s)\|}{|t-s|^{\alpha}}$ is finite. There are at least two ...