# Tagged Questions

**3**

votes

**0**answers

129 views

### Dimension of a commuting nilpotent variety

Fix $k$ an algebraically closed field, $n$ a natural number, and $\lambda=(\lambda_1,\ldots,\lambda_m)$ a partition of $n$. Let $A$ be any $n\times n$ nilpotent matrix with entries in $k$ whose ...

**1**

vote

**0**answers

139 views

### Finding a generator of an ideal in an algebraic function field

I have an algebraic function field $\mathbb{Q}(x,y)$, where $y$ satisfies
$$ (y^2-1)^2 = x^2(1+x^2), $$
and I need to find a rational function that has a first order root at $x=0,y=1$ a first order ...

**17**

votes

**1**answer

689 views

### Main open computational problems in quantifier elimination?

A language is said to have quantifier elimination if every first-order-logic sentence in the language can be shown to be equivalent to a quantifier-free sentence, i.e., a sentence without any ...

**1**

vote

**1**answer

217 views

### Serre's conditions under blow-ups, Blowup and normalization

Suppose $X = \mathbb{Z}[x, y, z]/(f,g)$ is a 2-dimensional Cohen-Macaulay surface. In particular, $X$ satisfies Serre's condition $S_2$. Suppose it is irreducible, reduced but not normal.
...

**4**

votes

**1**answer

215 views

### Algorithm to decide if ideal is principal

Suppose $R = \mathbb{Q}[x_1, ..., x_n]/I$, and $J \subset R$ is a given height one ideal. Is there a quick algorithm one could write to determine if $J$ is a principal ideal or necessarily not ...

**35**

votes

**0**answers

504 views

### Reasons to prefer one large prime over another to approximate characteristic zero

Background:
In running algebraic geometry computations using software such as Macaulay2, it is often easier and faster to work over $\mathbb F_p = \mathbb Z / p\mathbb Z$ for a large prime $p$, rather ...

**1**

vote

**1**answer

111 views

### Recommendations for binomial system solver

I am interested in solving binomial systems of the form
$$
\begin{cases}
a_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} +
b_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} &= 0 \\\\
...

**10**

votes

**3**answers

428 views

### Algorithms in Invariant Theory

Let $V$ be a polynomial representation of the general linear group $\Gamma:=\DeclareMathOperator{\Gl}{Gl}\Gl_n(\newcommand{\C}{\mathbb C}\C)$.
In chapter 4.6 of his book "Algorithms in Invariant ...

**1**

vote

**0**answers

135 views

### Randomized alternative to Buchberger's algorithm

Richard Lipton's blog describes a A New Way To Solve Linear Equations by Prasad Raghavendra.
Can the ideas in this algorithm be generalized to systems of polynomial equations to provide a randomized ...

**12**

votes

**1**answer

433 views

### How can I tell if a variety is normal?

Suppose $R$ is a subalgebra of ${\mathbb C}[x_1,...,x_N]$ generated by polynomials $p_1,...,p_k.$ I know that ${\mathbb C}[x_1,...,x_N]$ is the integral closure of $R$.
Is there an algorithm to ...

**5**

votes

**0**answers

221 views

### What became of PoSSo and FRISCO

