# All Questions

3 views

### Defining Reinhardt Cardinals in Choiceless Models of $ZF$

Can Reinhardt cardinals be defined in choiceless models of $ZF$? This question is motivated by the following remark by Prof. Hamkins in his comment to me regarding Andrea Nespola's question ...
7 views

### Two equivalent descriptions of a physical system yielding a non-trivial mathematical formula

First I would like to admit that this question may not be entirely appropriate for this site, but I will give it a go none the less. One often hears stories about how string dualities lead to highly ...
5 views

### Angle subtended by the shortest segment that bisects the area of a convex polygon

Let $C$ be a convex polygon in the plane and let $s$ be the shortest line segment (I believe this is called a "chord") that divides the area of $C$ in half. What is the smallest angle that $s$ could ...
13 views

### Mathematical statistical qm book-recommendation

I feel that there are quite a few good and rigorous books on the mathematical foundations of quantum mechanics, but I am currently looking for a book that covers mathematical statistical quantum ...
21 views

### Anything known about the Grundy Ordinal of Sylver's Coinage

Sylver's coinage is an example of an unbounded finite (if slightly modified) combinatorial impartial game. Quoth wikipedia: The two players take turns naming positive integers that are not the ...
7 views

### Pascal and Brianchon's theorems generalized for hyperbolic paraboloid

I know that giving a general version of these two theorems for quadrics can be quite tricky, but if we restrict ourselves to a verssion that holds for the hyperbolic paraboloid only it should be ...
15 views

### One question about iteration on groups

Let $G$ be a finite generated group, $H$ is a subgroup of $G$ of index $n$,$G=\displaystyle\bigcup_{i=1}^nH_{a_i}$. Let $\phi:H\rightarrow G$ be a homomorphism. We define a map $\psi:G\rightarrow G$ ...
16 views

### Beilinson-Bernstein localization: $\mathfrak{g}$ action on $G$-equivariant sheaf

I have a few elementary questions related to Beilinson-Bernstein localization. Let $G$ be a semisimple algebraic group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}$. Consider the setup of ...
36 views

63 views

### Poincare-Lefschetz duality, universal coefficients, and middle cohomology

Sorry if the question is too simple, algebraic topology is not my strong suit. Let $(M,\partial M)$ be a $2n$-dimensional manifold with boundary, with one-dimensional middle cohomology. By ...
44 views

### Is there a universal straightedge and compass construction of a segment incommensurable to a given one in the hyperbolic plane?

"Universal" means that the construction steps are independent of the length of the given segment. In the Euclidean plane one can take the diagonal of a square built on it. Without the "universal" the ...
36 views

### Injecting premises into two implicational premises connected by a tensor (multiplicative conjunction) in linear logic

I have another question regarding linear logic: I want to get to the proof E, using the premises in (1-4). Is this at all possible? 1: $A$ 2: $C$ 3: $(A\multimap B)\otimes(C\multimap D)$ 4: ...
66 views

### Schoenflies and symplectic topology

The final report from a workshop on Morse theory in low-dimensional and symplectic topology includes the following question, posed by Michael Hutchings: Can we apply symplectic geometry to solve the ...
95 views

### Proving that (e^x+1)^(1/3) has no elementary antiderivative [on hold]

How should one prove that $\int (e^x + 1)^\frac{1}{3}dx$ is non-elementary? (In case that is really is)
75 views

### Non-embeddable varieties

Suppose that $k$ is a perfect field of characteristic $p>0$, $\mathcal{V}$ is a complete discrete valuation ring with residue field $k$ and quotient field $K$, of characteristic $0$. Then when ...
35 views

### probability distribution of balls in an urn [on hold]

So I have the following question in "probability": An urn contains three balls: white, blue and red. At each stage a ball is picked up randomly and, if it is not red, it is returned to the urn. The ...
63 views

### A relative version of Urysohn's Lemma?

