# Tagged Questions

This tag is used if a reference is needed in a paper or textbook on a specific result.

**1**

vote

**0**answers

136 views

### Motivating mathematics(particularly algebraic number theory) through historical problems [closed]

Most mathematical textbooks start a subject by going backwards, historically. They will define the terms that were invented to solve a problem in their polished form and then use these definitions and ...

**4**

votes

**1**answer

243 views

### The maximum of the preimage of [1,x] through Euler's totient function

A friend of mine and I have shown the following:
"For each $x \geq 1$ let $m := m(x)$ be the greatest positive integer such that $\varphi(m) \leq x$, where $\varphi$ is the Euler's totient function.
...

**2**

votes

**2**answers

202 views

### Gauge-theoretic formulation of Maxwell equations [duplicate]

Does any one know how to write the Maxwell equations as an equation on a principal $U(1)$-bundle?
In Freed & Uhlenbeck's Instantons and Four manifolds, the authors claim that the Maxwell ...

**1**

vote

**2**answers

103 views

### A reference for a property for the Hausdorff distance

Consider the following property of the Hausdorff distance in $\mathbb R^n$.
Let $\Omega_n \supset \Omega_{n+1} \supset ...$ a sequence of open, convex and bounded sets with ...

**1**

vote

**1**answer

54 views

### Reference request: seminal paper on the Blumenthal-Getoor index

Numerous papers are referring to the following one
R. M. Blumenthal and R. K. Getoor, Sample functions of stochastic processes with stationary independent increments, J. Math. Mech. 10 (1961), ...

**10**

votes

**2**answers

399 views

### Nearby matrices have nearby leading eigenvectors?

Suppose I have a symmetric positive semidefinite matrix $A$ with leading eigenvalue $1$ of multiplicity $1$ and remaining eigenvalues $\leq\epsilon$. I am told that another symmetric positive ...

**1**

vote

**1**answer

157 views

### Finding loops and double edges ASAP in configuration model random graph

A common approach (at least in theory) to generating a random $n$ vertex graph uniformly subject to having a given (feasible) degree sequence $(d_i)_{i = 1}^n$ is to use the configuration model, i.e. ...

**2**

votes

**0**answers

56 views

### Problems Solvable/Decidable by Counting Shortest Paths in Graphs

This questions is based on a dispute, whether it would be possible to calculate 'nice' routes in Manhattan, if the road network is assumed to be a rectangular grid and, that 'nice' means that there is ...

**6**

votes

**1**answer

341 views

### Different approaches to forcing

There are many different approaches to the forcing method, and I am looking for all known such approaches. So my question is:
Question 1. Which different approaches to set theoretic forcing are ...

**3**

votes

**0**answers

92 views

### Applications of list decoding

This is citation from http://en.wikipedia.org/wiki/List_decoding:
Algorithms developed for list decoding of several interesting code families have found interesting applications in computational ...

**10**

votes

**2**answers

397 views

### “Economic” CW-structure for Eilenberg-MacLane spaces?

The only really "economic" cell structures for $K(\pi,n)$'s that I know is the one with a single cell in each dimension for $K(\mathbb Z/n\mathbb Z,1)$ and the one with a single cell in each even ...

**4**

votes

**1**answer

260 views

### Construction of generalized Eilenberg-MacLane spaces

The Eilenberg-MacLane spaces $K(G,q)$ are readily generalized to study cohomology with local coefficients.The generalized Eilenberg-MacLane space $K_{\pi}(G,q)$ are spaces with only two nnvanishing ...

**4**

votes

**0**answers

108 views

### Circumscribing simplex to convex body?

Q.
Does every (perhaps smooth) compact convex body $K$ in $\mathbb{R}^d$ admit a
circumscribing simplex, each facet of which touches (shares a point with) $K$?
How about a circumscribing ...

**3**

votes

**0**answers

122 views

### Flat Connections on the Cotangent Complex

I'm trying to find a reference which defines and discusses some properties of connections and flat connections on the cotangent complex in a homotopical setting. That is to say, a connection or flat ...

**1**

vote

**1**answer

140 views

### Reference question: Brownian motion and surface area

I am doing research on the hitting probability of various sets (eg. 3D convex) and specifically how changes in perimeter/surface area change the hitting probability.
By hitting probability I mean ...

**13**

votes

**3**answers

655 views

### Moments of the trace of orthogonal matrices

Let $O_n$ be the (real) orthogonal group of $n$ by $n$ matrices.
I am interested in the following sequence which showed up in a calculation I was doing
$$a_k = \int_{O_n} (\text{Tr } X)^k dX$$
where ...

**1**

vote

**1**answer

77 views

### What is Rosati Form

