All Questions

104 views

Symmetry type of non-cohomological automorphic forms

By Katz-Sarnak philosophy a family of $L$-functions would have a symmetry type which would reflect the statistics of $L$-functions, such as low lying zeros and moments. Shin-Templier's paper on ...
805 views

On an example of an eventually oscillating function

For $x\in(0,1)$, put $$f(x):=\sum_{n=0}^{\infty}(-1)^{n}x^{2^{n}}.$$ This function possesses interesting properties. It grows monotonically from $0$ up to certain point. Then it starts to oscillate ...
62 views

Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance, For $k \ge 0$ and $K_n$ compact ...
165 views

When does a perverse sheaf occur in the decomposition theorem?

Suppose I am in the setting of the decomposition theorem, i.e., we have the decomposition of the direct image $f_*\mathbb Q_\ell$, where $f:X\to Y$ is proper. Then the direct image decomposes into a ...
10 views

How to test the significance of covariance [on hold]

I'm using the Mutual Informacion covariance in RNA sequences and I want to know if there exits a way to test if some covariance is significant, let's say, an associated p-value. Thanks to all for ...
15 views

Combining the output of two functions smoothly for a droplet effect [on hold]

I'm trying to write a function which generates this droplet effect implicitly. I've got a function which generates both of the shapes and I'm looking for a way to somehow combine these two in such a ...
141 views

Degree of a rational function [on hold]

I would like to have a simple proof for the following result: Let $f=\frac{p}{q}:\mathbb{C}\longrightarrow\mathbb{C}$ be a quotient of polynomials (of course, at some points it may be undefined). ...
391 views

How close to an integer can a polynomial root be?

Suppose I have a polynomial $p(x) = a_n x^n + ... + a_0$ where $a_n, \dots, a_0$ are integers. I would like to show that any root of this polynomial is either an integer or is far from an integer. ...
48 views

Maximizing Frobenius Norm of Commutator (an opposite Procrustes problem)

I was wondering if anybody has any suggestions on the following problem: Let $S$ be an $n\times n$ positive definite symmetric matrix. I wish to find an $n\times n$ orthogonal matrix $R$ which ...
151 views

Why can we not always take a Kähler class to be in rational cohomology?

Given a Kähler manifold $(X,\omega)$ we know that its Kähler class lies in an open cone of $H^{1,1}(X) \cap H^2 (X,\mathbb{R})$. Since $\mathbb{Q}$ is dense in $\mathbb{R}$ we should be able to find a ...
33 views

Partially ordered set [on hold]

Show that a subset $C$ of a preordered space $(X, ≤)$ is a chain if and only if $C × C ⊂ A ∪ A^{−1}$, where $A := \{(x, y) : x ≤ y\}$, $A^{−1} := \{(x, y) : (y, x) ∈ A\}$.
29 views

Upper and Down Bound,directed,cofinal [on hold]

I'm learning a partially ordered set.Can you give me some example of each these definition: 1.Upper and Down Bound : ...
73 views

Can you give me some example of each these definition [on hold]

I'm learning a partially ordered set.Can you give me some example of each these definition: 1.Upper and Down Bound : ...
70 views

every(ultra)filter on set I is principle if and only if I is finite [on hold]

1)the filter generated by{a,b} is not ultra filter? 2)the filters generated by singleton are precisely the principle ultrafilters. 3)every(ultra)filter on set I is principle if and only if I is ...
93 views

Base of a cone in a vector space: can one always choose a convex base?

Let $C$ be a pointed convex cone in a vector space $V$. This means that $C$ satisfies the three following axioms: $C + C \subset C$, $\mathbb{R}_+ \cdot C \subset C$, and $C \cap (-C) = \{ 0 \}$. ...
50 views

izomorphism of finite abelian group [on hold]

Please help me with rezolving this problem from Romanian "Gazeta Matematica" : "an finite abelian group G have |End G | and |Aut G | coprime numbers. Show that |G| is square free. Thank you!
53 views

Decomposition of semi simple local systems

