# All Questions

**1**

vote

**0**answers

33 views

### Is there a higher, “orientalish” version of geometric realisation?

Geometric realisation of simplicial sets can be roughly thought of like this:
In some category $\mathcal{C}$, we choose an object for every abstract $n$-simplex. In topological spaces, we would ...

**2**

votes

**0**answers

27 views

### Representability of morphism of stacks

A morphism of Artin stacks $f:X\to Y$ over $\mathbb Q$ is representable by algebraic spaces if and only if its geometric fibres are algebraic spaces. I would like to know if one can use this to prove ...

**1**

vote

**0**answers

35 views

### Generalization of Little Fermat Theorem for a particular $a$ and perfect shuffles

I'm looking for the smallest $n\in \mathbb{N}$ that solves the following equation:
$$2^n=1 \mod m$$
For an odd $m$. I know that Little Fermat Theorem and Euler Totient give me a solution but they ...

**0**

votes

**0**answers

13 views

### Relation between Chebyshev Interpolation and Expansion

I am seeking connections between pointwise Lagrange interpolation (using Chebyshev-Gauss nodes) and generalized series approximation approach using Chebyshev polynomials.
Pointwise Lagrange ...

**0**

votes

**0**answers

19 views

### The automorphism groups of smallest grammars of a language string are isomorphic

Let $s \in \Sigma^*$ be a formal language string. Consider the automorphism group of $s$, defined to be the set of all permutations of positions of $s$ that leave $s$ fixed. For instance $G(abab) = ...

**0**

votes

**0**answers

30 views

### Can anyone comment on uniformizing parameters and uniformizing coordinates?

Let $V$ - an algebraic variety ($\dim V = r$), $U \subseteq V$ - an open subset (in Zariski topology), P - a prime divisor of V, that is, the closed subvariety such that $\mathrm{codim}_VP = 1$.
On ...

**0**

votes

**0**answers

18 views

### How local is the exponent in the definition of a function with analytic/algebraic singularities?

In Demailly's Analytic Methods in Algebraic Geometry (available on his web page), the definition of a (plurisubharmonic) "function with analytic singularities" is a (plurisubharmonic) function $ u: ...

**0**

votes

**1**answer

41 views

### A $C^{*}$ algebra associated to a group

Let $G$ be a compact group which act on a Hilbert space $H$. We define a linear map $T$ on the dual space $H^{*}$ with $$T(\phi)(x)=\int_{G} \phi(g.x)$$ The integration is based on the Haar ...

**0**

votes

**0**answers

36 views

### Average probability that a random cosine polynomial with bernoulli coefficients is small

Let $P_{n}(t)=\sum_{k=0}^{n}\varepsilon_{k}\cos(kt)$ where $\varepsilon_{i}$ are independent random variables taking values in $\left\{-1,1\right\}$ with equal probability. Is is true that for any ...

**2**

votes

**2**answers

193 views

### number theory which is close to analysis

I have basic training in Fourier and Harmonic analysis. And wanting to enter and work in area of number theory(and which is of some interest for current researcher) which is close to analysis.
...

**0**

votes

**0**answers

66 views

### Functor of points of a tensor triangulated category

Is there is a functor of points approach to tensor triangulated categories parallel to Balmer's theory of prime ideal spectra?
Given a tensor triangulated category $\mathcal{T}$ an $R$-point can be ...

**0**

votes

**0**answers

7 views

### dual basis of cohomology algebra [migrated]

Let $H^*(M)$ be the cohomology algebra of oriented manifold $M$ with rational coefficients.
Let $\{b_i\}$ be a basis of $H^*(M)$ as a vector space over $\mathbb{Q}$.
Let the dual basis be
...

**-3**

votes

**0**answers

30 views

### shortest line segment that equally divide a triangle? [on hold]

Given the coordinates of all three vertexes of a triangle, what's the length of the shortest line segment that divide a triangle into two equal-area halves?
This is a problem that a friend gave to ...

**15**

votes

**1**answer

197 views

### Interplay between Loop Quantum Gravity and Mathematics

It is known that there are many interesting connections between String Theory and modern Mathematics, with a rich feedback going on in both directions: there have been advances in mathematics thanks ...

**4**

votes

**0**answers

32 views

### Thales Style Level Sets

Encouraged by Joseph O'Rourke ( and inspired by the discussion at
Thales' semicircle theorem in higher dimensions ), I ask about level sets in three
dimensional space occuring from considering ...

**1**

vote

**1**answer

27 views

### Probable direction of deviations from the expected value in binomial and hypergeometric cases

Suppose I have an urn with N marbles, with frequencies p and q for red and black marbles, and with p > 0,5. I take a sample of r marbles.
It sounds intuitive to say that deviations from the mean ...

**3**

votes

**0**answers

50 views

### Is there any counterpart to Thales' semicircle theorem in higher dimensions?

