-2
votes
0answers
11 views

finding points on elliptic curve over finite field

Find the points on the elliptic curve y^2 = x^3 + 2x + 2 in F17 (field of prime 17). Do I have to guess a first point and then use an algorithm to spit out all other points?
2
votes
0answers
41 views

A game of stones

How I arrived at this question is a rather long story having to do with the honors calculus class I am teaching. At this point it's sheer curiosity on my part. Here is the game. ...
0
votes
0answers
49 views

Proper monomorphisms in complex analytic spaces

In the algebraic geometry of schemes, we know that monomorphisms which are universally closed (= every pullback is a closed map) and of finite type are closed immersions. See Gortz, Wedhorn "Algebraic ...
2
votes
1answer
53 views

Example of proof using the generic matrix

There is a really nice proof of the Cayley-Hamilton Theorem using the generic matrix. I expose it briefly. One defines the generic matrix $G:=(X_{ij})_{ij} ...
0
votes
0answers
22 views

Bounding a ratio by its complement

Given some integers $n > \beta + \alpha, \beta > \alpha$ and $\alpha > 0$, is there a real number $\delta$ for which $\frac{n-\alpha}{n-\beta} \geq (\frac{\beta}{\alpha})^{\delta}$, where ...
0
votes
0answers
33 views

How to see that this pairing of line bundles is multiplicative?

Given a projective flat morphism $p: X \rightarrow Y$ of integral noetherian schemes of relative dimension one. For a coherent sheaf $F$ on $Y$ we can define a line bundle $det(F)$ on $Y$ and for a ...
1
vote
0answers
68 views

A question on polynomials with finite field and integer coefficients

Originallly posted here http://math.stackexchange.com/questions/1034144/on-polynomials-over-finite-fields but surprisingly no answers there but upvotes. So reposting for clarification? Pick prime ...
1
vote
0answers
24 views

Worst-Case Solution to (Stochastic) Matrix Inequality

