# All Questions

**2**

votes

**1**answer

25 views

### Is a non-trivial finite perfect group of order 4n?

A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$, or equivalently, if any $1$-dimensional complex representation is trivial.
Question: Is a non-trivial finite perfect group of ...

**-2**

votes

**0**answers

18 views

### profit and loss related aptitude qustion? [on hold]

A sold a watch to B at a gain of 5% and B sold it to C at a gain of 4%. If C paid Rs. 1902 for it, the price paid by A is?

**1**

vote

**0**answers

20 views

### Relations between modular functions of certain $q$-continued fractions

Given the j-function $j:=j(\tau)$, and $q=e^{2\pi i\tau} = \exp(2\pi i\tau)$ where, for convenience, we set $\tau=\sqrt{-n}$.
I. $\frac{A_2(q)}{A_1(q)} = \text{q-cfrac}$
$$\begin{aligned}
A_1(q) ...

**1**

vote

**0**answers

19 views

### Moments of a random variable and of its conditional expectation

Let $X$ be a bounded random variable with $\mathbb{E}X=0$. Since $X$ is bounded, all its moments exist. Let $\mathcal{G}$ be any $\sigma$-field and let $Y:=\mathbb{E}[X|\mathcal{G}].$ I am interested ...

**-4**

votes

**0**answers

53 views

### Is Zsigmondy's Theorem utilized in Sociology to the extent that a lay person might be familiar with its use? [on hold]

Is Zsigmondy's theorem somehow useful in sociological studies? Has it in some way been co-opted as a sociological term with a corresponding sociological theory, no matter how far off base from the ...

**7**

votes

**2**answers

297 views

### What is descent data (of higher categories), conceptually?

First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a ...

**8**

votes

**1**answer

89 views

### Is an explicit $c$ known to lead to a noncomputable Julia set?

Braverman & Yampolsky have shown that there exist noncomputable Julia sets,
i.e., there exist $c \in \mathbb{C}$ such that the Julia set of $f(z) = c + z^2$
is not computable.
"A set is ...

**2**

votes

**1**answer

79 views

### Proving inequation with ceilings in Finite Field of characteristic $p$

Take $ui = pt_i +j_i$ where $p$ is a prime number and $u(p-r) \equiv 1 $ $(\mbox{mod p})$ for positive integers $1 \le i, r, j_i\le p-1$ and $t_i \ge 0$. How can I prove that:
\begin{equation}
...

**-3**

votes

**0**answers

55 views

### are there published papers discussed about relationship between homology theories and L-series (dirichlet series)?

I 'd surprised if there is a connection between homology theories and L-series ,I made some
efforts to find at a least one paper discussed about this connection but i didn't succeed .
.Is there ...

**5**

votes

**0**answers

20 views

### Differential operators between modules, $\mathcal{D}_A(M, M)$ necessarily a filtered, almost commutative ring?

See here. Does it follow immediately that $\mathcal{D}_A(M, M)$ as defined in the link is a filtered, almost commutative ring? How can I visualize this geometrically?

**-2**

votes

**0**answers

46 views

### Non-flat $R \subseteq S$, which is integral, separable, $R$ is a noetherian (not integrally closed) integral domain

On ramification theory in noetherian rings,
of Auslander and Buchsbaum say:
"Chapter 4 is devoted to showing that under various conditions if $S$ is unramified over $R$, then $S$ is $R$-projective. ...

**10**

votes

**2**answers

229 views

### Equivalence of “Weyl Algebra” and “Crystalline” definitions of rings of differential operators between modules?

Let $B$ be a commutative $A$-algebra, and let $M$, $N$ be two $B$-modules. We can talk about the set of $A$-linear module homomorphisms $M \to N$, i.e. the set $\text{Hom}_A(M, N)$. Differential ...

**1**

vote

**0**answers

66 views

### Are these two $q$-continued fractions equivalent?

In this MSE post, Nicco Mnisi defined a particular $q$-continued fraction of order $12$. More generally, define the cfrac found in Ramanujan's Notebooks, Vol III, Chap. 16, page 24,
$$U(q) = ...

**2**

votes

**0**answers

51 views

### Thom Class of tensor bundles

Suppose $\xi$ and $\eta$ are oriented vector bundles over a CW-complex $B$. Is it possible to express the Thom class (with ${\mathbb Z}$ coefficients) of $\xi\otimes \eta$ or even ${\rm Sym}^2(\xi)$ ...

**8**

votes

**2**answers

157 views

### Coarsest admissible topology on $\text{Cont}(X,Y)$

Let $X, Y$ be topological spaces and let $\text{Cont}(X,Y)$ be the collection of continuous functions $f:X\to Y$. We say that a topology $\tau$ on $\text{Cont}(X,Y)$ is admissible if the evaluation ...

**9**

votes

**1**answer

231 views

### What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...

**14**

votes

**1**answer

285 views

