1
vote
0answers
33 views

Valuations in Higher-dimensional local fields

I have the following question which I believ should be true but I would like to have a different opinion about it: Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and ...
0
votes
0answers
58 views

Reductive Group Actions and Completion

Suppose that $A$ is a Noetherian (not necessarily commutative) $\mathbb{C}[h]$-algebra equipped with a rational action of an affine reductive group $G$, i.e., $A$ is a $\mathbb{C}[G]$-comodule and ...
2
votes
0answers
266 views

Can we prove an open affine subscheme of a noetherian scheme is noetherian without Axiom of Choice?

I'm interested in proving basic results of algebraic geometry without Axiom of Choice. As for why I think this is interesting, please see Pete L. Clark's answer to this question. To state my problem, ...
6
votes
3answers
155 views

On formal solutions to differential equations

Let $k$ be a field of characteristic zero. Put $K=k[\![ t]\!]$ and $W=k\langle t,\partial\rangle / ([\partial,t]=1)$. Then $W$ operates on $K$ in the obvious way ($\partial f = \frac{d f}{dt}$), and ...
3
votes
0answers
59 views

Codimension of the range of certain linear operators

Assume that $P(x,y), Q(x,y) \in \mathbb{R}[x,y]$ are two polynomials. We define a linear map $D$ on $\mathbb{R}[x,y]$ with $D(U)=PU_{x}+QU_{y}$. In fact $D$ is the derivational operator correspond ...
4
votes
2answers
302 views

Can we sometimes define the parity of a set?

Suppose that ${n\choose k}, {n-1\choose k-1}, \ldots, {n-k+1\choose 1}$ are all even. (This happens for example if $k=2^\alpha-1$ and $n=2k$.) In this case, can we select ${n\choose k}/2$ sets of size ...
3
votes
1answer
41 views

variation of the Lieb concavity theorem

A special case of the well known Lieb concavity theorem states that the following function is concave on positive operators A and B: $$ (A,B) \to \text{Tr} \{A^s X B^{1-s} X^\dagger \} $$ for $s \in ...
-2
votes
1answer
96 views

Given a diffeomorphism between two surfaces, is there an expression for the pullback of the covariant derivative of a vector field? [on hold]

Let $A$ and $B$ be two surfaces (smooth enough) in an affine space $M$ with metric $g$. Let $g^A$, $g^B$ be the metric tensors on the two surfaces induced by $g$, and $\nabla^A$, $\nabla^B$ the ...
5
votes
1answer
110 views

Areas of Triangles in (Non-Riemannian) Metric spaces?

I'm looking for a reasonable way to coherently axiomatize both length and area in the absence of a Riemannian structure, i.e., starting only with a metric space; but it's not clear how much of this ...
-1
votes
0answers
81 views

Time derivative of an integral on a moving surface? [on hold]

