# All Questions

**1**

vote

**1**answer

203 views

### Does the singular cohomology for a metric space of finite topological dimension vanish in high dimensions?

It is known that by applying the universal coefficient theorem, the singular cohomology of closed manifold with coefficient $\mathbb{Z}_2$ vanishes in high dimensions. But for a metric space $M$ with ...

**2**

votes

**0**answers

36 views

### On subset of Deterministic games

Denote strings $u,v$ from $\{0,1\}^n$.
Denote concatenated pair $[uv]$.
Denote
$$[uv]_{1}=\{[uv]\oplus e_i\}_{i=1}^{2n}$$
collection of pairs with Hamming distance $1$ from $[uv]$ string ...

**0**

votes

**2**answers

133 views

### On independent sets of graph

Given $G$ a regular graph on $n$ vertices, denote $\alpha(G)>1$ to be independence number.
Denote $\Gamma(G)$ to be collection of possible subset of independent vertices in $G$ of cardinality ...

**1**

vote

**0**answers

70 views

+50

### Killing vector fields on sphere and nodal sets

Let $u$ be a smooth function on $S^2$ such that $\int_{S^2} ux_j =0$, for $j=1,2,3$. Does there exist a killing vector field $V$ on $S^2$ such that the nodal line of $\varphi=V(u)$ ($\{x\in S^2: ...

**0**

votes

**0**answers

7 views

### Can every $p$-group with duality pairing be written as cokernel of a symmetric matrix over the $p$-adic integers?

Let $G$ be a $p$-group (where $p$ is a prime). Suppose there esists a symmetric bilinear map $\delta\colon G\times G\to \mathbb{Q}/\mathbb{Z}$ such that the induced map $g\to\langle g,\;\rangle$, is ...

**3**

votes

**1**answer

304 views

### Artin Jacobson-semisimple rings are semisimple. Constructively, too?

Notation. When I say "ring", I mean "ring with unity" (not necessarily commutative).
Definition. A ring $R$ is said to be left-Artinian if for every sequence $I_0\supseteq I_1\supseteq I_2\supseteq ...

**0**

votes

**0**answers

39 views

### A morphism of elliptic schemes that preserves the identity is a homomorphism

I am trying to understand the proof of the fact that any morphism $f \colon E_1 \rightarrow E_2$ of elliptic curves over an arbitrary base scheme $S$ satisfying $f(0) = 0$ must respect the group ...

**2**

votes

**1**answer

40 views

### Legendre transform and Lipschitz aproximation

Let $(X,d)$ be a compact metric space and $f:X \to \mathbb{R}$ a real valued continuos function. Let us agree that a modulus of continuity means concave, nondecreasing, uniformly continuos function ...

**1**

vote

**1**answer

46 views

### Invariant generalized sections of dual vector bundles

Assume X is a real smooth manifold with an action of the real Lie group G. Let E be a G-vector bundle over X. Consider the spaces of generalized sections over X of E, and of E^* (fiberwise dual). My ...

**4**

votes

**1**answer

73 views

### Can any object in a presentable category be written as a colimit of generators?

Let $\mathcal{C}$ be a presentable category, and let $S$ be a set of objects such that $S$ generates $\mathcal{C}$ under colimits, i.e., such that the smallest cocomplete subcategory of $\mathcal{C}$ ...

**0**

votes

**0**answers

41 views

### Inversion, Koszul duality, combinatorics and geometry

According to this MO answer Koszul duality is related to operations on generating series;
1) multiplicative inversion for quadratic algebras,
2) compositional inversion for quadratic operads,
3) ...

**3**

votes

**1**answer

96 views

### Binary operation on subsets of rings

Let $R$ be a non-zero commutative ring with identity. The following is well known:
If $x,y \in R$ are idempotents then $x+y-2xy$ is also an idempotent and more than that by defining $x*y = x+y-2xy$, ...

**20**

votes

**5**answers

3k views

### Good references for Rigged Hilbert spaces?

Every now and then I attempt to understand better quantum mechanics and quantum field theory, but for a variety of possible reasons, I find it very difficult to read any kind of physicist account, ...

**0**

votes

**0**answers

12 views

### Largest eigenvalue & corresponding eigenvector of adjacency matrix of non-regular graph

Consider a graph $G$ that:
is irregular,
is connected,
is not bipartite,
has many cycles of various odd and even lengths.
Its adjacency matrix $A$ has a degenerate dominant eigenvalue. The entire ...

**6**

votes

**1**answer

1k views

### why isn't the mobius band an algebraic line bundle?

When I hear the phrase "line bundle" the first thing that pops into my head is a mobius band. But this is a bad picture from an algebraic point of view since any line bundle on an affine variety is ...

**3**

votes

**1**answer

56 views

### Can all unit-distance graphs have their vertices at algebraic integers?

A graph $G$ is described as a unit-distance graph if there exists a function $f:G \rightarrow \mathbb{C}$ such that for every edge $(u,v) \in E(G)$, we have $|f(u) - f(v)| = 1$.
Obviously, we can ...

**1**

vote

**0**answers

29 views

### References for elliptic integral