Let $f:Y\to X$ be a continuous surjective map between locally compact Hausdorff spaces. Assume there is a continuous section $s:X\to Y$ which has closed image and is a homeomorphism to the image. I ...
112 views

### How far is it to extend the results of SGA III Exp. VIB from group schemes to group spaces?

How far is it to extend the results of SGA III Exp. VIB from group schemes to group spaces? In particular, does Corollary 4.4 from SGA III Exp. VIB hold for G/S being merely a group space? Here the ...
75 views

### sequences and series [on hold]

I think it is interesting, if we have the formula $$\frac{n (n + 1) (2 n + 1)}{6} = 1^2 + 2^2 + \cdots + n^2 .$$ If the difference between the closest numbers is smaller (let's call is a) we ...
34 views

244 views

### How singular can the Stein factorization of a proper map between smooth varieties be?

A little bit of motivation (the question starts below the line): I am studying a proper, generically finite map of varieties $X \to Y$, with $X$ and $Y$ smooth. Since the map is proper, we can use the ...
47 views

### Existence of functions on finite sets with specific propertise

Let $\Omega$ be an universal set and $|\Omega|=N$, denote $\mathcal{F}$ to be the family of all subsets $\subset \Omega$ with cardinal $n$. We now define a function $f:\mathcal{F}\rightarrow \Omega$, ...
86 views

### How to prove that $(1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$) for $x\ll 1$ in this specific case

After multiple plots I noticed that function $h(x)= (1-x)^b$ $_2F_1(a,b;c;x)$ can be approximated to $1-\alpha x$ (with $\alpha \approx 1$), for $x\ll 1$ (specifically $0<x<0.1$) and ...
46 views

### On conductors, levels and traces on quaternion algebras

I am currently working on conductor and level issues in the division central simple algebra case, say $D$ over $F$. I would like to verify some well-known relations between the conductor or the level ...
37 views

### Cyclic structure on a balanced (or ribbon) monoidal category

As it is well known, a balanced (and in particular ribbon) monoidal category is an algebra over the framed little 2-discs operad. The latter is homotopy equivalent to the operad of moduli space of ...
166 views

### When does the Borel construction have the homotopy type of a CW-complex?

Suppose that $G$ is a Lie group acting smoothly on a manifold $M,$ does the Borel $M \times_G EG$ construction have the homotopy type of a CW-complex? If not, under what conditions would this be true? ...
32 views

41 views

### Online Envelope Calculator

Are there any websites that provide a "one shot" calculation of envelope curves, ideally symbolically and with graphical output? By "one shot" I mean that one only has to enter the ...
103 views

### Lovasz's Path removal conjecture

The Lovász Path Removal Conjecture states: For any positive integer $k$, there exists a minimum positive integer $f(k)$ such that, for any two vertices $x$, $y$ in any $f(k)$-vertex-connected ...
16 views

### Is the union of strongly base-orderable matroids strongly base-orderable?

A matroid is said to be strongly base-orderable if for any two bases $B_1,B_2$ there is a bijection $f:B_1 \to B_2$ such that for any $S\subseteq B_1$ set $(B_1 \setminus S) \cup f(S)$ is also a base. ...
19 views

### Closed Form Solutions To Simple Iterated Polynomial Building Blocks [migrated]

I've been doing some work on fractals and simple iterated polynomials lately. I admit, I've only taken classes up through Calc 2, although I've done a decent bit of reading on many topics over the ...
43 views

### Proof : Limit of a sequence [on hold]

Prove from the definition of the limit of a sequence that $$\lim_{n\to\infty} \frac{2n^2+\cos(n)} {n^2+1} = 2$$ (that is, for a given $\epsilon > 0$, find an explicit $N_\epsilon$) Please ...
In the recent question on "eventually oscillating function" I had a heuristic for the function $d(x)$ that its amplitude is constant, but could not further describe that function. I just found a ...