3
votes
1answer
121 views

Irreducible monic polynomials

I am looking for criteria for the irreducibility of monic polynomials with constant term $\pm1$ over $\mathbb Q$. Eisenstein's criterion clearly doesn't apply here. For instance, for the family of ...
2
votes
0answers
151 views

K theory and derived categories

Some months ago I studied Beilinson's paper about generators for the derived category of $\mathbb{P}^n$, "Coherent Sheaves on $\mathbb{P}^n$ and problems of linear algebra". As next step, I moved to ...
4
votes
1answer
199 views

Reference for: Every local field can be realized as the completion of a global field

It is well known that every local field (i.e. nondiscrete topological field locally compact with respect to the topology) is the completion of some global field. I know the argument, a nice ...
2
votes
0answers
67 views

Is $\sum_{\rho} \frac{1}{(\rho - s)^{1 + \delta}}$ bounded as Im(s) goes to infinity?

Let $\rho$ denote the zeros of the Riemann zeta-function and $\delta > 0$. Is the function $f(s) = \sum_{\rho} \frac{1}{(\rho - s)^{1 + \delta}}$ bounded as Im(s) goes to infinity?(the real part ...
0
votes
0answers
87 views

Numbers with many prime divisors

Is there a positive $c$ such that for every $n$ there exists $m$ such that $2^m-1$ has at least $n$ distinct prime divisors and $m$ is not greater than $n^c$? I'm also interested in this question ...
9
votes
0answers
142 views

Finite dimensionality of Ext(M,N)

Let $K$ be a field of characteristic $0$ and let $R$ be a (noncommutative) Noetherian $K$-algebra. Let $M$ and $N$ be simple left $R$-modules and assume further the following conditions on $R$: ...
2
votes
0answers
34 views

Pro-V topology on a free group

Let $W=G_p*G_q$, where $G_p$ and $G_q$ are pseudovarieties of all finite $p$-groups and all finite $q$-groups respectively, with $p$ and $q$ fixed prime numbers. The pro-$W$ topology on a group $G$ is ...
3
votes
2answers
199 views

Gcd of polynomials over a finite field [on hold]

Let $\mathbb{F}_q[X]$ be the polynomial ring over the finite field with $q$ elements. Let $f$ be a polynomial of the form $x^n-a$ and let $g$ be a polynomial of the form $x^m-b$. Is it known whether ...
17
votes
2answers
814 views

What is the smallest positive integer for which the congruent number problem is unsolved?

The congruent number problem is the problem of figuring out whether a given positive integer $N$ is the area of a right-angled triangle with all side lengths rational. According to Dickson's "History ...
4
votes
0answers
55 views

Geometrically-explicit upper bound for on-diagonal heat kernel

Let $M$ be a compact Riemannian manifold, and $K(t;z,w)$ the heat kernel associated to the usual Laplace-Beltrami operator on functions. There are results of the form $$K(t;z,z) \leq ...
0
votes
0answers
36 views

Limit probability of a complete bipartite random graph $G(n,n,p)$ is connected [on hold]

I need to calculate the following probability limit for a complete bipartite random graph $G(n,n,p)$ in the Erdos-Renyi model: \begin{equation} \lim_{n\rightarrow\infty}\mathbb{P}[G(n,n,p) \text{ is ...
4
votes
2answers
189 views

Group cohomology question, trivial Galois action on discrete Galois module means we can say what about kernel of map

Say we have a number field $K$. Let $G_K = \text{Gal}(\overline{K}/K)$. Let $M$ be a discrete $G_K$-module. We know that $H^1(K, M) := H^1(G_K, M)$, i.e. profinite group cohomology. For each place $v$ ...
15
votes
1answer
390 views

Pop's proof that $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})=\mathrm{Aut}\underline\pi^{alg}_{\overline{\mathbb{Q}}}$

I've heard of this result in a paper on which Yves André proves the p-adic analogue (that is, $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)=\mathrm{Aut}\underline\pi^{temp}_{{\mathbb{C}}_p}$), ...
2
votes
2answers
244 views

Is it true that all sphere bundles are some double of disk bundle?

Let's consider a smooth sphere bundle over a smooth manifold with structure group is equal to the diffeomorphism group of sphere. Then, can we say that this is a double of some disk bundle? Thank you ...
3
votes
1answer
104 views

Moving from $\Re(s) = 1+\epsilon$ to $\Re(s) = \frac{1}{2}$ in the proof of the Weil-Guinand explicit formula

In all proofs of the Weil-Guinand explicit formula, there's this step (this is from Paul Garrett's notes): Now consider this: (1) $\frac{\zeta^\prime(s)}{\zeta(s)}$ has poles at $s=1$ and ...
-3
votes
0answers
29 views

Compute score for a set of data [closed]

So let's explain my problem. I have a set of items which have a score from 0 to 100. This set is dynamic which means that several values are expected to be added from moment to moment. In each item is ...
6
votes
1answer
54 views

Horizontal distribution of a totally geodesic foliation

Let $\mathbb{M}$ be a $n+m$ dimensional manifold. Consider on $\mathbb{M}$ a rank $n$ sub-bundle $\mathcal{H}$ of the tangent bundle. We assume that $\mathcal{H}$ is endowed with a fiber wise inner ...
9
votes
1answer
576 views

Why do we denote (co)ends with integral notation (beyond Fubini's Theorem)?

I know that (co)ends (i.e. universal wedges) follow Fubini-like relation, i.e. $$ \int_{\langle c,d\rangle} F(c,d,c,d) \cong \int_c\int_d F(c,c,d,d) \cong \int_d\int_c F(c,c,d,d) $$ where we regard ...
0
votes
0answers
30 views

Sobolev norm of a composition with a singular homeo

Let $H_p^t(\mathbb{R})$ be a fractional Sobolev space with the standard norm. The with $p>1$, $0<t<1$. Take some smooth $\phi$ from this space. Let $T$ be an ivertible homeomorphism of ...
1
vote
0answers
26 views

Zero-dimensional $F$-space which is not strongly zero-dimensional

Does anyone know of an example of a (Tychonoff) $F$-space which is zero-dimensional but not strongly zero-dimensional? By an $F$-space we mean every cozeroset is $C^*$-embedded. By zero-dimensional ...
3
votes
0answers
71 views

Green's Function for a Kernel with Symmetric Fourier Transform $\nabla^2-x^2$

I am trying to find the inverse of the following kernel in 3 dimensions $$ \nabla^2-x^2, $$ where, $$ x^2=\vec{x}.\vec{x} $$ It seems quit simple and one would think there should already be solutions ...
2
votes
0answers
93 views

Derived Categories provide a good Framework for Sheaf Cohomology?

I'm a bit new to this sheaf cohomology business. Can someone explain how derived categories provide a good setting for Sheaf Cohomology? I understand that sheaf coho arises as right derived functors, ...
3
votes
1answer
144 views

Reference request: The consistency of a tall tower in $\mathbb{N}^\mathbb{N}$

A $\kappa$-tower in $\mathbb{N}^\mathbb{N}$ is a sequence $\langle a_\alpha : \alpha<\kappa\rangle$ in $\mathbb{N}^\mathbb{N}$ that is $\le^*$-increasing with $\alpha$ and has no $\le^*$-upper ...
1
vote
1answer
67 views

Find the Picard Fuchs operator of a four parameter fundamental period

In my research, we have constructed a Calabi-Yau as a hypersurface of a toric variety and we could compute the fundamental period of the complex moduli, which is a series in four parameters. Say ...
12
votes
3answers
445 views

Nice things that can be proved easily with characteristic classes

A bit of context for this question: as a project for my master's degree my supervisor asked me to understand the construction of Milnor's exotic spheres. After learning the heavy material (I knew very ...
5
votes
0answers
67 views

In $(\mathbb{R}^4,\omega_{std})$ is positive symplectic area enough to guarantee a pseudoholomorphic disc representative?

I will present my question in the context that I encountered it, although I believe it probably applies in general context. Consider $\mathbb{R}^4 \cong \mathbb{C}^2$ with the standard symplectic form ...
14
votes
1answer
230 views

Does the injection $\text{Aut}(F_n) \hookrightarrow \text{Aut}(F_{n+1})$ split?

Let $F_n$ be the free group on $n$ letters. The question is as in the title: letting $i:\text{Aut}(F_n) \hookrightarrow \text{Aut}(F_{n+1})$ be the natural injection, does there exist a homomorphism ...
-2
votes
0answers
16 views

If derivative of f(x) is f'(x), then what is the integral of (f'(x))^2 in terms of f(x)? [migrated]

Is there some procedure for figuring this out or am I venturing into unsolved territory here?
1
vote
0answers
101 views

Finding the Chern Class of a the pushfoward of a invertible sheaf

I am trying to understand what happens to the Chern Classes of an invertible sheaf $F$ over a complete intersection reduced curve of genus $g$ and degree $d$, when viewed as a invertible sheaf of ...
2
votes
0answers
148 views

Normal bundle to fibers of a rational morphism

Let $f:X\dashrightarrow C$ be a rational fibration from a 3-dimensional variety $X$ to a curve $C$ such that generic fiber is smooth and different fibers intrsect in smooth curves. Take $S$ to be a ...
0
votes
0answers
15 views

Sampling functions [closed]

Suppose there were two spaces $A$ and $B$, A consists of functions that computes a scalar from an array of values($x$) that have coefficients($w$); $B$ consists of functions that does some ...
1
vote
0answers
127 views

Stronger version of Bertini's theorem

In char 0, is there a generalised version of Bertini's theorem that will ensure that for a proper map $f: Y\rightarrow X$ between smooth projective varieties and for every point $x\in X$ we can find ...
-4
votes
0answers
33 views

Question on logarithm Exponentiation [closed]

I know it's not the best title but I had no idea how to be specific about it. Also sorry if I mess up the Latex syntax :/ Basically what I'm looking for is a rule that states how [log^2(a^{f(x)})] ...
0
votes
0answers
26 views

Lower bound of general bilinear form [closed]

Suppose I have a bilinear form $X^TAY$ where $X \in R^n, Y \in R^m$ and $Α \in R^{n \times m}$. All elements of $A$ are bounded, that is $\exists \bar a_{ij}>0:|a_{ij}|\le \bar a_{ij}, \forall ...
2
votes
3answers
183 views

Existence of special graph

Let $G$ be a $n$-vertices graph and $\lambda_1$ is the largest eigenvalue of this graph. If $\lambda_1$ is an integer value, we can easily find the $\lambda_1$- regular graph with $n$ vertices. Now, ...
1
vote
0answers
38 views

Matrix transformation [closed]

I want to show that $(I-H^T(-s)H(s))^{-1}$ has no poles on the imaginary axis with $H(s)=C(sI-A)^{-1}B$ and $H^T(-s)=-B^T(sI+A)^{-T}C^T$ is equivalent to $M_\gamma$ has no purely imaginary ...
0
votes
0answers
15 views

amplitude at exact frequency in wide band signal [closed]

Could anyone suggest the most computationaly efficient method for finding amplitude of exact frequency having a noisy wide band signal. To be more specific about a task. I have some physical ...
2
votes
0answers
71 views

Computing the order of elements in a non abelian exterior square of a finite group

If we have an explicit group $G$, and we pick two elements $g,h \in G$, could we find the order of the element $g \wedge h \in G \wedge G$? The best thing I could find is Theorem 1.1 in Ellis' Book ...
2
votes
0answers
28 views

When is a linear operator on $C^{0,\alpha}(\overline{\Omega})$ a multiplication?

The title says it all, really. Suppose that I have a linear operator $T$ from $C^{0,\alpha}(\bar{\Omega})$ into itself, where $\Omega$ is a smooth bounded domain in $\mathbb{R}^d$ (e.g. the unit ball ...
4
votes
0answers
77 views

Automorphism group of a structure without the SAP

A few years ago, a number of examples were given of Fraisse structures without the SAP in answer to the question raised in A Fraïssé class without the strong amalgamation property. It is ...
2
votes
0answers
74 views

Conditions to check whether a prime ramifies in a certain way

Let $p$ be a prime number and let $f = a_n x^n + \cdots + a_0$ be an irreducible polynomial of degree $n \geq 3$ with a root $\alpha$. We say that $p$ ramifies in a powerful way over $K = ...
2
votes
0answers
33 views

The Socle of locally nilpotent $p$-group infinte rank

The Socle (is the subgroup generated by the minimal normal subgroups of $G$) of abelian $p$-group of infinite rank has infinite rank. (The term “rank” in the sense of the Mal’cev special or ...
0
votes
1answer
91 views

3-form torsion and Cartan structural equations

First, my level of math isn't very high as I come from the physics world. I am trying to understand the derivation of Cartan's 3-form torsion. I've read Robert Bryant's answer in this thread: Relating ...
4
votes
0answers
96 views
+100

Derivation of a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories

Let $d\in\left\{2,3\right\}$ $\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$ $\Phi_t:\mathcal V_0\to\mathcal V_t$ such that ...
2
votes
1answer
164 views

Is there a matrix that converts the gradient of every possible function to gradient of other function?

I have already asked this question on math.stackexchange.com http://math.stackexchange.com/questions/1789476/is-there-a-matrix-that-converts-the-gradient-of-any-function-to-gradient-of-othe Now I ...
0
votes
0answers
34 views

Weak solutions and strong solutions of SDE [closed]

What is the differences and connections between weak solutions and strong solutions of stochastic differential equations ? Thank you in advanced!
0
votes
1answer
44 views

Absolutely continuous and rectifiable boundary

Assume that $\gamma$ is a Rectifiable curve in $\mathbf{C}$ and ssume that $f$ is a bounded holomorphic function on the unit disk $U$ such that if $z_n$ converges to a boundary point of $\mathbf{U}$, ...
1
vote
0answers
17 views

Reference needed for exact sequence of ACM curves with homogeneous coordinate ring.

Let $C\subset\Bbb{P}^n$ be an ACM (arithmetically Cohen-Macaulay) curve with homogeneous coordinate ring $R$. Then there is an exact sequence $$0\to \text{Tor}_i(R,\Bbb{C})_k\to ...
-4
votes
0answers
37 views

Are Undirected Edges and Directed Edges disjoint sets? [closed]

Many graph processing and storage frameworks assume that, in their graphs, all edges are directed. There are no edge whose type is undirected under the hood. There is only an interpretation, when ...
4
votes
0answers
83 views

Auslander-Reiten theory for Gorenstein algebras

In the paper "Cohen-Macauley and Gorenstein artin algebras", Auslander and Reiten have a short section about Auslander-Reiten theory in Gorenstein algebras (I always assume we have an artin algebra ...

15 30 50 per page