I know PoSSo and FRISCO were pretty big projects involving many European universities.
Interestingly, I couldn't find much information about these projects
(the the top of the PoSSo homepage says ...

**6**

votes

**1**answer

1k views

### Constructing a unitary matrix

Setting:
Given a set of $n\times n$ matrices $A_i$, I would like to find a linear combination of these matrices $Q = \sum_i A_i x_i$ with $x_i$ a set of complex numbers, such that $Q$ is unitary: ...

**4**

votes

**3**answers

524 views

### Is there a MAGMA function to calculate the absolutely irreducible components of an algebraic curve defined over the rationals?

Given a curve defined over the rationals, is it computationaly possible to find all its absolutely irreducible components?
Is there an implementation of this in the MAGMA program?

**2**

votes

**0**answers

211 views

### Efficient computing critical points of algebraic function involved radical expression

I am interested in finding local optima of an algebraic function $f(X,Y)$. Suppose, that this expression involves radicals, for example $f(X,Y)= \frac{1}{2}(X+Y)-\sqrt{XY}$. The approach in which i am ...

**5**

votes

**1**answer

393 views

### Does a variety contain a cartesian product of two curves?

We are given an affine variety $V\subset \mathbb{A}^n\times\mathbb{A}^n$, and wish to know if it contains a product of the form $C_1\times C_2$, where $C_1$ and $C_2$ are two curves in $\mathbb{A}^n$. ...

**3**

votes

**0**answers

261 views

### Rank of Subgroup of Elliptic Curve

I'm currently looking at two rational points $ p, q $ on an elliptic curve $E$ over $ \mathbb{Q} $. SAGE tells me that $E$ has rank 5 and no torsion, and that $p$ and $q$ both have infinite order. ...

**9**

votes

**5**answers

855 views

### Multipolynomial resultants

We know that the resultant of two polynomials can be computed as the determinant of their Sylvester matrix ( http://en.wikipedia.org/wiki/Sylvester_matrix ). How do we compute the resultant of more ...

**1**

vote

**1**answer

239 views

### Computing the connected component without primary decomposition

Given an algebraically closed field $\mathbb{F}$ of characteristic $0$ and a closed subgroup $G$ of $GL_n(\mathbb{F})$. Let $\{g_1,\ldots, g_r\}$ be a Gr"obner basis for the correpsonding ideal ...

**4**

votes

**2**answers

400 views

### Is there a free action on a given variety?

Given a variety $V$, and a prime $p$ I want to decide if there is a free action of $\mathbb{Z}/p\mathbb{Z}$ on $V$, and to find the generator of an action if it exists. Is there a known algorithm to ...

**20**

votes

**5**answers

6k views

### The unification of Mathematics via Topos Theory

When the paper The unification of Mathematics via Topos Theory by Olivia Caramello, says "one can generate a huge number of new results in any mathematical field without any creative effort." is this ...

**5**

votes

**1**answer

323 views

### software for computations on flag varieties in arbitrary characteristic

Is there any software that will compute cohomology of vector bundles (or just line bundles) on flag manifolds?
The only one I know of is Macaulay2, via the Schubert2 package, but it works with what ...

**7**

votes

**1**answer

439 views

### Are there any sofware packages for computing Picard numbers?

Are there any computer algebra systems (e.g. Macaulay2 og singular) that allows one to compute the Picard number (i.e. the rank of the Neron-Severi group) of a given variety?

**10**

votes

**2**answers

350 views

### Counting points on varieties of low codimension

The graduate students here at MIT have been thinking about questions like the following: Over $\mathbb{F}\_q$, how many symmetric matrices are there with nonzero determinant and $0$'s on the diagonal? ...

**22**

votes

**4**answers

2k views

### Can Gröbner bases be used to compute solutions to large, real-world problems?

In particular, suppose I have an affine algebraic variety over $\mathbb{R}^n$ described by generators of a radical ideal $I$ and I want to find (perhaps not all of the) points in the variety. Several ...

**9**

votes

**3**answers

1k views

### Is there a stable algorithm for polynomial division (in several variables)?

Suppose you have a homogeneous ideal $I$ inside the algebra $\mathbb{C}[x_1,...,x_d]$ of complex polynomials in $d$-variables. Can one find a basis for $I$, say $\{f_1,...,f_k\}$, such that every $h ...

**5**

votes

**4**answers

422 views

### Sections of a divisor on elliptic curve

I'm interested in producing explicit bases for the sections of a line bundle on an embedded genus 1 curve. Let me restrict to the first case that I don't know how to do, so that I can be as concrete ...

**5**

votes

**3**answers

519 views

### Is there a software package that does Schubert Calculus computations?

Is there a good software package for doing computations in the cohomology ring of Grassmannians? Things like, I can write down a polynomial in, in fact, special Schubert classes, but it's one where ...