0
votes
0answers
29 views

Unitary derivative and countable set

Let $\mathbf{r}:I\to\mathbb{R}^2$, where $I\subseteq\mathbb{R}$ is an open interval, be a continuous function that is not constant on any subinterval $J\subseteq I$ such that at each point $t\in I$ ...
0
votes
1answer
32 views

Degree of the negative part of a divisor

Let $K$ be an algebraically closed field (or $\overline{\mathbb{C}(z)}$ for more requirement). And let $P \in K[x,y]$ be an irreducible polynomial of degree $m$ with respect to $x$ and degree $n$ with ...
1
vote
1answer
44 views

Graph of bounded continous functions with distance 1

Let $V = \{f:[0,1]\to \mathbb{R}: f \text{ is continuous}\}$ and consider the metric that is defined for $f,g\in V$ by $$d(f,g) = \max\{|f(t)-g(t)|: t\in [0,1]\}.$$ We set $E = \{\{f,g\}: f,g \in ...
2
votes
2answers
87 views

Completion of a single totally ordered down-set

This is a follow-up question to Complete sets of incompatible totally ordered down-set in a partially ordered set. Let $(P,\leq)$ be a partially ordered set such that for every $p\in P$ the set ...
3
votes
0answers
195 views

Galois correspondence subgroups/subsystems

In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups: By applying this result to finite groups, we get a Galois correspondence ...
1
vote
0answers
34 views

How to define the determinant of a morphism between graded Lie algebras?

I have the following question. Suppose $g_1$ and $g_2$ are two finite dimensional, nilpotent, stratified Lie algebras and $A:g_1\to g_2$ is a morphism of the graded Lie algebra. I wonder whether there ...
-1
votes
0answers
41 views

Combinatorics: Identical objects and distinct groups [on hold]

I'm confused between the following 2 formulae: 1) Number of ways to put n identical objects into r distinct boxes, such that the ordering is NOT important is: (n+ r - 1) C r 2) Number of ways to ...
1
vote
0answers
31 views

Spectral radius of a column stochastic matrix perturbed by a rank-1 matrix

$P\in \mathbb{R}^{n\times n}$ is an irreducible column stochastic matrix. $P$ is also diagonally dominant. $w \in \mathbb{R}^{n} $ is a strictly positive vector satisfying $w^T \mathbf{1} = 1$ where ...
0
votes
0answers
56 views

A combinatorial question on ranks

Denote $$\mathscr{C}[r]=\{Q\in\Bbb Z_{\geq 0,\leq 1}^{n\times n}:\mathsf{rk}(Q)= r\}.$$ $$\mathscr{D}[A,t]=\{B\in\mathscr{C}[\mathsf{rk}(A)]:\mathsf{dim}(col(A)\cap col(B))\geq t\}.$$ Given ...
2
votes
0answers
64 views

the choosing of an independent set in a specific $k$-partite graph

Let $k\geq2$ be an integer, a graph $G=(V,E)$ is called $k$-partite if $V$ admits a partition into $k$ classes such that every edge of $G$ has its ends in different classes: vertices in the same class ...
5
votes
2answers
293 views

contractible configuration spaces

Let $F(M,k)=\{(x_1,\cdots,x_k)\mid x_1\cdots,x_k\in M,x_i\neq x_j, \text{ for } i\neq j \}$. It is known that $F(\mathbb{R}^\infty,k)$ is contractible for each $k$. My question: is $F(S^\infty,k)$ ...
1
vote
0answers
28 views

Skein theory: How axiomatizing a 2-box space?

Let $(A,+,\times, *)$ with an adjoint operation compatible with $+$, $\times$ and $*$, such that $(A,+,\times)$ and $(A,+,*)$ are finite dimensional ${\rm C}^{*}$-algebras. What are the axioms on ...
5
votes
0answers
99 views

How do you categorify the cycle index series?

Let $F$ be a combinatorial species. The exponential generating series of $F$ is defined to be $$ \sum_{n \geq 0} \frac{ \lvert F_n \lvert x^n}{n!} $$ It was observed by Baez and Dolan in their paper ...
3
votes
1answer
155 views

Question about of comeager set

If $G\subseteq2^{\mathbb{N}}$ is comeager then exist is a partition $\mathbb{N}=A_0\cup A_1$, $A_0\cap A_1=\emptyset$, and sets $B_i \subseteq A_i$ for $i \in \{0,1\}$, such that for $A \subseteq ...
-3
votes
0answers
52 views

Limit of (n^2+1)^(1/n) [on hold]

I am struggling to figure out $\lim\limits_{n \to inf} \sqrt[n]{n^2+1} $. I've tried manipulating the inside of the square root but I cannot seem to figure out a simplification that helps me find the ...
-4
votes
0answers
49 views

Is a vector space with two identical vectors a vector space with one or two vectors? [on hold]

I'm new this, and cannot find any answers by searching. If a vector space has 2 identical vectors, in particular the zero vector, is it a vector space with 2 vectors or since they are linearly ...
7
votes
1answer
337 views

Regularized sums of Mobius sequence

Do $\lim_{s \rightarrow \infty} \sum_{n \geq 1} \mu(n) e^{-n/s}$ and $\lim_{s \rightarrow \infty} \sum_{n \geq 1} \mu(n) e^{-n^2/s^2}$ both equal $-2$? Experimentally this seems plausible (up through ...
1
vote
0answers
109 views

Does SL(3,q) have a subgroup of order $q^3.(q^3-1)$ [on hold]

Let $q=p^n$ for $p>3$.I want to know whether the group $G_2(q)$ has a subgroup of order $q^3.(q^3-1)$. First I look the paper of Peter Kleidman. In this paper Kleidman determined all maximal ...
0
votes
0answers
66 views

Help in finding the distribution and pdf

Considering a set of $n$ points that are $d$ dimensional and are independently and uniformly distributed on a surface. The points are homogeneous poisson point process. Considering nearest neighbor ...
0
votes
0answers
19 views

exit time of a non degenerate diffusion

Let $n, d \geq 1$, $b : \mathbb{R}^n \to \mathbb{R}^n$ and $\sigma: \mathbb{R}^n \to \mathbb{R}^{n \times d}$ two Lipschitz functions. We assume that \begin{equation} \exists \mu >0, \xi^T ...
0
votes
0answers
37 views

Non Normal operator [on hold]

Standard example for non normal operator is the shift operator. It is continous but the image of the left shift is not dense. Can we have an example of a non normal operator $A$ which is continuous ...
5
votes
1answer
307 views

Group laws in class field theory

In the case of a quadratic imaginary number field one can construct its maximal abelian extension using torsion points of an elliptic curve with complex multiplication by this field. In the case of a ...
1
vote
1answer
115 views

Questions about a possible way of representing construcive ordinal numbers

Let $K$ be the set of all total recursive functions of non-negative integers having only non-negative integers as values. Let $L$ be any well-ordered subset of $K$ in which the ordering $<$ is ...
4
votes
0answers
53 views

Can the GUE be thought of as a uniform point in a high-dimensional polytope

I have thought about this question for a long time and could only find partial answers. The Gaussian Unitary Ensemble (or GUE) is the eigenvalues of a random Hermitian matrix with complex Gaussian ...
2
votes
1answer
143 views

What is the growth of the rank of a power of a finite simple group?

Which asymptotic bounds (upper and lower) are known for $s_n$ - the minimal number of generators of $S^n$ where $S$ is a nonabelian finite simple group?
6
votes
1answer
405 views

Adding sets not containing arithmetic progressions of length three by forcing

Consider the following forcing notion: conditions in $\mathbb{P}$ are pairs $(s, N),$ where: 1) $s\in 2^{<\omega}$, 2) $N\in \mathbb{N}$, 3) (by identifying $s$ with a subset of $lh(s)$) $s$ ...
0
votes
0answers
54 views

