# All Questions

**2**

votes

**1**answer

80 views

### Characteristic polynomials of reductive subgroup over C

Can any one provide a hint to prove the following statement? :
Let $H$ be a complex reductive subgroup (not necessarily connected) contained in $SO(n,\mathbb{C)})$. Consider the map $H \rightarrow ...

**2**

votes

**0**answers

142 views

### Metric on the set of subsets of the rational primes

Note: this is a revision of an earlier post. It was kindly pointed out that my initial proposed metric was in fact not a metric, so this is a revised version.
I was thinking how to say that two sets ...

**9**

votes

**1**answer

223 views

### Repetend digit graphs for $1/n$ in base $b$

Here is a decimal expansion of $\frac{1}{34}$:
$$(1/34)_{10}=0.02941176470588235\overline{2941176470588235}\ldots$$
And here is a graphical representation of the 16-digit
"repetend," as a directed ...

**-1**

votes

**0**answers

56 views

### How to find number of nonisomorphic simple graphs from a number of edges and a number of vertices? [closed]

How many nonisomorphic simple graphs are there with __ vertices and _ edges?
(Fill in the blanks with numbers, say 6 and 4)
I've tried to use incident matrices to no avail.

**6**

votes

**1**answer

219 views

### Rational points techniques on curves not using their Jacobian

Let $C/K$ be a curve of genus > 2 over a number field $K$ and suppose there exists a $p \in C(K)$. Then a recurring theme in studying $C(K)$ is using the map $C \to J(C)$ normalized by sending $p$ to ...

**0**

votes

**0**answers

59 views

### irreducibility of $x^m-g(y)$

Let $g(y)\in \mathbb{C}[y]$, $ m\in \mathbb{Z}_{ge 2}$. Is there some results on the irreducibility of $x^m-g(y) in $\mathbb{C}[x,y]$?

**-7**

votes

**0**answers

299 views

### Why Adrian Vasiu did not get the fields medal? [closed]

Why Adrian Vasiu, brilliant as a mathematican, is socially unpopular at the mathematical society? Why he did not get the fields medal?

**2**

votes

**0**answers

100 views

### A question on resolution of singularities

I am wondering if it could be possible in particular cases to resolve a singularity of dimension $n$ by blowing-up a locus of dimension smaller than $n$.
For instance consider a cubic surface ...

**10**

votes

**1**answer

430 views

### Time in Girard's Geometry of Interaction

Jean-Yves Girard writes at the end of his paper
"Towards a Geometry of Interaction", page 105, that we have three intuitions about the nature of time:
time is logic modulo the order of rules,
time ...

**4**

votes

**1**answer

134 views

### Estimates on derivatives of Bessel function

In Duke, Friedlander and Iwaniec's Erratum on "Bounds for automorphic L–functions. II"
They have the following estimates for derivatives of Bessel functions: For $k \geq 2$
\begin{align}
& ...

**1**

vote

**1**answer

60 views

### Real solutions for systems of monomial equations

I have a $K$ equations of the form $x_1^{a_{i1}} \cdots x_n^{a_{in}}=c_i$ where $a_{ij}$ are non-negative integer constants and $c_i$ are real constants -- i.e. each equation is a monomial in $n$ ...

**2**

votes

**1**answer

57 views

### Separating Differences of Open Sets

Has anyone ever considered something like the following separation axiom?
$(*)$ For any pair of open sets $O$ and $N$, there exist disjoint open sets containing $O\setminus N$ and $N\setminus O$.
...

**-1**

votes

**0**answers

106 views

### Primality matrices [closed]

This question is some kind of a follow-up to my previous thread untitled About Goldbach's conjecture, the content of which follows: 'let's consider a composite natural number $n$ greater or equal ...

**2**

votes

**0**answers

64 views

### Separating duality for TVS?

What is the modern concept (term) for "separating duality" (dualité séparante in french) in the sense of Bourbaki (TVS Ch II § 6) as explained in the following ?
...

**0**

votes

**0**answers

60 views

### Bounding multiplications of PSD random matrices

Consider the following setup,
$(X, \hat{X}, Y, \hat{Y})$ are four $n \times n$ real, symmetric, full-rank, positive-definite matrices with entries between zero and one and operator norm $O(n)$.
The ...

**-1**

votes

**0**answers

43 views

### What is a definition of Recursion and Iteration? [closed]

We define an Iteraton f_n+1(x) = f_n(f(x))
Can We have another definitons of Recursion and Iteration more structualy like Bourbaki?

**9**

votes

**3**answers

975 views

### Finding integer points on elliptic curves via divisibility conditions like $(a+b)^2 \mid (2b^3+6ab^2-1)$