### Minimum value of $|p(1)|^2+|p(2)|^2 +…+ |p(n+3)|^2$ over all monic polynomials $p$

Let $n$ be a positive integer. Determine the smallest possible value of $|p(1)|^2+|p(2)|^2 +...+ |p(n+3)|^2$ over all monic polynomials $p$ of degree $n$.
This question was proposed (problem ...

**1**

vote

**0**answers

92 views

### Orientation form on the blow up of a Kaehler manifold

Let $(X,\omega)$ be a complex Kaehler manifold of (complex) dimension $d$, and let $Y\subset X$ a complex submanifold of dimension $k$. Evidently $[\omega]^d\in H^{2d}(X,{\mathbb{R}})$ is always ...

**4**

votes

**2**answers

162 views

### Probability a random matrix contains a short integer vector in its kernel

Consider a random $m$ by $n$ matrix $M$ with $m \leq n$, chosen uniformly over all those whose elements are in $\{0,1\}$ (or $\{-1,1\}$ if it is any easier). Is there any mathematical theory that ...

**11**

votes

**0**answers

610 views

+100

### How is an $S^1$-equivariant elliptic cohomology theory affected as we continuously vary the underlying elliptic curve?

Grojnowski constructs for a $S^1$-equivariant cohomology theory over a complex elliptic curve $E$, designed to trivially satisfy: $$E^*_{S^1}(pt) = E$$
The functor $E^*_{S^1}(-)$ takes in a space $X$ ...

**5**

votes

**1**answer

386 views

### Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?

Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}
$$
Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?

**47**

votes

**3**answers

4k views

### Is this differential identity known?

Recently I discovered the differential identity
$$ \frac{d^{k+1}}{dx^{k+1}} (1+x^2)^{k/2} = \frac{(1 \times 3 \times \dots \times k)^2}{(1+x^2)^{(k+2)/2}}$$
valid for any odd natural number $k$; for ...

**8**

votes

**1**answer

377 views

### Deformations of Ext rings

Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...

**4**

votes

**1**answer

183 views

### Do discrete groups with property $(T)$ have “modest” subgroup growth?

I saw it conjectured at http://www.mathunion.org/ICM/ICM1994.1/Main/icm1994.1.0309.0317.ocr.pdf that "discrete subgroups with property $(T)$ may have modest subgroup growth." (Page 5, directly above ...

**3**

votes

**0**answers

93 views

### Swan conductor, representation Weil group

Let $F$ be a non-archimedean local field and $\mathcal W_F$ its Weil group. We consider a linear representation $\sigma$ of $\mathcal W_F$. Could someone explain to me the definition of the Swan ...

**62**

votes

**64**answers

9k views

### Old books still used

It's a commonplace to state that while other sciences (like biology) may always need the newest books, we mathematicians also use to use older books. While this is a qualitative remark, I would like ...

**18**

votes

**3**answers

501 views

### Variety acquiring rational point over any quadratic extension

Does there exist a variety $X$ over $\mathbb{Q}$ (or a number field) such that it has no rational points over $\mathbb{Q}$ but acquires points over any quadratic extension $\mathbb{Q}(\sqrt{d})$?
If ...

**1**

vote

**1**answer

99 views

### Projective family of probability spaces

This is a crosspost of this question from MSE.
I'm confused about the definition of a projective family of probability spaces $(S_t,\mathscr S _t,\mu_t,f_{ts})_{s,t\in T}$. The conditions
...

**23**

votes

**4**answers

2k views

### Why the Dold-Thom theorem?

Dold-Thom Theorem: $$\pi_i(SP(X))\cong\tilde{H}_i(X)$$
It's pretty miraculous, no? I've seen its proof, where you show that the composition of the functors on the left-side satisfies the axioms of a ...

**0**

votes

**0**answers

115 views

### Calculation of Restriction Map

Question:Let $G$ be a finite abelian group and $X$ be a G-set. $K$ be a subgroup of $G$. let $i$ be a group homomorphism from $K$ to $G$ . I am looking for the map $$ i^{*} : H^{\alpha}_{G}(X,M) ...

**9**

votes

**4**answers

696 views

### Ore's Conjecture for perfect groups

We know that Ore's Conjecture is a theorem now. Does anyone know a counterexample to Ore's conjecture for perfect groups? I believe there should be one, but I dont have a counterexample. Thanks.

**38**

votes

**16**answers

5k views

### How helpful is non-standard analysis?

So, I can understand how non-standard analysis is better than standard analysis in that some proofs become simplified, and infinitesimals are somehow more intuitive to grasp than epsilon-delta ...

**51**

votes

**9**answers

3k views

### What are some examples of interesting uses of the theory of combinatorial species?

This is a question I've asked myself a couple of times before, but its appearance on MO is somewhat motivated by this thread, and sigfpe's comment to Pete Clark's answer.
I've often heard it claimed ...

**2**

votes

**1**answer

185 views

### Algebras admitting quantifier elimination