I'm trying to learn more about the most general elliptic integral, that is, an integral of the form
$$\int\frac{A(x)}{B(x)\sqrt{S(x)}}$$
where $A(x), B(x)$ are arbitrary polynomials and $S(x)$ is ...

**5**

votes

**2**answers

126 views

### Recent trends in effective analysis

The references listed at http://en.wikipedia.org/wiki/Computable_analysis have all been published 30-15 years ago. Are the approaches which these references expose still up-to-date and relevant to the ...

**0**

votes

**0**answers

10 views

### Convergence in distribution of stochastic equation solutions

I post this post en MSE but I think that is more suitable for this site.
I'm studying from Kurtz's book "Markov Processes Characterization and convergence" and I have a question about the ...

**18**

votes

**9**answers

4k views

### What are the reasons for considering rings without identity?

I think a major reason is because Lie algebras don't have an identity, but I'm not really sure.

**18**

votes

**1**answer

321 views

### Kaplansky's unit conjecture and unique products

There are three conjectures on group rings that bear the name of Kaplansky (see for example this question). The 'unit conjecture' in the title of the present question is the strongest of them, and ...

**5**

votes

**1**answer

241 views

### Surjectivity of curl

Let: $\mathbb R^3\ni x\mapsto v(x)\in\mathbb R^3$ be a vector field with null divergence belonging to the Schwartz class such that
$$
\int_{\mathbb R^3} v(x) dx=0.
$$
Is it true that there exists a ...

**0**

votes

**0**answers

21 views

### Showing existence of positive weak solution of a PDE by CoV

Given the following PDE
$$
\begin{cases}
-\Delta u+\alpha=u^q &x\in\Omega\\
u=0 &x\in\partial\Omega
\end{cases}
$$
where $\Omega\subset\mathbb R^3$ is open bounded with smooth boundary, ...

**2**

votes

**0**answers

49 views

### Does a semistable curve descend to a regular base?

Let $f\colon X \rightarrow S$ be a semistable curve of genus $g \ge 0$. Being a semistable curve means that $f$ is a morphism of schemes such that
$f$ is proper, flat, and of finite presentation;
...

**6**

votes

**3**answers

397 views

### Number of perfect matchings of the Dodecahedron

This question seems just to be an elementary enumeration problem, but I believe something deeper might be involved:
How many perfect matchings does a dodecahedron graph have?
Here the ...

**-3**

votes

**0**answers

16 views

**-6**

votes

**1**answer

75 views

### The P VS NP problem as relates to factoring [on hold]

Good Day all,
If someone could prove there is no simple way to factor an integer, and show searching is absolutely required, would that also prove P is not equal to NP?
Thanks in advance for your ...

**0**

votes

**0**answers

35 views

### Existence of a complementary closed subspace extending a given subspace

Let $H$ be an infinite dimensional (separable) Hilbert space (or any infinite dimensional Banach space in which every closed subspace has a complementary subspace). Suppose that $X$ and $Y$ are closed ...

**6**

votes

**0**answers

45 views

### When is a smooth function locally equivalent to a truncation of its Taylor series?

Let $U \subset \mathbb{R}^n$ be an open set and let $f:U \rightarrow \mathbb{R}$ be a smooth proper function. For $p \in \mathbb{R}^n$ let
$$T_p(x_1,\ldots,x_n) = \sum_{i_1,\ldots,i_n=0}^{\infty} ...

**2**

votes

**0**answers

78 views

### Comparing the size of two sums

Let $q$ be a prime power and $\mathbb{F}_q$ be the field of $q$ elements.
Let $\mathbb{F}_q[t]$ be the polynomial ring over $\mathbb{F}_q$.
I am working on a research project, where I bounded a ...

**1**

vote

**1**answer

126 views

### Difference between Frobenii on Tate modules of special and generic fibre

Let $E$ be elliptic curve over $\mathbb Q$ and $p$ a prime of good reduction for $E$. Fix $\ell \neq p$.
If $E_p$ is ordinary then we have Frobenius $F_p$ on $E_p$. Assume $F_p$ lifts to ...

**0**

votes

**0**answers

59 views

### When does a hyperelliptic Riemann surface admit a map of degree 3

Let $X$ be a hyperelliptic curve of genus $g>1$.
For which $g$ does $X$ admit a map $X\to \mathbb P^1$ of degree $3$?
I think a genus two curve $X$ admits a map of degree $3$.
Proof: Pick $P$ ...

**-1**

votes

**0**answers

133 views

### Question about Lusternik-Schnirelmann Category?

