1
vote
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
5answers
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
9answers
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
1answer
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
1answer
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
0answers
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
0answers
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
3answers
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 ...
-6
votes
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
68answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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 ...

15 30 50 per page