separating parameters in generalized quadratic Gauss sum

The normalized generalized quadratic Gauss sum is defined by $$ G(a,b,c)=\frac{1}{c}\sum_{n=1}^ce\left(\frac{an^2+bn}{c}\right) $$ where $e(x)=\exp(2\pi ix)$. Under what conditions on $c$ can we ...
5
votes
0answers
146 views

Tree property and singular strong limit cardinals

I heard that the following theorem is proved recently by Foreman-Magidor, which answers a famous old open question: Theorem. It is consistent, relative to the existence of large cardinals, that ...
5
votes
0answers
138 views

When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?

Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space. Let $d$ a word metric on $\Gamma$ coming from some finite set of generators. My question is: Does there exist a ...
9
votes
0answers
181 views

Solving a set of equations in a finite symmetric group

A standard way to find solutions to a finite set of equations in a finite symmetric group ${\rm S}_n$ is to take the equations as relators of a finitely presented group, to use the low index subgroups ...
1
vote
4answers
342 views

Tensor calculus on the frame bundle

Let $M$ be a manifold and let $g$ be a tensor on it, say for example a metric $g\in\Gamma(T^{\ast}M\otimes T^{\ast}M)$. I know how to perform any computation on $g$. For instance, taking its ...
3
votes
0answers
113 views

Application of Stickelberger's Theorem to Quadratic field