It was established by TMA, @WillSawin, and @DouglasZare, in their responses to
the MO question,
"Thales' semicircle theorem in higher dimensions,"
that the natural generalization of Thales' semicircle ...

**1**

vote

**0**answers

83 views

### Classifying spaces of topological groups whose underlying spaces are homotopy equivalent

Let $G$, $H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism which happens to be a homotopy equivalence of the underlying topological spaces. Let us assume that $G$, $H$ ...

**3**

votes

**1**answer

49 views

### A decision problem for clones

E. Post proved that there are only countably many clones on a two-element set (classes of operations closed under superposition and containing all projections). All these clones are finitely ...

**0**

votes

**0**answers

21 views

### Relation eccentricity/diameter in undirected tree [on hold]

I know in my mind that it's very obvious, but I just can't seem to prove the following statement:
Let $G$ be an undirected non-trivial tree with at least $3$ vertices. Let $u$ be an arbitrary vertex ...

**0**

votes

**0**answers

50 views

### Why $C^0$ - Convergence gives Gromov-Hausdorff convergence?

Let $(M,\omega (t)) $ be a family of kahler forms , why $C^0$ - Convergence gives Gromov-Hausdorff convergence?

**2**

votes

**0**answers

36 views

### Intersecting balls with convex regions and a bisector thereof

This question is related to my previous posting
Angle subtended by the shortest segment that bisects the area of a convex polygon
Let $C$ be a convex region in the plane and let $s$ be the shortest ...

**1**

vote

**0**answers

49 views

### freedom in choosing a smooth function of compact support [migrated]

Suppose $\Omega$ represents a bounded domain in $\mathbb{R}^n$. For ease, let $\Omega$ be a ball around the origin. Let $\varphi$ be a smooth radial function defined on $\Omega$. I am trying to ...

**1**

vote

**0**answers

45 views

### Exterior product

I have asked this question in the Mathematics forum but I received no answer.
Let $E$ be an algebraic vector bundle of rank $r$ and degree $d$,
Then $\Lambda^2 E$ is of rank $r'=r(r-1)/2$, but is of ...

**0**

votes

**1**answer

96 views

### homological invariant of the “universal elliptic curve” over the punctured $j$-line

My question considers the curve $E$ over the affine $j$-line $S$ given by
$$Y^2 - (j-1728)XY = X^3 - 36(j-1728)^3X - (j-1728)^5$$
This curve has the property that it's $j$-invariant is $j$ (see ...

**-3**

votes

**0**answers

98 views

### How does a mathematician sees the numbers? [on hold]

When I look at a tree - I see the tree. I feel the tree in my head, it's shape, it's presence - everything about it. When I look at a number or a math expression I see only the expression and the ink ...

**1**

vote

**0**answers

44 views

### Obtaining graphics of functions in non-standard analysis

In the context of $R(\varepsilon)$ or more broad fields, Levi-Civita field or $No(\omega_1)$, how can we obtain the graphics of functions on the infinitesimal range?
For instance, it is alleged that ...

**2**

votes

**1**answer

128 views

### Glueing a property via homotopy colimits

I have a problem concerning a fact which is stated without proof in this Rezk's draft: http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf .
In the proof of Lemma 2.11, we are given a ...

**-4**

votes

**0**answers

53 views

### Math mobile Apps [on hold]

Are there any interactive apps, which you can use your phone camera and point at things in your environment and the app regognizes the shapes of objects etc?

**9**

votes

**1**answer

110 views

### Relative Picard functor for the Zariski topology

I'm trying to understand better the relative Picard functor, as defined, for example, in Kleiman's article.
Let $X \to S$ be a smooth projective morphism of schemes whose geometric fibres are ...

**0**

votes

**1**answer

126 views

### When is finding an explicit inverse of an isomorphism not possible

My question is about Shapiro's lemma. Consider the isomorphism $\phi: H^n(G, Hom_{ZH}(ZG, A))\cong H^n(H,A)$ of shapiro's lemma. I would like to describe this via cochains.
So the obvious map is ...

**-2**

votes

**0**answers

49 views

### the special value in a L-funtion [on hold]

how to calculate the value of series
The Gamma function satisfying $\Gamma(n) = (n-1)!\quad\forall
n\in\mathbb N$ is via through the Euler integral
$$
\Gamma(z) = \int_0^\infty t^{z-1}e^{-t}dt\,.
$$
...

**1**

vote

**0**answers

29 views

### About the space of function used in the harmonic extensions for elliptic problems involving the fractional laplacian

recently i am studying the following paper:
A concave–convex elliptic problem involving the fractional Laplacian -
C. Brandle, E. Colorado, A. de Pablo and U. Sánchez.
At the Pgs 41, 42, the ...

**0**

votes

**0**answers

17 views

### How to character the norm of elemental units in a quadratic number field [on hold]

if a prime number P≡1 mod 4,why the equation x^2-py^2=-4 has solutions in integer

**4**

