6
votes
1answer
360 views

Pure motives and compatible systems of $\ell$-adic representations

I am trying to understand the statement of the conjectures of Deligne on special values of certain $L$-functions, from his article titled, "Valuers de Fonctions L et periodes d'integrales" which ...
4
votes
2answers
197 views

Baire Category Theorem for complete uniform spaces

The version of the Baire Category Theorem I have in mind is the statement that a countable intersection of dense open subsets of a complete metric space is dense. The question is: is it likewise ...
0
votes
0answers
22 views

Rearrangement of summation expression

Referring to the spherical harmonics expansion in this article: Méléard, P., Pott, T., Bouvrais, H., & Ipsen, J. H. (2011). Advantages of statistical analysis of giant vesicle flickering for ...
13
votes
1answer
509 views

Elementary Proof of Infinitely many primes $\mathfrak{p} \in \mathbb{Z}[i]$ in the sector $\theta < \arg \mathfrak{p} <\phi $

A quick look at the primes in $\mathbb{Z}[i]$ suggests they might be evenly distributed by angle if we zoom out on a coarse enough scale. I would like ask about the much weaker statement forgetting ...
2
votes
1answer
182 views

Counting function for prime pair with bounded gaps between them [duplicate]

I'll start by noting that I am not at all an expert on number theory. However I do use it in a proof and would like your assistance if possible. Yitang Zhang breakthrough result established that ...
0
votes
0answers
14 views

Decompose a multivariate polynomial into a permutation on $F_{2^n}$ and an affine transformation

Let $S(x_1,...,x_n)=(y_1,...,y_n)$ be a secret permutation on $F_{2^n}$. $L$ is a secret $F_{2^n}\rightarrow R^{m}$ affine tranformation. $m$ can be smaller than $n$, while $n$ is ususally less than ...
10
votes
0answers
356 views

Which journals publish applied mathematics with mostly pure mathematics content?

In the spirit of Which journals publish expository work? please advise: What consistently high quality journals$^1$ today publish results that would otherwise go to a pure mathematics journal if ...
13
votes
3answers
1k views

Intuition behind the Kodaira Vanishing Theorem?

As the question suggests, what is the intuition behind the Kodaira Vanishing Theorem? The Kodaira Vanishing Theorem says that the cohomology groups $H^q(M, L \otimes K_M)$ vanish for $q \ge 1$ when ...
7
votes
0answers
252 views

Do modular forms show up in the cohomology of moduli spaces of unmarked curves?

