# All Questions

**3**

votes

**1**answer

244 views

### Repertory of the different sorts of operads

Many different types of operads have emerged in recent years (symmetric, shuffle, cyclic, anticyclic, coloured, etc.).
I would like, for any of these, list the following data:
Description of the ...

**0**

votes

**1**answer

95 views

### Cohomology of lattice with coefficients in field of rational functions

In my research, I came across a 1-cocycle in the following group cohomology complex:
Let $\Lambda_\mathbb{Z}$ be a lattice (i.e. isomorphic to $\mathbb{Z}^n)$; let $\Lambda_\mathbb{C} = ...

**11**

votes

**7**answers

1k views

### Are there any Algebraic Geometry Theorems that were proved using Combinatorics?

I'm collaborating with some algebraic geometers in a paper, and when writing the introduction I mentioned the interaction of Combinatorics and Algebraic Geometry, and gave some examples like the ...

**2**

votes

**1**answer

52 views

### Probable direction of deviations from the expected value in binomial and hypergeometric cases

Suppose I have an urn with N marbles, with frequencies p and q for red and black marbles, and with p > 0,5. I take a sample of r marbles.
It sounds intuitive to say that deviations from the mean ...

**1**

vote

**0**answers

15 views

### A question on GCT

In http://ramakrishnadas.cs.uchicago.edu/gctriemann.ps it is stated that there is an unknown non-standard riemann hypothesis. AFAIK riemann hypothesis in AG was shown using Etale cohomology by Artin, ...

**9**

votes

**1**answer

146 views

### What sort of W-types follow from existence of an NNO?

A W-type is an initial algebra for a polynomial endofunctor $P$ on a category $C$. A well-known example is that of a natural numbers object (NNO). Usually it is assumed that $C$ is locally cartesian ...

**6**

votes

**0**answers

119 views

### Degeneration of wildly ramified local monodromy representations - near or far from Deligne?

Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...

**1**

vote

**0**answers

41 views

### Tauberian theorem with better error term

This is a fairly vague question.
Suppose we have a sequence of positive numbers $(c_n)_n$ and we want to find an asymptotic formula for $S(x) = \sum_{n \leq X} c_n$. In favorable circumstances, ...

**2**

votes

**0**answers

61 views

### Have topographs been studied before?

This is my first post on MO so I hope this question is suitable. I have quite a few definitions which I will need to state before my questions at the end of this post. Please let me know if anything ...

**21**

votes

**12**answers

5k views

### Geometric imagination of differential forms

In order to explain to non-experts what a vector field is, one usually describes an assignment of an arrow to each point of space. And this works quite well also when moving to manifolds, where a ...

**7**

votes

**4**answers

684 views

### Why is alpha-equivalence in untyped $\lambda$-calculus substitutive?

This is something all introductory texts seem to avoid proving, and many even avoid stating.
We consider untyped $\lambda$-terms on some countably infinite alphabet. If $x$ is a variable and $p$ is ...

**3**

votes

**1**answer

142 views

### Proof that no differentiable space-filling curve exists

Could someone provide a reference or a sketch of a proof that no differentiable space-filling curve exists?
Or piecewise differentiable?
Must every continuous space-filling curve be nowhere ...

**0**

votes

**0**answers

27 views

### Classification of Hopf-Galois Extensions as Torsors

Faithfully flat Hopf-Galois extensions of rings: $A\to B$, with $H$ coacting on $B$ such that $B\otimes_AB\simeq B\otimes H$, are often thought of as being accessible substitutes for $G$-torsors in ...

**0**

votes

**0**answers

24 views

### About “covering” subgroups

Let $H$ be a subgroup of $S_n$ (the symmetric group with n elements). In a paper I read, the authors define $H$ covering if the following condition holds: for all $\pi\in S_n$, if it satisfies: ...

**5**

votes

**0**answers

40 views

### What's an example of 2 elliptic curves with the same ground ring s.t. their associated cohomology theories detect different things?