This problem comes with an associated stochastic process, but I phrase everything as linear algebra in case somebody from a non-probability community has seen this before (the question is simple ...
1
vote
0answers
16 views

Reference for a special case of the Hanson-Wright inequality

I would like find tail bounds for the expression $$ \begin{align*} \left|\left\langle a,\phi\right\rangle \left\langle \phi,b\right\rangle -\left\langle a,b\right\rangle\right|, \end{align*} $$ where ...
5
votes
0answers
81 views

Algebraic dependency over $\mathbb{F}_{2}$

Let $f_{1},f_{2},\ldots,f_{n}$ be $n$ polynomials in $\mathbb{F}_{2}[x_{1},x_{2},\ldots,x_{n}]$ such that $\forall a=(a_1,a_2,\ldots,a_n)\in\mathbb{F}_{2}^{n}$ we have $\forall ...
-4
votes
0answers
39 views

matrix theory understand the notion of transpose [on hold]

Can you explain me, please, what does it mean the transpose of a matrix ? I know the definition in the context of matrix theory and its generalization to adjoint operators (transpose of a linear ...
4
votes
0answers
86 views

Whiskering a monad

In "The Geometry of Iterated Loop Spaces", May shows that any monad that is coming from an operad may be "whiskered", so that the unit map becomes a closed cofibration. The ability to do this is vital ...
10
votes
0answers
106 views

A funny factorization of the Jacobian coming from the lines on the Fermat cubic

Here is something which came up in my algebraic geometry class, and I'm wondering if it has a deeper explanation. Let $F(w,x,y,z) = w^3+x^3+y^3+z^3$ and let $X$ be the cubic surface in $\mathbb{P}^2$ ...
0
votes
0answers
60 views

Powers of orthogonal matrices is closed

This might be a basic question, nonetheless I cannot give a proof. Given an orthogonal matrix $A$ with eigendecomposition $A = Q \Lambda Q^{-1}$ with only non-real eigenvalues. Given also a diagonal ...
-2
votes
0answers
34 views

Weak topology and topology by semi-norm [on hold]

Wikipédia: -The weak topology on X is the initial topology with respect to X* (let's note it T') -If the field K has an absolute value , then the weak topology σ(X,F) is induced by the family of ...
0
votes
1answer
18 views

Distribution of the $\alpha$-parameter of a $2\times 2$ Haar-distributed, unitary matrix

It is well known that any $2\times 2$ unitary matrix $\mathbf{U}$ can be parametrized as $$\mathbf{U}=\begin{pmatrix} 1 & 0 \\ 0 & \mathrm{e}^{\mathrm{j}\beta_1}\end{pmatrix} \begin{pmatrix} ...
15
votes
4answers
835 views

Fermat's last theorem over larger fields

Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite. Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite? Here ...
-1
votes
0answers
21 views

Properties of unit quaternion transformation [on hold]

It is commonly known that unit quaternions can be used to represent spatial rotations. The usual interpretation is as follows: $$ \tilde{q} = \cos{\alpha \over 2}+(a\cdot i+b\cdot j+c\cdot ...
3
votes
0answers
99 views

State of the art in the theory of integer sequences

I was going through N.J.A. Sloane's 'Encyclopedia of Integer Sequences'. In it are discussed many tricks that are used to determine the recursive definition or explicit formula for a given sequence. ...
2
votes
1answer
47 views

Strongly asymmetric graphs

Asymmetric graphs are graphs that have a trivial automorphism group $\textrm{Aut}(G)$, i.e. the only graph isomorphism from $G$ to itself is the identity. Let's call a graph $G$ strongly asymmetric ...
0
votes
0answers
64 views

Continuity of a Functional

A certain functional $T$ is defined as: $$T(F)=\int_{(0,1)}F^{-1}(s)M(ds)$$ where $M$ is a probability measure. The result that above functional is continuous at $F$, if the measure $M$ does not ...
1
vote
0answers
74 views

Hausdorff topologies on Q

Is there any description known of the Hausdorff topologies on $\mathbb{Q}$ compatible with the group operations?
0
votes
0answers
95 views

Rational curves and Serre's construction

Why rational curves, used in Serre's construction of vector bundles, usually corresponds to unstable bundle? I saw this affirmation in Richard Thomas's paper on an obstructed bundle on a CY threefold. ...
-2
votes
0answers
28 views

Monotonic function and countable subset of a set [on hold]

let E be subset of R and C be countable subset of R which does not have any isolated point of E. Does there exist a monotonic function on E which is continuous only at points in E-C?
-2
votes
0answers
75 views

Examples of weird 'modular like mathematical space' that behaves like as if it is infinite until a threshold value is reached? [on hold]

(Might be a bit layman because I don't have rigorous math term to describe the concept) Generalize it to mathematical spaces, are there spaces which are sort of like a. Consists of ...
-2
votes
1answer
85 views

Decidable theorem or result that is not weaker than Tarski's theorem

I am wondering what other decidable theorem or results that is not weaker or stronger than Tarski's theorem. Could any one give reference or a simple introduction about such result known in their ...
-1
votes
0answers
20 views

If the linearization of a section is surjective on a slice, is the image under a submersion also a smooth manifold?

Let $V \rightarrow M \times N_1 $ be a vector bundle, where $M$ and $N_1$ are smooth manifolds and $s: M \times N_1 \rightarrow V$ a smooth section such that whenever $s(p,q) =0$ then $$ \nabla ...
2
votes
0answers
55 views

Strong solution to $u_t - \Delta_p u = f$

For $p > 1$, consider the equation $$\langle u_t, v \rangle + \int_\Omega |\nabla u|^{p-2}\nabla u \nabla v = \langle f, v \rangle$$ $$u(0) = u_0$$ $$u|_{\partial\Omega} =0$$ for all $v \in ...
4
votes
1answer
227 views

Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated?

Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated? Or are there some tables or handbooks which list some common calculated results of ...
0
votes
1answer
64 views

Are the natural numbers a disjoint union of infinite sets of zero asymptotic density? [on hold]

Suppose $\mathbb{N}=\bigsqcup_{i\in\mathbb{N}}E_i$ with $\#E_i=\infty$ for each $i$. Is it possible that $\limsup_{N\to\infty}\frac{1}{N}\#(E_i\cap\{1,\ldots,N\})=0$ for all $i$, which would mean ...
0
votes
0answers
51 views

Adelic integral factorization

In order to calculate Tamagawa numbers, I need to justify that for a nice (say Schwartz-Bruhat) function, the following identity holds : $$\int_{\mathbf{A}^2} f(x)dx = \int_{SL_2(\mathbf{A})/SL_2(K)} ...
0
votes
2answers
51 views

Schur's lemma for antiunitary operators on complex Hilbert spaces

Suppose to have a linear irreducible unitary representation $\rho:G\rightarrow U(H)$ on a complex Hilbert space $H$ with $G$ a generic group. Let $A$ be an $\textit{anti}$-linear operator such that ...
-2
votes
0answers
35 views

Expected value of minimum of an exponential function [on hold]

Find expected value of minimum of n random variables: x = (x1,x2,x3,..,xn) The distribution is an exponential function: ...
-1
votes
0answers
47 views

Continuous versions of tensors/ Tensors with infinite indices?

In linear algebra and general relativity, we knew that vectors can be represented by a linear combination of components and a basis $$\mathbf{V}=\sum_{i=1}^n A_i\mathbf{e_i}$$ Or in Einstein ...
1
vote
0answers
30 views

decomposition of tempered distributions by entire analytic functions

Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with $$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|\leq 2, \phi(\xi)=1~~\text{if}~|\xi|\leq 1\}$$ Let $j\in \mathbb N$ ...
-1
votes
0answers
89 views

infinitesimally commutative diagram [on hold]

Consider $f:X\rightarrow Y$, $g:Y\rightarrow Z$, $h:Y\rightarrow Z$ morphisms of intregal and separated $k$-schemes of finite type. We assume that at at point $x\in X$, $h(x)=g(f(x))$ the level of ...
-2
votes
0answers
39 views

Why is the finite extension field of the p-adic numbers $\mathbb{Q}_p$ spherically complete? [on hold]

Here by spherical completeness it is meant that given a non-empty nest of closed balls $\{B_\alpha|\alpha\in I\}$, that is, $\forall \alpha_1,\alpha_2\in I$ either $B_{\alpha_1}\subset B_{\alpha_2}$ ...
6
votes
2answers
196 views

On a minimal algebraic number field which satisfies the principal ideal theorem

By an algebraic number field, we mean a finite extension field of the field of rational numbers. Let $k$ be an algebraic number field, we denote by $\mathcal{O}_k$ the ring of algebraic integers in ...
-1
votes
0answers
39 views

singular point of a complete intersection surface [migrated]

Let $S:= H_1\bigcap H_2\bigcap \cdots \bigcap H_N \subset\mathbb{P} _{\mathbb{C}}^{N+2}$ be a complete intersection surface, where each $H_i$ is a hypersurface defined by a homogeneous equation $f_i$. ...
0
votes
0answers
13 views

4th order statistics of Circularly Symmetric Complex Normal random vector?

Assume that ${\bf z} \in C^{n×1}$ is a CSCG random vector denoted with $C (μ,Σ)$ where $μ$ and $Σ$ are mean and contrivance matrix, respectively, and defined as $μ=E({\bf z})$, $Σ=E({\bf z}{\bf ...
-2
votes
0answers
23 views

maximization of products of two trace function [on hold]

consider the following optimization problem: \begin{array}{l} \mathop {\max }\limits_{\bf{X}} \,\,\,\operatorname{trace}\left( {{\bf{XA}}} \right)\operatorname{trace}\left( {{\bf{XB}}} \right)\\ ...
3
votes
0answers
115 views

Etale Slice Theorem

I found the Luna's Slice Theorem very Technical. It will be helpful if someone illustrates the geometry involved in the theorem. Also why this theorem so useful? This is Luna's Slice theorem from a ...
0
votes
0answers
20 views

Is triple point intersection 'generic' in Teichmuller space?

Let $S$ be a hyperbolic surface of finite type and $\alpha,\beta$ be two closed curves. Consider $X$ to be the set of all those points $\chi$ in the Teichmuller space $\mathcal{T}(S)$ of $S$ such that ...
1
vote
0answers
49 views

Kontsevich integral for 2-bridge knots

Are there any articles that explain a formula for Kontsevich integral of 2-bridge knots?
0
votes
0answers
21 views

Cell(J) vs Cof(J) in $\text{sSet}_{\text{Quillen}}$

consider sSet equipped with its Quillen model structure $\text{sSet}_{\text{Quillen}}$, we know that a trivial cofibration is a retract of a transfinite composition of pushouts of horn inclusions. I ...
-1
votes
0answers
57 views

Help me to proof Mobius-Euler equation [on hold]

Can you help me to proof that $$ \sum_{d | n}^{\, } \left ( \mu \left ( d \right ) \times \varphi \left ( d \right ) \right ) = 0\: for\: \mathbf{n}\geq 2, \mathbf{n}\: is\: even $$ where ...
0
votes
0answers
29 views

Poisson bivector on the product of two manifolds [migrated]

Let $X, Y$ be two manifolds. Let $(U, x_1, \ldots, x_n)$ and $(V, y_1, \ldots, y_m)$ local coordinates of $X, Y$ respectively. A Poisson bivector on $X$ is defined by \begin{align} \pi_X = \sum_{i,j} ...
0
votes
0answers
29 views

A question related to Bernoulli trial [on hold]

I'm thinking a Bernoulli process $X_1, X_2, X_3, ...$ that stops when $n\left( X=0 \right)+2n\left( X=1 \right)\ge A$, where $n(X=0)$ and $n(X=1)$ are the number of 0 and 1 in the sequence ...
11
votes
2answers
1k views

Massive cancellations

Let $A=\{a_1,\ldots,a_k\}$ be a fixed, finite set of reals. Let $S_A(n)$ be the set of all reals that are expressible as the sum of at most $2^n$ terms, where each term is a product of at most $n$ ...
0
votes
0answers
32 views

Bound on change of function given bound on Hessian

Suppose I have very some smooth function $F(x)$, and let $x_0 = \text{argmin}_x F(x)$. I would like to bound $F(x) - F(x_0)$ from above, in terms of the gradient $\nabla f(x)$ and the Hessian matrix ...

15 30 50 per page