meh
  • Member for 11 years, 10 months
  • Last seen more than 2 years ago
  • USA
Applications of mathematics in clinical setting
14 votes

I'm going to conflate mathematics with statistics as Carlo Beenakker did. Then the earliest application that I know of is that Decision Trees were invented by Breiman et al. to analyze the issue of- ...

View answer
Surfaces in $\mathbb{P}^3$ with isolated singularities
12 votes

IMPORTANT EDIT 12-2015 There is this paper of Tokunaga "Irreducible Plane Curves of Albanese Dimension Two" which based on cited work of Kulikov constructs surfaces in P^2 with isolated singularities ...

View answer
Algebra and cancer research
10 votes

For algebraic statistics, I think there are two standard references. The books by Drton, Sturmfels, and Sullivant which can be bought or downloaded as a pdf and 'Algebraic Statistics for Computational ...

View answer
Normality via resolution of singularities
9 votes

Unfortunately it is not true that if $Y$ is smooth, $f$ is proper and the fibers of $f:Y \rightarrow X$ are reduced and connected that $X$ is normal. Unfortunately I am all to familiar with the ...

View answer
Quick proofs of hard theorems
7 votes

I was told by my (graduate school) teacher of functional analysis that originally the complex case of the Hahn-Banach theorem was considered a major open problem. It was eventually shown to be such a ...

View answer
Naive question on the Jacobian of a curve
Accepted answer
6 votes

It is possible for the Jacobian's of non-isomorphic curves to be isomorphic as abelian varieties, but obviously, not as principally polarized abelian varieties. This paper https://arxiv.org/pdf/math/...

View answer
Examples of famous 'workhorse' theorems
6 votes

Resolution of Singularities. Nowadays, 'simple' proofs are available. The theorem is a huge work horse.

View answer
Applications of algebraic geometry to machine learning
5 votes

I'm going to assume that by 'high dimensional problems' you specifically mean learning speech recognition and image recognition. As such, I'm afraid that the answer seems to be 'sadly no'. Real ...

View answer
What are some examples of colorful language in serious mathematics papers?
4 votes

Milne's web page contains a number of amusing anecdotes- https://www.jmilne.org/math/apocrypha.html

View answer
Research in applied algebraic geometry that essentially needs a background of modern algebraic geometry at Hartshorne's level
4 votes

Related to several answers is the issue of identifiablity and equations for secant varieties. This has actual and real uses. Identifiable means that a point in a secant variety, or at least a ...

View answer
Is there a fast way to compute matrix multiplication mod $p$?
4 votes

The improvement of matrix multiplication from $O(n^3) $ to $O(n^{2.4})$ is based on the Strassen equations for matrix multiplication. Strassen Algorithm 7 multiplications talks about this and gives ...

View answer
Theorems that are 'obvious' but hard to prove
4 votes

Speaking of thesis advisers, mine said, "I think something should be called obvious only if it is obvious in the logical sense of if A implies B and if B implies C then A implies C". All else is ...

View answer
Linear systems separating points
3 votes

I believe that on any non-rational and non-hyperelliptic curve , the complete linear system $L = K_X(2p)$ will work. In such a case $ 2p - p_1 -p_2$ will always be a non-trivial divisor of degree ...

View answer
Explicit examples of resolution of (projective) 3-folds over k?
3 votes

Another, curve related, example would be the secant variety to a smooth curve. If the embedding is 'sufficiently ample', which would mean that it separates 5 points (it's early and no coffee yet, so '...

View answer
The map from $C^{(4)}$ to $\Theta$ as a blow up
3 votes

Since I posted my comment a year ago, I've learned the answer to this question. In 'Geometry of Algbebraic Curves' as a series of exercises one shows the following- i) A general genus 5 curve is the ...

View answer
Statistics for mathematicians
3 votes

For a very mathematical version of statistics, my favorite is on line lecture notes from two MIT courses. The instructor is named Panchenko and the course is called 'Statistics for Applications'. ...

View answer
Programming Languages Based on Category Theory
2 votes

I have no horse in this race, as I program mostly in R, but a very good friend was very enthusiastic about F sharp as a categorical language. He claimed that it was based on category theory. I would ...

View answer
Is very ampleness of a divisor on a curve determined entirely by degree and genus?
2 votes

I'm late to the game, but I would like to point out that the answer is systematically no. One class of examples. Suppose g>2 for simplicity. In that case any general line bundle of degree 2g is very ...

View answer
Clifford index and Clifford dimension
1 votes

The Clifford index comes from Clifford's theorem which bounds the how special a linear system can be in terms of it's degree. I think this is interesting and nice in and of itself. In my dotage ...

View answer
Cohomology of ramified double cover of $\mathbb P^n$ (reference)
1 votes

This is not an area of expertise for me, so forgive me if I didn't understand the question properly and hence this answer isn't on point. I think the original reference for this might be Lazarsfeld's ...

View answer
Base schemes and Bayesian priors
1 votes

In statistics in general one considers a class of 'model(s)'. Usually this model has a number of parameters. For example if the model was 'event distribution is gaussian' then the parameters would ...

View answer
Intersecting Degree 0 Divisors
1 votes

As has been mentioned, in general 'degree' is not so well/uniquely defined. However, suppose you take a smooth cubic surface in $ \bf{ P}^3$ . There are 27 lines and they should all have degree 1. ...

View answer
How many independent quadrics should one intersect to get the canonical curve.
1 votes

Amplifying on of Speyer's comments, if p is a point on a secant line of C, then the quadrics vanishing on C and p are of codimension one in the space of all quadrics vanishing on C. Such a quadric ...

View answer
Line bundles on special abelian surfaces
1 votes

Am I missing something? Doesn't this hold for arbitrary smooth pairs of varieties using the Kunneth decomposition?

View answer
On the Clifford index of a curve
1 votes

when c= 0 Clifford's them includes the fact that any divisor with Clifford index 0 is a multiple of the hyperelliptic fiber, ie: a sum of fibers of the hyperelliptic map. If c=1 then the curve is ...

View answer
Locus of complete curves on $\mathcal M_g$
0 votes

I'm not an expert, but I believe that Steven Diaz wrote a number of papers bounding the dimensions of complete subvarieties of $\mathcal{M}_g$. That would certainly bound what you could do with ...

View answer
Classification of certain algebraic curves
0 votes

I'm going to assume $L$ is base point free. I think it is clear how to change what I have written in the case where there are base points (numbers goes down by the degree of the base locus). In ...

View answer
defining equations for secant varieties
0 votes

I'm very late to the conversation. In general nothing is known. For some cases of the Segre or Veronese variety, one can interpet the varieties as spaces of matrices and then the equations are ...

View answer
Is there any theory why (for Bitcoin) the discrete logarithm problem is so hard to solve?
-14 votes

Let me take a stab. At the moment, it is probably true that, solving the discrete logarithm problem takes too long to be done in any way that would be useful to break a blockchain. I say probably ...

View answer