My understanding is that a complex-oriented spectrum is a ring spectrum $E$ with a map $MU \to E$.
Analogously, a ring with a formal group law is a ring $R$ with a map $L \to R$ (where $L$ is the ...

**4**

votes

**3**answers

333 views

### Functions on hyperbolic space and modular curves

The decomposition of $L^{2}\left(S^{2}\right)$ under $SO\left(3,\mathbb{R}\right)$ is well-known.
Focus now on the hyperbolic plane $H$ presented as the quotient ...

**3**

votes

**2**answers

402 views

### How does one think about the “off-diagonal” part of the $R$-matrix?

The universal $R$-matrix of a quantized universal enveloping algebra is typically written as the product of two terms, one only involving elements of the Cartan, and one only involving elements of the ...

**5**

votes

**4**answers

600 views

### Are abelian non-degenerate tensor categories semisimple?

A pivotal monoidal category is called non-degenerate if the inner product $\left(x,y\right) = Tr\left(xy^{*}\right)$ (where $y^{*}$ is the dual map) is non-degenerate. As a rule of thumb ...

**-6**

votes

**0**answers

24 views

### taylor-series condition [on hold]

I think it is interesting, if we have the formula
$\frac{n^m -
(n - 1)^ m
}{m}$ ~ ${n ^ {m-1}}$ for example $\frac{100^3 -
(100-1) ^ 3
}{3} $ = $9900$ ~ ${100 ^ 2}$, if the difference (I'll ...

**14**

votes

**3**answers

1k views

### What is the universal property of associated graded?

Given a filtered vector space (or module over a ring) $0=V_{0}\subseteq V_{1}\subseteq\cdots\subseteq V$, you can construct the associated graded vector space ...

**3**

votes

**3**answers

815 views

### Non-zero sheaf cohomology

Let $\mathbb{R}$ denote the real line with its usual topology. Does there exist a sheaf $F$ of abelian groups on $\mathbb{R}$ whose second cohomology group $H^{2}\left(\mathbb{R},F\right)$ is ...

**-3**

votes

**3**answers

2k views

**0**

votes

**0**answers

42 views

### When does an algebraic space that is a torsor over a scheme have to be a scheme?

In Group actions on stacks and applications (Section 4 of part A), M.Romagny gives a definition of $G$-torsor over a scheme $S$ in which the total space need not be a scheme, just an algebraic space. ...

**0**

votes

**0**answers

21 views

### Curvature of a principal bundle and the exterior covariant derivative

I am sorry if this is too elementary; I had posted it on math.stack but no one answered.
Let $P\to M$ a principal fibre bundle with fibre $G$, and let $A\in \Omega^{1}(P)\otimes\mathfrak{g}$ be a ...

**0**

votes

**0**answers

27 views

### Is the minimal solution of a Pell equation a positive integral power of the fundamental unit? [migrated]

Let $k=\mathbb{Q}(\sqrt{d})$ -- $d$ is a positive square-free integer --
be a real quadratic field, and let $\varepsilon_k$ be its fundamental unit.
Let $(x,y)$ be the minimal solution to the Pell ...

**0**

votes

**1**answer

95 views

### Average probability that a random cosine polynomial with bernoulli coefficients is small

Let $P_{n}(t)=\sum_{k=0}^{n}\varepsilon_{k}\cos(kt)$ where $\varepsilon_{i}$ are independent random variables taking values in $\left\{-1,1\right\}$ with equal probability. Is is true that for any ...

**4**

votes

**1**answer

255 views

### Is the conditional expectation a contraction in weak $\mathbb L^p$ spaces?

Let $(\Omega,\mathcal F,\mu)$ be a probability space. It is well-known that if $\mathcal A$ is a sub-$\sigma$-algebra of $\mathcal F$, $p\geqslant 1$ and $X$ is an element of $\mathbb L^p$ which takes ...

**1**

vote

**0**answers

52 views

### The automorphism groups of smallest grammars of a language string are isomorphic

Let $s \in \Sigma^*$ be a formal language string. Consider the automorphism group of $s$, defined to be the set of all permutations of positions of $s$ that leave $s$ fixed. For instance $G(abab) = ...

**1**

vote

**0**answers

76 views

### What is the status on questions related to Bhargava's factorial function?

In Manjul Bhargava's The Factorial Function and Generalizations he motivates a new type of factorial $n!_S$ using by generalizing a few theorems like:
For $k, l \in \mathbb{Z}$, we have $k! \times ...

**29**

votes

**2**answers

469 views

### How close can one get to the missing finite projective planes?

This question can be interpreted as an instance of the Zarankiewicz problem. Suppose we have an $n\times n$ matrix with entries in $\{0,1\}$ with no $\begin{pmatrix}1 & 1\\ 1& 1\end{pmatrix} $ ...

**6**

votes

**0**answers

94 views

### Example of a ring $R$ such that $\dim(R[[X]])<\dim(R[X])$

Dimension refers to the Krull dimension of a commutative ring.
In the paper "Prime ideals in power series rings" J. Arnold gives an example of such a ring:
Let $k$ be a field and $K=k(t)$ a ...

**15**

votes

**2**answers

408 views

### Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?

Let $X$ be a Banach space. Consider the map
$$
\alpha\colon X\hat{\otimes} X^* \to B(X)^*,
$$
defined one simple tensors as
$$
\alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, ...

**14**

votes

**0**answers

153 views

### Identities for power series like $\sum_n z^{n^3}$

Probably, one of the first power series that every mathematician encounter is the geometric series
$$\sum_{n=0}^\infty z^n = \frac1{1-z}, \quad z \in \mathbb{C},\; |z| < 1 .$$
Also, a particular ...

**2**

votes

**1**answer

155 views

### explicit characterization of the stochastic integrand

Let $V$ be a cadlag positive supermartingale with the following decomposition:
$$V_t=V_0+\int_0^tH_sdX_s-K_t$$
where $X$ is a cadlag local martingale and $K$ is an adapted increasing process with ...

**2**

votes

**1**answer

56 views

### Criteria for Compactness of a Closed in $L^2$ Spaces [on hold]

$(X, \mathcal{B}, \mu)$ is a measure space.
Is there any well-known criteria for compactness of a closed set in $L^2(X, \mu)$?
If the answer is negative what about $L^2(\mathbb{R}^n,\mu)$(in this ...

**15**

votes

**5**answers

2k views

### Has any attempt been made to classify finite groupoids?

I recently stumbled upon the Mathieu groupoid and I found them fascinating.
It appears as a subset of $S_{13}$ which is not closed under multiplication, but it turns out to be a groupoid with 13 ...

**-6**

votes

**0**answers

46 views

### Closed configuration of prime numbers and composed numbers [on hold]

Conjecture 1.
Being P the product of the multiplication of several different prime numbers, and being Np ˂ P any prime number not being prime factor of P; being NL ˂ │P^(1/2)│ any prime number not ...

**44**

votes

**4**answers

3k views

### Did Gelfand's theory of commutative Banach algebras influence algebraic geometers?

Guillemin and Sternberg wrote the following in 1987 in a short article called "Some remarks on I.M. Gelfand's works" accompanying Gelfand's Collected Papers, Volume I:
The theory of commutative ...

**3**

votes

**1**answer

109 views

### Hausdorff measure of the graph

Is there any example of a real valued function on the real line whose domain has Lebesgue measure zero but the graph (in the plane) has positive one dimensional Hausdorff measure?
Of course if such ...

**4**

votes

**1**answer

156 views

### Twists of projective automorphisms

Let $X$ be a projective variety over a perfect field $k$. Recall that a twist of $X$ is a variety $Y$ over $k$ such that $$X_{\bar k} \cong Y_{\bar k}.$$
The twists of $X$ are classified by the Galois ...

**-5**

votes

**0**answers

143 views

### Are numbers fundamental mathematical entities? [on hold]

This question came to my mind after seeing Vi Hart's video on YouTube about the "number" Wau and the answer I gave there to the question "what is the number Wau?". As far as I know, numbers have ...

**3**

votes

**1**answer

121 views

### Singularities of the Remmert reduction of a holomorphic convex manifold

Let $X$ be a holomorphically convex manifold, namely, for any infinite discrete subset of $X$ there exists a holomorphic function on $X$ which is unbounded on this set, then a theorem of Remmert says ...

**0**

votes

**0**answers

57 views

### Are fibers at points of morphism of schemes closed subschemes? [on hold]

Is $X \rightarrow Y$ is a morphism of schemes and $y \in Y$, is the fiber of $y$ a closed subscheme of $X$? Is is true that the fibers of the projection $X \times_S Y \rightarrow Y$ (with $X,Y$ ...

**6**

votes

**4**answers

571 views

### number theory which is close to analysis

I have basic training in Fourier and Harmonic analysis. And wanting to enter and work in area of number theory(and which is of some interest for current researcher) which is close to analysis.
...

**10**

votes

**2**answers

242 views

+50

### Minimal expected absolute value of linear combinations of Gaussian random variables

I am interested in the following question. Consider $n$ independent standard normal random variables $g_i$. Cosider a linear combination $w_1g_1+\cdots+w_ng_n$. Can one give a "decent" upper bound for ...

**3**

votes

**0**answers

94 views

### On conductors, levels and traces on quaternion algebras

I am currently working on level issues in the division central simple algebra case, say $D$ over a local non-archimedean field $F$ (e.g. $\mathbf{Q}_p$). Let say that $\mathcal{O}_D$ and ...

**0**

votes

**0**answers

64 views

### Can anyone comment on uniformizing parameters and uniformizing coordinates?

Let $V$ be an algebraic variety ($\dim V = r$) over an algebraically closed field $k$, $U \subseteq V$ an open subset (in Zariski topology), and W a prime divisor of V, that is, the closed subvariety ...

**3**

votes

**1**answer

192 views

### Affine space structure on the space of Hermitian connections

I'm reading Gauduchon's paper Hermitian connections and Dirac operators.
For a fixed almost-Hermitian manifold $(M, g, J)$ let $\mathcal A(g, J)$ be the space of connections $\nabla$ s.t. $\nabla g = ...

**0**

votes

**0**answers

22 views

### Is there a term for “ranked distance” matrices?

In a n by n "ranked distance matrix" each element has a rank $r_{ij}$ between 1 and n that indicates it is the $r_{ij}$th smallest element in column $i$ of a corresponding Euclidean distance matrix. ...

**1**

vote

**0**answers

100 views

### Generalization of Little Fermat Theorem for a particular $a$ and perfect shuffles

I'm looking for the smallest $n\in \mathbb{N}$ that solves the following equation:
$$2^n=1 \mod m$$
For an odd $m$. I know that Little Fermat Theorem and Euler Totient give me a solution but they ...