I found A question similar to this, but the answer wasn't clear to me and I'm not supposed to ask for further clarification in the answer section. Let $L$ a semi simple local system defined over an ...
64 views

Optimal covering

Let consider a problem of optimal covering of Hamming space. So we have Hamming space $\{0,1\}^n$ and some integer $r$. We want to find a set $A \subseteq \{0,1\}^n$ such that any point from ...
36 views

Summation of Geometric Series [on hold]

Im really desperate please help!!! how can you show that a. the sum oscillates between the two values a and b for the summation of geometric series {a*r^(n-1)} provided that this is divergent? ...
70 views

Finiteness properties for graph of groups decompositions

My curiosity was raised by the following question and the huge variety of comments and suggestions it attracted. I wondered if a converse statement might be equally interesting. Let $G$ be a finitely ...
22 views

Interchange summation and differentiation [migrated]

I asked this question already on math.stackexchange, but did not receive any answers see here Let $f = \sum_{n=0}^{\infty} a_n e_n$ where $e_n$ are an ONB of $L^2[0,1].$ Now assume we have that ...
94 views

Covering finite groups by kernels

Let $G$ be a finite group. When does there exist a finite group $H$ such that every $h\in H$ is in the kernel of some epimorphism $H\to G$? This is well-known to be true for $G$ abelian, for example ...
42 views

Summation of geometric series divergence [on hold]

The summation of some geometric series a*r^(n-1) is divergent. But what i don't understand is this: If the summation of a geometric series is divergent, then one of its sum is: a. the sum oscillates ...
124 views

Octonions product: inversion in the right and identity in the left

Once octonions product is studied, together with the relations with $Spin(8)$ and $SO(8)$ geometry (see for instance Robert Bryant's notes), one realises that the key fact bringing all the phenomena ...
70 views

Asymptotic expansion square root matrix

I am looking for an asymptotic expansion for $\underline\gamma$ which is the "square root" matrix of a symmetric $p\times p$ matrix $\gamma$. Here $\underline\gamma$ is assumed to be symmetric, e.g. ...
65 views

Regular embeddings of reductive groups

A regular embedding of a connected reductive linear algebraic group $G$ defined over $\mathbb{F}_q$ is a morphism $\varphi : G \rightarrow G'$ of algebraic groups which is a closed immersion where ...
180 views

Is anything like $\phi(n)>\dfrac n{e^\gamma\log\log n},\ \sigma(n)<e^\gamma n\log\log n$ known/conjectured for the generalizations of these functions?

Is anything like $\dfrac n{\phi(n)}<\dfrac{\sigma(n)}n<e^\gamma\log\log n$ known/conjectured for the generalizations of these functions? Let $n=p_1^{a_1}\cdots p_t^{a_t}$ be the canonical prime ...
131 views

Complete sets of incompatible totally ordered down-set in a partially ordered set

Let $(P,\leq)$ be a partially ordered set. A down-set is a set $d\subseteq P$ such that $x\in d$ and $x'\in P, x\leq x$ imply $x'\in d$. If the down-set is totally ordered, we say it is a totally ...
48 views

Calculate the intersection numbers by a plane section [on hold]

This question is from the chapter A of Reid's note: Chapters on algebraic surfaces Let X = X$_d$ $\subset$ P$^3$ be a nonsingular surface of degree d and suppose that X has a plane section P ...
212 views

14 views

probability distribution [on hold]

X is a continous random variable of normal distribution for the length of the rulers produced in a factory. Given X has mode of 15 cm and standard deviation of 1 cm. A ruler is randomly selected from ...
34 views

How to show Well Founded Induction false? [on hold]

The abstract reduction system ({a,b,c,d},→) where the → is defined as: http://i.stack.imgur.com/TS0Ud.png Let Q be a monadic predicate on {a,b,c,d} such that Q(a) = Q(b) = false and Q(c) = Q(d) = ...
231 views

If d(“G/H”) < d(G) = 2, must H contain a primitive element?

Let $G$ be a finite group that can be generated by $2$ elements, and let $H \leq G$ be a (not necessarily normal) subgroup for which there exists some $g \in G$ such that $H \langle g\rangle = G$. ...