I have this sets: $\Omega\subset \mathbb{R}^N, N\geq 3$ a smooth bounded domain
$\Omega_{r}^+=\{x\in \mathbb{R}^N, d(x,\Omega)\leq r\}$ and ${\Omega}^-_{r}=\{x\in \Omega, d(x,\partial\Omega)\geq ...

**8**

votes

**2**answers

162 views

### Certain signed sum over $S_n$

The following question appeared in my research:
Let $G_1,G_2,G_3$ all be subgroups of $S_n$, and consider the sum
$$
\sum_{g_i \in G_i, g_1g_2g_3 = id} \epsilon(g_1)
$$
that is, we only consider ...

**104**

votes

**68**answers

20k views

### Which math paper maximizes the ratio (importance)/(length)?

My vote would be Milnor's 7-page paper "On manifolds homeomorphic to the 7-sphere", in Vol. 64 of Annals of Math. For those who have not read it, he explicitly constructs smooth 7-manifolds which are ...

**-2**

votes

**0**answers

36 views

### How do you describe this ordinal filter? [on hold]

I am creating a filter that takes the 4th highest out of each 13 values and does this to filter an array (so it is almost like a median filter). I want to describe it in my research paper. Could I go ...

**9**

votes

**1**answer

453 views

### Conditions for “bootstrapping” a smooth DM stack?

In the preprint "Smooth toric DM stacks", Fantechi, Mann and Nironi define the stacks of their title, and show that each of these can be obtained through the following sequence of steps:
1) start ...

**5**

votes

**0**answers

45 views

### Can a symplectic manifold be recovered from its Lagrangians?

Something I have wondered idly about from time to time is:
If $(M,\omega), (M',\omega')$ are symplectic manifolds, and you "know what the Lagrangians $L \subset M$ resp. $L' \subset M'$ are," can ...

**7**

votes

**0**answers

120 views

### Do canonical stacks exist over Spec(Z)?

Suppose a scheme $X$ has tame quotient singularities. Does there exist a smooth DM stack $\mathcal X$ with coarse space $X$ so that the coarse space morphism $\mathcal X\to X$ is an isomorphism ...

**2**

votes

**0**answers

34 views

### Divisibility of the degree of an extension by the degree its residual field

Let $A$ be and integrally closed domain whose quotient field is $K$, $L$ be a finite Galois extension of $K$, and $B$ be the integral closure of $A$ in $L$. Let $M_A$ be a maximal ideal of $A$, and ...

**2**

votes

**1**answer

64 views

### Is a matrix element of a norm continuous representation always a trigonometric polynomial?

I asked a similar question for the case of compact groups not long ago in math.stackexchange. Now I understand that the answer was "yes", and I want to modify that question. This is also related to my ...

**6**

votes

**0**answers

96 views

### Exactness of pure functors

I can't prove this lemma in "Notes on motivic cohomology, Beilinson, Macpherson, Schechtman":
Lemma. A pure functor is exact.
Definitions: A mixed category $\mathcal{M}$ is a ...

**15**

votes

**0**answers

356 views

### What are the products $\prod_{A\subset{\mathbb F}_p\colon |A|=n} \sum_{a\in A} \zeta^a$ equal to?

This is a somewhat more explicit version of a question I have recently asked.
Let $p$ be an odd prime, and write $\zeta:=\exp(2\pi i/p)$ (any other primitive $p$th root of unity will do as well). For ...

**5**

votes

**0**answers

56 views

### What Is The Minimal Monomial of the Symmetric Group?

In the symmetric group $S_n$ what is the shortest sequence $c_1,\ldots,c_k\in S_n$ such that, for all $x\in S_n$ the following product of conjugates of $x$:
$$x^{c_1}x^{c_2}\ldots x^{c_k}$$
equals the ...

**0**

votes

**0**answers

18 views

### Dependence of weak solution of an equation on a parameter

For each $p \in [a,b]$, let $X_p$ be a Hilbert space with $Y_p \subset X_p$ a subspace and we are given a bilinear form $a_p(\cdot,\cdot):X_p \times X_p \to \mathbb{R}$.
Given $u_p$ with $p \mapsto ...

**0**

votes

**1**answer

171 views

### What is the probability that a randomly chosen number from set of c.e.number is period(number)?

What is the probability that a randomly chosen number from the set of c.e.numbers is period(number)?
What is the probability that a randomly chosen number from the set of computable numbers is ...

**8**

votes

**0**answers

333 views

### What is the relationship between these two notions of “period”?

The motivation for this question is to understand a recent theorem of Francis Brown which implies that all periods of mixed Tate motives over $\mathbb{Z}$ lie in $\mathcal{Z}[\frac{1}{2\pi i}]$, where ...

**5**

votes

**0**answers

53 views

### A positivity problem involving the number of ways of expressing $n$ as a product of $k$ factors

Let $d_k(n)$ denote the number of ways of expressing $n$ as a product of $k$ factors, and let $$D_k(x)=\sum_{n\leq x}d_k(n)$$ be the summatory function. During a study of Mertens' function I was lead ...

**0**

votes

**0**answers

15 views

### Interesting properties of complex Gateaux derivatives

The complex Gateaux derivatives are for $\psi=\psi_{1}+i\psi_{2}$ and functional F
$dF(\psi,\xi)=d_{\psi_{1}}F(\psi_{1},\xi_{1}-id_{\psi_{2}}F(\psi_{2},\xi_{2}$ and ...

**1**

vote

**0**answers

12 views

### Phase of the inner product between the elements of an ETF

I am doing research in compressive sampling for Cognitive Radio applications. While working on a project I came across with the following question:
Is there any research about the phase of inner ...