All Questions
9,056 questions
0
votes
1
answer
431
views
Orientation preserving self-homotopy equivalences of the 2-sphere
According to this question, Hansen proved that the space $\mathrm{Aut}_0(\mathbb{S}^2)$ of orientation preserving self-homotopy equivalences of the 2-sphere is homotopy equivalent to $\mathrm{SO}(3)\...
- 3,033
0
votes
1
answer
163
views
Pencil P of quartics surface
I'm reading an article of mumford and I want to know what it means or where I can find: the pencil has no fixed components, and the pencil is fixed components.
Thanks
- 1
0
votes
1
answer
526
views
Lefschetz fixed point formula: an 'easy' proof; cohomology with compact support
I have two questions concerning the LFPF (for etale cohomology).
Is there an easy 'explanation' of this statements (that could be understood by students)? In particular, I would like to get away with ...
- 16.9k
0
votes
1
answer
988
views
Jacobian and Algebraic independence
Let us assume that we have $n$ polynomials in $n$ variables, $p_1(\vec{x}), p_2(\vec{x}),\ldots p_n(\vec{x})$.
Jacobian, $J(p)$ of $\vec{p}$ is a matrix with $i,j$ entry $\frac{\partial p_i}{\partial ...
- 2,179
0
votes
1
answer
141
views
Known graph/surface invariants that can be extracted from homology over different fields
The $Z_2$-homology of a surface viewed as a simplicial complex allows us to extract interesting invariants from the resulting homology groups. $\beta_0$ is the number of connected components, $\beta_1$...
- 4,462
0
votes
1
answer
386
views
Reference request for equivariant cohomology of G [duplicate]
Possible Duplicate:
What is the equivariant cohomology of a group acting on itself by conjugation?
Let $G$ be a compact Lie group. Where can one read about the equivariant cohomology $H_G^*(G)$, ...
- 559
0
votes
1
answer
147
views
Small set of acts over a countable monoid?
Given a countable monoid $S$, is the set of all (isomorphic representatives of) $S$-acts a small set?
- 11
0
votes
1
answer
219
views
Cofibrations of differential graded commutative algebras
Let $X$ a smooth manifold. Is the pullback morphism
$\Omega^\bullet(X)\to\Omega^\bullet(X\times \mathbb{R}^n)$ an acyclic cofibration of differential graded commutative algebras? I guess so, and even ...
- 6,777
0
votes
1
answer
251
views
altering curvature on a tessellation representation of a compact surface
I have been reading about tessellation representations of compact surfaces, such as how the square tiling the plane represents the torus. For surfaces of genus > 1 (the ones that interest me), we ...
0
votes
2
answers
356
views
Can all induced maps be described categorically.?. (or at least as generally as possible)
Hi: I am new here. I went over the fAQ's, still, sorry if I break protocol.
I am pretty confused about induced maps in different areas of algebraic
topology; I do know how these induced maps are ...
- 1
0
votes
2
answers
172
views
small extensions of the free semigroup of rank 1
Let N denote the free semigroup of rank 1. Say that a semigroup T is a small extension
of N if N embeds in T and |T - N| is finite. Is there some kind of classification
of small extensions of N? ...
- 91
0
votes
0
answers
61
views
Defining rank of an abelian subgroup using the second centralizer
I recently posted this on MSE, but didn't receive any feedback; so I'm posting it on MO.
I recently came across this article which explored the maximal abelian subgroups of the symmetric group $S_n$. ...
- 195
0
votes
0
answers
92
views
About filtration of the Leray-Serre spectral sequence
In the following proof, it is used the spectral sequence of the Borel
fibration $X\longrightarrow X_{T}\longrightarrow B_{T}$.
I don't understand how the map $\psi $ is obtained, and how is it an $R$-...
- 1,367
0
votes
0
answers
114
views
Clarifications sought on the paper on the semigroup associated with a free polynomial by Ali Abbas and Abdallah Assi
I have three questions regarding the proof of Proposition 4 on page 4 of this paper here. For those interested in addressing these questions, please refer to some definitions in the first two or three ...
0
votes
0
answers
138
views
Shub Conjecture and polynomial entropy
The Shub conjecture on topological entropy $h(f)$ of self map f on manifold M says that the topological entropy is greater (or equal) than (to) the log of maximum absolute values of the ...
- 356
0
votes
0
answers
32
views
Morse Theory for Time-Periodic Constrained Path Spaces
Let $(M,g)$ be a smooth, compact Riemannian manifold of dimension $n \geq 2$. Define a time-periodic constraint field $\Phi: M \times \mathbb{R} \to \{0,1\}$ with period $T > 0$, where $\Phi(x,t) = ...
0
votes
0
answers
64
views
Can an upper hemicontinuous correspondence be discountinuous everywhere?
Let $\phi: X \rightrightarrows Y$ be an upper hemicontinuous correspondence. If $K \subset X$ is a compact and convex set, $K$ contains an open set $U$, and $\phi(x)$ is nonempty, compact, and convex ...
- 101
0
votes
0
answers
68
views
Large volume growth of covering space
Let $(M,g)$ be a Riemannian manifold with non-negative Ricci curvature. The Bishop-Gromov volume comparison says that: if
$$\alpha_M=\lim_{r\rightarrow\infty}\frac{VolB^M(p,r)}{\omega_nr^n},$$
then $0\...
0
votes
0
answers
142
views
Fibration exact sequence in homotopy vs spectral sequence in (co)homology
Perhaps this should be obvious but why is it that one may associate to a fibration exact sequences of topological spaces a long exact sequence of fundamental groups, but in (co)homology, one only has ...
- 2,907
0
votes
0
answers
60
views
The size of super level sets and the symmetry on a sphere
Let $u$ be a smooth function defined on the sphere $\mathbb{S}^2$, and let $R \in \mathrm{SO}(3)$ be a three-dimensional rotation. Define
$$
S_R = \{x \in \mathbb{S}^2 : u(x) \neq u(Rx)\}.
$$
Suppose ...
- 434
0
votes
0
answers
95
views
Which algebraic structure characterizes the set of non-trivial qudratic residues in a finite field?
I understand this question may be too naive to ask, but I am unable to figure it out.
Suppose, $\mathbb{QR^*}$ denotes the set of all quadratic residues in a finite field except the identity element $...
0
votes
0
answers
86
views
Projectivity of equivariant K-theory of toric variety
I'm looking at Vezzosi and Vistoli's paper: Higher algebraic K-theory for actions of diagonalizable groups.
In Theorem 6.9, they prove that the $T$-equivariant K-theory of a smooth projective toric ...
- 959
0
votes
0
answers
150
views
Connectedness of deleted symmetric product
Let $X$ be a connected Hausdorff space. It is well-known that the $n$-fold symmetric product $\mathcal{F}_n(X) := \{A\subseteq X : 0<|A|\leq n\}$ is a connected space equipped with the Vietoris ...
- 674
0
votes
0
answers
101
views
Finding an example if it exists, for a non-contractible and contractible space with special requirement on quotients of their union?
Let $A$ and $B$ be subsets of $n$-dimensional Euclidean space $\mathbb{R}^{n}$, such that $A$ is non-contractible, $B$ is contractible and $B$ is not an one-point set.
I would like to find example(s) ...
0
votes
0
answers
146
views
Noether's formula for real algebraic surfaces
Is there a version of Noether's formula for the Euler characteristic of a surface for Real algebraic surfaces?
Specifically, given $X$ a real algebraic compact smooth surface, what is the relationship ...
0
votes
0
answers
85
views
Existence of covering space with trivial pullback map on $H^1$
I have seen somewhere the following claim (but can't remember where): let $M$ be a connected orientable closed smooth manifold with $b_1(M)=1$, then there exists a connected covering space $p:\tilde{M}...
0
votes
0
answers
143
views
Cohomology ring of $\mathbb{P}(\mathcal{O}(-1)\oplus \mathcal{O})$
Let $\mathcal{O}(-1)$ be the Hopf bundle over $\mathbb{C}\mathbb{P}^\infty$. Let $\mathcal{O}$ be the trivial rank one bundle. Consider the projectivization of the rank two bundle $\mathcal{O}(-1)\...
- 21.8k
0
votes
0
answers
69
views
Number of connective orbit types of torus actions
Suppose that topological group $G$ acting on topological space $X$. If the
set $\left\{ \left[ G_{x}\right] :x\in X\right\} $ is finite, where $\left[
G_{x}\right] $ denotes the conjugacy class of the ...
- 1,367
0
votes
0
answers
120
views
Topological transversality by dimension
We know that to achieve transverality in the topological category, for example to make a continuous map into a manifold transverse to a topological submanifold, we need the existence of micro normal ...
- 803
0
votes
0
answers
89
views
What happens if I take a doubly-free simplicial abelian group?
Suppose that I have a simplicial set $X_\bullet$. I can take the free abelian group generated by $X_\bullet$, $\mathbb{Z}X_\bullet$. But then I can forget that this has an abelian group structure, ...
- 29
0
votes
0
answers
92
views
What is the highest $n\in\Bbb N$ for which a complete classification of inverse semigroups of order up to $n$ is known?
What is the highest $n\in\Bbb N$ for which a complete classification of inverse semigroups of order up to $n$ is known?
Given that there are $3{,}684{,}030{,}417$ semigroups of order $8$, I guess $n\...
- 379
0
votes
0
answers
161
views
Gluing faces of n-cube
Assuming $C_n$ be the $n$-cube, the intersection of $C_n$ with a supporting hyperplane $H(P, v)$ is called a face or more precisely a $d$-face if the dimension is $d$.
Let $f_0$ and $f_1$ be faces ...
- 53
0
votes
0
answers
58
views
Role of basins of attraction in the Morse decomposition
Let $M$ be a differentiable manifold and $F \in \mathcal{X}(M)$. We define a DS by
$$\dot{x}=F(x(t))$$
An ordered collection $\mathcal{M}=\left\{M_{1}, \ldots, M_{l}\right\}$ of compact subsets of ...
- 247
0
votes
0
answers
43
views
Intersection of subspace of cyclical rotations with orthant
In an $N$-dimensional real Euclidian space, let an orthant be specified by a vector
$\underline{x}_0 = \{x_1, x_2, \dots, x_N\}$ where the components $x_k$ are binary in the sense that $x_k = \pm 1$...
- 101
0
votes
0
answers
63
views
A construction that sort of merges two semigroups to build a new one
Suppose $H$ and $K$ are semigroups and assume without loss of generality that (the underlying sets of) $H$ and $K$ are disjoint. We can then extend the operations of both $H$ and $K$ to a binary ...
- 10.5k
0
votes
0
answers
122
views
Is there a name for this condition on a monoid?
Suppose we have a commutative monoid ${\mathcal M}=\langle M,\otimes\rangle$ such that the usual divisibility relation $\leq_\otimes$ given by $a\leq_\otimes b\Leftrightarrow \exists c(a\otimes c=b)$ ...
- 1,951
0
votes
0
answers
220
views
The largest value of $k$ for $\mathbb{Z}^k$ to be embedded in $GL(n,\mathbb{Z})$
This is just a question originated from This conversation (commented by Moishe Kohan). I tried to prove those two assertions but I don't know where to start:
If H is a free abelian subgroup of $SL(n, ...
0
votes
0
answers
135
views
Can you explain to me how to decompose this persistence module and why?
I am learning topological data analysis on my own. I am currently basically watching This course. But there this thing in the course note that I didn't understand.
So for this persistence module:
$$
\...
- 1
0
votes
0
answers
215
views
Null-homotopicness of an inclusion map
Let $K$ and $L$ be simplicial complexes such that 1) $L\subseteq K$; 2) $K$ is homotopic to $S^4$; 3) $L$ is homotopic to $S^6$.
Is the inclusion map from $L$ to $K$ null-homotopic?
Thanks!
0
votes
0
answers
185
views
Interpreting the edges in the Serre spectral sequence
Let $F \hookrightarrow E \stackrel{\pi}{\rightarrow} B$ be a fiber bundle. For simplicity, assume that $F$ is connected, that $B$ is $1$-connected, and that $B$ is a CW complex. Consider the Serre ...
0
votes
0
answers
176
views
Is surjectivity in singular homology stable under pullbacks?
Consider the pullback of a (Hurewicz) fibration $p\colon E \longrightarrow B$ along any map $f$ and let $p'$ denote the base change of $p$ in the pullback. Suppose that $H_*(p)$, the induced ...
0
votes
0
answers
256
views
Is the equivalence $\mathrm{CRing}^{\mathrm{op}}\simeq \mathrm{AffSch}$ related to the homotopy hypothesis?
At the heart of algebraic geometry lies the op-equivalence between commutative rings and affine schemes, i.e.,
$$\mathrm{CRing}^{\mathrm{op}}\simeq \mathrm{Aff\,Sch}.$$
At the heart of homotopy theory ...
- 705
0
votes
0
answers
181
views
Homotopy of the complement of the Alexander Horned Ball
The Alexander horned ball construction gives a closed embedding from the ball into the sphere, $D^3 \hookrightarrow S^3$. Its complement has zero homology but has a non-trivial $\pi_1$. Since the ...
- 563
0
votes
0
answers
41
views
Polyextremal groups
A polynomial of a semigroup $X$ is a function $f:X\to X$ of the form
$f(x)=a_0xa_1\cdots xa_n$, where $a_0,a_1,\dots,a_n$ some elements of the semigroup $X^1=X\cup\{1\}$, called the coefficients of ...
- 41.9k
0
votes
0
answers
62
views
To find a DFT for complex functions on a semigroup
For a certain commutative semigroup of integer size $n$, $G=(\{1,2,\dots,n\},\circ: x\circ y\mapsto \min(n,x+y))$, consider all complex functions on it, denoted by $\mathbb C[G]$ or $\mathbb CG$. ...
0
votes
0
answers
69
views
Likelihood ratio of non-trivial cycles in an inhomogeneous random square lattice graph embedded on a toroidal surface
Consider a square lattice (random) graph $G$ embedded on a toroidal surface. Each edge $(i, j)$ of the graph has an associated likelihood probability $p_{ij}$. The probabilities $p_{ij}$ come from a ...
- 269
0
votes
0
answers
39
views
Countably infinite monoids with minimal right ideals
Is there any classification of countably infinite monoids with minimal right ideal? or at least in some classes of monoids?
- 237
0
votes
0
answers
180
views
Proof of Co-H map the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$
How to show the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$ is Co-H-map?
0
votes
0
answers
176
views
Conceptual proof of the simple connectedness of a Jordan domain
I have studied in Hatcher (Algebraic topology, p.169) an homological proof of the Jordan theorem. I would like to understand an upgrade of this theorem, the Schoenflies version.
On my way to prove it, ...
0
votes
0
answers
194
views
Equivariant cohomology with discrete group action
As far as I know, the equivariant cohomology can be regarded as the generalisation of de Rham cohomology with group action on manifolds. From the literature, the group action is Lie group type. I am ...
