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

learn more… | top users | synonyms

4
votes
1answer
112 views

Is the absolute of a compact space the projective limit of the Stone-Čech compactifications of its open dense subsets?

Is the following statement true, and if it is, does someone have a reference? Let $X$ be a compact (i.e., compact and Hausdorff) topological space. Then the Gleason space (=Iliadis absolute, ...
0
votes
0answers
65 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 ...
5
votes
0answers
85 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
1answer
142 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
0answers
121 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 ...
0
votes
0answers
91 views

Any result, example or conjecture about the computational complexity of transcendental number that can not be computed by linear time Turing Machine [on hold]

The Hartmanis-Stearns Conjecture is restated by Prof.Lipton as: Suppose that a linear time Turing Machine computes the first $n$ digits of the real number $r$ in base ten. Then, the number is either a ...
0
votes
0answers
68 views

Are there any relevance between coefficients of simple continued fraction of quadradic algebraic number and algebraic number with degree $2^n$ [on hold]

Let $\sqrt{c}$ be quadratic algebraic number, We know that $[a_0;a_1,a_2,\dots ]$ the coefficients of simple continued fraction of $\sqrt{c}$ the quadratic algebraic number is periodical. ...
16
votes
4answers
578 views
+50

What arrangement of unit cubes minimizes surface area?

Question A. How does one arrange $n$ unit cubes to minimize surface area? Question B. How does one arrange $n$ unit cubes to form a rectangular prism of minimal surface area? Various curricular ...
0
votes
0answers
122 views

Applications of infinite permutations [on hold]

I was looking at approximation in the forlmula of Products of necklaces: $n \to \infty$ we have $\prod_{p=1}^n N(p,a) \approx \frac {a^n} {n!}$ $\prod_{p=1}^n \frac {1-a^p} {1-a}$. (The number of ...
1
vote
0answers
102 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.
1
vote
1answer
208 views

Deformations of holomorphic/algebraic vector bundles over $\mathbb{P}^3$

I would like to know what can be said about (global) deformations of holomorphic/algebraic rank two vector bundles on $\mathbb{P}^3$. I am particularly interested in the case of topologically trivial ...
0
votes
0answers
46 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 ...
8
votes
4answers
451 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 ...
8
votes
2answers
175 views

Clifford algebras for quadratic modules over ringed spaces

What is the earliest possible reference for definition and basic properties of Clifford algebras associated to quadratic modules over a ringed space? The ringed space does not need to be locally ...
6
votes
2answers
309 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 ...
6
votes
2answers
292 views

A continuous notion of realizability

I have been interested in non-classical logics, off and on, for quite a while. This question is probably very basic, and I hope it is not too low-level for MO. My question stems from an attempt to ...
2
votes
0answers
81 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
0answers
198 views

What does a Turing machine compute? [on hold]

I suspect that it might be necessary to define for a Turing machine how its inputs and outputs are to be interpreted in order to be able to say e.g. that a Turing machine $T$ computes an arithmetical ...
4
votes
1answer
108 views

Equations and random subgroups in compact groups

EDIT: Here is a more specific question. Let $G$ be a compact group and let $w$ be a word in $d$ variables. Then the solution set $S$ of the equation of $w=1$ is a closed subset of the product $G^d$ ...
2
votes
3answers
160 views

How to define the input of computable function or Turing machine over real numbers

Computation or computability over $\mathbb{N}$ can be extended to computation or computability over $\mathbb{R}$ or even computation or computability over $\mathbb{C}$.The following is a formal ...
0
votes
1answer
72 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 ...
2
votes
1answer
108 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 ...
26
votes
14answers
4k views

Explicit computations using the Haar measure

This question is somewhat related to my previous one on Grassmanians. The few times I've encountered the Haar measure in the course of my mathematical education, it's always been used in a very ...
1
vote
1answer
65 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 ...
3
votes
0answers
45 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
0answers
57 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 ...
8
votes
1answer
221 views
+150

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 ...
2
votes
0answers
307 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
3answers
101 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 ...
2
votes
0answers
45 views

How to prove that all smooth vector bundles on a given vector bundle are the pull back of a vector bundle on the base [migrated]

Recently, during a conversation, I heard about the result (previously mentioned also here on MO), whose statement is reported below. Not having the specific background necessary to reconstruct a proof ...
5
votes
1answer
277 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 ...
5
votes
1answer
230 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
votes
0answers
23 views

Proof that $G(3)\le 7$ [migrated]

Let $G(k)$ be the minimal $n$ s.t. every sufficiently large integer is the sum of $n$ nonnegative $k$th powers. Does anybody know where I can find Vaughan's proof that $G(3)\le 7$? I can't find a ...
1
vote
2answers
139 views

Plucker embedding and tautological/universal quotient bundle

Let $G$ be a Grassmannian and $Q$ the tautological/universal quotient bundle of $G$. As far as I understand, the associated tautological quotient line bundle for the Plucker embedding of the ...
2
votes
1answer
45 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 ...
3
votes
1answer
56 views

Reference for Elliptic PDE on $\mathbb{R}^d$

Could anyone suggest a textbook, article, or lecture notes that covers elliptic PDE theory (existence, uniqueness, regularity) on all of $\mathbb{R}^d$, as opposed to the Dirichlet or Neumann problem ...
0
votes
0answers
75 views

Superelliptic Curves [duplicate]

I'm trying to find information on superelliptic curves and how to solve them over the integers. The equation is $$y^k = f(x)$$ where $k=3$ and $f$ has degree $d=3$. Does anyone know any ...
19
votes
0answers
464 views

Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A ...
1
vote
0answers
101 views

Reference on calculation of 2nd cohomology group

Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...
3
votes
1answer
253 views

An identity for elementary symmetric functions

Trying to understand a result in a representation theoretical paper, I realized that it implies the following elementary identity for symmetric functions. My question is whether this identity is true, ...
0
votes
1answer
100 views

Hilbert scheme of a closed subscheme

Let $X$ be a complex algebraic variety. Its Hilbert scheme represents the functor $G$ from schemes to sets given by $$G(S)=\{Z\subset X\times S|\, Z \mbox{ is a closed subscheme, flat and proper over ...
0
votes
0answers
88 views

Collatz property implying infinite “fall below” trajectories, is it known?

(this was discovered analyzing Collatz empirically.) a key aspect of resolving Collatz involves looking at the number of iterations for trajectories to "fall below" the initial value. consider ...
5
votes
1answer
294 views

The Irreducible Corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group

I asked this question on Math.Stack but have not had any answers. Question What are the irreducible corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group, $A$? The trivial ...
1
vote
1answer
109 views

Hilbert scheme of an infinitesimal neighborhood of a subvariety

Let $X$ be a complex algebraic variety. Let $C\subset X$ be a compact (reduced) subvariety. Let $C^{(n)}$ denote the $n$th infinitesimal neighborhood of $C$ inside $X$. Let $Hilb(X)$ denote the ...
10
votes
2answers
585 views

Questions about Prikry forcing and Cohen forcing

I have some questions. The first one is about the product of Prikry's forcing. Let $\kappa$ be a measurable cardinal, $U_1, U_2$ be normal measures on $\kappa$ and let $\mathbb{P}_{U_1}, ...
5
votes
1answer
226 views

Relationship between fragments of the axiom of choice and the dependent choice principles

The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...
7
votes
1answer
221 views

How does the kernel of the map $\Omega^{\bullet}(X)\rightarrow \Omega^{\bullet}(G\times X)$ relate to equivariant cohomology?

This question may be trivial for experts. Consider a (compact, connected) smooth manifold $X$ and a (compact connected) Lie group $G$ act on $X$. Then we have the action map $$ \mu: G\times ...
1
vote
1answer
67 views

Minimum of Random Energy Model (REM) with logarithmically correlated potential

In the paper [FB] (ArXiv, J. Phys. A), the authors analyse a particular Random Energy Model (REM) with logarithmically correlated potential and conjecture in Eq. (2) that the distribution function of ...
15
votes
9answers
3k views

The free group $F_2$ has index 12 in SL(2,$\mathbb{Z}$)

Is there someone who can give me some hints/references to the proof of this fact?
0
votes
0answers
23 views

Uniqueness of Newton (modulo a constant) series on a compact set

Good morning everybody. My question is as follows: Let $K$ be a compact subset of $\mathbb R$ and let $v\in C^\infty(K)$. Consider the finite difference operator $\Delta v(x)\doteq v(x+1)-v(x)$. It ...