Let $\overline{\mathcal M}_{g,n}$ be the compactified Deligne-Mumford moduli stack (although I don't think taking the coarse moduli space will make much of a difference here). If we decompose $g = 1 + ...
6
votes
2answers
144 views

Must a finitely generated projective module over a group ring with vanishing coinvariants be trivial?

Let $G$ be a (possibly infinite) group. Let $\mathbb{Z}[G]$ be its integral group ring and let $P$ be a finitely generated projective module over $\mathbb{Z}[G]$. Suppose that the coinvariants of $P$ ...
8
votes
0answers
160 views

On the global structure of the Gromov-Hausdorff metric space

This is a purely idle question, which emerged during a conversation with a friend about what is (not) known about the space of compact metric spaces. I originally asked this question at ...
0
votes
0answers
17 views

Systems of stochastic differential equations with non-Lipschitz coefficients

I am looking for references to any literature which might consider the existence / behavior / regularity of solutions to systems of stochastic differential equations with non-Lipschitz coefficients. ...
5
votes
1answer
190 views

1-dimensional representations of the affine Hecke algebra for $SL_2$

Kazhdan-Lusztig theory gives a correspondence between irreducibles of the affine Hecke algebra for a simply connected linear algebraic group $G$ and certain homological data extracted from the ...
2
votes
1answer
58 views

Complexity of sparse matrix-vector multiplication?

I have a vector $\mathbf{x}$ of size $m\cdot n$ of zeros and ones, i.e., $\mathbf{x}\in\{0,1\}^{m\cdot n}$ and a matrix $\mathbf{A}$ of size $\left(m\cdot n+m+n+1\right)\times\left(m\cdot n\right)$ of ...
11
votes
1answer
465 views

A question of Erdős

In the following paper (pages 122-23), Erdős asks if there is a constant $c > 0$ such that every subset $A$ of plane of area more than $c$ contains the vertices of a triangle of unit area. Is this ...
6
votes
2answers
176 views

Generalized Characteristic Polynomial with Unimodular Roots

Let us define a diagonal matrix $\mathbf{D}(z) = diag(z^{m_1}, \dots, z^{m_N})$ with $z\in\mathbb{C}$ and positive integers $m_1, \dots, m_N$. The generalized characteristic polynomial of a matrix ...
7
votes
1answer
575 views

Counting subspaces

We are given the finite vector space $V = V(n,p) = \mathbb{F}_p^n$ and two fixed subspaces $W_1, W_2 \subseteq V$ of dimensions $m_1$, $m_2$ respectively. Suppose that the dimension of $W_1 \cap W_2$ ...
8
votes
2answers
650 views
+300

A question on representation of graphs

Take a complete graph $K_n$. You want to assign a vectors from $\Bbb F_2^d$ to every edge such that sum of vectors in every simple cycle does not sum to $0$ vector. The question is what is minimum $d$ ...
17
votes
0answers
134 views

Metrics on the 3-sphere with knotted geodesics

According to answers to this question every metrics on $S^3$ admits a simple closed geodesic. Given a knot (or link) $K$, it's also quite simple to build a metric on $S^3$ such that $K$ is a geodesic ...
3
votes
1answer
70 views

Existence of a countable linear combination with positive coefficients

Consider a (Hausdorff and complete) locally convex topological vector space $V$ and a countable subset $(v_k)_{k=1}^\infty \subset V$ of non-zero vectors. $(*)$ Under what conditions on this ...
1
vote
1answer
334 views

Possibility of Disconnected Subgraphs of a $k$ Connected $r$ regular Graph under a given condition

Context: Given a adjacency matrix A of a $r$-regular graph $G$ (not complete graph $K_{r+1}$) . $G$ is $k$ connected. The matrix A can be divided into 4 sub-matrices based on adjacency of vertex $x ...
1
vote
1answer
47 views

Two geodesics with angle $\pi$ in Alexandrov space

Let two geodesic segments in an Alexandrov space with curvature bounded from below start at the same point and the angle between them equals $\pi$. It is possible that these segments are not the two ...
1
vote
1answer
343 views

Three questions about modular forms frequently asked to me [on hold]

I have three questions related to the theory of modular forms and it was frequently asked to me by my collegues and even my invited teacher in our seminars of the number theory at the faculty of ...
3
votes
0answers
34 views

Existence of martingales given some constraint on laws

Let $X=(X)_{0\le t\le 1}$ be a continuous martingale starting at $0$, then denote by $\mu$ and $\nu$ the probability laws of $\int_0^1X_t \mathrm{d}t$ and $X_1$. Then it is easy to see that the couple ...
2
votes
1answer
213 views

Hilbert 16th problem, distribution of Limit cycles

Edit: Can one help for translation of the link in Russian(comment by Dimitry Todorov)(Or at least a summary of it)? It seems that the second part of the Hilbert 16th problem is solved or is going to ...
5
votes
2answers
603 views

Is there a topological Chevalley-Shephard-Todd Theorem?

Is the following true: For a representation of a finite group $G$ on $\mathbb{C}^n$, the quotient $\mathbb{C}^n/G$ is a topological manifold if and only if $G$ is generated by pseudo-reflections. ( ...
-3
votes
0answers
44 views

non local indecomposable commutative ring [on hold]

Let $R$ be a commutative ring and $\{P_i\}_{i\in I}$ be an arbitrary subset of $spec(R)$ such that $\frac{R}{\bigcap_{i\in I}{P_i}}$ is an indecomposable ring, is any relation among $P_i$'s? Thanks a ...
52
votes
2answers
4k views

Complex structure on $S^6$ gets published in Journ. Math. Phys

A paper by Gabor Etesi was published that purports to solve a major outstanding problem: Complex structure on the six dimensional sphere from a spontaneous symmetry breaking Journ. Math. Phys. 56, ...
2
votes
0answers
179 views

Is there a well-known tautological bundle over $\mathbb{P}(\Lambda^nV)\times V$?

Let $V$ be a vector space of dimension $>n$, and define the subset $$ K:=\{ ([\omega],v)\mid v\wedge\omega=0 \}\subset\mathbb{P}(\Lambda^nV)\times V\, . $$ Denote also by $\pi:K\longrightarrow ...
21
votes
4answers
923 views

Stability of the Solar System

My question is simple: Is the Solar System stable? You can see this Wikipedia page. In May 2015 i was in the conference of Cedric Villani at Sharif university in Iran with this title: "Of ...
5
votes
0answers
108 views

Which classes of functions are “convolution ideals”?

If $g$ is continuous then $f*g$ is continuous. If $g$ is smooth then $f*g$ is smooth. If $g$ is a polynomial then $f*g$ is a polynomial. If just one of the two functions belongs to the class of ...
46
votes
17answers
10k views

Parodies of abstruse mathematical writing

Perhaps under the influence of a recent question on perverse sheaves, in conjunction with the impending $\pi$-day (3/14/15 at 9:26:53), I recalled a long-ago parody of abstruse mathematical language ...
2
votes
1answer
167 views

Expected value (probability) maximization with binomial distribution

I need to solve an optimization problem that involves an expected value like $$F(n,x) = \sum_{k=0}^n \binom{n}{k} p^k(1 - p)^{n - k} f(k,x).$$ Here $f(k,x)$ is actually a probability coming from a ...
2
votes
1answer
88 views

Incomplete lattice homomorphisms between complete lattices

Let $L, K$ be complete lattices. A lattice homomorphism $f: L\to K$ is said to be incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_K f(S).$ Suppose that ...
29
votes
6answers
1k views

Deep Learning / Deep neural nets for mathematician

I am interested in finding out the math ideas behind the technologies that are under the umbrella of "Deep Learning" or "Deep neural nets". Most of the papers/books that are often quoted in ...
1
vote
1answer
79 views

Measure of ramification of local fields using upper numbering

We let $F$ be a non-archimedean local field (say with finite residue field). Consider a Galois extensions $E$ of $F$, with $G = Gal(E/F)$, in a fixed separable closure $\bar{F}$ of $F$. Considering ...
0
votes
1answer
61 views

Sum of two parts of a continuous stochastic process

Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all ...
7
votes
2answers
168 views

What is the easiest way to compute Ozsváth-Szabó tau invariant of a knot?

Suppose that we have a knot $K$ with 40 crossings which is not a cable knot or an alternating knot. Then, what is the easiest way to compute Ozsváth-Szabó's invariant $\tau(K)$? Are there any ...
3
votes
2answers
245 views

Representations of complex semi-simple algebraic group “defined over $\mathbf{Z}$”?

If $G$ is a split semisimple linear algebraic group over $\mathrm{Spec}(\mathbf{Z})$ then does every (algebraic) irrep of $G_{\mathbf{C}}$ extend to a morphism $G\to\mathrm{GL}_n$ over ...
10
votes
2answers
1k views

Should we post on arXiv only papers in publishable shape (or very close)?

Question: Should we post on arXiv only papers in publishable shape (or very close)? This question should be distinguished from the following: Should one post a paper on the arXiv if it is not ...
48
votes
4answers
2k views

When has the Borel-Cantelli heuristic been wrong?

The Borel-Cantelli lemma is very frequently used to give a heuristic for whether or not certain statements in number theory are true. For example, it gives some evidence that there are finitely many ...
6
votes
1answer
187 views

Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities. Assume that both the singularities in $x_1$ and in $x_2$ admit a ...
53
votes
5answers
4k views

Are there any serious investigations of whether “mathematicians do their best work when they're young”?

There is no shortage of anecdotes and conjectures on both sides of this widespread belief, but good supporting data either way is harder to find. Can anyone provide any references for serious ...
102
votes
96answers
59k views

Famous mathematical quotes [closed]

Some famous quotes often give interesting insights into the vision of mathematics that certain mathematicians have. Which ones are you particularly fond of? Standard community wiki rules apply: one ...
29
votes
4answers
958 views

Connectedness in the language of path-connectedness

Is there a topological space $(C,\tau_C)$ and two points $c_0\neq c_1\in C$ such that the following holds? A space $(X,\tau)$ is connected if and only if for all $x,y\in X$ there is a ...
27
votes
3answers
2k views

Is every abelian group a colimit of copies of Z?

More precisely, is every abelian group a colimit $\text{colim}_{j \in J} F(j)$ over a diagram $F : J \to \text{Ab}$ where each $F(j)$ is isomorphic to $\mathbb{Z}$? Note that this does not follow ...
11
votes
1answer
313 views

Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly. Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...
6
votes
1answer
306 views

Introductory article of knot Heegaard Floer Homology

I am looking for some article that gives an introduction to Heegaard Floer homology of knot. I heard that it is very useful to determine the unknotting number of a knot, but I couldn't find any ...
11
votes
1answer
210 views

Complexity of planar scissor congruence

Two (not necessarily convex) poygons of equal area are scissor-congruent, i.e. both can be cut along a finite number of straight lines or segments into isometric pieces. What can be said about the ...
23
votes
3answers
1k views

fake $S^{2k}\times S^{2k}$

Let $X$ be a fixed closed manifold,$S(X)$ the structure set and $Aut(X)$ the group of self homotopy equivalence of $X$. surgery theory tells us that $\mathcal{M}(X):=S(X)/Aut(X)$ is in bijection ...

15 30 50 per page