I apologize if this question is meaningless or trivial:
What are examples of Algebras admitting quantifier elimination? Especially are there Groups admitting quantifier elimination?
I need to say ...

**2**

votes

**0**answers

87 views

### Modular forms related to $G(q)$ and $H(q)$

If $G(q),H(q)$ are the functions appearing in Rogers-Ramanujan identities $$G(q)=\sum_{n=0}^{\infty}\frac{q^{n^{2}}}{(q;q)_{n}}=\prod_{n=1}^{\infty}\frac{1}{(1-q^{5n-1})(1-q^{5n-4})}$$ and ...

**12**

votes

**3**answers

648 views

### Non-commutator in simple group?

Hi,
For a group $G$, we say that $x\in G$ is a commutator if there exists $a,b \in G$ such that $x=a^{1}b^{-1}ab$, and we say that $x$ is a non-commutator if there is no $a,b \in G$ such that ...

**17**

votes

**2**answers

742 views

### Does every finite nontrivial group have two distinct irreducible representations over the complex numbers of equal degree?

Is it true that for any finite nontrivial group G, there exist two inequivalent irreducible representations of G over the complex numbers that have the same degree.
If so, is there an easy proof? If ...

**5**

votes

**1**answer

287 views

### centralizer of the order 2^k cyclic permutation matrix over F_2

Let $C$ be the $2^k\times 2^k$-permutation matrix over $\mathbb{F}_2$ of the $2^k$-cycle. We needed to know the structure of its centralizer in $\mathrm{GL}_{2^k}(\mathbb{F}_2)$, and we computed it - ...

**12**

votes

**2**answers

958 views

### Groups with all normal subgroups characteristic

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me ...

**28**

votes

**6**answers

3k views

### Why does one think to Steenrod squares and powers?

I'm studying Steenrod operations from Hatcher's book. Like homology, one can use them only knowing the axioms, without caring for the actual construction. But while there are plenty of intuitive ...

**3**

votes

**1**answer

753 views

### Universal covering of compact surfaces

Is there any elementary (i.e. without using analytical methods like the theory of Riemann surfaces or more elaborate results from differential geometry) way to show that the universal covering of the ...

**15**

votes

**1**answer

427 views

### Character of parity-twisted supersymmetric VOA module — question inspired by the Stolz-Teichner program

I'll begin with some background that is unnecessary for the actual question, but that might be interesting to the reader:
Topological modular forms ($TMF$) is a generalized cohomology theory whose ...

**33**

votes

**2**answers

916 views

### varieties with points in number fields

Let $V$ be a projective variety, defined over $\mathbb{Q}$. Suppose that for every number field $K \neq \mathbb{Q}$, there is a $K$-point of $V$. Does it follow that $V$ has a $\mathbb{Q}$-point?
...

**7**

votes

**3**answers

3k views

### What was Galois theory like before Emil Artin?

I read that the primitive element theorem for fields was fundamental in expositions of Galois theory before Emil Artin reformulated the subject. What are the differences between pre and post-Artin ...

**0**

votes

**0**answers

8 views

### Stochastic integration with respect to Fractional Brownian Motion

I would like to know what can be said about integral process
$X_t = \int_0^t e^{-sr} dB_s^H,t\in[0,\infty)$, where $B^H_t$ is Fractional Brownian Motion with Hurst parameter $H>\frac{1}{2}$, ...

**2**

votes

**2**answers

570 views

### About Abhyankar's conjecture

I just came to this conjecture (proved by M.Raynaud and D.Harbater in 1994) last weekend, in Fresnel and v.d.Put's book Rigid Geometry and Its Applications. It claims that all quasi $p$-group $G$ ...

**2**

votes

**1**answer

48 views

### A quasicompact space with a net that contains no convergent strict subnet

If $x:\Lambda \rightarrow X$ is a net in a topological space $X$ and $\Lambda '\subseteq \Lambda$ is a cofinal subset of the directed set $\Lambda$, then $x|_{\Lambda '}$ is a subnet of $x$. We call ...

**-1**

votes

**1**answer

130 views

### On Cantor sets every map is $C^{\infty}$

For a fixed Cantor set $K\subset [0,1]$ and a continuous function $g:[0,1]\to \mathbb R.$ Is it always possible to find a $C^{\infty}$ map $f:[0,1]\to \mathbb R$ such that $g$ and $f$ coincide in $K?$
...

**0**

votes

**0**answers

64 views

### Higher algebra and terminology about 2-objects

It is well known that one way to build higher category theory is to use some induction process, where an $n$-category has as $0$-cells some $n-1$ categories, such that for two $0$-cells $\mathcal{A}$ ...

**0**

votes

**0**answers

40 views

### How to obtain a permutation of a tensor product? [on hold]

I am looking for a way to efficiently compute a re-ordered kronecker product from the result of another kronecker product. For example, consider $$F=A\otimes B\otimes C\otimes D\otimes E$$ from the ...