# All Questions

**0**

votes

**0**answers

3 views

### Invariant of isotopy of curves in a surface.

Suppose $S_g$ is a sorface of genus $g>1$. Let $\gamma_1$ and $\gamma_2$ be two simple closed curves containing points $p_1, p_2$. Suppose $\gamma_1$ and $\gamma_2$ are isotopic. Now there can be ...

**0**

votes

**1**answer

72 views

### A question about sentences in the language of first order ZFC which assert the existence of cardinal numbers

These sentences are usually of two kinds. The first kind are actually theorems of ZFC asserting the existence of various cardinal numbers, and their negations are inconsistent with ZFC. The second ...

**4**

votes

**2**answers

171 views

### What “force” us to accept large cardinal axioms?

Large cardinal axioms are not provable using usual mathematical tools (developed in $\text{ZFC}$).
Their non-existence is consistent with axioms of usual mathematics.
It is provable that some of ...

**0**

votes

**1**answer

12 views

### extreme points of the image of a nonlinear vector-valued function

Consider a continuous function $f : D \rightarrow \mathbb{R}^m$, where $D \subseteq \mathbb{R}^n$ is a compact convex set. I am in search of a result that helps me say something about the extreme ...

**0**

votes

**0**answers

6 views

### Proof of Lemma in “Harmonic maps and the self-duality equations” by Donaldson

I am referring to this paper by S. K. Donaldson. I could not find a freely available version, hence I feel uncomfortable to copy & paste parts of his paper, and won't do so. Nevertheless, I will ...

**1**

vote

**1**answer

119 views

### Recovery of probability distribution from a single point

There is probably terminology for this, and I apologize that I don't know it, and part of my question is what the standard terminology for the concepts I'm giving is. This is a pretty open-ended ...

**-1**

votes

**0**answers

11 views

### The non-analytic Riemann zeta function

In fact the definitional term
$\int_C x^{s-1}/(e^x-1)dx$
The terms taylor expansion
$\int_C \ln^nx x^{s-1}/(e^x-1)dx$
must meets this to have analytic zeta
$\sum_n^N\int_C \ln^nx ...

**3**

votes

**1**answer

37 views

### Convergence of Schwartz Kernels

I read this question, and I would like to ask the opposite: Assume that I have a sequence of smoothing operators $(P_n)$ with (hence smooth) kernels $(p_n)$ converging strongly to some smoothing ...

**0**

votes

**0**answers

13 views

### Special case of Forced Harmonic Oscillator

$$ \frac{d^2l}{dt^2} + c \frac{dl}{dt} +k= F_0\sqrt{1-l^2}$$
Either a closed form or something like given initial conditions, the max value of $l$. For small $l$, this boils down to simple step ...

**0**

votes

**0**answers

26 views

### Notation in Shimura “Arithmetic of Automorphic …”

I can't find the following (abuse of?) notation explained in Shimura's "Introduction to the Arithmetic of Automorphic Forms", I'm hoping someone can clarify it:
Chapter 7, section 4, page 177:
...

**7**

votes

**3**answers

249 views

### Changing combination lock

Suppose you have a combination lock (n digits, m symbols) that is unlocked by one specific n-digit key sequence. However, trying a wrong key changes it according to an fixed but unknown function: new ...

**-1**

votes

**0**answers

26 views

### How to get the normal vector to a plane that only knows 3 points coordination? [on hold]

I have three points Pi(xi,yi,zi),i=0,1,2, I want to get the normal vector to the plane that is decided by these three points which I will write code to realize it. Can any one give any advice? Thank ...

**2**

votes

**0**answers

21 views

### Ordering subsets of the cyclic group to give distinct partial sums

Suppose that you are given a set $S$ of $k$ nonzero elements from $\mathbb{Z}_n$. Is it always possible to order the elements of $S$, say $a_1,a_2,\dots,a_k$ in such a way that the partial sums ...

**0**

votes

**0**answers

26 views

### Continuity of Kan extension along the Yoneda embedding

Let $\mathcal{C}$ be a category and $h_-: \mathcal{C} \to \mathrm{Set}^{\mathcal{C}^{op}}$ be the Yoneda embedding. Let $\mathcal{A}$ be a cocomplete category and $F: \mathcal{C} \to \mathcal{A}$ a ...

**0**

votes

**0**answers

22 views

### Soft Question: What does periodic cyclic theory measure?

The cyclic homology of $\mathbb{C}[X,Y]$ and that of the algebra of functions on the sphere $S^2$ have the same periodic cyclic homology, clearly however these objects are topologically very different ...

**2**

votes

**1**answer

138 views

### Relations between the cohomology of discrete groups and of profinite groups

Let $G$ be a discrete group and $K$ be the profinite completion of $G$. Let $C_K$ denote the category of contionuous $K$-modules and ${C_K}'$ denotes category of finite continuous $K$-modules. Now for ...

**-2**

votes

**0**answers

40 views

### differential geometry

