3
votes
2answers
176 views

Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups: (1) singular cohomology ...
3
votes
0answers
58 views

Two notions of bundle of C* algebras

One can find in the literature two notions of $C^*$-algebra over a topological space $X$. The first is as the data of an open surjection $ \pi: B \rightarrow X$ together with the structure of a ...
1
vote
0answers
30 views

The decay rate of the spectrum of the Gaussian kernel on compact manifolds

It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...
0
votes
0answers
22 views

Equivalence classes on an ordered Bratteli diagram

Let $S$ be the adic transformation preserving a probability measure $\mu$ on the set $\Gamma$ of infinite paths of a $\mathbb{N}$-graded ordered Bratteli graph. For every $n \geq 0$ define the ...
12
votes
1answer
286 views

Banach-Mazur distance between the cube and the octahedron

The Banach-Mazur distance $d(X, Y)$ between two normed spaces $X, Y$ of the same dimension is defined as $d(X, Y) = \log\inf \|T\| \cdot \|T^{-1}\|$, where the $T:X \to Y$ is a linear and invertible ...
6
votes
1answer
76 views

Which graphs embedded in surfaces have symmetries acting transitively on vertex-edge flags?

A vertex-edge flag in a graph is a vertex together with an edge incident to that vertex. Given a graph $\Gamma$ embedded in a compact oriented surface $S$, when does the group of homeomorphisms of ...
1
vote
0answers
56 views

Lower bound for the $C^*$-unitisation norm?

Let $A$ be a $C^*$-algebra without unit. Its unitisation $A^+$ carries the $C^*$-norm $$\|(a,\lambda)\|_{A^+} = \sup \{\|ax+\lambda x\|_A \;\big|\; \|x\|_A = 1 \},$$ which is the operator norm of ...
3
votes
1answer
75 views

Sections of a linear system splitting as a product of degree one polynomials

Let $X\subset\mathbb{P}^n$ be a hypersurface of degree $d$ and with multiplicities $m_1,...,m_k$ at $p_1,...,p_k\in\mathbb{P}^n$ general points. Let $S\subseteq |\mathcal{O}_{\mathbb{P}^n}(d)|$ be ...
1
vote
0answers
75 views
+100

Regularity of a Dirichlet form

I have a question about Dirichlet form. Let $\Omega$ be an Euclidean domain of $\mathbb{R}^{N}$ and $X=\bar{\Omega}$. The measure $m$ on the Borel $\sigma$ algebra $\mathcal{B}(X)$ is given by ...
4
votes
1answer
160 views

A finiteness property for semi-simple algebraic groups

Let $G$ be a semi-simple algebraic group over a field $K$, I am considering a question about whether there exists a finite set of semi-simple $K$-subgroups, say $H_1,...,H_r$, such that for any ...
2
votes
0answers
95 views

Modified Jacobi’s theta function

Be $t\in\mathbb{R}_0^+$. Jacobi’s theta function is $$\Theta(t):=\sum\limits_{k=-\infty}^{+\infty} e^{-\pi k^2 t}$$ with $$\Theta(\frac{1}{t})=\sqrt{t}\Theta(t)$$ Therefore $$\sum\limits_{k=1}^\infty ...
2
votes
0answers
447 views

Is this group given presentation isomorphic to $\mathbb{Z}_2$, and why? [migrated]

We have the group $G = \langle a, \,b \; | \; a^2b^2ab^{-1}, \, a^3b^4a^{-2}b^{-3}\rangle$. Obviously $G/G' = \mathbb{Z}_2$. Is it true that $G = \mathbb{Z}_2$ or equivalently that $G'=1$? It is ...
0
votes
0answers
114 views

Weak formulation of a nonlinear problem with test functions in a dense subspace of $H_0^1$

Let $\Omega\subset \mathbb R^{d=3}$ is a bounded and Lipschitz domain. Let $u\in H_g^1(\Omega)$ satisfy the weak formulation $$a(u,v)+\int\limits_{\Omega}{f(u)vdx}=0,\,\forall v\in H_0^1(\Omega)\cap ...
5
votes
1answer
162 views

Injectivity/Surjectivity of $F_A :=\frac{d}{dt} +A(t) $ for a hyperbolic path of matrices $A(t)$ on $H^1 $

I am looking for a reference to the following problem: Given a hyperbolic (no purely imaginary eigenvalues), continuous path of matrices $A(t)$ in $\mathbb{R}$ with hyperolic limits at $\pm \infty $. ...
1
vote
1answer
48 views

leray schauder fixed point and schauder fixed point

I have seen these 2 fixed point theorem and I think the condition of Leray Schauder fixed point theorem is very strong and we require to consider the fixed point of $u=\sigma Tu$ $\forall \sigma ...
0
votes
0answers
17 views

Probability that one normal (uncorrelated) variable is greater than another if the latter is positive [on hold]