I am trying to understand a proof of the Kronecker-Weber Theorem by Franz Lemmermeyer,[http://arxiv.org/pdf/1108.5671.pdf] in which he uses Stickelberger's Theorem applied to Kummer extensions. I can ...
2
votes
1answer
140 views

About direct limit of groups

Let $G_i$ be sequence of groups for $i\in \mathbb N$ and Let $\phi_i$ be a monomorphism from $G_i$ to $G_{i+1}$. Let $\Sigma$ be the direcet limits of $G_i$ under the embeddings of $\phi_i$. Let ...
-1
votes
0answers
62 views

Minimum rank non-negative matrix summations

Given matrix $M\in\Bbb Z_{\geq0,\leq b}^{n\times n}$ of rank $r$. What is minimum $k$ such that $$\mathscr{A}[b,k]=\{Q\in\Bbb R_{\geq0,\leq b}^{n\times n}:\mathsf{rank}(Q)\leq k\}$$ contains $R,S$ ...
0
votes
1answer
68 views

Integral Transform with associated Legendre Function of second kind as kernel

In my research the following equation appeared: $$\frac{1}{4\pi}\int_{0}^{1}\frac{t^{s-1}(1-t)^{s-1}}{(\rho-t)^s}dt=\int_0^{\infty} f(a) Q^{i\sqrt{a}}_{s-1}(2\rho-1) da,$$ where $\rho,s>1$, ...
-5
votes
0answers
61 views

I don't get how -6cos3xsin3x becomes -3sin6x in the later part [closed]

y = cos²3x dy/dx = 2cosx(-sin3x)(3) = -6cos3xsin3x = -3sin6x I found this answer key in my guidebook but I can't find any trigonometric function's or differentiation formula ...
0
votes
0answers
28 views

Unimodular triangulation and affine toric variety

Let $\mathcal{K}$ be a $pointed$ rational cone in $\mathbb{R}^d$ with extremal rays generated by $r_1,r_2,\dots, r_m\in \mathbb{Z}^d$. Here, pointed means that all $r_i$ lie strictly on one side of ...
1
vote
0answers
119 views

Sum-epimorphisms and prod-monomorphisms

        Sum-epimorphisms A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: ...
4
votes
1answer
96 views

Convex hull of the union of two parameterized curves in $\mathbb{R}^3$

My goal is to find a way to calculate the convex hull of the union of some parameterized curves. For instance, I had to calculate the convex hull of $A=\{(-4k,k^2+2,2k^2-2k)|k\ge 2\}\cup ...
1
vote
0answers
70 views

Alternating quotients of (2,3,7;10)

It was shown that the only quotient of the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$ of the form PSL(2, q) is PSL(2, 41). That lead me to consider other families of simple ...
0
votes
0answers
40 views

Is it possible (or even valid) to obtain an eigensystem from a set of recursive equations? [on hold]

Actually I will refer to a concrete set of recursive equations, which appealed to me as a possibly coming from an eigensystem. Let us start with the Golden Ratio, which is the number $\varphi \approx ...
-6
votes
0answers
41 views

formula for turning star reviews into upvotes [closed]

I want to turn reviews of up to 5 stars and the number of reviews into upvotes. Whats a good algorithm for doing this? A venue with 10 reviews total with a 5 star average rating should obviously get ...
2
votes
0answers
93 views

For which quiver varieties is Kirwan surjectivity known?

The cohomology of Nakajima quiver varieties is a quite interesting object. It's equipped with some natural classes given by the Chern classes of the tautological bundles associated to the spaces in ...
4
votes
1answer
251 views

Is the ring of invariants Noetherian?

Let $R$ be a complete regular local ring whose residue field is perfect. Suppose that a finite group $G$ acts on $R$ by ring automorphisms in such a way that the induced action on the residue field is ...
7
votes
0answers
226 views

Can an abelian variety/Q have no points over Q_sol?

Let $A/\mathbb{Q}$ be an abelian variety. Must there be a finite solvable extension $K/\mathbb{Q}$ such that $A(K)$ is nontrivial? This follows from the conjecture that the maximal ...
1
vote
0answers
38 views

Probability of non-negative matrix relaxation

Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, take $\mathscr{M}[M]=\{Q\in R_{\geq0}^{n\times n}:Q[ij]>0\iff M[ij]=1\}$. Does ...
5
votes
0answers
78 views

flatness and derived completion

Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion. If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat. If $A$ is not noetherian, ...
9
votes
2answers
412 views

Non-Forcing and Independence

I asked this question about two weeks ago on MSE and haven't gotten an answer, so I thought I would post the question here. Do there exists sentences which are independent of ZFC, cannot be shown to ...
1
vote
0answers
44 views

Relative nonarchimedean disks and annuli

Let $A$ be a Huber (i.e. f-adic) ring, meaning a topological ring with an open subring $A_0$ which is adic and has finitely generated ideal of definition. Is there a good notion of closed disk of ...
-3
votes
0answers
58 views

What does this graph notation mean? E\S [closed]

I am studying graph theory right now but I am confused what E\S means where both E and S are sets of edges. What does the "\" indicate?

15 30 50 per page