vector field $X$ on $M$ is said $\pi$-projectable if there is a field $W$ on $M$ such that
$(T_{x}\pi)(X(x))=W(\pi(x))$ for all $x\in M$.
$X$ is said $\pi$-vertical if $\pi$-projectable and $W=0$.
...

**1**

vote

**1**answer

57 views

### generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?

**1**

vote

**1**answer

187 views

### Are deformations of quotients of local rings embedded?

In Hartshorne's book "Deformation Theory" one can find a statement (inside the proof of Theorem 10.1) that every deformation $X' \to Spec(C)$ of an affine scheme $$X = ...

**0**

votes

**0**answers

106 views

### A noncommutative analogy of the tube lemma

Assume that $A$ and $B$ are two unital commutative Banach algebras. Assume that $\phi \in \mathcal{M} (A)$ is an element of the maximal Ideal space. Define $\alpha: A\hat{\otimes} B \to ...

**4**

votes

**1**answer

86 views

### Weakening simplicial identities

The generators $d_i, s_i$ for morphisms of the simplicial category satisfy simplicial identities:
$d_jd_i = d_id_{j−1}$ for $i < j$
$s_jd_i = d_is_{j−1}$ for $i < j$
$s_jd_i = id$ for $i = ...

**4**

votes

**1**answer

160 views

### Which finite groups can be characterized by their subgroup orders?

Given a finite group $G$, we denote by $\pi_s(G)$ the set of orders of its subgroups. Which finite groups $G$ can be characterized by the set $\pi_s(G)$, i.e. $\pi_s(H)=\pi_s(G)$ implies $H\cong G$? ...

**0**

votes

**0**answers

63 views

### Maximal “Spot It!” card count

This question was triggered by the game Spot It!.
The game consists of cards, each having $k$ different symbols from an alphabet of $n>k$ symbols, with the property that any 2 cards have at least ...

**3**

votes

**3**answers

109 views

### Is it possible to find $h$ hermitian metric such that $Isom_{h}(X) \cong Aut(X)$?

I suspect this is true for some class of analytic manifolds (Riemann surfaces maybe), but my knowledge in differential geometry is very poor, so I could not conclude it. For complex manifolds, is it ...

**10**

votes

**3**answers

350 views

### orbits of automorphism group for indefinite lattices

I have a question about indefinite lattices.
QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form,
not necessarily ...

**1**

vote

**1**answer

292 views

### spicing up riemann surfaces course

I am a master's student planning to write master's thesis in riemann surfaces.It plan to study forster's riemann surfaces.What side topics could one study to spice up the thesis.I am particularly ...

**2**

votes

**0**answers

31 views

### Central limit theorem for independent random variables, with a Gumbel limit

Consider independent random variables $Y_i$, $i>0$, such that $\mathbb{E}(Y_i)\approx \frac{1}{i}$ and $\text{Var}(Y_i)\approx \frac{1}{i^2}$, where $\approx$ means asymptotically equivalent up to ...

**3**

votes

**1**answer

117 views

### Equivalent definitions of Calabi-Yau manifolds

How do we prove that a compact Kahler manifold whose 1st Chern class vanishes admits a globally defined nowhere vanishing volume form? Thanks.

**3**

votes

**0**answers

104 views

+50

### Are semigroups with finite-to-one right multiplication “moving”?

A semigroup $S$ is moving if $S$ is infinite, and for all finite
$F\subseteq S$ and infinite $A\subseteq S$, there are $a_{1},\dots,a_{k}\in A$ such that,
for all but finitely many $s\in S$,
$$
...

**3**

votes

**0**answers

25 views

### Is any finitely generated nilpotent pro-$p$ group necessarily the pro-$p$ completion of some finitely generated nilpotent group?

While thinking about this question, I was led to the following question:
My question: Let $G$ be a topologically finitely generated pro-$p$ nilpotent group. Does there exist a finitely generated ...

**1**

vote

**0**answers

22 views

### Group action of $G<\mathbb Z^\infty_2$ over the Golden mean shift

I'm am looking for an action of an infinite subgroup of $\mathbb Z^\infty_2$ over the golden mean shift space $$X=\{x\in \{0,1\}^\mathbb N : x_i=1\Rightarrow x_{i+1}=0\}$$ such that any element of $G$ ...

**5**

votes

**2**answers

223 views

### Subgroups from which all class functions extend to class functions on the ambient group

Until someone suggests better terminology, let me call a subgroup H of a finite group G segregated if every class function on H can be extended to a class function on G. Equivalently, H should have ...

**2**

votes

**2**answers

256 views

### blow-up of $\mathbb{P}^5$ as a projective bundle

I am wondering if the blow-up of $\mathbb{P}^5$ along three disjoints $\mathbb{P}^1$ (say in generic position) can be understood as a projective bundle over some nice (Fano?) variety.
If one ...

**1**

vote

**1**answer

86 views

### On infinitesimal neighbourhood of a point in a projective scheme

Let $X, Y$ be irreducible projective schemes over $\mathbb{C}$ and $X \subset Y$. Let $x \in X$ be a closed point. Assume that for any positive integer $n$ and any morphism from $\mathrm{Spec} ...