I was reading a paper and they mentioned the Rosati form. Particularly, what they said was:
Let $A$ be an abelian surface defined over $k$ such that $ST_A^0$ (the connected component of the Sato-Tate ...

**3**

votes

**0**answers

56 views

### How well is the classification of low-dimensional semisimple Hopf superalgebras (or braided Hopf algebras) understood?

As far as I know, low-dimensional semisimple Hopf algebras are classified (along with non-semisimple ones) up to dimension 60, with the first example of a semisimple Hopf algebra not coming from a ...

**1**

vote

**0**answers

212 views

### Feynman integrals in algebraic geometry [closed]

In quantum field theory, multi-loop Feynman integrals are basic ingredients of calculating high order corrections. Recently, I have come across the paper A Feynman integral via higher normal ...

**1**

vote

**0**answers

73 views

### reference for Levelt-Turritin

Can anybody recommend a good reference to learn the Level-Turritin decomposition theorem of formal connections? An intuitive description of what it says would also be very appreciated.

**2**

votes

**1**answer

220 views

### Is each rationally chain connected surface rational?

Consider a 2-dimensional smooth projective algebraic surface S over complex numbers. Could you recommend any exact references to the proofs of the following assertions (of course, if they are true):
...

**6**

votes

**0**answers

223 views

### Silver's unpublished work on reverse Easton iteration

Silver was the first person who used the method of reverse Easton iterations in connection with large cardinals, and used it to force the failure of $GCH$ at some measurable cardinal.
At most papers ...

**5**

votes

**3**answers

267 views

### Does this property of a first-order structure imply categoricity?

Let $\mathfrak{A}$ be a first-order structure over a relational language and let $\kappa$ be an infinite cardinal. Lets say that $\mathfrak{A}$ has the $\kappa$-property if for every structure ...

**0**

votes

**0**answers

152 views

### Repeatedly changing queue behavior

I'm not sure if this question is suited to MO. I will happily delete if not.
Situation
Consider a general queueing system $\mathscr{S}$, whose customer arrival times are independent, and whose ...

**6**

votes

**0**answers

232 views

### Geometric meaning of the black hole horizon

It is widely accepted that the singularity of the Schwarzschild metric at the event horizon is purely an artifact of the coordinates and no physical singularity exists at the horizon. However, as ...

**4**

votes

**1**answer

135 views

### In a Simplicial group the Degenerate elements don't intersect the kernel of the face maps.

Let $G_{\bullet}$ be a simplical group. I denote by $D_n \subset G_n$ the subgroup generated by all the degeneracy maps $s_i:G_{n-1} \to G_n$.
I also denote $$M_n = \bigcap_{i>0} \mathrm{Ker} d_i ...

**2**

votes

**1**answer

275 views

### The topology of the classifying space of U(n)

In $\textit{Atiyah and Bott: The Yang-Mills equations over riemann surfaces}$, there is a sentence about the topology of BU(n) (i.e. the classifying space of U(n)):
Here $K(\mathbb{Z},n)$ means the ...

**4**

votes

**2**answers

320 views

### Aspheric functors and Grothendieck fibrations

Following Grothendieck, let us say that a category is aspheric if its nerve is weakly contractible and a functor $u : \mathcal{A} \to \mathcal{B}$ is aspheric if for every object $b$ in $\mathcal{B}$, ...

**4**

votes

**1**answer

151 views

### Optimal lower bounds for the sum of digits in base $b$

Let $b \geq 2$ be an integer and let $s_b(n)$ be the sum of the digits of the base-$b$ representation of the nonnegative integer $n$
(e.g., $s_{10}(726)=7+2+6$). From the weak law of large numbers, it ...

**1**

vote

**0**answers

107 views

### Exactness of the relative de Rham complex restricted to subschemes

I think that the statement below about relative de Rham complex is true (am I wrong?) If it is the case, a reference would be very helpful. (I admit that the statement sounds somewhat technical and ...

**6**

votes

**0**answers

125 views

### minimal energy of affine Lie algebra reps

Let $\mathfrak g$ be a simple Lie algebra.
Let $\widetilde{L\mathfrak g}$ be the universal central extension of $L\mathfrak g:=\mathfrak g[t,t^{-1}]$. Let $V_\lambda$ be a positive energy ...

**4**

votes

**1**answer

217 views

### Proof of the Dunford-Pettis theorem

I would like to know where to find a complete proof of the Dunford-Pettis theorem:
A sequence $(f_n)_{n\geq 0} \subset L^1$ is uniformly integrable if and only if it is relatively compact for the weak ...

**3**

votes

**0**answers

136 views

### Homotopy type of a locally contractible compact

Does a locally contractible compact space have the homotopy type of a finite CW complex? (I think it probably does, but I need a reference anyway.)
EDIT: My intuition was wrong [to see why, read ...

**1**

vote

**0**answers

123 views

### convergence of $e^{it\Delta}f$

I heard of a conjecture that
$e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$
but couldn't find a proper reference.

**0**

votes

**0**answers

51 views

### Function Related to Jordan Curves

I am looking for a solution to the following problem:
given
a Jordan curve $c(s) = (x(s),y(s))$ with $\dot x(s)^2+\dot y(s)^2 = 1$ and $c(s+L)=c(s)\,$
an integrable function $g(s): c(s)\mapsto ...

**9**

votes

**4**answers

490 views

### A metric space of geometric shapes

My research involves geometric shapes in $R^2$, and I need a metric with several properties such as:
Families of similar shapes, such as squares, are closed in this metric. Also more general ...

**2**

votes

**0**answers

97 views

### What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers $\sqrt{A}$ and the integer $A$

What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers and the integer
As we know,$\sqrt{2} = [1;2,2,2,2,…]$; while $\sqrt{14}= ...

**0**

votes

**1**answer

83 views

### Absolute irreducibility of a symmetric square?

This is a question I received today by email, which somebody more experienced with finite group representations can probably answer directly. Take $F:=\mathbb{F}_q$ for some prime power $q$, so ...

**19**

votes

**5**answers

1k views

### What arrangement of unit cubes minimizes surface area?

For each of these two questions, one can assume that the arrangements are polycubes (for which a definition can be found in the excerpt-image below).
Question A. How does one arrange $n$ unit cubes ...

**3**

votes

**0**answers

52 views

### Polynomials connected with Gale's condition and cyclic polytopes

I was reading about cyclic polytopes and (I think naturally) became interested in polynomials $f(X) \in \mathbb{R}[X]$ which have a factorization of the form $f(X)=g(X)g(X+1)$ for some $g(X) \in ...

**0**

votes

**0**answers

63 views

### reference help indecomposable representations of SL(2,R)

Let $\mathfrak{g}$ be the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, $K=SO(2)$ the maximal compact subgroup of $SL_2(\mathbb{R})$. Then the classification of irreducible admissible ...

**6**

votes

**2**answers

326 views

### Twist in identification with singular cohomology

Let $X$ be a smooth projective variety over $\mathbb{Q}$ and $$V = H^m(X(\mathbb{C}), \mathbb{Q} \cdot (2\pi i)^r)$$ Then I've seen people write the comparison with complex cohomology (an isomorphism ...

**1**

vote

**1**answer

70 views

### Algorithm for Polynomial Reduction in a Quotient Ring

Any reference or suggestion for the following problem would be greatly appreciated.
I am working on the quotient ring $Q=R[X_1,\dots,X_n]/<f_1,\dots,f_k>$. Given polynomials $p$ and $q$ I want ...

**2**

votes

**1**answer

117 views

### Lp estimate for resolvent of Laplace operator

Consider for $1<p<\infty$ operator $A_p:L_p(0,1)\to L_p(0,1), \ D(A_p)=\{u\in W^2_p(0,1): u'(0)=u'(1)=0\}, \ A_pu=u''$, i.e. $L_p$-realisation of the Laplace operator with Neumann bcd on the ...

**2**

votes

**0**answers

384 views

### Help with my research topic [closed]

I have a masters degree in mathematics and I'm currently a PHD student. Since the beginning of my studies (2 years ago) I haven't progressed and still don't have a research topic. I was a very good ...

**3**

votes

**3**answers

120 views

### Basic Questions about Radon Transforms

I am currently working on a problem that may be interpreted as recovering an unknown function from its Radon transform.
Unfortunately I don't have any background in Radon transform, but need to ...

**5**

votes

**1**answer

300 views

### What is the current state of the crystalline analogue of the Weil conjectures?

In "F-isocrystals on open varieties results and conjectures" Faltings says:
"Finally, we extend the theory of weights and show as much as possible of the crystalline analogue of the Weil ...

**6**

votes

**1**answer

333 views

### Morava $K(n)$'s are not $E_{\infty}$

I am looking for a reference/proof that shows that the Morava $K$-theory spectra, $K(n)$ are not $E_{\infty}$ ring spectra. I suspect that this should be a calculation but I can't quite get it right.
...

**1**

vote

**1**answer

51 views

### A possible minimal aperiodic set of corner Wang Tile

From one of my previous question Aperiodic set of corner Wang Tile (although it is put on hold), I realize there is a systematic way to construct aperiodic corner type of Wang tile from edge type ...

**9**

votes

**2**answers

280 views

### Behavior of the spectrum of the Laplacian under pointed smooth convergence

The Laplacian on a compact Riemannian manifold has a discrete spectrum. For example on a circle of perimeter $L$ the $n$-th eigenvalue starting at $0$ is $-\lambda_n = -(2\pi/L)^2 n^2$.
On the other ...