I need to take the time derivative inside the surface integral, $$\displaystyle\dfrac{\mathrm{d}}{\mathrm{d}t}\left(\oint_{\partial B} \left(\mathbf{x} \times ( \mathbf{n} \times \mathbf{u} ) ...
1
vote
0answers
129 views

Quadratic - Ternary Forms [on hold]

Hi I have the following problems concerning quadratic and ternary forms. Any help would be greatly appreciated. $3\displaystyle\sum_{x, y\in\mathbb{Z}}q^{x^2+xy+7y^2}=3\displaystyle\sum_{x, ...
3
votes
0answers
88 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$, $$ ...
0
votes
0answers
25 views

How can I decode efficiently a triple-error-correcting binary BCH code?

In a given BCH(N,K) T=3 code over GF(2^m), there are ways to find the error locations in a given N-bit codeword directly from the syndromes without going through the normal Berlekamp-Massey and Chien ...
15
votes
2answers
408 views

What can be said about the Fourier transforms of characteristic functions?

What can be said about the Fourier transform of the characteristic function $1_A$, where $A\subset \mathbb{R}^n$ is of finite Lebesgue measure? In particular, What properties are common to ...
6
votes
2answers
128 views

Random walk in a convex body or convex polytope

Let $\Delta$ be a convex body (i.e. a compact convex subset) or a convex polytope in $\mathbb{R}^n$. Let $x$ be a point inside $\Delta$ and consider a (uniform) random walk starting at $x$ inside ...
4
votes
2answers
187 views

Lie's Theorem in characteristic $p$

Let $K$ be an algebraically closed field with characteristic $0$ and $V$ be a Lie sub-algebra of $M_n(K)$, the $n\times n$ matrices over $K$. If $V$ is solvable, then, according to Lie's theorem, $V$ ...
4
votes
1answer
232 views
+50

Action of a profinite group

Let $G$ be a finitely generated profinite group, $p$ a prime number. Put $$ V = \prod_{i \in I} \mathbb{Z}_p$$ a (profinite) group equipped with the product topology (for convenience, $I$ may be ...
1
vote
0answers
35 views

Injectivity of a linear logistic transform

The motivation for this question has to do with neural networks, but it is essentially a purely mathematical question. Suppose you have a perceptron with one hidden layer, a bias, and a logistic ...
-1
votes
0answers
54 views

Measure generated by Semigroup $\exp[-t|p|]$

I am studying Ingrid Daubechies' paper 'An Uncertainty Principle for Fermions with Generalized Kinetic Energy'. On page 514, the measure $\mu_{x,y;t}$ is introduced as generated by the semigroup ...
0
votes
1answer
124 views

Fixed point of a function on the circle

Consider a circle $C$ with radius of $r$, we place $m$ balls(treated as point) randomly on it, and each ball $i$ has the mass $m_i$. We define a function $\varphi:C\rightarrow C$ which maps $x\in C$ ...
7
votes
1answer
277 views

Prime races à la Mertens

I have just read the nice survey by Granville and Martin about prime races. I wonder what happens if one changes the rules for the prime races as follows. Fix $q$ a modulus (an integer $>1$). For ...
1
vote
0answers
26 views

Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$?

Does there exist a base $\{e_j\}_{j\geq 1}$ of $H(\Omega)$ such that $\{e_j\}_{j\geq 1}$ is linearly independent in $L^2(\omega)^d$? Where $\omega\subset\subset \Omega$ with $\Omega$ is a $C^2$ ...
1
vote
0answers
34 views

Can the generalized divisor summatory function $D_z$ be expressed explicitly in terms of Zeta Zeros?

Mertens function has, by residues, an explicit formula of $M(n)=\displaystyle\sum_{\rho}\frac{x^\rho}{\rho\zeta'(\rho)}-2+\sum_{n=1}^\infty\frac{(-1)^{2 n}(2\pi)^{2n}}{(2n)! n \zeta(2n+1)x^{2n}}$ ...
1
vote
0answers
113 views

Is liminf|(n*sinn)|=0 as n tends to infinity? [duplicate]

One of my friends asked me that is $\varliminf |nsinn|=0$? I think maybe it has some relations with Number theory, But I don't know how to solve it. If you know the answer, please tell me since it ...
1
vote
1answer
59 views

Dropping rank of IA automorphisms

Is there a natural way to map a given IA automorphism $\alpha\in Aut(F(X_n))$ to $Aut(F(X_{n-1}))$? Think about braids. A pure braid on $n$ strands can be naturally mapped to a braid on $n-1$ strands ...
3
votes
2answers
234 views

Derived category of a hypersurface

Let $X$ be a smooth projective variety over $\mathbb{C}$, and $H \subset X$ be a smooth hypersurface. Many properties of an ambient variety $X$ could somehow inherit to the hypersurface $H$, I was ...
5
votes
1answer
127 views

Examples of Maass forms with eigenvalue 1/4

For what I have heard, Maass forms of (Laplacian) eigenvalue $1/4$ on modular surfaces are somewhat special. But I don't know where to look for explicit examples. (In fact, one form came here on MO ...
7
votes
1answer
165 views

Why can't one modify Kaplansky's proof to conclude that every projective module is a direct sum of its finitely generated projetive submodules?

Due to the examples given in the answer to this question, I know that the conclusion is of course incorrect. But by reading Kaplansky's proof of theorem 1 in this paper and replacing every occurrence ...
3
votes
1answer
90 views
+100

Stabilization of the pencil of skew symmetric matrices by the orthogonal group

Good morning everybody. During my researches I've come across the following question. Let $A$ and $B$ be a couple of square $k\times k$ skew symmetric matrices on $\mathbb R$. Let us consider the ...
0
votes
1answer
91 views

($^{\omega}2$,<) is not well-order. [on hold]

Let < be a lexicographic order on $^{\omega}2$ or in other words given distinct functions $f,g$ from $\omega$ to 2, let $f<g$ if and only if $f(n)=0$ and $g(n)=1$, where $n$ is the lease ...
2
votes
1answer
76 views

Test functions with “wrong” topology not locally convex?

I didn't find it in any book, although it seems that this should be standard: Endow the space $C^\infty_c(M)$ of compactly supported functions with the inductive topology coming from the embeddings $$ ...
0
votes
0answers
61 views

proof non diagonalizable matrix is not an inner product [on hold]

Given $ A \in M_n(\Bbb C) $ and $ <x,y>_A = x^TA\overline y $ I need to proof that if A is non diagonalizable then $<.,.>_A$ is not an inner product. I thought about: Let A be non ...
0
votes
0answers
56 views

reference needed for some well know results on cohomology of the orbit spaces

The following results are well known If the group $\mathbb Z_2$ acts freely on a mod $2$ cohomology $n$-sphere $X$, then the orbit space $X/\mathbb Z_2$ is a cohomology real projective $n$-space. ...
2
votes
0answers
65 views

How to get transition matrix of markov process? [migrated]

I am monitoring a Markov process with ~21 states. I know all the states, initial state and what states transitions can/cannot be, so that zero elements of transition matrix are known. I know the ...
2
votes
0answers
46 views

Maximal $k$-chordal subgraph

Recall that a graph is called $k$-chordal if any cycle $C$ of length $> k$ contains a chord, i.e. an edge joining to non-consecutive vertices in $C$. Let $f(n, k)$ be the minimal number of edges ...
6
votes
2answers
309 views

Vector bundle for prescribed Stiefel-Whitney classes

I hope this is not trivial. Let $B$ be a nice topological space (paracompact, CW-complex or whatever you think is nice) For $i=1,\ldots,n$ let $x_i \in H^i(B,\mathbb{Z}_2)$ be certain cohomology ...
2
votes
1answer
79 views

Looking for a canonical (matroid polytope) subdivision of the hypersimplex

A matroid polytope is the convex hull of the indicator vectors of the bases of a matroid, and a matroid polytope subdivision (MPS) is a polyhedral subdivision of a matroid polytope whose cells are ...
4
votes
1answer
166 views

Link for “A spine for Teichmüller space”, preprint by Thurston

Can someone please give any link or mention any source where I can find the following preprint. W.Thurston, A spine for Teichmüller space, preprint, three pages, 1986.
0
votes
0answers
38 views

partition of an integer n into atmost k =O(log n) parts

Suppose you have a partition p of n into atmost k parts, say $$\{i_1, i_2, ..., i_j, ..., i_{k-1}\}$$ For example $\{1, 4\}$ is a partition of 10 into 3 parts (in this notation i am specifying the ...
5
votes
2answers
110 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 ...
0
votes
0answers
86 views

Manifolds supporting finite order diffeomorphisms (a local construction?)

The following question is mainly inspired by this previous one Which manifolds admit a diffeomorphism of order $n$? and some answers given there. For $d\geq 2$, let $\mathbb{B}^d$ denote the closed ...
1
vote
1answer
98 views

Classes of dynamical systems

A consequence of birkhoff ergodic theorem tells us that ergodicity is equivalent to: $\forall A,B \in \mathcal{B} \ \frac{1}{N}\sum_{n=0}^{N-1}\mu(A\cap T^{-n}(B))\stackrel{N\to ...
8
votes
0answers
220 views

I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...
2
votes
1answer
128 views

Meaning of “ Open Book cannot be Stabilized Further”?

I'm going over some old notes on Giroux's theorem on the equivalence ( bijection, actually) between open books ( up to positive stabilization) for 3-manifolds and contact structures ( up to isotopy.) ...
1
vote
0answers
19 views

Maximal Cohen-Macaulay modules of type one

Does any body know an example of a Noetherian local ring (R,m) which admits a maximal cohen-macaulay module of type one, but the ring R itself is not CM. If C is the maximal CM module then the type ...
1
vote
1answer
66 views

How to calculate the maximum number of rainbows for arbitrary graphs?

This question is inspired by problem 1 of the combinatorics test of the 2012 third round iranian olympiad which is as follows: We've colored edges of $K_n$ with $n-1$ colors. We call a vertex rainbow ...
3
votes
1answer
89 views

Numerical Evaluation of Some Triple Integral involving Negative Powers

Let $\beta_i\in (-1/2,0)$, $i=1,2,3,4$. I'm interested in obtaining numerical value of the following integrals: $$ \int_{0<u_1<u_2<u_3<1} (1-u_1)^{\beta_1}(1-u_2)^{\beta_2} ...
4
votes
1answer
145 views

Property of IA automorphisms of free groups

For $n \in\mathbb{N}$ define: $X_n=\{x_1,\ldots,x_n\}$, $F(X_n)$ the free group on $X_n$, $\varphi:F(X_n)\to F(X_{n-1})$ an epimorphism defined by $x_i\stackrel{\varphi}{\mapsto} x_i$ for $1\le ...
-2
votes
0answers
107 views

Show that $\int_0^\infty \sin\left(x^2\right)dx$ converges, but that $\int_0^\infty \sqrt{\sin^2\left(x^2\right)}dx$ does not. [on hold]

Show that $\int_0^\infty \sin\left(x^2\right)dx$ converges, but that $\int_0^\infty \sqrt{\sin^2\left(x^2\right)}dx$ does not. The first part I think I proved using triangles, but I could not prove ...
3
votes
0answers
129 views

smoothing a current

Let $M$ be a smooth oriented manifold of dimension $n$ and $T$ a current of dimension $k$ on $M$. Let $\phi:P\times M \to M$ be a proper smooth family of diffeomorphisms of $M$ (i.e. $P$ is a smooth ...

15 30 50 per page