Assume that $X\sim N(0,\sigma_x^2)$, $Y\sim N(0,\sigma_y^2)$ and $X$ and $Y$ are uncorrelated. Can we solve analytically for $\mathbb P(X>Y |Y>0)$?
1
vote
2answers
87 views

Invertibility of all left multiplication maps in non-unital rings

Suppose that $R$ is a ring, not necessarily commutative nor associative. Assume that for every non-zero $a \in R$, the left multiplication map $$ \lambda_a \colon R \to R \colon x \mapsto ax $$ is ...
1
vote
1answer
159 views

Non-regular languages fulfilling the Pumping Lemma

Some non-regular languages don't yield to the Pumping Lemma ($L_1=a^nb^mc^m$ should work). But now consider the set of non-regular languages L only over the alphabet {a}. (Like $L_2=a^{n^2}$ or ...
3
votes
0answers
66 views

Number of linearly independent subsets in arbitrary set

Consider $n$-dimensional vector space $\mathbb{F}_p^n$ over finite field $\mathbb{F}_p$ and a function $a: \mathbb{F}_p^n\rightarrow\mathbb{C}$. Let $$ F(a) = \sum_{\substack{S\subset \mathbb{F}_p^n ...
4
votes
1answer
201 views

Weil's Haar measure construction from below

Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function. I would need to know something similar for an ...
2
votes
1answer
64 views

Topology with no direct lower neighbor

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...
8
votes
1answer
174 views

Arbitrarily many primes in a Fibonacci-type sequence

It is conjectured that the standard Fibonacci sequence contains infinitely many primes. While this is perhaps too difficult, I am wondering about the following simpler version: Question. For any $K$, ...
8
votes
3answers
328 views

References for Yang-Mills Theory

We are looking to run a working seminar about the Yang-Mills story. We hope that our seminars is of interest to analysts (working with curvatures and Ricci flows on Riemannian manifolds), the ...
-1
votes
0answers
10 views

Is the size of the conjugacy class of a given element in a compact Lie group always finite? [migrated]

Let $G$ be a compact Lie group and $g\in G$ be any given element in it. Consider the conjugacy class of $g$ in $G$, denoted by $[g]=\{hgh^{-1}:h\in G\}$. Our question is that: Could you find a ...
-1
votes
0answers
36 views

conformal measures - definitions, examples and references

I would like to know the exact definition of conformal measure in compact and non compact spaces and not compact, as well as examples of conformal measures Also, if someone can refer me to literature ...
2
votes
1answer
70 views

A continuity/bootstrap argument

I am trying to understand how one can prove the following assertion using a continuity argument: Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to ...
7
votes
1answer
261 views

Unique factorization of posets

Given two finite posets $P$ and $Q$, we can form the direct product poset $P \times Q$ whose elements are pairs $(p,q) \in P \times Q$ with $(p,q) \leq (p',q')$ if $p \leq p'$ and $q \leq q'$. Let us ...
1
vote
1answer
100 views

Does a $W^*$ envelope exist?

I know that an operator algebra $A$ has a "minimal" $C^*$-algebra $C$ containing $A$, which is known as the $C^*$ envelope of $A$. The existence of such a minimal $C^*$-algebra generated by $A$ (a ...
0
votes
1answer
38 views

Radical and Centric not Essential P-group

I'm looking that in the Fusion System categories, the p-subgroups that are essential, are centric (by definition) and radical (by implication of the definition), but I want to know if there is an ...
5
votes
0answers
71 views
+50

K theory for pre $C^*$-algebras

In noncommutative geometry when one want to go to the differentiable level, one is forced to work with algebras which are no longer $C^*$. It is nice if we don't loose much information by the ...
9
votes
2answers
155 views

Triangulation with simplices of same volume

Let $M$ be a Riemannian smooth compact manifold. It is known that $M$ has a triangulation, for any dimension. But do we know if there exists a triangulation such that all simplices have same volume ? ...
6
votes
0answers
91 views

Constructing the largest finite group with a fixed number of conjugacy classes

It is known that there are finitely many finite groups with a given number of conjugacy classes. How can one construct (or get a character table for) the groups $G$ that realize the maximum possible ...
3
votes
1answer
57 views

Extremal Lipschitz convex functions

Let $B_d$ the unit ball in $\mathbb{R}^d$, and let $F_d$ be the set of convex functions with Lipschitz constant at most 1 from $B_d$ to $\mathbb{R}$. When $d=1$ (so the domain is the just the ...
0
votes
0answers
40 views

Lower bounds on the measure of balls in attractor sets

I'm looking for a source for the following result. Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be a smooth function and consider the $d$-manifold $M = \{(x, f(x)): x \in \mathbb{R}^d\} \subset ...
7
votes
0answers
191 views

Morphisms for good reduction are maps respecting filtration

Please see edit below. So, let $A,A'/K$ be abelian varieties where $K$ is a $p$-adic local field with residue field $k$. Suppose further that they have good reduction with models ...
2
votes
0answers
59 views

Eigenvalues of the imaginary part of the Symplectic action on Siegel upper half plane

Let $A,B\in M_n(\mathbb{R})$ and $U=A+iB$ unitary. $R=diag(r_1,r_2,…,r_n)$ is a diagonal matrix with $r_i>0, \forall i $. I need to calculate $\det(Ae^{-R}A^T+Be^{R}B^T)$. This matrix ...
2
votes
2answers
219 views

CW 4 manifolds with single 4 cell

Let $M$ be a connected compact closed 4 manifold. Then $H_4(M)=\mathbb{Z}$. If we assume it is smooth, from Morse theory we know that $M$ has a CW structure. But can we find a CW structure of $M$ with ...
2
votes
0answers
76 views

On some Poisson formula computation

I am pretty much stuck at estimating $$\sum_{\substack{\substack{|h| \leq \frac{k\log^2 T}{T}} \\}} \hspace{1 mm} \int_{1}^{k} \frac{e^{-\frac{T^2 \log^2(1+\frac{h}{x})}{4\log^2 ...
0
votes
0answers
141 views

Johnson's Theorem - Proof (Runde) Clarification

I am reading Runde's Lectures on Amenability. In the proof of Johnson's theorem where he proves "$L^{1}(G)$ is amenable Banach algebra implies $G$ is amenable" : he defines a $L^1(G)$ bimodule action ...
2
votes
0answers
58 views

Hausdorff dimension = entropy/Lyapunov exponent for the baker's map?

Let $\Sigma=\{0,1\}^{\mathbb Z}$ and let $\sigma:\Sigma\to\Sigma$ be the left shift. Then it is well known that $(\Sigma, \sigma)$ is conjugate to the baker's map $B$ of the unit square: $$ B(x,y) = ...
1
vote
0answers
33 views

convergence of ODE [on hold]

I have 2 coupled linear ODEs. I used Mathematica to solve for analytical solution. But the analytical solution looks too complicated. I only need to derive some monotonicity property of the solution. ...
2
votes
1answer
113 views

Appropriate morphisms and 2-morphisms in Ind(C)

As I was trying to understand the category $Ind(C)$ of diagrams of the form $I \to C$, where $I$ is a small filtered $(0,1)$-category, I wondered whether it is possible to define morphisms directly, ...
2
votes
0answers
38 views

Fracturing $t$-structures

$\def\tee{\mathfrak{t}}$ Let $\tee_1,\tee_2$ be two $t$-structures on a triangulated category $\cal T$; call them fracturing if the two fiber sequences $\tau^\le_1X\to X\to \tau^\ge_1X$ and ...
1
vote
2answers
259 views

Is it true that $\Phi_n(2)$ has a divisor of the form $kn+1$ for all $n\neq 6$?

Let $\Phi_n(x)$ be the $n$ th cyclotomic polynomial. I've checked the values of $\Phi_n(2)$ for some small $n\geq 2$ and noticed that there is always a divisor of $\Phi_n(2)$ of the form $kn+1$ ...
2
votes
0answers
46 views

Are there nilpotent Manin Triples?

Let $\mathfrak{g}$ be a Lie bialgebra and denote by $\mathfrak{d}$ the double of $\mathfrak{g}$, i.e. $\mathfrak{d}$ is a Manin triple. Are there known examples or conditions on $\mathfrak{g}$ for ...
3
votes
1answer
70 views

t-structure induced on the Verdier quotient ${\cal T}/\cal S$

Let $\mathfrak t$ be a $t$-structure on a triangulated category $\cal T$. Let $\cal S$ be a thick (or even non-thick) triangulated subcategory, and ${\cal T}/\cal S$ the Verdier quotient. Is there a ...
15
votes
2answers
289 views

Table of (integral) cohomology groups of K(Z,n)

Can I find somewhere a table of the (first few) cohomology groups of $K(\mathbb{Z},n)$ with integer coefficients? It seems like a natural counterpart to the table of the homotopy groups of spheres, ...
2
votes
3answers
213 views

Nonzero solutions of an infinite product

Let $-\frac{1}{2}\le a \le\frac{1}{2}$ and $b\in[0,\infty)$. Definitions: $$f_k(a;b):=\frac{(2k+\frac{1}{2}+a)^2+b}{(2k+\frac{1}{2}-a)^2+b}(\frac{k}{k+1})^{2a},$$ $$f(a;b):=\prod\limits_{k=1}^\infty ...
2
votes
2answers
135 views

Converse to Lichnerowicz Vanishing Theorem?

The Lichnerowicz vanishing theorem says that if on a compact 4-dimensional spin manifold there exists a metric whose scalar curvature $R>0$, then there are no harmonic spinors; $$D\psi=0 \implies ...
3
votes
1answer
174 views

Self-containing trees

Suppose that $r^2-r-1=0$ and that $T$ is the tree with root $1$ such that the children of each node $x$ are $rx$ and $x+1$. Remove all duplicates as they occur, and let $T(r)$ denote the remaining ...

15 30 50 per page