**1**

vote

**1**answer

86 views

### $\Gamma$-action on maximal tori in Borel-Tits

This is about section 6.2 in Borel-Tits' Groupes réductifs where they define a certain $\Gamma$-action on maximal split tori, denoted as $_\Delta \gamma$, distinct from the "usual" one. (If I am not ...

**2**

votes

**2**answers

1k views

### On the fundamental group of a finite CW complex

So let $X$ be a finite CW complex which is connected.
Q1: Is $\pi_1(X)$ necssarily a finitely presented group?
If the answer is yes, then how does prove it. I've tried to prove it using
an ...

**4**

votes

**1**answer

60 views

### Diagonalization for sums of Hermitian matrices

I found an interesting question about diagonalizable matrices,
Let $A,B\in \mathcal{M}_n(\mathbb{C})$ Hermitian, such that $AB\neq BA$.
Do there exist complex numbers $u\neq v$, such that $A+uB$ and ...

**6**

votes

**1**answer

121 views

### Concentration of sum of powers of normals

Let $Z_1,Z_2,\ldots,Z_n$ be i.i.d. copies of a random variable $Z$ distributed as $\frac{1}{\sqrt{2}}X+i\frac{1}{\sqrt{2}}Y$ with $X$ and $Y$ independent standard Normal random variables ...

**3**

votes

**2**answers

133 views

### “Degree 3 fields”

I was wondering what was known about fields $k$ having the property that any polynomial
over $k$ of degree $3$ has at least one root in $k$. Does such a field have a special name ?
Is there some kind ...

**3**

votes

**3**answers

211 views

### Well-ordering with a topological property

Assuming the axiom of choice, is there a well-ordering of the reals such that every initial segment is closed for the usual topology? If the continuum hypothesis helps, we can also assume it.
An ...

**0**

votes

**0**answers

20 views

### Sum of Squares Length of a Product

Let $n \geq 2$. Let $g_1, \ldots , g_{n-1} \in \mathbb{R}[x_1,\ldots,x_n]$ such that $q=g_1^2+\ldots +g_{n-1}^2$ is not divisible by $p=x_1^2+\ldots +x_n^2$. Let $m \geq 1$ be the smallest integer ...

**25**

votes

**1**answer

969 views

### Square roots of $\mathbb R^{2n}$

Recently, Richard Dore asked us if $\mathbb R^3$ is the cartesian square of some space, and Tyler Lawson answered beautifully in the negative.
The even powers of $\mathbb R$ were left out in that ...

**16**

votes

**3**answers

1k views

### Homology theory constructed in a homotopy-invariant way

Singular homology sends homotopic morphisms on equal morphisms and weakly equivalent spaces on isomorphic objects. So singular homology is in fact defined on the homotopy category of topological ...

**-2**

votes

**0**answers

41 views

### Why the square of ideal in Lie algebra is also ideal? [on hold]

Let $L$ be a Lie algebra over field $F$, $I$ - ideal in this algebra. It's stated that $I^2$ (and so any item of central series) is also ideal in $L$.
1) For any $a, b \in I^2: [a,b] \in I^2$. True, ...

**3**

votes

**1**answer

449 views

### Morse theory and adiabatic limits

Let's start with a product manifold $M\times N$, with a product Riemannian metric $g_M\oplus g_N$. Consider a generic Morse function $f(x, y)$ on $M\times N$. Then its critical points are discrete and ...

**0**

votes

**0**answers

25 views

### References on law of large numbers, CLT and iterated logarithm laws

Having access to those references, accumulating many results in one domain is always a bless,like Feller's book in probability, Dembo-Zeitoun's large deviation, Grimmett's percolation and recent ...

**0**

votes

**0**answers

30 views

### Relation between kahler potential and Hermitian metric

Let $(M,\omega)$ be a Kaehler manifold and $h$ be its Hermitian form, then in local sense we can write $$\omega=\partial\bar\partial\log h$$ and also if $f$ be the kaehler potential then we can write ...

**6**

votes

**2**answers

131 views

### Sufficient Condition for Defining $\in$

Consider the first order language $\mathcal{L}=\{\in,\in'\}$ with two binary relational symbols $\in , \in'$ and $ZFC$ as a $\{\in\}$-theory. If we define $\in'$ using $\{\in\}$-formula $\varphi(x,y)$ ...

**2**

votes

**0**answers

73 views

### Cohomology of elementary Abelian p-group

Let $E=(\mathbb{Z}/p\mathbb{Z})^n$, an elementary Abelian p-group.
Let $k$ be an algebraically closed field of characteristic 0.
There is a good description of $H^*(E,F^{\times})$ where $F$ is a field ...

**6**

votes

**2**answers

120 views

### A looping of algebraic K-theory

Algebraic K-theory of an exact category $\mathcal{C}$ is a certain universal non-connective spectrum $K(\mathcal{C})$. In particular, objects of $\mathcal{C}$ give elements of $K_0(\mathcal{C})$.
...