Is the following conjecture correct?
Conjecture. The divisibility condition $(\alpha+\beta)^2 \mid (2\beta^3+6\alpha\beta^2-1)$ has no solutions in positive integers $1 \le \beta < \alpha < ...

**3**

votes

**0**answers

101 views

### Non-linearly isomorphic non-equivalent $G-$representations?

Let $G$ be an algebraic group (or a group scheme) over a field $\Bbbk$, and let $V$ be an algebraic $G-$representation (I mean, corresponding to a homomorphism of $\Bbbk-$group schemes $G\rightarrow ...

**3**

votes

**1**answer

62 views

### reduction to np hard ordering problem

I am trying to show a reduction from a problem of ordering problem to an np-hard problem that has approximation poly-time algorithm.
My problem is: I have M auctions and in each auction I have N ...

**5**

votes

**1**answer

276 views

### What is the current state of the crystalline analogue of the Weil conjectures?

In "F-isocrystals on open varieties results and conjectures" Faltings says:
"Finally, we extend the theory of weights and show as much as possible of the crystalline analogue of the Weil ...

**5**

votes

**1**answer

223 views

### Morava $K(n)$'s are not $E_{\infty}$

I am looking for a reference/proof that shows that the Morava $K$-theory spectra, $K(n)$ are not $E_{\infty}$ ring spectra. I suspect that this should be a calculation but I can't quite get it right.
...

**6**

votes

**1**answer

127 views

### Slim Kurepa tree at a singular strong limit cardinal of uncountable cofinality

For a strong limit cardinal $\kappa$ the notion of $\kappa$-Kurepa tree is trivial: the full binary tree is a $\kappa$-Kurepa tree. Accordingly, we consider the following strengthening:
A slim ...

**0**

votes

**1**answer

187 views

### Prove that these two definitions of “natural” integration constant coincide when both converge

These are two possible definitions of antiderivative (integral) incorporating a supposedly natural choice of an integration constant (see this question for further details).
The first one is based on ...

**2**

votes

**0**answers

35 views

### Any results on rayless simplicial complexes?

We define a closed ray in a topological space $X$ to be its closed subset homeomorphic to the real half-line $[0,\infty)\subseteq \mathbb{R}$. Call a topological space $X$ rayless if it does not ...

**0**

votes

**0**answers

171 views

### Which of the Mochizuki's works are the most closely related to elliptic curves?

I'm very much interest about algebraic geometry and number theory along with cryptography, but I have a special interest about the elliptic curves. I have heard a lot of interesting things about ...

**20**

votes

**2**answers

830 views

### A question about “Zariski dense” arguments

This question is a little basic, but I think it is consistent with the goals of MO.
My question is about a certain type of argument in algebraic geometry which exploits the abundance of dense sets ...

**-2**

votes

**0**answers

35 views

### Dominated convergence theorem - Finite members not dominated [closed]

I am sorry if it is trivial but somehow I am confused about this one: Can I still use "Dominated Convergence Theorem" if a finite number of members of the sequence are not dominated? Let me be more ...

**0**

votes

**1**answer

53 views

### equation for geodesics of a right invairant Finsler metric on $SU(n)$ which are parallel to a linear affine distribution

I am looking for an equation analogous to the Euler-Poincare equations for a right invariant Finlser metric except I want the geodesics which are parallel to a linear affine distribution on $SU(n)$. ...

**1**

vote

**2**answers

88 views

### What's the relation between fusion and coproduct?

For an irreducible finite depth finite index subfactor $(N \subset M)$, there is a structure of fusion category given by the even part of its principal graph. The simple objects $(X_i)_{i \in I}$ of ...

**3**

votes

**1**answer

125 views

### A example on Fourier tranform of a continous compactly supported function

I am trying to find a continuous compactly supported function $f$ such that the Fourier transform $f^{ft}$ and derivative $(f^{ft})'$ of the $f^{ft}$ decay faster than exponential rates, that is
...

**1**

vote

**0**answers

57 views

### The coproduct on the 2-boxes space of the goup-subgroup subfactor planar algebras

Let $(H \subset G)$ be an inclusion of finite groups.
Let the subfactor $(\mathcal{R} \rtimes H \subset \mathcal{R} \rtimes G)$ with $\mathcal{R}$ the hyperfinite ${\rm II}_1$ factor, and its planar ...

**3**

votes

**1**answer

159 views

### Are infinite groups “locally topologizable”?

Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point?
The question is inspired by and related to ...

**0**

votes

**0**answers

33 views

### $I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$

In a semmi-quasi local domain $D$ ( i.e. $D$ has finitely many maximal ideals),
an ideal $I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$.
[See Comm. Rings by Kaplansky, ...

**-2**

votes

**1**answer

377 views

### Why calculus textbooks do not include the natural integration constants in the tables of integrals? [closed]

The formulas for integrals in the textbooks usually define indefinite integral up to a constant term. Yet the natural integration constant for antiderivative can be fixed from the following formula ...

**-1**

votes

**0**answers

23 views

### Proof that $G(3)\le 7$ [migrated]

Let $G(k)$ be the minimal $n$ s.t. every sufficiently large integer is the sum of $n$ nonnegative $k$th powers.
Does anybody know where I can find Vaughan's proof that $G(3)\le 7$? I can't find a ...

**-1**

votes

**0**answers

14 views

### An ideal that contained in finitely many maximal ideals but all of its elements contained in infinitely many maximal ideals [migrated]

Is it possible that an ideal I in an integral domain D is contained in only finitely many maximal ideals but each element of I is contained in infinitely many maximal ideals?
I am quit sure that it is ...

**0**

votes

**0**answers

81 views

### Arthur's refinement of parameters for unitary automorphic representations

In his work on the classification of automorphic representations of a group $G$, Arthur has conjectured that the parameterization of such representations involves a homomorphism $\rho : SL_2 \times ...

**7**

votes

**2**answers

294 views

### Is there a hyperplane avoiding two independent sets?

Let $V$ be a vector space over a field with $5$ elements, $A,B \subseteq V$ independent subsets. Must there be a subspace of $V$ of codimension 1 disjoint from $A \cup B$?

**0**

votes

**0**answers

23 views

### Is it possible to use multiple time scale algorithm here?

Suppose a random sequence is being generated (the next term generated depends on the previous term, but we don't know any distribution) until we hit some specific number. We want to calculate the ...

**9**

votes

**1**answer

400 views

### Homology theory represented by Madsen-Tillman spectra

The generalized homology theory of the Thom spectrum $MO=\varinjlim\Sigma^nMTO_n$ is bordism theory:\begin{equation*}\pi_k(MO\wedge X)=\Omega^O_k(X)\end{equation*}These groups form the ring of ...

**0**

votes

**0**answers

24 views

### The Cayley tranform of a Closed Operator [closed]

How does cayley transform of a closed operator on a banach space differs from that on a hilbert space?

**-4**

votes

**1**answer

165 views

### An algorithm and symbolic manipulation for IF-THEN-ELSE [closed]

CONCLUSION (so far) Look at the parentheses theorem and at the comments below the question(s) :-) As for now, only Dan Peterson has truly addressed the issue.
Q1 Does there exists an ...

**8**

votes

**1**answer

273 views

### Separation of lattice points on the Mordell elliptic curve

Consider the Mordell equation x^3 – y^2 = k, where x is a non-square positive integer and y^2 is the perfect square nearest to x^3. Noam Elkies (see http://www.math.harvard.edu/~elkies/hall.html) ...

**1**

vote

**1**answer

370 views

### Standard conjectures on positive characteristic

In this MO answer of M. Bondarko, he says:
"the Hodge conjecture implies all the Grothendieck's standard conjectures over base fields of characteristic 0..."
and in Remarks on Grothendieck's ...

**1**

vote

**0**answers

76 views

### target category of extended field theory

An A-S TFT is a functor from $\text{Bord}_{<n−1,n>}(\mathcal{F})$ to $\text{Vect}$ where $\mathcal{F}$ denotes a set of background fields, eg a spin structure. An extended theory is a functor ...

**5**

votes

**1**answer

146 views

### Game on the tree

There's a problem from programming competition which already finished:
http://codeforces.com/contest/458/problem/F
Two weeks already passed but still nobody solved it yet - in fact you can see here ...

**2**

votes

**1**answer

63 views

### When does a hypergraph represent maximal independent sets?

Let $G = (V,E)$ be a simple graph. Then, we can view the set of maximal independent sets (or the set of maximal cliques) as a hypergraph $H = (V, E')$. This is quite a useful device when connecting ...

**2**

votes

**1**answer

294 views

### Who defined and who coined “module”?

The title of my Q. says it all:
QUESTION: Who defined and who coined: module?
Would it be Emmy Noether?
EDIT In view of @anon's and KConrad's answers, and as it could have been ...

**8**

votes

**2**answers

213 views

### How do I find coefficients of a product expansion

Any power series $f(t) = 1 + t \mathbb{Z}[[t]]$ can be uniquely expanded in the following two ways:
$$1 + \sum_{i=1}^\infty f_i t^i =
\prod_{i=1}^\infty (1-t^i)^{-n_i}$$
Here, the $f_i$ and $n_i$ ...

**11**

votes

**2**answers

335 views

### Who originated the standard symbols for Lie groups GL, SL, SU, etc.?

Who was first to use symbols GL, SL, O, SO, U, SU, Sp and their projective versions, and how did this notation become standard?
The notation appears in fairly modern form in Weyl's "The Classical ...