votes

**1**answer

127 views

### Coherent sheaves on $\mathbb C^2$ and commuting matrices

Let $V$ be an $n$-dimensional complex vector space. The stack $Coh^n(\mathbb C^2)$ of coherent sheaves on $\mathbb C^2$ supported on $n$ points (not necessarily distinct) is equivalent to the stack ...

**0**

votes

**0**answers

28 views

### How to use persistence of regularity to obtain global well posedness result in $H^{s}(\mathbb R), (0<s<1)$?

[This question occurs to by the answer given by W. W ;and may be trivial for MO; But I am keen to understand the process:"local existence and persistence of regularity implies global well posedness" ]
...

**3**

votes

**2**answers

131 views

### How can dimension depend on the point?

Let $M$ be a metric space.
For any subset $A\subset M$ let $\dim(A)$ denote its Hausdorff dimension.
For $x\in M$, define the dimension of $M$ at $x$ by $\dim(x)=\lim_{r\to0}\dim(B(x,r))$; this limit ...

**2**

votes

**2**answers

66 views

### Polynomial invariants for unoriented links

I have seen that usually one finds polynomial invariants for oriented links (for example the Jones polynomial, the Hompfly polynomial). Does anyone know what polynomial invariants exist for ...

**0**

votes

**0**answers

20 views

### SVD of sum of a symmetric matrix and a banded matrix [on hold]

The SVD of the sum of a symmetric square matrix and an appropriately sized identity matrix can be written as following:
$A^TA + \lambda I = V(\Sigma + \lambda I)V^T$
where $\Sigma$ contains the ...

**0**

votes

**0**answers

32 views

### How to prove that the set of maximal elements of a set of prime ideals is finite

Let $A$ be a subset of ${\rm Spec}(R)$ with $R$ noetherian
Are there any techniques to prove that ${\rm max}(A)$ (ie the set of maximal elements of $A$) is finite?
I'm looking for equivalent ...

**-1**

votes

**0**answers

11 views

### What is the most efficient algorithmic implementation of maximum overlap discrete wavelet transform?

What is the most efficient algorithmic implementation of maximum overlap discrete wavelet transform (MODWT)?

**5**

votes

**0**answers

79 views

### A generalization of SOCA

Roughly speaking, SOCA (Semi Open Coloring Axiom) says that for an open coloring of the unordered pairs over an uncountable separable metric space you can always find an uncountable homogeneous subset ...

**2**

votes

**1**answer

69 views

### Weak convergence in $W^{1,p}_0$

Note from the answerer : this question stems from this article.
I ask this question in http://math.stackexchange.com/questions/1206617
I have a bounded sequence $(u_n)$ from $W^{1,p}_0(\Omega)$ so ...

**-1**

votes

**0**answers

54 views

### Is a perfectoid algebra over a perfectoid ring flat?

Let $S/R$ be a perfectoid rings, in what conditions $S^\circ/R^\circ$ must be flat?
Like $R^\circ$ a valuation ring.

**1**

vote

**0**answers

25 views

### embdedding standard models of PA into nonstandard models [migrated]

Maybe it's well known to experts, but is there always an embedding $f$ of the standard model of Peano arithmetic into a nonstandard model? By Peano arithmetic I mean its first-order version, with the ...

**1**

vote

**0**answers

43 views

### Notions of consistency / heterogeneity in sets of vector values?

The problem
Let us consider a row vector u of size $n\in\mathbb{N}$, containing only binary values (0,1):
$$u=(u_1 \cdots u_n), n\in\mathbb{N}$$
$$\forall i \in \{1\ldots n\}, u_i \in\{0,1\}$$
I ...

**-2**

votes

**0**answers

114 views

### How to prove a certain theorem about algebraic function fields [on hold]

This question concerns a point from the book
David Goldschmidt, Algebraic Functions and Projective Curves, 2001 (link).
Let $K$ be a finitely generated extension of $k$ of transcendence degree ...

**6**

votes

**1**answer

216 views

### Must we know $MU^*(X)$ in order to compute $Ell^*(X)$?

Let $Ell^*(X)$ be the elliptic cohomology theory (associated to a given elliptic curve $E$) of a nice space $X$.
Recall the Landweber-Ravenel-Stong construction:
$MU^*(X) \otimes_{MU^*} R \simeq ...

**2**

votes

**0**answers

80 views

### Counting number of points in a lattice with bounded length

I am interested in counting number of lattices using the following theorem.
The following is Theorem IV (page 412) in Chapter VIII of "An introduction to the geometry of numbers (second printing, ...

**5**

votes

**2**answers

107 views

### Reference for proof that consistency of $\omega_1$-Erdos cardinal implies Con(Chang's Conjecture)

What is a good source for Silver's proof (or a more modern version) that Con($\exists \omega_1$-Erdos cardinal) implies Con(Chang's Conjecture)?
Silver's original proof seems to have never been ...